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