-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 07 Jul 2010 21:49: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: 4.0-1 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 Changes: acl2 (4.0-1) unstable; urgency=low . * New upstream release Checksums-Sha1: 7b90ccae10b5d151c218212c52ebeeccfb92fafb 1168 acl2_4.0-1.dsc 754c76be69f1e39543505e370fde254df251b4fc 11425814 acl2_4.0.orig.tar.gz 956b64c40907d6b171358ce6fe313dbece69a67a 15664 acl2_4.0-1.diff.gz d7915619c2f9245b48229ae0793c36a19bbac6f1 3026088 acl2-source_4.0-1_all.deb fe29c34d344d59f9e1c04623f8018be47bf6d4a7 58034 acl2-emacs_4.0-1_all.deb ee27d62a468d5b690d9db59087f2ad48745e42d1 89216 acl2-infix-source_4.0-1_all.deb 8a9af262df33c1d8f6bd66e8b1c1ffa10f5556f7 5286442 acl2-books-source_4.0-1_all.deb 3809ff37ae3b147d4393c4ee0854deecdf5ce367 2007464 acl2-books-certs_4.0-1_all.deb f2ee116f0c36415388ad9cab039fdaa79cab70dd 2825982 acl2-doc_4.0-1_all.deb 87d3b54ed13c4818f9a7aa949064e013f714b00e 22363272 acl2_4.0-1_i386.deb 05ed893e60baa8822ac571890962153859123805 390298 acl2-infix_4.0-1_i386.deb 3b988030228ba5e41d693ff714ebccf037543846 34005488 acl2-books_4.0-1_i386.deb Checksums-Sha256: b54caec06eac37790b520d240b174a0321f4111ccadd6c41c416e4a7da3a82ba 1168 acl2_4.0-1.dsc 2410c0d55e687db999a3467427a43a28eafbced0340751f6c401ba4deda64880 11425814 acl2_4.0.orig.tar.gz ca1277bff87479ea0e98632b41513f8901e3f7c0d32222f8859dedbf24b23b3d 15664 acl2_4.0-1.diff.gz 72319544e9403347729c95bfc0b6d22276c417697e21ea4cb1143d13a6a6a92b 3026088 acl2-source_4.0-1_all.deb 8fd684196f4db77112c490d34c2df5b7a593e4fa932d35c3b66039bb469b7af6 58034 acl2-emacs_4.0-1_all.deb 48e8efc62cc2374989c717884c064c7675adaaf902caafd7b12590ef8d01d79e 89216 acl2-infix-source_4.0-1_all.deb ec8a4f98715746e2eb935062d8851e3a9311c1f8f13c8086a1adbd686d6071a5 5286442 acl2-books-source_4.0-1_all.deb b7d500d50cdbfc8efb8f8d55b123fb533bbe11ad325f305d93699b958149ce17 2007464 acl2-books-certs_4.0-1_all.deb debb6776b61bf0654a82f10856a7f47c7826ce3da4fa925d105f52bd4705706a 2825982 acl2-doc_4.0-1_all.deb 8814ed92fe6d04ea9471c604d036454473e1e420688b38faef335f6aafa9735c 22363272 acl2_4.0-1_i386.deb 9e43e469bcb804a510da7f3d857ae61030d0eb359bcf7cd51d4b4c4e4376d751 390298 acl2-infix_4.0-1_i386.deb b0a734d328bbbe926a2b0c3cf0cbeb5abf425a4556671e74411d7e04cf9d980b 34005488 acl2-books_4.0-1_i386.deb Files: 01bff7c21bd3eae9a2b4e59ecb784c5e 1168 math optional acl2_4.0-1.dsc 6da5dbb60f8f39fb359a0b9391d899fa 11425814 math optional acl2_4.0.orig.tar.gz 38437f0eefa7ba1ad800d02a8e4bb5f0 15664 math optional acl2_4.0-1.diff.gz 274324b3320a85b514685cd8f0193783 3026088 math optional acl2-source_4.0-1_all.deb 1c5476fc1787dc1118fd049ad18b9229 58034 math optional acl2-emacs_4.0-1_all.deb b05c2916e45e24305d8e1d329c4ee513 89216 math optional acl2-infix-source_4.0-1_all.deb 5bba1222ec53a589f274d683cbffb882 5286442 math optional acl2-books-source_4.0-1_all.deb 50662afb9ddd3366ea897f9286eeebad 2007464 math optional acl2-books-certs_4.0-1_all.deb 058e86c1511db7fd78cefc21ddb7effb 2825982 doc optional acl2-doc_4.0-1_all.deb 07a492064df3a4a96fbc93d09c1d580b 22363272 math optional acl2_4.0-1_i386.deb 300e008cdd4845431c83ae4ff7fe3c30 390298 math optional acl2-infix_4.0-1_i386.deb c3884d86aef48879268e95c3a3466ed4 34005488 math optional acl2-books_4.0-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkw1KFMACgkQczG1wFfwRdxzygCggvADjRDD5FZhy2wGkppymKJp Lw8An0UDtnOR/T7GHAzio0CdWvwFrn7z =P8e+ -----END PGP SIGNATURE----- Accepted: acl2-books-certs_4.0-1_all.deb to main/a/acl2/acl2-books-certs_4.0-1_all.deb acl2-books-source_4.0-1_all.deb to main/a/acl2/acl2-books-source_4.0-1_all.deb acl2-books_4.0-1_i386.deb to main/a/acl2/acl2-books_4.0-1_i386.deb acl2-doc_4.0-1_all.deb to main/a/acl2/acl2-doc_4.0-1_all.deb acl2-emacs_4.0-1_all.deb to main/a/acl2/acl2-emacs_4.0-1_all.deb acl2-infix-source_4.0-1_all.deb to main/a/acl2/acl2-infix-source_4.0-1_all.deb acl2-infix_4.0-1_i386.deb to main/a/acl2/acl2-infix_4.0-1_i386.deb acl2-source_4.0-1_all.deb to main/a/acl2/acl2-source_4.0-1_all.deb acl2_4.0-1.diff.gz to main/a/acl2/acl2_4.0-1.diff.gz acl2_4.0-1.dsc to main/a/acl2/acl2_4.0-1.dsc acl2_4.0-1_i386.deb to main/a/acl2/acl2_4.0-1_i386.deb acl2_4.0.orig.tar.gz to main/a/acl2/acl2_4.0.orig.tar.gz
