Accepted acl2 6.0-2 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 13 Jan 2013 17:54:15 +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: 6.0-2
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Description:
acl2 - Computational Logic for Applicative Common Lisp: main binary
acl2-books - Computational Logic for Applicative Common Lisp: compiled librari
acl2-books-certs - Computational Logic for Applicative Common Lisp: library certific
acl2-books-source - Computational Logic for Applicative Common Lisp: library sources
acl2-doc - Computational Logic for Applicative Common Lisp: documentation
acl2-emacs - Computational Logic for Applicative Common Lisp: emacs interface
acl2-infix - Computational Logic for Applicative Common Lisp: infix interface
acl2-infix-source - Computational Logic for Applicative Common Lisp: infix source
acl2-source - Computational Logic for Applicative Common Lisp: source files
Changes:
acl2 (6.0-2) unstable; urgency=low
.
* HOME="/tmp" environment for make DOC
Checksums-Sha1:
46638d14a24a4f73e0adfeaf4dcc7e46044333a5 1741 acl2_6.0-2.dsc
a815a33da29f871aef142b5de99bf859c9a4bc2e 159054 acl2_6.0-2.debian.tar.gz
0a15268355c72eec0f4599e029163a7178e0fce7 3706652 acl2-source_6.0-2_all.deb
d33381ec527083634321fa8d1c9031e4841ea033 62026 acl2-emacs_6.0-2_all.deb
2bb4d0a08c96df01e70178c8c38e13da43f2fa75 92348 acl2-infix-source_6.0-2_all.deb
cedf45f5ab12d5b9278850dd60d40da5347981e2 7818566 acl2-books-source_6.0-2_all.deb
4a389e7b66d54fc8c82fd7c424133ecef9dab890 5192404 acl2-books-certs_6.0-2_all.deb
dcf5439a9458cc44950f5a5efd8707f0710f46c3 12139506 acl2-doc_6.0-2_all.deb
4ce443795ae7bedc4ed7564ff139f21d1c7e0c3f 27024834 acl2_6.0-2_i386.deb
da2117fda0010b23ec59ff46754e1f6abdcede2c 185494 acl2-infix_6.0-2_i386.deb
9e7c02a641fccf396dc0313d5c2d809e54e02afa 16465484 acl2-books_6.0-2_i386.deb
Checksums-Sha256:
daaeb509f0352a35eec7e62168d1f16493d5138f86cf95ec5bc8b11c9a0b46bb 1741 acl2_6.0-2.dsc
4539e53633c7f87fb9f0511fe8815ac1424df9c674d4373a7a97d6747141b92e 159054 acl2_6.0-2.debian.tar.gz
a5c97dcf09f2f22a436510182f4c64f57b07b2fae05d999a1aac3c8cb035d077 3706652 acl2-source_6.0-2_all.deb
1d36e30081e6465736962cdbf6f96c37f58428736f864059f6f439d8aa723a06 62026 acl2-emacs_6.0-2_all.deb
4a4f16b62d7db1248d8c6ab5f080efc5e6c88737105c0ac5fcc46834f7c07b84 92348 acl2-infix-source_6.0-2_all.deb
ba2cd416cd54f27b97ac2fefd62c73152bf8ad593bdcfcb91e86eae9d9a78ba9 7818566 acl2-books-source_6.0-2_all.deb
d0f6709646340c2868e1a7494460097da7332eccdaf31c2faf6d6eadd78699e8 5192404 acl2-books-certs_6.0-2_all.deb
05bb33147919c719adb37cd8d3a6ee23790f7509c4e34a58d7eb2a7faad13164 12139506 acl2-doc_6.0-2_all.deb
b697318eab40ae4fa14ed73a6a83a2749283e220da8810a635a3b774001ac3c8 27024834 acl2_6.0-2_i386.deb
184a73d6f2011a9c05320555228600c4096f518f05c793f85175e5b5a580e83a 185494 acl2-infix_6.0-2_i386.deb
14d08c4d34ce7de10924a93f54a273f9ff3b776af5b7a93aff3d3838c02a6b2a 16465484 acl2-books_6.0-2_i386.deb
Files:
5b201eae0d3d35fcac233a9c9d24b5a4 1741 math optional acl2_6.0-2.dsc
ba42bdc1c67727c19cba737435fe960a 159054 math optional acl2_6.0-2.debian.tar.gz
0418dd66f99219de4302bc4daa310190 3706652 math optional acl2-source_6.0-2_all.deb
36a5de55820c5931bb78317823e52a0c 62026 math optional acl2-emacs_6.0-2_all.deb
700707ca858bf51f90820dd81722bc03 92348 math optional acl2-infix-source_6.0-2_all.deb
40a1d2c312e03bff3b7800e2d3158a05 7818566 math optional acl2-books-source_6.0-2_all.deb
990919abeaaef6676722e37531eb0a87 5192404 math optional acl2-books-certs_6.0-2_all.deb
da6d00a681567e0d64fd331d37789322 12139506 doc optional acl2-doc_6.0-2_all.deb
c2d1a870c3ce275e3fdc1965590777c1 27024834 math optional acl2_6.0-2_i386.deb
39fbf2f06840be363be70765c5d4ff8a 185494 math optional acl2-infix_6.0-2_i386.deb
8acfb2fbee556907826fd28267429606 16465484 math optional acl2-books_6.0-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAlDzLJEACgkQczG1wFfwRdwHjwCgknsXkSQ/wjo5bHyRzYTB8XKB
7hcAoKSWcwgsgciJzCgTwwOuzRDczzcC
=mEkW
-----END PGP SIGNATURE-----