-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Fri, 16 Apr 2004 03:35:25 +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-1 Distribution: unstable Urgency: low Maintainer: Camm Maguire <camm@enhanced.com> Changed-By: Camm Maguire <camm@enhanced.com> Description: acl2 - Applicative Common Lisp: A Computational Logic acl2-books - Applicative Common Lisp: A Computational Logic acl2-books-certs - Applicative Common Lisp: A Computational Logic acl2-books-source - Applicative Common Lisp: A Computational Logic acl2-doc - Documentation for ACL2 acl2-emacs - Applicative Common Lisp: A Computational Logic acl2-infix - Applicative Common Lisp: A Computational Logic acl2-infix-source - Applicative Common Lisp: A Computational Logic acl2-source - Applicative Common Lisp: A Computational Logic Closes: 232883 Changes: acl2 (2.8-1) unstable; urgency=low . * New upstream release * Bug fix: "Inefficient packaging of arch independent data", thanks to Steve McIntyre (Closes: #232883). Split package into several components. Files: 4966793d0f1602eeddf6088738f2e114 832 math optional acl2_2.8-1.dsc e111761f4bb2bc36549dbcb4284e61cb 5157528 math optional acl2_2.8.orig.tar.gz fa545776434e83f005a69d19b2741cdb 12069 math optional acl2_2.8-1.diff.gz db4fbd9703e64c6db439c16bd59d8246 1943408 math optional acl2-source_2.8-1_all.deb 22f306e91a698302f2562fec5c1c7a61 60914 math optional acl2-emacs_2.8-1_all.deb 4434fc7c5f6ef84d72d7f0d0fde297ae 83592 math optional acl2-infix-source_2.8-1_all.deb 9967fa5733f9f8199aa684b5389e0d26 1227406 math optional acl2-books-source_2.8-1_all.deb 79b33c6bc4cb6196b5038ab6aaf153f9 294476 math optional acl2-books-certs_2.8-1_all.deb d4a71aab910a6af98db6962828fda1a0 1655060 doc optional acl2-doc_2.8-1_all.deb da106f8bc2f91cb035420cc8a232a09a 13246416 math optional acl2_2.8-1_i386.deb 735d4b75df5bb93588fa7b808c62d4a2 180866 math optional acl2-infix_2.8-1_i386.deb 9f5c888a676903c84a97229f800c57dc 894234 math optional acl2-books_2.8-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.4 (GNU/Linux) iD8DBQFAiAkpczG1wFfwRdwRAqgXAJ4vdEPQ/ZpSVfytrleSWooKlUXc8gCfZuZr fj3gaPJw0q8jt4sHIPqxyds= =Gp++ -----END PGP SIGNATURE----- Accepted: acl2-books-certs_2.8-1_all.deb to pool/main/a/acl2/acl2-books-certs_2.8-1_all.deb acl2-books-source_2.8-1_all.deb to pool/main/a/acl2/acl2-books-source_2.8-1_all.deb acl2-books_2.8-1_i386.deb to pool/main/a/acl2/acl2-books_2.8-1_i386.deb acl2-doc_2.8-1_all.deb to pool/main/a/acl2/acl2-doc_2.8-1_all.deb acl2-emacs_2.8-1_all.deb to pool/main/a/acl2/acl2-emacs_2.8-1_all.deb acl2-infix-source_2.8-1_all.deb to pool/main/a/acl2/acl2-infix-source_2.8-1_all.deb acl2-infix_2.8-1_i386.deb to pool/main/a/acl2/acl2-infix_2.8-1_i386.deb acl2-source_2.8-1_all.deb to pool/main/a/acl2/acl2-source_2.8-1_all.deb acl2_2.8-1.diff.gz to pool/main/a/acl2/acl2_2.8-1.diff.gz acl2_2.8-1.dsc to pool/main/a/acl2/acl2_2.8-1.dsc acl2_2.8-1_i386.deb to pool/main/a/acl2/acl2_2.8-1_i386.deb acl2_2.8.orig.tar.gz to pool/main/a/acl2/acl2_2.8.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
