-----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
