-----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-----
