Accepted acl2 3.6-4 (source all i386)
-----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
Reply to: