-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 11 Jan 2010 17:44:36 +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-4 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: 564247 Changes: acl2 (3.6-4) unstable; urgency=low . * Bug fix: "FTBFS [hppa] - **CERTIFICATION FAILED** for ram2b.lisp", thanks to dann frazier (Closes: #564247). Checksums-Sha1: fd1556366581e9f277e07726f2608518eafe55f5 1168 acl2_3.6-4.dsc 2ac4bae5143dadd4fe5ba4c4a5feede7e7d24d75 15164 acl2_3.6-4.diff.gz af167d110be72faf2e9d3e9a8c990f76d2464bc3 2739848 acl2-source_3.6-4_all.deb e581cdc3267dfa40f888891e53b824dab452202f 57870 acl2-emacs_3.6-4_all.deb a01887bc9156f94695ee3bea9ea3fe0b21afb4fa 89108 acl2-infix-source_3.6-4_all.deb c0484623f457b265471ff93436a072e3f6f4f79a 5131138 acl2-books-source_3.6-4_all.deb 7a29dec30d2b3bb5feabdd4d87ec4f131cf59aa3 1986756 acl2-books-certs_3.6-4_all.deb f574fc1c4df2820e84a01a3e499643e8da167381 2459782 acl2-doc_3.6-4_all.deb 4063915b97253bb1cee2c5a5c929484f5e71d381 20525972 acl2_3.6-4_i386.deb 05d9238b8048e1951b31c5c3069c0aa273adb5d1 391770 acl2-infix_3.6-4_i386.deb 642a8b861dd0699b2b320bebff2fca63952ca5af 30135146 acl2-books_3.6-4_i386.deb Checksums-Sha256: 74303daf9d6aab9c864816fdad352fd9391bd74132a4a2a6a7f8a4ff427ab3bf 1168 acl2_3.6-4.dsc b20c24de8a5b5590870d64479ad1a50465aede8082a43e0376b0a5351e95e4ff 15164 acl2_3.6-4.diff.gz c4801b79ef3860c250d63315b5b0784d27abfad5af7703286bf2b9b83d84a970 2739848 acl2-source_3.6-4_all.deb d15b8d0a85e870630d58fd49a63edd0d2134d182e9e8064eaab1d0f9e31efe97 57870 acl2-emacs_3.6-4_all.deb cd8b8c690cda86c8e96ca2d2905aa02908c40c77670b16110253dbe4b4bd81c1 89108 acl2-infix-source_3.6-4_all.deb 99ad875d4e52f14f6b37f859e0e0b4acd998af4d3fac70e217eba5d2dbcfb9e2 5131138 acl2-books-source_3.6-4_all.deb 22d0f030d98268caf7faab0f747c980b7b99528576850eaec2a1ca488354dab7 1986756 acl2-books-certs_3.6-4_all.deb e66f4191bc78454b90e78b58f118ed681e5d1053239576f44286843299b3ee52 2459782 acl2-doc_3.6-4_all.deb 1f34283b3efe5787b6728dd46556c20f58f6116b711ff9c6fa78568b25dc60e9 20525972 acl2_3.6-4_i386.deb 83d8bce9291e2025ba1df31184ef7a15b15a5cf3c3514a0893eb42baa13b5341 391770 acl2-infix_3.6-4_i386.deb 27ca146a1effb78ca5901ce23e9c864b3fbc48fdb421e67a34017cd52359bd54 30135146 acl2-books_3.6-4_i386.deb Files: 33926f078d67d1ff9df87ab2ee7b8c79 1168 math optional acl2_3.6-4.dsc cf3552ff0ebf24a4791c1f5cb44affd6 15164 math optional acl2_3.6-4.diff.gz b7879ac12ef042c0b237edc56ecded9c 2739848 math optional acl2-source_3.6-4_all.deb 0a564306ec84889c8671c97a61d658a2 57870 math optional acl2-emacs_3.6-4_all.deb 4bf7550df6858e7e91c31660f11b8eba 89108 math optional acl2-infix-source_3.6-4_all.deb d9cc18d9b6e39faec6b90f9e12f9d5f1 5131138 math optional acl2-books-source_3.6-4_all.deb 92457ee5e52e53f7bc99e5b03ed69bcb 1986756 math optional acl2-books-certs_3.6-4_all.deb bf6bf8aa092895a882c4237dc22dcdfb 2459782 doc optional acl2-doc_3.6-4_all.deb f1eb799e03bf42df888627c511d64247 20525972 math optional acl2_3.6-4_i386.deb 77d7c2433fe4bf461fb452a9b967ae95 391770 math optional acl2-infix_3.6-4_i386.deb e9c6f90b80ded15d48e91c185e8505bd 30135146 math optional acl2-books_3.6-4_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAktLpzoACgkQczG1wFfwRdx5SgCaAgiDmueE7PqQs9VeCSGkz3Bf Ub8An3uua29/4U/qKcu973K0yRMrRqMV =KLth -----END PGP SIGNATURE----- Accepted: acl2-books-certs_3.6-4_all.deb to main/a/acl2/acl2-books-certs_3.6-4_all.deb acl2-books-source_3.6-4_all.deb to main/a/acl2/acl2-books-source_3.6-4_all.deb acl2-books_3.6-4_i386.deb to main/a/acl2/acl2-books_3.6-4_i386.deb acl2-doc_3.6-4_all.deb to main/a/acl2/acl2-doc_3.6-4_all.deb acl2-emacs_3.6-4_all.deb to main/a/acl2/acl2-emacs_3.6-4_all.deb acl2-infix-source_3.6-4_all.deb to main/a/acl2/acl2-infix-source_3.6-4_all.deb acl2-infix_3.6-4_i386.deb to main/a/acl2/acl2-infix_3.6-4_i386.deb acl2-source_3.6-4_all.deb to main/a/acl2/acl2-source_3.6-4_all.deb acl2_3.6-4.diff.gz to main/a/acl2/acl2_3.6-4.diff.gz acl2_3.6-4.dsc to main/a/acl2/acl2_3.6-4.dsc acl2_3.6-4_i386.deb to main/a/acl2/acl2_3.6-4_i386.deb
