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