Accepted acl2 3.6.1-2 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 10 Jun 2010 14:09:37 +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.1-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: 585405
Changes:
acl2 (3.6.1-2) unstable; urgency=low
.
* Bug fix: "acl2 depends on old / broken emacs22 package", thanks to
Andreas Barth (Closes: #585405).
* lintian fixes
Checksums-Sha1:
6b59c63c9f0d3cd61a0bf481f82c1f0dfe671030 1182 acl2_3.6.1-2.dsc
387e3035898928b3bf81ac374f4748613113280a 15305 acl2_3.6.1-2.diff.gz
53bf8ca70990efbfe496195ea5367bd7fe38f640 2741390 acl2-source_3.6.1-2_all.deb
3a80f5e22b9c580a00fb17fae4bc24de2468e48d 57982 acl2-emacs_3.6.1-2_all.deb
0966684932b1c2c053e0efa044ab72a1e0bf24d4 89194 acl2-infix-source_3.6.1-2_all.deb
305740fdb97fb0bc092331cc13c23e54b038b6a1 5139730 acl2-books-source_3.6.1-2_all.deb
06dafb1dce082c0018165e70e08cc5197587322d 2012934 acl2-books-certs_3.6.1-2_all.deb
742b9050d0df93d8c4a2a4a48e4f62e352d65ba6 2512880 acl2-doc_3.6.1-2_all.deb
c2285a1fc89d00c5494f48a02922728cfa2eaeae 20543884 acl2_3.6.1-2_i386.deb
a503050d28dcde003de9ddc29bf07e94a69a11cf 390304 acl2-infix_3.6.1-2_i386.deb
ded9bef16c70fde092a2335ad2d85785c99205f2 30309802 acl2-books_3.6.1-2_i386.deb
Checksums-Sha256:
9df4f38b83c851e0bc092838e560e7217dd810cfaffde56172f6762e280e50ca 1182 acl2_3.6.1-2.dsc
50c22dad884649a702f2abd7b7b68378b6537bc463c05b413706769eaca2191e 15305 acl2_3.6.1-2.diff.gz
38e2294271390919339e7efaaaa051e8b20ea4456c29b10297ba3b9603943d05 2741390 acl2-source_3.6.1-2_all.deb
82e6b6ab43b676b2abc2e2a7fb7e84ce9d60ed4d0cf5d621cbcadd7c61a19ff3 57982 acl2-emacs_3.6.1-2_all.deb
c61a9317578b909c31522f7d12225c011ebaffbfb942b327ba35cf163d832626 89194 acl2-infix-source_3.6.1-2_all.deb
f4b0fa0326b8ad55a9b896cfc00dba2793f734cc374ed7a198a72837b668cd2d 5139730 acl2-books-source_3.6.1-2_all.deb
f51ae06546d734dc32879887015701206df223afbe60e6e981ac6bf4a30aff58 2012934 acl2-books-certs_3.6.1-2_all.deb
72204417c6b56e2936f50459053be10b4f45f59c5ca32ec7ae632953e72fd5ed 2512880 acl2-doc_3.6.1-2_all.deb
81ac9c8b0bf0f40e0f64414dac1602a1f62b03398e850ab88472bdce3c06f3ad 20543884 acl2_3.6.1-2_i386.deb
5c11b33b2dc921f619072dfc66ca6391ffbe896bdbd8dbf5bf6a5b32e03239c0 390304 acl2-infix_3.6.1-2_i386.deb
be6508631192f018fcb3062ade11cdef74c151af568b984dbcb1a1c536013254 30309802 acl2-books_3.6.1-2_i386.deb
Files:
047215c95874f862b237a72b10c9a3af 1182 math optional acl2_3.6.1-2.dsc
6abbcc3a02274b9853c1649d0514225f 15305 math optional acl2_3.6.1-2.diff.gz
4b09038dfd1d97f8143434994a99a8a7 2741390 math optional acl2-source_3.6.1-2_all.deb
15932e5b0668f515eae00c7ef230d43d 57982 math optional acl2-emacs_3.6.1-2_all.deb
ff69b8987238f00d98812a34d4c29152 89194 math optional acl2-infix-source_3.6.1-2_all.deb
290bd5744ddcc45def6e7ac49670be55 5139730 math optional acl2-books-source_3.6.1-2_all.deb
419a907e5b450ceb212165f432bee228 2012934 math optional acl2-books-certs_3.6.1-2_all.deb
63a7825f45e78ebc02e5be7f87cd9e58 2512880 doc optional acl2-doc_3.6.1-2_all.deb
78949c5bdefcf18cc1ea9748b9abc107 20543884 math optional acl2_3.6.1-2_i386.deb
2bbbbb3f996df6f9000f495693e6f6b4 390304 math optional acl2-infix_3.6.1-2_i386.deb
8548c552a67bef60de9f1d693cc17e8b 30309802 math optional acl2-books_3.6.1-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkwRG90ACgkQczG1wFfwRdwNhQCfaiQccZbL5vC+Eze19L9uC/Og
gfYAnR8GCH4kOqnoXjOG1ixL87izzoWk
=Lbtm
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_3.6.1-2_all.deb
to main/a/acl2/acl2-books-certs_3.6.1-2_all.deb
acl2-books-source_3.6.1-2_all.deb
to main/a/acl2/acl2-books-source_3.6.1-2_all.deb
acl2-books_3.6.1-2_i386.deb
to main/a/acl2/acl2-books_3.6.1-2_i386.deb
acl2-doc_3.6.1-2_all.deb
to main/a/acl2/acl2-doc_3.6.1-2_all.deb
acl2-emacs_3.6.1-2_all.deb
to main/a/acl2/acl2-emacs_3.6.1-2_all.deb
acl2-infix-source_3.6.1-2_all.deb
to main/a/acl2/acl2-infix-source_3.6.1-2_all.deb
acl2-infix_3.6.1-2_i386.deb
to main/a/acl2/acl2-infix_3.6.1-2_i386.deb
acl2-source_3.6.1-2_all.deb
to main/a/acl2/acl2-source_3.6.1-2_all.deb
acl2_3.6.1-2.diff.gz
to main/a/acl2/acl2_3.6.1-2.diff.gz
acl2_3.6.1-2.dsc
to main/a/acl2/acl2_3.6.1-2.dsc
acl2_3.6.1-2_i386.deb
to main/a/acl2/acl2_3.6.1-2_i386.deb
Reply to: