-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 10 Jun 2010 14:09:37 +0000 Source: acl2 Binary: acl2 acl2-source acl2-emacs acl2-infix acl2-infix-source acl2-books acl2-books-source acl2-books-certs acl2-doc Architecture: source all i386 Version: 3.6.1-2 Distribution: unstable Urgency: low Maintainer: Camm Maguire <camm@debian.org> Changed-By: Camm Maguire <camm@debian.org> 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: 585405 Changes: acl2 (3.6.1-2) unstable; urgency=low . * Bug fix: "acl2 depends on old / broken emacs22 package", thanks to Andreas Barth (Closes: #585405). * lintian fixes Checksums-Sha1: 6b59c63c9f0d3cd61a0bf481f82c1f0dfe671030 1182 acl2_3.6.1-2.dsc 387e3035898928b3bf81ac374f4748613113280a 15305 acl2_3.6.1-2.diff.gz 53bf8ca70990efbfe496195ea5367bd7fe38f640 2741390 acl2-source_3.6.1-2_all.deb 3a80f5e22b9c580a00fb17fae4bc24de2468e48d 57982 acl2-emacs_3.6.1-2_all.deb 0966684932b1c2c053e0efa044ab72a1e0bf24d4 89194 acl2-infix-source_3.6.1-2_all.deb 305740fdb97fb0bc092331cc13c23e54b038b6a1 5139730 acl2-books-source_3.6.1-2_all.deb 06dafb1dce082c0018165e70e08cc5197587322d 2012934 acl2-books-certs_3.6.1-2_all.deb 742b9050d0df93d8c4a2a4a48e4f62e352d65ba6 2512880 acl2-doc_3.6.1-2_all.deb c2285a1fc89d00c5494f48a02922728cfa2eaeae 20543884 acl2_3.6.1-2_i386.deb a503050d28dcde003de9ddc29bf07e94a69a11cf 390304 acl2-infix_3.6.1-2_i386.deb ded9bef16c70fde092a2335ad2d85785c99205f2 30309802 acl2-books_3.6.1-2_i386.deb Checksums-Sha256: 9df4f38b83c851e0bc092838e560e7217dd810cfaffde56172f6762e280e50ca 1182 acl2_3.6.1-2.dsc 50c22dad884649a702f2abd7b7b68378b6537bc463c05b413706769eaca2191e 15305 acl2_3.6.1-2.diff.gz 38e2294271390919339e7efaaaa051e8b20ea4456c29b10297ba3b9603943d05 2741390 acl2-source_3.6.1-2_all.deb 82e6b6ab43b676b2abc2e2a7fb7e84ce9d60ed4d0cf5d621cbcadd7c61a19ff3 57982 acl2-emacs_3.6.1-2_all.deb c61a9317578b909c31522f7d12225c011ebaffbfb942b327ba35cf163d832626 89194 acl2-infix-source_3.6.1-2_all.deb f4b0fa0326b8ad55a9b896cfc00dba2793f734cc374ed7a198a72837b668cd2d 5139730 acl2-books-source_3.6.1-2_all.deb f51ae06546d734dc32879887015701206df223afbe60e6e981ac6bf4a30aff58 2012934 acl2-books-certs_3.6.1-2_all.deb 72204417c6b56e2936f50459053be10b4f45f59c5ca32ec7ae632953e72fd5ed 2512880 acl2-doc_3.6.1-2_all.deb 81ac9c8b0bf0f40e0f64414dac1602a1f62b03398e850ab88472bdce3c06f3ad 20543884 acl2_3.6.1-2_i386.deb 5c11b33b2dc921f619072dfc66ca6391ffbe896bdbd8dbf5bf6a5b32e03239c0 390304 acl2-infix_3.6.1-2_i386.deb be6508631192f018fcb3062ade11cdef74c151af568b984dbcb1a1c536013254 30309802 acl2-books_3.6.1-2_i386.deb Files: 047215c95874f862b237a72b10c9a3af 1182 math optional acl2_3.6.1-2.dsc 6abbcc3a02274b9853c1649d0514225f 15305 math optional acl2_3.6.1-2.diff.gz 4b09038dfd1d97f8143434994a99a8a7 2741390 math optional acl2-source_3.6.1-2_all.deb 15932e5b0668f515eae00c7ef230d43d 57982 math optional acl2-emacs_3.6.1-2_all.deb ff69b8987238f00d98812a34d4c29152 89194 math optional acl2-infix-source_3.6.1-2_all.deb 290bd5744ddcc45def6e7ac49670be55 5139730 math optional acl2-books-source_3.6.1-2_all.deb 419a907e5b450ceb212165f432bee228 2012934 math optional acl2-books-certs_3.6.1-2_all.deb 63a7825f45e78ebc02e5be7f87cd9e58 2512880 doc optional acl2-doc_3.6.1-2_all.deb 78949c5bdefcf18cc1ea9748b9abc107 20543884 math optional acl2_3.6.1-2_i386.deb 2bbbbb3f996df6f9000f495693e6f6b4 390304 math optional acl2-infix_3.6.1-2_i386.deb 8548c552a67bef60de9f1d693cc17e8b 30309802 math optional acl2-books_3.6.1-2_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkwRG90ACgkQczG1wFfwRdwNhQCfaiQccZbL5vC+Eze19L9uC/Og gfYAnR8GCH4kOqnoXjOG1ixL87izzoWk =Lbtm -----END PGP SIGNATURE----- Accepted: acl2-books-certs_3.6.1-2_all.deb to main/a/acl2/acl2-books-certs_3.6.1-2_all.deb acl2-books-source_3.6.1-2_all.deb to main/a/acl2/acl2-books-source_3.6.1-2_all.deb acl2-books_3.6.1-2_i386.deb to main/a/acl2/acl2-books_3.6.1-2_i386.deb acl2-doc_3.6.1-2_all.deb to main/a/acl2/acl2-doc_3.6.1-2_all.deb acl2-emacs_3.6.1-2_all.deb to main/a/acl2/acl2-emacs_3.6.1-2_all.deb acl2-infix-source_3.6.1-2_all.deb to main/a/acl2/acl2-infix-source_3.6.1-2_all.deb acl2-infix_3.6.1-2_i386.deb to main/a/acl2/acl2-infix_3.6.1-2_i386.deb acl2-source_3.6.1-2_all.deb to main/a/acl2/acl2-source_3.6.1-2_all.deb acl2_3.6.1-2.diff.gz to main/a/acl2/acl2_3.6.1-2.diff.gz acl2_3.6.1-2.dsc to main/a/acl2/acl2_3.6.1-2.dsc acl2_3.6.1-2_i386.deb to main/a/acl2/acl2_3.6.1-2_i386.deb
