Accepted acl2 6.1-2 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 21 May 2013 17:15:51 +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 amd64
Version: 6.1-2
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Description:
acl2 - Computational Logic for Applicative Common Lisp: main binary
acl2-books - Computational Logic for Applicative Common Lisp: compiled librari
acl2-books-certs - Computational Logic for Applicative Common Lisp: library certific
acl2-books-source - Computational Logic for Applicative Common Lisp: library sources
acl2-doc - Computational Logic for Applicative Common Lisp: documentation
acl2-emacs - Computational Logic for Applicative Common Lisp: emacs interface
acl2-infix - Computational Logic for Applicative Common Lisp: infix interface
acl2-infix-source - Computational Logic for Applicative Common Lisp: infix source
acl2-source - Computational Logic for Applicative Common Lisp: source files
Changes:
acl2 (6.1-2) unstable; urgency=low
.
* skip elementary-bounders.lisp certification, which takes too much memory
Checksums-Sha1:
f2d8d8b5280f108a756133525036e166a94205a2 1741 acl2_6.1-2.dsc
fd82f54ae8023ff5343c8875c4d57f88a6bc18db 159798 acl2_6.1-2.debian.tar.gz
751d10c848c50dbf3fef5bdc823f017698577748 3752232 acl2-source_6.1-2_all.deb
37654e7f6982462c78b36dd187a47307fe9984df 61514 acl2-emacs_6.1-2_all.deb
34dbe91c46507edfc236bd6bf7d3cf16b959944c 92370 acl2-infix-source_6.1-2_all.deb
30a1299804dcaa85398db7d35194455dda607ac7 7509364 acl2-books-source_6.1-2_all.deb
bf2205af3d04ae800be1e0fe6f609c1edc4d8ccc 8883736 acl2-books-certs_6.1-2_all.deb
cd329bcaeac21da3b12ac7bb3b9eab827552408b 12301502 acl2-doc_6.1-2_all.deb
3d067d50e399d2b38d8a96710045de2c00876311 32503976 acl2_6.1-2_amd64.deb
b9e01a054e96a81148cb1c1b42b952334c8dae73 207340 acl2-infix_6.1-2_amd64.deb
0b07e07b0d1bc34195bf2a97c8fc8ddac3ad880d 30030522 acl2-books_6.1-2_amd64.deb
Checksums-Sha256:
e95841b0d9d81c700f4e1ef427d394af2c005208eb744de25fd0d968286666c8 1741 acl2_6.1-2.dsc
d88a05664508537bc80f325dfbdd88b84af38966e37e195d6607b4688dfedac6 159798 acl2_6.1-2.debian.tar.gz
6ad7ce40393f7006e7bd9263c33875971b87db4a3192bf55b34bef82740efcf2 3752232 acl2-source_6.1-2_all.deb
3ae3763d5edead4e04007faca6236b838b5f943fe0fe0a46b6148da2f3cb960c 61514 acl2-emacs_6.1-2_all.deb
70271f06860fc44696e4b9a138e052897895ede8c057c2a7343d983e4a6f7222 92370 acl2-infix-source_6.1-2_all.deb
17c7f3eff6a55f86820315312ce8ff2889265a915718581e67d67ccb69661f03 7509364 acl2-books-source_6.1-2_all.deb
64e6e2dedd40d4ba0c0a71ba4472ebb5645a883a0efb86279c84bd110a0f9d54 8883736 acl2-books-certs_6.1-2_all.deb
40758d3c90989c9d44b735a0cfa0661a1749959c944748e39aa7064e4befae4c 12301502 acl2-doc_6.1-2_all.deb
f1389c217e9a189bb1e7bfad9fbb3fb484ee8fcfaa754614015eb572cee132f9 32503976 acl2_6.1-2_amd64.deb
d7fa3ddd536b38e577276aece493a513f131aa2d956ee9c25591eb9a3e735660 207340 acl2-infix_6.1-2_amd64.deb
32599ce4c0b3fde2e1782254bf42ea64422f27107feaab54414aa635e3a09336 30030522 acl2-books_6.1-2_amd64.deb
Files:
1569aac3c3f41b3b9de415de84e3c500 1741 math optional acl2_6.1-2.dsc
92c119a4f3adbbc05c196bc0dfca0fa2 159798 math optional acl2_6.1-2.debian.tar.gz
b762a17c4099ab912183e69b2686234f 3752232 math optional acl2-source_6.1-2_all.deb
498bef63f0bc97480036301c3c631fd9 61514 math optional acl2-emacs_6.1-2_all.deb
bd224861982e7864ad4ed24b47ec708a 92370 math optional acl2-infix-source_6.1-2_all.deb
4fe86060f248d92e1a6881381fe4aadf 7509364 math optional acl2-books-source_6.1-2_all.deb
a896fd2a41c42b96b8dee74435c58f1e 8883736 math optional acl2-books-certs_6.1-2_all.deb
5b8a346f6a98ca6e5cef5e267fd138a6 12301502 doc optional acl2-doc_6.1-2_all.deb
6a3aa3162dccf97f87e0b0c915e14e32 32503976 math optional acl2_6.1-2_amd64.deb
e2866fcc2a4f8c8d31c5f2e80306d083 207340 math optional acl2-infix_6.1-2_amd64.deb
15f0ed9a9a27e77d5d06c3062c1cb230 30030522 math optional acl2-books_6.1-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAlGdCVwACgkQczG1wFfwRdwCrACgnoYFb9BovKgZsnAdh6hGJWnr
IRwAoLhN2oWMhgc63HOThjKfkMuPhMjy
=aMem
-----END PGP SIGNATURE-----