Accepted acl2 4.1-4 (source all i386)
-----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
Reply to: