Accepted acl2 3.2-1 (source all i386)

[Camm Maguire <camm@enhanced.com>]

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

Format: 1.7
Date: Thu, 17 May 2007 10:41:35 -0400
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.2-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
Changes: 
 acl2 (3.2-1) unstable; urgency=low
 .
   * New upstream release
Files: 
 c0403b92a6d0133b131d41e0ceb1ac9c 822 math optional acl2_3.2-1.dsc
 406a6349fb20483fd2b75f21f984157e 7047564 math optional acl2_3.2.orig.tar.gz
 02ebb512bb4d415b8159d855f547e11c 13288 math optional acl2_3.2-1.diff.gz
 6d4f6665a098e45f9bd0e183078273f3 2363554 math optional acl2-source_3.2-1_all.deb
 57aecf9acba923de1f2604f4c4bc7b0d 51832 math optional acl2-emacs_3.2-1_all.deb
 9df554b20fd6b1eca6b4a504ab29ab94 85354 math optional acl2-infix-source_3.2-1_all.deb
 aa84f56cad3f2cd5efa042657abd55cd 2377230 math optional acl2-books-source_3.2-1_all.deb
 b0600bcd6a62cb6776c70072e8cead6b 5104390 math optional acl2-books-certs_3.2-1_all.deb
 380c021be985875f6d26e382452feda4 2086628 doc optional acl2-doc_3.2-1_all.deb
 191af25e017cec9fa50b8c63ee758b07 16081306 math optional acl2_3.2-1_i386.deb
 c523a34aa2cf21fdc75ef44532a61120 171866 math optional acl2-infix_3.2-1_i386.deb
 72143b1895137ab5bdaa5732a7a8590e 1665964 math optional acl2-books_3.2-1_i386.deb

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

iD8DBQFGTK82czG1wFfwRdwRAmlBAKCRWob7GBE/AAWXKwa+zk7ORGEUkwCgleb7
vnIfwr1GjmRRjuqysgdZZ0Q=
=cDaE
-----END PGP SIGNATURE-----


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