-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 27 Oct 2010 20:47:24 +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-4 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.1-4) unstable; urgency=low . * build dep on latest gcl Checksums-Sha1: 728483786e113af6b1b422b1302086ce57fa97cb 1194 acl2_4.1-4.dsc cc227b69c8dcdaf4d49237437a3b68da6ef9b89d 17644 acl2_4.1-4.debian.tar.gz 4bc30ece73dec085d1c9c475dfcbd0b0146f5501 3033608 acl2-source_4.1-4_all.deb 19f72df9f0c79690a4ca4b5e45471e87a729e3bc 58568 acl2-emacs_4.1-4_all.deb 0eed1b28e7b1f76e5d29f991ac7126533dff77f4 89488 acl2-infix-source_4.1-4_all.deb 8bc916db55085a019633c87bc2d03cdffb2a4196 5309408 acl2-books-source_4.1-4_all.deb 264bded4407f0d5f68db84be7c0cb7d187b89394 2019328 acl2-books-certs_4.1-4_all.deb f5c5e91dcbe27dddb217de229e7c4c554efdb7f4 2837446 acl2-doc_4.1-4_all.deb 62b1748fc94bb115b444280f599649f7e5002051 21814024 acl2_4.1-4_i386.deb 54d362b65a00b5d010a58ae7242b0f52b5ee9a8a 390982 acl2-infix_4.1-4_i386.deb e394e9fa7c0e60f82b158ad7e8bed84ecec1f8d1 34168358 acl2-books_4.1-4_i386.deb Checksums-Sha256: fea8d94fa1c994b4c2ed15a185a6b302dcf1a929f08a7cb4f12f2141be1691bf 1194 acl2_4.1-4.dsc 80cb155d9f038d808fcecf256b57ecd2b29700869694fffc5ebd3eae80f40032 17644 acl2_4.1-4.debian.tar.gz 76ef7878d1b10d8fb2487488118eb4dc66a9bf5c8dcc88e9159f4c61c39b941b 3033608 acl2-source_4.1-4_all.deb 01b24a62131141cbd11ca70ffd1c73d658a489818d351d7a66356776f5aca3f1 58568 acl2-emacs_4.1-4_all.deb f1426d191138f947ffa340ddead189ea69927afda63a965a769e3c3fa4afcf20 89488 acl2-infix-source_4.1-4_all.deb 0096770c5bac2bcff40ab0156204f8e7188b3de5d973798f1e7aece71034eeb0 5309408 acl2-books-source_4.1-4_all.deb 2f2b26d91ab41777135991d7f4e8a386a911ed62a65ef10187eb09426f784269 2019328 acl2-books-certs_4.1-4_all.deb fdce7d030eee2b00befbb1b3245054a279febc7723d47c2444a4106d8734aa38 2837446 acl2-doc_4.1-4_all.deb ecf89c7e703b4e33c3a290ed003c4c42cc49b7ee5382c7cfd05a9101336eabef 21814024 acl2_4.1-4_i386.deb 7c2a8810da8bab5655749442c9506c4dadbef7611a31e28e59e579e2da3d167a 390982 acl2-infix_4.1-4_i386.deb a7ca55b1c6216c6a6612b4eca382da162ba2fbc0d99ed34a7dc952d1bd3c1c37 34168358 acl2-books_4.1-4_i386.deb Files: cb1f3b17be59a5e59c45897504b2d6fc 1194 math optional acl2_4.1-4.dsc 4a8205853e0fcbd23a3dfa5e0176eb33 17644 math optional acl2_4.1-4.debian.tar.gz 027cb32fe92a6bc56dac51b69b779629 3033608 math optional acl2-source_4.1-4_all.deb b892d867b55ac012c6768999595f9bf1 58568 math optional acl2-emacs_4.1-4_all.deb 854a31e3a10588a192c6e29d401ac7a7 89488 math optional acl2-infix-source_4.1-4_all.deb 4be4c32d9e7fb5c549e14ecbcb3b8b01 5309408 math optional acl2-books-source_4.1-4_all.deb 345623c054d71c028f2cb93d53e3a506 2019328 math optional acl2-books-certs_4.1-4_all.deb 662431405b14df43e59ef72a48e9c815 2837446 doc optional acl2-doc_4.1-4_all.deb 8bd72133370012f7048c8b9c266a9660 21814024 math optional acl2_4.1-4_i386.deb 85462bb01b72ca8ada122da38d968fad 390982 math optional acl2-infix_4.1-4_i386.deb c4c0f90b270930ed7707535a16ae4b21 34168358 math optional acl2-books_4.1-4_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkzNDOcACgkQczG1wFfwRdyKhQCggiozW4QvAVc4r0CwejdOtOk7 O8kAn0tTBtQopWy7eAqkS26Clc+jJn2j =Y4qF -----END PGP SIGNATURE----- Accepted: acl2-books-certs_4.1-4_all.deb to main/a/acl2/acl2-books-certs_4.1-4_all.deb acl2-books-source_4.1-4_all.deb to main/a/acl2/acl2-books-source_4.1-4_all.deb acl2-books_4.1-4_i386.deb to main/a/acl2/acl2-books_4.1-4_i386.deb acl2-doc_4.1-4_all.deb to main/a/acl2/acl2-doc_4.1-4_all.deb acl2-emacs_4.1-4_all.deb to main/a/acl2/acl2-emacs_4.1-4_all.deb acl2-infix-source_4.1-4_all.deb to main/a/acl2/acl2-infix-source_4.1-4_all.deb acl2-infix_4.1-4_i386.deb to main/a/acl2/acl2-infix_4.1-4_i386.deb acl2-source_4.1-4_all.deb to main/a/acl2/acl2-source_4.1-4_all.deb acl2_4.1-4.debian.tar.gz to main/a/acl2/acl2_4.1-4.debian.tar.gz acl2_4.1-4.dsc to main/a/acl2/acl2_4.1-4.dsc acl2_4.1-4_i386.deb to main/a/acl2/acl2_4.1-4_i386.deb
