-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 24 Aug 2008 21:26:46 +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.4-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 Closes: 482594 494328 Changes: acl2 (3.4-1) unstable; urgency=low . * New upstream release * Bug fix: "acl2-status.txt should contain :INITIALIZED.", thanks to Lucas Nussbaum (Closes: #494328). New release works around compiler issue. * Bug fix: "FTBFS when converted to new source format 3.0 (quilt)", thanks to hertzog@debian.org</a>; (Closes: #482594). patches -> dpatches Checksums-Sha1: aaccc398e964bcf5ce52595668db9f14d0d9e7f5 1177 acl2_3.4-1.dsc 9326fb97f7a351bc41943bb433d34e98d1dbf84f 8003235 acl2_3.4.orig.tar.gz ba06fae8e0429c2ff7f05b8fd7167660a5de9830 13765 acl2_3.4-1.diff.gz 2fa77a253b25f54c90be9637afcc93f5e3269d24 2611492 acl2-source_3.4-1_all.deb 3bd893defc5ac27fbe7edcf0338083da7c3f273b 55466 acl2-emacs_3.4-1_all.deb a5b64dbc0dcacdc726ae24c170da010458831b48 86726 acl2-infix-source_3.4-1_all.deb 0ba627874de2debe3adc642de4838d515c6e29eb 2970558 acl2-books-source_3.4-1_all.deb a9ddc69e300ad1678637eec207b94e2623b853ab 1297394 acl2-books-certs_3.4-1_all.deb 9dd0c8181842d7844475202186d485a1b7d5a1ee 2407554 acl2-doc_3.4-1_all.deb b0b425a49e69c9b11bb1a8cae2ff8128d5408717 19363946 acl2_3.4-1_i386.deb bed59291bcff492d5af0351687e5c567de8a6078 399510 acl2-infix_3.4-1_i386.deb 468e18e5058bba39add6f7b73c847ac1a8d64771 21529886 acl2-books_3.4-1_i386.deb Checksums-Sha256: 02377fa580c8f888af98be89efab6a42daedaf585195d88659efa795e0c68e58 1177 acl2_3.4-1.dsc 71373ab5d0fe72f6db1d9a86b7b062eb09707cb7b69f69eccfd41c9f0b938abe 8003235 acl2_3.4.orig.tar.gz da89cd3d9a06e7d49f31ac20bb05b67ee60adc50949158000c507b8e370a19c7 13765 acl2_3.4-1.diff.gz 790fd031b60d3b525f3299e611d7d3ccdf9f377e0085c9a4d46f380e5b2ff443 2611492 acl2-source_3.4-1_all.deb 90faf4b396a8dd187af478bfd8a9f9ff6fa94fe85929cde379dbbc46b3bad9b7 55466 acl2-emacs_3.4-1_all.deb ba3774432ca4a2816f0bbdacabcdc9676350108f3a6661fe886b86512702de91 86726 acl2-infix-source_3.4-1_all.deb 467c9dedea335ee581a1394f87841bd06036a919065976a546f48d73cb5fee6b 2970558 acl2-books-source_3.4-1_all.deb 9ed488ee97ceea6cb6379dd1189b859f250b5157105ce347ed813e3ee927b5b1 1297394 acl2-books-certs_3.4-1_all.deb 8df51ab2cd0101dc5343c28d6f36f1e09b75df5f4f1b347cd07aacd31b80672f 2407554 acl2-doc_3.4-1_all.deb 329895f627dcaaf6241a1e881e0f5afbae246db6f8479a9656c2b5fd4b69ad7e 19363946 acl2_3.4-1_i386.deb 08fc6db611d297689230d6b3d59e07742bc149a758ce38eb83f335662a9f97af 399510 acl2-infix_3.4-1_i386.deb 9c4785d8d3203005e5d2817ec2defdfc6fd0d501d5799cce2214a8ba9188268e 21529886 acl2-books_3.4-1_i386.deb Files: 2425ae793ddcbbfdfa05a27fec1afc6c 1177 math optional acl2_3.4-1.dsc 00c210b69b585941d856616c7a66c463 8003235 math optional acl2_3.4.orig.tar.gz 441c3713e610a92e8f07a5ab4e66296d 13765 math optional acl2_3.4-1.diff.gz a6b04fbc373672094c2df4b36a35ecc1 2611492 math optional acl2-source_3.4-1_all.deb 3b7efe9e196a4d73964f8335b09ccd0f 55466 math optional acl2-emacs_3.4-1_all.deb 57b852d1939f51eb10e9d81b3a2b390f 86726 math optional acl2-infix-source_3.4-1_all.deb 796a3bb265b3e6dea0c238e34c1c1f15 2970558 math optional acl2-books-source_3.4-1_all.deb 80946c897190d8926cd97673b815040f 1297394 math optional acl2-books-certs_3.4-1_all.deb 630c3b15a33d0ed5f9964389f48a8e6a 2407554 doc optional acl2-doc_3.4-1_all.deb 4c878248efb67e0ad06a35fa7c219a13 19363946 math optional acl2_3.4-1_i386.deb 461b39561e80e4cb6d9ee924a3f1b275 399510 math optional acl2-infix_3.4-1_i386.deb 46fa09ca30dba49f43ed030257be7f0e 21529886 math optional acl2-books_3.4-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iD8DBQFIse4tczG1wFfwRdwRAmmLAKC7saAqMJAIOCSf0BZxI9r2x4kIjACfcxip uoSwoMh9KyoR5Dk1xlVoBUs= =lHcU -----END PGP SIGNATURE----- Accepted: acl2-books-certs_3.4-1_all.deb to pool/main/a/acl2/acl2-books-certs_3.4-1_all.deb acl2-books-source_3.4-1_all.deb to pool/main/a/acl2/acl2-books-source_3.4-1_all.deb acl2-books_3.4-1_i386.deb to pool/main/a/acl2/acl2-books_3.4-1_i386.deb acl2-doc_3.4-1_all.deb to pool/main/a/acl2/acl2-doc_3.4-1_all.deb acl2-emacs_3.4-1_all.deb to pool/main/a/acl2/acl2-emacs_3.4-1_all.deb acl2-infix-source_3.4-1_all.deb to pool/main/a/acl2/acl2-infix-source_3.4-1_all.deb acl2-infix_3.4-1_i386.deb to pool/main/a/acl2/acl2-infix_3.4-1_i386.deb acl2-source_3.4-1_all.deb to pool/main/a/acl2/acl2-source_3.4-1_all.deb acl2_3.4-1.diff.gz to pool/main/a/acl2/acl2_3.4-1.diff.gz acl2_3.4-1.dsc to pool/main/a/acl2/acl2_3.4-1.dsc acl2_3.4-1_i386.deb to pool/main/a/acl2/acl2_3.4-1_i386.deb acl2_3.4.orig.tar.gz to pool/main/a/acl2/acl2_3.4.orig.tar.gz
