Accepted acl2 3.1-1 (source all i386)

[Camm Maguire <camm@enhanced.com>]

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

Format: 1.7
Date: Mon,  4 Dec 2006 10:35:42 -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.1-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.1-1) unstable; urgency=low
 .
   * New upstream release
Files: 
 2a54bbb952cf35a8147e9ea43ecc3e69 822 math optional acl2_3.1-1.dsc
 36deb324863e218d5410be9df7cb0b3a 6729537 math optional acl2_3.1.orig.tar.gz
 93735dd54e96cf3e34a1025ad65284f7 13272 math optional acl2_3.1-1.diff.gz
 2a96f3c921d3a3cb1831d3e1e07de1a8 2269010 math optional acl2-source_3.1-1_all.deb
 03a5bb52e7b8e0987ba8f46ed8bd2de5 50538 math optional acl2-emacs_3.1-1_all.deb
 bd9a485c18b2d071341f447122708b79 85324 math optional acl2-infix-source_3.1-1_all.deb
 706e32ca73351c2a1dfdf3db2d2fb92a 2245286 math optional acl2-books-source_3.1-1_all.deb
 f5846478ccbb94328d38d2949f5c4447 4966096 math optional acl2-books-certs_3.1-1_all.deb
 bbde33445fc0bb8eb837376b005764d3 2019688 doc optional acl2-doc_3.1-1_all.deb
 a5d271c7fde5f2837bca0d85af6a24bb 16215440 math optional acl2_3.1-1_i386.deb
 789615d240e04e20c6c50b26c0813cc3 171834 math optional acl2-infix_3.1-1_i386.deb
 23e9041471d377c9372ae39ec42b33c4 1615674 math optional acl2-books_3.1-1_i386.deb

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

iD8DBQFFdHQTczG1wFfwRdwRAg72AJ42cRGxAk/RNjpzJAA+ptXSgQW75QCcDXt3
Bk8t0KrHjkiKLaqDQ1om7lU=
=VfFS
-----END PGP SIGNATURE-----


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