Accepted acl2 6.1-3 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 23 May 2013 13:20:29 +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-3
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-3) unstable; urgency=low
.
* skip books/centaur/defrstobj/basic-tests.lisp, which takes too much memory
Checksums-Sha1:
ba99313073f4fd862cddb93ce4afc8380b8f147f 1741 acl2_6.1-3.dsc
b93d295dbd078f72dce79dba046bb375f271fc69 159758 acl2_6.1-3.debian.tar.gz
56315b4b0db21b72911a0df28427eba57423cf6d 3753130 acl2-source_6.1-3_all.deb
0d54bdaec884f1547eb72a5db1a11c27492187c7 60408 acl2-emacs_6.1-3_all.deb
680555a040e8ac1e76491d16e1bfa9c314de6027 91100 acl2-infix-source_6.1-3_all.deb
f5eecc07f61f8e42aca21c49f6b22e0433d2cd22 7483398 acl2-books-source_6.1-3_all.deb
1e104faab605410c2b013e8aad52a0070a460ae4 8848440 acl2-books-certs_6.1-3_all.deb
ecc51f01f6e56d54bfbee48cb6f1fa7c77e60b39 7717544 acl2-doc_6.1-3_all.deb
5b744889e5a89ffd1b9364fe857552d7b2ec626b 32523856 acl2_6.1-3_amd64.deb
2b3cf52cf202b062b1dee2390e6754b116b64099 206880 acl2-infix_6.1-3_amd64.deb
e8fc08c3e03cb69b2efcc97491f86b25c0f72c8b 29754994 acl2-books_6.1-3_amd64.deb
Checksums-Sha256:
e801cccace349d5464002a17d0c8906e6b282f1bd8b9bf94e7eb2d31d589a249 1741 acl2_6.1-3.dsc
ebef7d8a5629225bfad11e9fa5f6d1183000e5a28dad1a13eeb12bee2c7e1560 159758 acl2_6.1-3.debian.tar.gz
465ccc8f6b9a21dc824fd88f940d03f412c6a3164f2accf38da7d2ad0a223c5a 3753130 acl2-source_6.1-3_all.deb
fb16f4764f679c2d217e149718260a6214bc74b49e6ddfe13a4fd1f994eeef8f 60408 acl2-emacs_6.1-3_all.deb
5be9f0e86bc88e7310e1fc2830cf29111437a51c4626c0c18ffff3f8ef727314 91100 acl2-infix-source_6.1-3_all.deb
abfcc2a0bbaf8af6b9590f17096253e1243192e9b7851553f519de5f19c2e136 7483398 acl2-books-source_6.1-3_all.deb
535fc0898199a156cc28cc64a167e97297e69034730c501a61dbfe772416864a 8848440 acl2-books-certs_6.1-3_all.deb
c36b725220ebc0dd6992a8b62b20b156e69bce4c222a155fce555ba36a2f3993 7717544 acl2-doc_6.1-3_all.deb
fbbe030616d383c31c989ac065b5d1430cb6991bd3fcb6b0fa2c0d73c5f7b503 32523856 acl2_6.1-3_amd64.deb
aa0924b0225f065a77afd0d742e28caf89701e0dffac7d8dfb4e1a9f531a4912 206880 acl2-infix_6.1-3_amd64.deb
30cd7cfe1f77decbe57fc4ba90a64c6a9e3ea384e92fda9016e664fcfe6aa7d1 29754994 acl2-books_6.1-3_amd64.deb
Files:
b368df3bee60427ebffe4d58f2800745 1741 math optional acl2_6.1-3.dsc
114176b3d0bf23692d5239a6e24f97a9 159758 math optional acl2_6.1-3.debian.tar.gz
287be87a0a3c4eb59ac7c611ec2f6e0e 3753130 math optional acl2-source_6.1-3_all.deb
93be59a11128cfcf11359c1f2310317f 60408 math optional acl2-emacs_6.1-3_all.deb
2ec98a9a6369abb682cec762b92f4c7a 91100 math optional acl2-infix-source_6.1-3_all.deb
5b9b5106b099b9375e39fc80eb03c9b9 7483398 math optional acl2-books-source_6.1-3_all.deb
15e0badb0702ac67ab4c4920aa749cde 8848440 math optional acl2-books-certs_6.1-3_all.deb
069d9733336f34f50ef994809c65a2d7 7717544 doc optional acl2-doc_6.1-3_all.deb
244927bbf20f0dec430a70b66b7d9034 32523856 math optional acl2_6.1-3_amd64.deb
bc6de14a307571b2a9fb4a14b4a92234 206880 math optional acl2-infix_6.1-3_amd64.deb
87e7b7948c393fac12b373ad7404376a 29754994 math optional acl2-books_6.1-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAlGflgoACgkQczG1wFfwRdwvSACfSXnEjSiP4GGKYzNoIisu0kbA
8DEAnRQ4kadmqhc5CwWhvdE+cAMea8+j
=1QWf
-----END PGP SIGNATURE-----