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-----