Accepted acl2 3.3-1 (source all i386)

[Camm Maguire <camm@enhanced.com>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Mon, 03 Dec 2007 10:10:09 -0500
Source: acl2
Binary: acl2-books-certs acl2-doc acl2 acl2-infix-source acl2-infix acl2-source acl2-books-source acl2-books acl2-emacs
Architecture: source all i386
Version: 3.3-1
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@enhanced.com>
Changed-By: Camm Maguire <camm@enhanced.com>
Description: 
 acl2       - A Computational Logic for Applicative Common Lisp: main binary
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libra
 acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certif
 acl2-books-source - A Computational Logic for Applicative Common Lisp: library source
 acl2-doc   - A Computational Logic for Applicative Common Lisp: documentation
 acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interfac
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interfac
 acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
 acl2-source - A Computational Logic for Applicative Common Lisp: source files
Closes: 430471 434915 440353
Changes: 
 acl2 (3.3-1) unstable; urgency=low
 .
   * New upstream release
   * build-dep on latest gcl to get arm build
   * Bug fix: "acl2&#39;s idea of the system book path is wrong", thanks to
     Sami Liedes (Closes: #440353). Apply suggested fix to wrapper script,
     Thanks!
   * Bug fix: "acl2-emacs: please prefer emacs22", thanks to Tatsuya
     Kinoshita (Closes: #434915). prefer emacs22
   * Bug fix: "acl2: not binNMU safe", thanks to Lior Kaplan (Closes:
     #430471). Apply suggested patch, Thanks!
   * build-dep texlive-latex-recommended
Files: 
 cd5c565ffb39161847ee959c15f650dd 811 math optional acl2_3.3-1.dsc
 ec026b72d47d839539ef152ba0784c27 7318498 math optional acl2_3.3.orig.tar.gz
 9df68c9351a07d91b5d2939cdce32a87 13522 math optional acl2_3.3-1.diff.gz
 ae5afcf37bdac945dad9876c6f9b8a4f 2484088 math optional acl2-source_3.3-1_all.deb
 86da33b65e4083731fbd1243f5c8f664 54416 math optional acl2-emacs_3.3-1_all.deb
 19e19b6b4a1120a6542d3819576b9b8a 85598 math optional acl2-infix-source_3.3-1_all.deb
 26baa2c79495807818dd999c2f0614b1 2441412 math optional acl2-books-source_3.3-1_all.deb
 fd15fde81e21690789dc82efd6085831 1241888 math optional acl2-books-certs_3.3-1_all.deb
 aaafd3f881967261aebac00401785e3b 2157140 doc optional acl2-doc_3.3-1_all.deb
 c80dc056aaa5320bfadad7dd1142b233 16892330 math optional acl2_3.3-1_i386.deb
 3f8f7038ad75377bee9cf546e1ddec39 170482 math optional acl2-infix_3.3-1_i386.deb
 5064abdfdbd124190aa1ea1d9dca8a84 4590788 math optional acl2-books_3.3-1_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFHVDj7czG1wFfwRdwRAu7PAJ9WpMSHWJeh2i2aVjV78p135XLFZACff37V
zhqqIpnCwd1SkFeLi7JJAII=
=svkk
-----END PGP SIGNATURE-----


Accepted:
acl2-books-certs_3.3-1_all.deb
  to pool/main/a/acl2/acl2-books-certs_3.3-1_all.deb
acl2-books-source_3.3-1_all.deb
  to pool/main/a/acl2/acl2-books-source_3.3-1_all.deb
acl2-books_3.3-1_i386.deb
  to pool/main/a/acl2/acl2-books_3.3-1_i386.deb
acl2-doc_3.3-1_all.deb
  to pool/main/a/acl2/acl2-doc_3.3-1_all.deb
acl2-emacs_3.3-1_all.deb
  to pool/main/a/acl2/acl2-emacs_3.3-1_all.deb
acl2-infix-source_3.3-1_all.deb
  to pool/main/a/acl2/acl2-infix-source_3.3-1_all.deb
acl2-infix_3.3-1_i386.deb
  to pool/main/a/acl2/acl2-infix_3.3-1_i386.deb
acl2-source_3.3-1_all.deb
  to pool/main/a/acl2/acl2-source_3.3-1_all.deb
acl2_3.3-1.diff.gz
  to pool/main/a/acl2/acl2_3.3-1.diff.gz
acl2_3.3-1.dsc
  to pool/main/a/acl2/acl2_3.3-1.dsc
acl2_3.3-1_i386.deb
  to pool/main/a/acl2/acl2_3.3-1_i386.deb
acl2_3.3.orig.tar.gz
  to pool/main/a/acl2/acl2_3.3.orig.tar.gz