Accepted acl2 3.6.1-1 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 06 Jun 2010 19:58:55 +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: 3.6.1-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 (3.6.1-1) unstable; urgency=low
.
* New upstream release
Checksums-Sha1:
5a5ac659221ac9a49e9b654bcda9938dc170fe0d 1182 acl2_3.6.1-1.dsc
fa8064434152c03077035f450e02dbb1e23d4a20 10518626 acl2_3.6.1.orig.tar.gz
63226aa351bdbb6a526d9a03dfef431b7108c2e6 15187 acl2_3.6.1-1.diff.gz
6e2e3ef35dedd4bd17b1859d59872934e6ef50e7 2741320 acl2-source_3.6.1-1_all.deb
c390f84578717a40680e623b9aa1635908ff34e5 57906 acl2-emacs_3.6.1-1_all.deb
c44a20bad33ba251e0f84af4d5b081d85641998e 89136 acl2-infix-source_3.6.1-1_all.deb
4882f28e2437026dc60b8abbb29fae7ca3ed7f3c 5139752 acl2-books-source_3.6.1-1_all.deb
ae7b7333bee7d80eacfab92410b9adeae80e309b 2012978 acl2-books-certs_3.6.1-1_all.deb
b368f8550e83867084888aa5966fdb60b4ff5a88 2512720 acl2-doc_3.6.1-1_all.deb
fd229f3ee780772571fa1d068a3f61a86655379b 20539686 acl2_3.6.1-1_i386.deb
6e2360b80a3f78b088b8b1610ddbc191b21e9433 390222 acl2-infix_3.6.1-1_i386.deb
dcbe8066d8fd3572cb389563e7bc6f37fcfe818c 30309546 acl2-books_3.6.1-1_i386.deb
Checksums-Sha256:
df4084897066e4d4b98ed9519f7a98c54e8bc3801f359660a3b5a524186f3c27 1182 acl2_3.6.1-1.dsc
d10ecb2123fb8142d8f1869561d55b50c978088bb044b3b5ec429673172811de 10518626 acl2_3.6.1.orig.tar.gz
cb8e6c7c6236f215bee8e48fc1588c03e2da44d3505b02018cf73551eeadfbd6 15187 acl2_3.6.1-1.diff.gz
5e68ff3104a9dfe142c11eb9e147bbab1b6c01738864c2e3447f860fc28b6099 2741320 acl2-source_3.6.1-1_all.deb
af83525434353a3a25a8e2e612ef32d4a76cb44eae265f5c36b97c326516ce90 57906 acl2-emacs_3.6.1-1_all.deb
9934d1182dc63cd0cae2f640b8833b34df5e5399dc11565b98872f2261103be7 89136 acl2-infix-source_3.6.1-1_all.deb
75610947fc4002cd93b1152a6cd8c4e9851fad58e7781a410ad97e50e4f2d750 5139752 acl2-books-source_3.6.1-1_all.deb
3d9edb9e1a100bd38ad6953415798b7b3aed233e2a463ca594152e1c3f90d3a3 2012978 acl2-books-certs_3.6.1-1_all.deb
3015fb194a9156422f3e5834382171414f6f6f1e4b132839fa3754ad82b6dd55 2512720 acl2-doc_3.6.1-1_all.deb
0994b7438d5436d70cd62a3461a64adf4c25637da28959e2ec47f7a19063c894 20539686 acl2_3.6.1-1_i386.deb
b70393a5af8e3060a9093959334800051a359aa19087e3c51fe7dd23a628dbc2 390222 acl2-infix_3.6.1-1_i386.deb
238662b81f8305205f44f790ed125d507ce5062270af296853b416b95a363a2b 30309546 acl2-books_3.6.1-1_i386.deb
Files:
b0f12a6c9534b0ec20feec041a4bda62 1182 math optional acl2_3.6.1-1.dsc
82fa1c9bc10d1aa991924f7cd41eae27 10518626 math optional acl2_3.6.1.orig.tar.gz
18e9d8dcbdce714ddea840c98ba26298 15187 math optional acl2_3.6.1-1.diff.gz
59f011449a89a71fed7008f24e663ec1 2741320 math optional acl2-source_3.6.1-1_all.deb
bd9b893c530b19a5a9643716c05bf868 57906 math optional acl2-emacs_3.6.1-1_all.deb
dcc53e765553d8bf3e866b65fb14d502 89136 math optional acl2-infix-source_3.6.1-1_all.deb
eee5a7032af2b8d8ffaaf59a83074073 5139752 math optional acl2-books-source_3.6.1-1_all.deb
b2bfb79526aa9f071a2cc118f9234ba7 2012978 math optional acl2-books-certs_3.6.1-1_all.deb
d9494618718111add24a8b9a0a75073e 2512720 doc optional acl2-doc_3.6.1-1_all.deb
e8ecab52074dc51ebbe4d37be5937b86 20539686 math optional acl2_3.6.1-1_i386.deb
b316fd9787070a572acd050d905f934d 390222 math optional acl2-infix_3.6.1-1_i386.deb
afee196bd9710654151ace3d92248d8e 30309546 math optional acl2-books_3.6.1-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkwNWNMACgkQczG1wFfwRdw7VgCghWShGxpkETVU3N1GHuhg6SGi
WAgAn2vELU+0ZfdkzST0A13TGDFn+lNx
=63qi
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_3.6.1-1_all.deb
to main/a/acl2/acl2-books-certs_3.6.1-1_all.deb
acl2-books-source_3.6.1-1_all.deb
to main/a/acl2/acl2-books-source_3.6.1-1_all.deb
acl2-books_3.6.1-1_i386.deb
to main/a/acl2/acl2-books_3.6.1-1_i386.deb
acl2-doc_3.6.1-1_all.deb
to main/a/acl2/acl2-doc_3.6.1-1_all.deb
acl2-emacs_3.6.1-1_all.deb
to main/a/acl2/acl2-emacs_3.6.1-1_all.deb
acl2-infix-source_3.6.1-1_all.deb
to main/a/acl2/acl2-infix-source_3.6.1-1_all.deb
acl2-infix_3.6.1-1_i386.deb
to main/a/acl2/acl2-infix_3.6.1-1_i386.deb
acl2-source_3.6.1-1_all.deb
to main/a/acl2/acl2-source_3.6.1-1_all.deb
acl2_3.6.1-1.diff.gz
to main/a/acl2/acl2_3.6.1-1.diff.gz
acl2_3.6.1-1.dsc
to main/a/acl2/acl2_3.6.1-1.dsc
acl2_3.6.1-1_i386.deb
to main/a/acl2/acl2_3.6.1-1_i386.deb
acl2_3.6.1.orig.tar.gz
to main/a/acl2/acl2_3.6.1.orig.tar.gz
Reply to: