-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 23 Sep 2010 12:44:54 +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: 4.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: 597278 Changes: acl2 (4.1-2) unstable; urgency=low . * build-dep latest gcl * Bug fix: "FTBFS (powerpc): ls: cannot access tiny.cert: No such file or directory", thanks to Philipp Kern (Closes: #597278). Checksums-Sha1: 162718d85aac190a647379a0b25456c07856b236 1194 acl2_4.1-2.dsc e6231206f43b24c5fe207d0166d21146363735fd 17556 acl2_4.1-2.debian.tar.gz 7062ec0fb4065428842d9fcece9742eb423a29c1 3033562 acl2-source_4.1-2_all.deb 9eaf1cdc3d471aabc90f0adf10b0714a05dd2674 58472 acl2-emacs_4.1-2_all.deb e330319c5a3388cf0f63ad8273146a36762266c4 89398 acl2-infix-source_4.1-2_all.deb fb7cf0fd5b063f5d1d1f058e0f858ae03ac0992b 5309414 acl2-books-source_4.1-2_all.deb 2ee7ea6c66e53a8399f4d9b5becdf059f2481de5 2019226 acl2-books-certs_4.1-2_all.deb ed1356f330c04cd47a483ccd645555907451f3d0 2837400 acl2-doc_4.1-2_all.deb 59ef0190f62bc61180fb35864c78b5b9b341efdf 21863902 acl2_4.1-2_i386.deb c920ea843224e460f3f340bd0fe26b7d81419d70 390924 acl2-infix_4.1-2_i386.deb b75365b6115a717253d71884cbc12bea6e6ba561 34182300 acl2-books_4.1-2_i386.deb Checksums-Sha256: f1d653c4e4a148cdeb1cbb6de32023e4acc620328f9da7d4bb1c71591e2ecb4b 1194 acl2_4.1-2.dsc 49186e8dd220ae474d004a57df342a69aa40e7e5dc5548165f1e6b2efdd78005 17556 acl2_4.1-2.debian.tar.gz 2070ba233a74af6bd2dff6326ad00561a7f7eb4a450111d92317f0ac86149688 3033562 acl2-source_4.1-2_all.deb 170aa305833a2206faf5746a1f469751b1fc23a5de9245f88251e49e94a4de3a 58472 acl2-emacs_4.1-2_all.deb 2175a703260cf933249b7167767eb3e2fd18263d164a0019fea3c5c73b775726 89398 acl2-infix-source_4.1-2_all.deb 2cc03d8872f0e00d019d8a4b5ca7a8ca5484db4f7fa4c05e61fcee22dc68c567 5309414 acl2-books-source_4.1-2_all.deb 64ac60c1484c5dcd151128f369493b0ee410c830667a27f737bed84a99323eb4 2019226 acl2-books-certs_4.1-2_all.deb c26e49303c5b4b6709b45569d0e1b6508eff3cd2fcb8c6323925ec7d5a958356 2837400 acl2-doc_4.1-2_all.deb 418d40f65c751171ede611cf180b52c08e595b3df1eb5d13ef68ed3eab999326 21863902 acl2_4.1-2_i386.deb f3768ed884cff19ab7f6ea9407c05af9fdc7b73248b931e55a3917795c89e956 390924 acl2-infix_4.1-2_i386.deb 988a96d816f80362a3bab455c55acf1f19faf8aa4c9e695c9463c9edc04ee944 34182300 acl2-books_4.1-2_i386.deb Files: 744d05e6c858bccdc1463a06bde99d86 1194 math optional acl2_4.1-2.dsc cae24030515d0d121af3537ced1d4a18 17556 math optional acl2_4.1-2.debian.tar.gz 20a3edc4aaa5c4682d4173972687c2e0 3033562 math optional acl2-source_4.1-2_all.deb 71724ad0651d6bfd14ecfbb2fd4905c1 58472 math optional acl2-emacs_4.1-2_all.deb afc0ec96a0a8f2a84837e91833be96d1 89398 math optional acl2-infix-source_4.1-2_all.deb 0fdd2d2e413b65ad5bbaa692636977b9 5309414 math optional acl2-books-source_4.1-2_all.deb c2efa3f956da2c0d0f2370ed3c5dbce6 2019226 math optional acl2-books-certs_4.1-2_all.deb 793ab79cd67790135af1585b59702bbc 2837400 doc optional acl2-doc_4.1-2_all.deb 78dde9510f71cdb59886fbf9105da236 21863902 math optional acl2_4.1-2_i386.deb a384ca97590a846a34a1bdb448ef8184 390924 math optional acl2-infix_4.1-2_i386.deb 194f05039bbce6e66e577e9e57712f4d 34182300 math optional acl2-books_4.1-2_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkyeUv4ACgkQczG1wFfwRdzdIACfV89OgXndgx7u4B54mWKe82OO yX4AoI1csYY+nTtab+fycfQ/O2nD8kKo =XlEM -----END PGP SIGNATURE----- Accepted: acl2-books-certs_4.1-2_all.deb to main/a/acl2/acl2-books-certs_4.1-2_all.deb acl2-books-source_4.1-2_all.deb to main/a/acl2/acl2-books-source_4.1-2_all.deb acl2-books_4.1-2_i386.deb to main/a/acl2/acl2-books_4.1-2_i386.deb acl2-doc_4.1-2_all.deb to main/a/acl2/acl2-doc_4.1-2_all.deb acl2-emacs_4.1-2_all.deb to main/a/acl2/acl2-emacs_4.1-2_all.deb acl2-infix-source_4.1-2_all.deb to main/a/acl2/acl2-infix-source_4.1-2_all.deb acl2-infix_4.1-2_i386.deb to main/a/acl2/acl2-infix_4.1-2_i386.deb acl2-source_4.1-2_all.deb to main/a/acl2/acl2-source_4.1-2_all.deb acl2_4.1-2.debian.tar.gz to main/a/acl2/acl2_4.1-2.debian.tar.gz acl2_4.1-2.dsc to main/a/acl2/acl2_4.1-2.dsc acl2_4.1-2_i386.deb to main/a/acl2/acl2_4.1-2_i386.deb
