-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 03 Jan 2010 13:26:38 +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-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: 505812 562207 Changes: acl2 (3.6-2) unstable; urgency=low . * Bug fix: "FTBFS [alpha, hppa] - getprop.cert: No such file or directory", thanks to dann frazier (Closes: #562207). Build-depend on gcl >= 2.6.7-51. * Bug fix: "adds non-existent TAGS file to tag file list", thanks to Timo Juhani Lindfors (Closes: #505812). Don't automatically load tags table. Checksums-Sha1: 95c8990197a499d5566b05280d06574ddc3d9f2a 1168 acl2_3.6-2.dsc a28cf408dc7c6a2389ee2f27e58882dee1dd54f3 14103 acl2_3.6-2.diff.gz 285a73fe948de472c03d592301b543dd370d82b2 2739690 acl2-source_3.6-2_all.deb df024aff0c6527c16f945c928b6304b4c73f109e 57714 acl2-emacs_3.6-2_all.deb 34342ecc741fbe55a62eb2fca08ca005fc6871d9 88958 acl2-infix-source_3.6-2_all.deb c9bc73014a8c55eb32ec193218f9b7bd8dbd77da 5130896 acl2-books-source_3.6-2_all.deb 602bfeffa3a6b3c5e8fa3f44768d9fd277d0b102 1986442 acl2-books-certs_3.6-2_all.deb 30e03818ac8af4d165042e9caeea6c00462a12c0 2459652 acl2-doc_3.6-2_all.deb 416c635b76ea7466452f8ae3455595ebb79dd270 20533842 acl2_3.6-2_i386.deb 5d99c634ddb3b7a01e9826332eb5bd8d9d75f627 391614 acl2-infix_3.6-2_i386.deb d9b63cfc42de764b0815358125e65463eb1b75b2 30134592 acl2-books_3.6-2_i386.deb Checksums-Sha256: 4e01aad6dcc32ef9350ff1ab953867dd5f951c996310b55344d187a158f1973d 1168 acl2_3.6-2.dsc 69ba00e3e05c3d9ecd364455bf78b7a755d02dd34c395938c3eb09c67c3c2828 14103 acl2_3.6-2.diff.gz 14c040168af9560eb0df0c1a19d58e52332655fbb31dfdf11851b1cf06cbfde0 2739690 acl2-source_3.6-2_all.deb bd97475eb47acd6e8c5038663d74557aec16ed06f4ed3430db27fdfd6d9a03b8 57714 acl2-emacs_3.6-2_all.deb 3ed32470a1fda06b7d3fd428429e11aa26cb6115d67159f5fcf3f0466f02dce9 88958 acl2-infix-source_3.6-2_all.deb bfe13eee152bbdd2030c07a2404a21f7cdd336ee581be904f1712a2b01e8097c 5130896 acl2-books-source_3.6-2_all.deb bdb4afa5893b8d4d82134f8902da4016cd5af82c9bb335d25dbf1323230f32f7 1986442 acl2-books-certs_3.6-2_all.deb 5fdc01cbe340c4a7b7a35c567518ed5a110fb421463454b0c88e2eebd2b494f8 2459652 acl2-doc_3.6-2_all.deb 7cea582fbef94ab156b9ab94d8d45020478833eb65ce9a923f35f247ea6de89f 20533842 acl2_3.6-2_i386.deb 8f3644db82e87d2f92ee2c0861edaaac4e5fc0c5e1c72368e1527264b30663fc 391614 acl2-infix_3.6-2_i386.deb d95bac2b30953a29a1b7085b7d4f72f96409aa4d004af5e6b5ff1890d6dc21cd 30134592 acl2-books_3.6-2_i386.deb Files: 207952887fbe672d55b0dffc2efd082f 1168 math optional acl2_3.6-2.dsc a846a63b10185cbe9effef2065f0f6a8 14103 math optional acl2_3.6-2.diff.gz d9a3f86141a93a2f8f2e8c51449d5253 2739690 math optional acl2-source_3.6-2_all.deb b09ea398c757324efabc9ac69748af33 57714 math optional acl2-emacs_3.6-2_all.deb 953b935671f594ced32f6fd8bc34ec3f 88958 math optional acl2-infix-source_3.6-2_all.deb 0827a93a10d5753d4658791e69503703 5130896 math optional acl2-books-source_3.6-2_all.deb ccaa819991c7fc181a02f2756c88b5c3 1986442 math optional acl2-books-certs_3.6-2_all.deb 613e70f5720f11cccc151df6ec3d74f0 2459652 doc optional acl2-doc_3.6-2_all.deb a0fdc219df1ff4554e8689f75a6465af 20533842 math optional acl2_3.6-2_i386.deb fb50b1e6d4d461a33576d94f604be1f2 391614 math optional acl2-infix_3.6-2_i386.deb c851ac25611aac64a4830e43cb7fc8a9 30134592 math optional acl2-books_3.6-2_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAktAvJgACgkQczG1wFfwRdxPvQCgoOf1PY/IvQc1DnzbLu4cj7sL RJAAoIPgK1WeZ60IfuPgCtddEprv6B6w =qOys -----END PGP SIGNATURE----- Accepted: acl2-books-certs_3.6-2_all.deb to main/a/acl2/acl2-books-certs_3.6-2_all.deb acl2-books-source_3.6-2_all.deb to main/a/acl2/acl2-books-source_3.6-2_all.deb acl2-books_3.6-2_i386.deb to main/a/acl2/acl2-books_3.6-2_i386.deb acl2-doc_3.6-2_all.deb to main/a/acl2/acl2-doc_3.6-2_all.deb acl2-emacs_3.6-2_all.deb to main/a/acl2/acl2-emacs_3.6-2_all.deb acl2-infix-source_3.6-2_all.deb to main/a/acl2/acl2-infix-source_3.6-2_all.deb acl2-infix_3.6-2_i386.deb to main/a/acl2/acl2-infix_3.6-2_i386.deb acl2-source_3.6-2_all.deb to main/a/acl2/acl2-source_3.6-2_all.deb acl2_3.6-2.diff.gz to main/a/acl2/acl2_3.6-2.diff.gz acl2_3.6-2.dsc to main/a/acl2/acl2_3.6-2.dsc acl2_3.6-2_i386.deb to main/a/acl2/acl2_3.6-2_i386.deb
