-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Fri, 17 Sep 2004 13:11:05 +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-5 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 Closes: 260112 Changes: acl2 (2.8-5) unstable; urgency=low . * Bug fix: "acl2-emacs: ACL2 emacs mode produces an error on acl2 defstobjs definition", thanks to David (Closes: #260112). Small patch to acl2-mode.el added to debian/patches. * Build depend on latest gcl for performance and stability improvements. Files: f68fdbb2f513abc84b338d0bf411f9d5 794 math optional acl2_2.8-5.dsc ba8919fe77deebc8491fd06b843c6a09 12439 math optional acl2_2.8-5.diff.gz 051261cca87618d5a294f714645edb2c 2029620 math optional acl2-source_2.8-5_all.deb ac0b092bbda9cd52e563a1b623c81297 64362 math optional acl2-emacs_2.8-5_all.deb 507cec8c67919e400eac43681b50be7c 83856 math optional acl2-infix-source_2.8-5_all.deb 8f4a30b8575a297c0251019b213b767a 1227664 math optional acl2-books-source_2.8-5_all.deb 37cb8911596bcd9ac90969bb1fda327e 294660 math optional acl2-books-certs_2.8-5_all.deb c7b54eab1d66e213d8f6de7989de8bbe 1657618 doc optional acl2-doc_2.8-5_all.deb fc6fd31e4de21d3cef57638e5d595e07 13461586 math optional acl2_2.8-5_i386.deb c9d1b7015a3e388f3b2d7d35d8c956c3 180756 math optional acl2-infix_2.8-5_i386.deb 1a56591ecca86aeaa5086b64a60a5790 894814 math optional acl2-books_2.8-5_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.5 (GNU/Linux) iD8DBQFBSvyvczG1wFfwRdwRAlHeAJ47xIHCJH5w6EMNzVR2pHxJ2od2HQCeMvjQ R3oEuvnOVAOfZdFGqCkHcY8= =TxJ+ -----END PGP SIGNATURE----- Accepted: acl2-books-certs_2.8-5_all.deb to pool/main/a/acl2/acl2-books-certs_2.8-5_all.deb acl2-books-source_2.8-5_all.deb to pool/main/a/acl2/acl2-books-source_2.8-5_all.deb acl2-books_2.8-5_i386.deb to pool/main/a/acl2/acl2-books_2.8-5_i386.deb acl2-doc_2.8-5_all.deb to pool/main/a/acl2/acl2-doc_2.8-5_all.deb acl2-emacs_2.8-5_all.deb to pool/main/a/acl2/acl2-emacs_2.8-5_all.deb acl2-infix-source_2.8-5_all.deb to pool/main/a/acl2/acl2-infix-source_2.8-5_all.deb acl2-infix_2.8-5_i386.deb to pool/main/a/acl2/acl2-infix_2.8-5_i386.deb acl2-source_2.8-5_all.deb to pool/main/a/acl2/acl2-source_2.8-5_all.deb acl2_2.8-5.diff.gz to pool/main/a/acl2/acl2_2.8-5.diff.gz acl2_2.8-5.dsc to pool/main/a/acl2/acl2_2.8-5.dsc acl2_2.8-5_i386.deb to pool/main/a/acl2/acl2_2.8-5_i386.deb -- To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
