-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Tue, 11 May 2004 20:45:14 +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: 2.8-3 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 (2.8-3) unstable; urgency=low . * move doc-notes.txt to acl2-emacs * copyright and control file clarifications * removal of Debian specific files from distribution list in READE.Debian * addition of arithmetic-axioms.txt and fast-notes.txt to acl2-doc * Removal of .final certificate extension from list in README.Debian * doc-base rephrasing * (setq *acl2-allocation-alist* nil) in debian/patches.in for enhanced performance with recent gcl Files: 0e22e4755327c3762c08a29854a85f6c 831 math optional acl2_2.8-3.dsc 480566c9921fcbbdfd6af5ad28afbe8e 12229 math optional acl2_2.8-3.diff.gz a5d7492b1c56f0e7e21704a4bafd1ef1 1943460 math optional acl2-source_2.8-3_all.deb 18325259c0be314eba2d1868298bb9bd 64152 math optional acl2-emacs_2.8-3_all.deb ff83a99dc7c2714e963affa42645a238 83614 math optional acl2-infix-source_2.8-3_all.deb 601e91d261d56981029665a3614f1600 1227410 math optional acl2-books-source_2.8-3_all.deb 3b55c9741b873fbdb492e3651a51bae9 294348 math optional acl2-books-certs_2.8-3_all.deb f8adca7d8faf6982ce1148cc257883ef 1657424 doc optional acl2-doc_2.8-3_all.deb 2e4b1eaccb4bd1ffc32c2f89987ffaff 13240016 math optional acl2_2.8-3_i386.deb 8b1a9ce8fcf338ef63919879533cc015 180866 math optional acl2-infix_2.8-3_i386.deb 4e00920b7f49039b577816f541ce978b 894538 math optional acl2-books_2.8-3_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.4 (GNU/Linux) iD8DBQFAonfcczG1wFfwRdwRApk5AJ40k658219Nl/wBUVf7gDipDsT5XQCfXqNK 7gv7w2DE24VYnmnNuJZQAmc= =Ztu7 -----END PGP SIGNATURE----- Accepted: acl2-books-certs_2.8-3_all.deb to pool/main/a/acl2/acl2-books-certs_2.8-3_all.deb acl2-books-source_2.8-3_all.deb to pool/main/a/acl2/acl2-books-source_2.8-3_all.deb acl2-books_2.8-3_i386.deb to pool/main/a/acl2/acl2-books_2.8-3_i386.deb acl2-doc_2.8-3_all.deb to pool/main/a/acl2/acl2-doc_2.8-3_all.deb acl2-emacs_2.8-3_all.deb to pool/main/a/acl2/acl2-emacs_2.8-3_all.deb acl2-infix-source_2.8-3_all.deb to pool/main/a/acl2/acl2-infix-source_2.8-3_all.deb acl2-infix_2.8-3_i386.deb to pool/main/a/acl2/acl2-infix_2.8-3_i386.deb acl2-source_2.8-3_all.deb to pool/main/a/acl2/acl2-source_2.8-3_all.deb acl2_2.8-3.diff.gz to pool/main/a/acl2/acl2_2.8-3.diff.gz acl2_2.8-3.dsc to pool/main/a/acl2/acl2_2.8-3.dsc acl2_2.8-3_i386.deb to pool/main/a/acl2/acl2_2.8-3_i386.deb -- To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org