-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Mon, 25 Apr 2005 14:00:42 +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.9.2-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 (2.9.2-1) unstable; urgency=low . * New upstream release Files: eab8503fc8dc76283255f488ae8d41a6 800 math optional acl2_2.9.2-1.dsc c513936579e3527a4952409df8c708c5 5352740 math optional acl2_2.9.2.orig.tar.gz 31a0b46b38f748ca8c1c58a9da748611 14075 math optional acl2_2.9.2-1.diff.gz 27675fff94143f9855d29ed42b76307d 2086162 math optional acl2-source_2.9.2-1_all.deb 47e9f70a802c074c9b9ff5bf1e16f020 48970 math optional acl2-emacs_2.9.2-1_all.deb 58046f2d0186138272db1621d3a6e258 84442 math optional acl2-infix-source_2.9.2-1_all.deb 599a06bab760d2f8463b2c76d75fba10 1285188 math optional acl2-books-source_2.9.2-1_all.deb 01fbf6cc48fe9bf38615fd8c5817748d 379654 math optional acl2-books-certs_2.9.2-1_all.deb 6f6db3e3a08d13092d38c3994a7658c4 1844426 doc optional acl2-doc_2.9.2-1_all.deb ae18eeabe2eafb076c714e0fe5b1b02e 14314016 math optional acl2_2.9.2-1_i386.deb 709acfd3dac0c9ae1cb99baeb6b441ab 181320 math optional acl2-infix_2.9.2-1_i386.deb ee109a82f5fcce8f2002d641053de1f5 876894 math optional acl2-books_2.9.2-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.0 (GNU/Linux) iD8DBQFCbRJ3czG1wFfwRdwRAhmPAJ9eRjvVMN+tqaNt6qzmzE1kEgRrTACdFh3a 56myqYtTCs9Eu9UalIe4wRs= =uwVJ -----END PGP SIGNATURE----- Accepted: acl2-books-certs_2.9.2-1_all.deb to pool/main/a/acl2/acl2-books-certs_2.9.2-1_all.deb acl2-books-source_2.9.2-1_all.deb to pool/main/a/acl2/acl2-books-source_2.9.2-1_all.deb acl2-books_2.9.2-1_i386.deb to pool/main/a/acl2/acl2-books_2.9.2-1_i386.deb acl2-doc_2.9.2-1_all.deb to pool/main/a/acl2/acl2-doc_2.9.2-1_all.deb acl2-emacs_2.9.2-1_all.deb to pool/main/a/acl2/acl2-emacs_2.9.2-1_all.deb acl2-infix-source_2.9.2-1_all.deb to pool/main/a/acl2/acl2-infix-source_2.9.2-1_all.deb acl2-infix_2.9.2-1_i386.deb to pool/main/a/acl2/acl2-infix_2.9.2-1_i386.deb acl2-source_2.9.2-1_all.deb to pool/main/a/acl2/acl2-source_2.9.2-1_all.deb acl2_2.9.2-1.diff.gz to pool/main/a/acl2/acl2_2.9.2-1.diff.gz acl2_2.9.2-1.dsc to pool/main/a/acl2/acl2_2.9.2-1.dsc acl2_2.9.2-1_i386.deb to pool/main/a/acl2/acl2_2.9.2-1_i386.deb acl2_2.9.2.orig.tar.gz to pool/main/a/acl2/acl2_2.9.2.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
