Accepted acl2 6.4-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 13 Jan 2014 16:14:44 +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.4-1
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.4-1) unstable; urgency=low
.
* New upstream release
Checksums-Sha1:
64f538387df7af412f7880d46ec4e4fc03b1b84e 1813 acl2_6.4-1.dsc
64169c41b638435601151b06d3dced4d32a7de21 14170540 acl2_6.4.orig-books.tar.gz
139c85c60bf6d34a88523c983f9342f5133048fa 6109095 acl2_6.4.orig.tar.gz
57b846d10e9dbf476e124509b76b8ac595f0a084 126404 acl2_6.4-1.debian.tar.xz
56242942afe2a99e8cd730659ff7061e673fc5e6 2730426 acl2-source_6.4-1_all.deb
6287574d3b4e00d4cfd56849f15cf685319ea0fd 59678 acl2-emacs_6.4-1_all.deb
6622fa7f6b2a3b44843b04047847b92780714e10 77954 acl2-infix-source_6.4-1_all.deb
1718190fc03e57f9d1251884732dd79f32569e16 6499012 acl2-books-source_6.4-1_all.deb
e02bce8ca08dfa359aed7594529c98a9026007f5 4268268 acl2-books-certs_6.4-1_all.deb
4cc0197f650d8482a8ffda300e24ded050b77e10 1639152 acl2-doc_6.4-1_all.deb
5ec2d5411732c6ea5fa70d100c543da0ea1cd6ce 15253526 acl2_6.4-1_amd64.deb
430b4776f28e582d2a55d5563283f86b59a7b1bf 151794 acl2-infix_6.4-1_amd64.deb
4e1706cf383a3d5f95c17bfe875f7e5550f3ec0e 19635130 acl2-books_6.4-1_amd64.deb
Checksums-Sha256:
86047551ebf27e7cafe1e4d90be87dc1e9b08669319c0cad5e0044a5ff6587cc 1813 acl2_6.4-1.dsc
bc3170a698505a1465b7cd2d18bf0b03a89c25d23cd0196037ef80ff4e8474aa 14170540 acl2_6.4.orig-books.tar.gz
4c274c934a03fe24af29d284b5b230c3a477602d1272cfd95977c8765cf6c8b2 6109095 acl2_6.4.orig.tar.gz
99a656bff500c40cf6af7aa7fcd394d6e754b539d1f1bd9568a5867346330e6a 126404 acl2_6.4-1.debian.tar.xz
4448de59d486b47e097be86f384d0dbf135e5657545a8491699f52a64c772495 2730426 acl2-source_6.4-1_all.deb
df1b7e093757e45407938fd57504f22585ac45991ec35fb711f039c89c14e22b 59678 acl2-emacs_6.4-1_all.deb
6c40941f3d08f7faab6693eee55ae7eeb0d45be78f977771124e154caaaf7b51 77954 acl2-infix-source_6.4-1_all.deb
b198c8427067d99f5ee9b2796b0ab51fd7e62de6f093f28318bd4a461ae04a7c 6499012 acl2-books-source_6.4-1_all.deb
3434adc46c62220cadc10024b334f4ec430cbe233a5bc4a9f1e586f6c09f8598 4268268 acl2-books-certs_6.4-1_all.deb
01211204499fe9d94444dc633c40c2e51ec4570d301b8c3b4b59b7d8fab940f1 1639152 acl2-doc_6.4-1_all.deb
e598733d578a4694d6a729abc137741280293a5023b3abe67a9180ce7643e1d1 15253526 acl2_6.4-1_amd64.deb
72dad7c85f617e0497ea8e38911254ff0a362a35104c7a0075314ea18329647e 151794 acl2-infix_6.4-1_amd64.deb
1ecb04e6e36b96bddf69f3ba64f637e28ab4f4bd493064243dff6e059487bb19 19635130 acl2-books_6.4-1_amd64.deb
Files:
f238719249653a4925e5be84138cf6ca 2730426 math optional acl2-source_6.4-1_all.deb
61a4d37c420f08790edda971f8310412 59678 math optional acl2-emacs_6.4-1_all.deb
6b749b524a863777826852eab76bbe46 77954 math optional acl2-infix-source_6.4-1_all.deb
a1e35a32f1d5886f0d0156b1b64936e2 6499012 math optional acl2-books-source_6.4-1_all.deb
d8adb7d021c4a6bf0ac6550f091295a5 4268268 math optional acl2-books-certs_6.4-1_all.deb
66b2b7193b62ae7b154f4751fc3352fd 1639152 doc optional acl2-doc_6.4-1_all.deb
d7aa7455e51499ac92b40daa76f68843 15253526 math optional acl2_6.4-1_amd64.deb
9be4fe2293dfa502a02d45120041dfa1 151794 math optional acl2-infix_6.4-1_amd64.deb
862920b7d000bb3848368e82294f43c0 19635130 math optional acl2-books_6.4-1_amd64.deb
f9570d47f27f0bb3991707b3eb9f692c 1813 math optional acl2_6.4-1.dsc
0683664f31b0092700d10e586d3ac515 14170540 math optional acl2_6.4.orig-books.tar.gz
f1630ad41eac5162d9c03ed58f984927 6109095 math optional acl2_6.4.orig.tar.gz
ec1056f7b206b8a1cdc22c645c53c7df 126404 math optional acl2_6.4-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iEYEARECAAYFAlNjlBoACgkQczG1wFfwRdxNmgCfQWf4SAy3CYJuthN26dVH0w2B
/GkAn3Xzixaobgi5nJU1cVwavgDbgOeI
=sMSO
-----END PGP SIGNATURE-----