-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Wed, 2 Aug 2006 17:02:24 +0000 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.0.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.0.1-1) unstable; urgency=low . * New upstream release Files: 5eb32764ca5157f4fca60a336f17ab70 803 math optional acl2_3.0.1-1.dsc 0101047f8966b1a235ada369d8307ce9 6033661 math optional acl2_3.0.1.orig.tar.gz cd0460237a5e39d83f563c3df4fa02c3 12957 math optional acl2_3.0.1-1.diff.gz 70b53c02fe9833a7126a90033c6381a4 2227170 math optional acl2-source_3.0.1-1_all.deb 627f935e2bd965f1c60b880cdee54dba 50240 math optional acl2-emacs_3.0.1-1_all.deb ff9fbd19bdd0d882f4563482a7f3c553 85028 math optional acl2-infix-source_3.0.1-1_all.deb 4a5502ccf1387b83054b80766ece9799 1670272 math optional acl2-books-source_3.0.1-1_all.deb 6ebe6cf506b5cc06b9c8412f65bba3e1 3338732 math optional acl2-books-certs_3.0.1-1_all.deb c9192b8068dcb088fa4203c7592f9da1 1967790 doc optional acl2-doc_3.0.1-1_all.deb 52235a341dd4e9f276c71e4375b6cf05 15280310 math optional acl2_3.0.1-1_i386.deb 1061d6701367a67be35b9f51708d5850 171612 math optional acl2-infix_3.0.1-1_i386.deb 3fdbd11ecccf763aa66772dcc2e22812 1285336 math optional acl2-books_3.0.1-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.3 (GNU/Linux) iD8DBQFE0QG/czG1wFfwRdwRAoREAJ9o0swyYG9vgagel8Rvjor4nyAXTACePKY3 JiG6InZv7AdFn65+4hJukUQ= =1z7y -----END PGP SIGNATURE----- Accepted: acl2-books-certs_3.0.1-1_all.deb to pool/main/a/acl2/acl2-books-certs_3.0.1-1_all.deb acl2-books-source_3.0.1-1_all.deb to pool/main/a/acl2/acl2-books-source_3.0.1-1_all.deb acl2-books_3.0.1-1_i386.deb to pool/main/a/acl2/acl2-books_3.0.1-1_i386.deb acl2-doc_3.0.1-1_all.deb to pool/main/a/acl2/acl2-doc_3.0.1-1_all.deb acl2-emacs_3.0.1-1_all.deb to pool/main/a/acl2/acl2-emacs_3.0.1-1_all.deb acl2-infix-source_3.0.1-1_all.deb to pool/main/a/acl2/acl2-infix-source_3.0.1-1_all.deb acl2-infix_3.0.1-1_i386.deb to pool/main/a/acl2/acl2-infix_3.0.1-1_i386.deb acl2-source_3.0.1-1_all.deb to pool/main/a/acl2/acl2-source_3.0.1-1_all.deb acl2_3.0.1-1.diff.gz to pool/main/a/acl2/acl2_3.0.1-1.diff.gz acl2_3.0.1-1.dsc to pool/main/a/acl2/acl2_3.0.1-1.dsc acl2_3.0.1-1_i386.deb to pool/main/a/acl2/acl2_3.0.1-1_i386.deb acl2_3.0.1.orig.tar.gz to pool/main/a/acl2/acl2_3.0.1.orig.tar.gz
