-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 27 Jul 2013 12:49:46 +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.2-5 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.2-5) unstable; urgency=low . * (setq si::*optimize-maximum-pages* nil) in elementary-bounders.acl2 * build-dep against latest gcl Checksums-Sha1: 3cc472718fd13610cce8ab4f7790f8c737736a30 1746 acl2_6.2-5.dsc e7adf9d28bfabce9caddacfa922c8607938c11cb 160585 acl2_6.2-5.debian.tar.gz 824b9ba3e6fb82043c9f4db2c153dcfba6e06cb9 3763238 acl2-source_6.2-5_all.deb 3d0d0350e847e4f2db0f0c5b700493d37ff90dae 61724 acl2-emacs_6.2-5_all.deb 880ee62dc5bc7837a67312e9378c1e6392f12dfa 90964 acl2-infix-source_6.2-5_all.deb f4fd576055cf8d56cc836cef33fc521cd4be2d30 7652940 acl2-books-source_6.2-5_all.deb 58a2119314e8d4a4f97042f5fcb7f2f554944051 10234054 acl2-books-certs_6.2-5_all.deb a95921a494f41fb6eb0cf1a833de0f848f3ed984 7856150 acl2-doc_6.2-5_all.deb 2ef387d533ef622a590947866727d6c1877ccb6a 28095106 acl2_6.2-5_amd64.deb 7dbf82ed9316afea022a977485b46c55e4a78b4b 211732 acl2-infix_6.2-5_amd64.deb e0ac105a65ea879081160ea527096af04dcf11fa 35777840 acl2-books_6.2-5_amd64.deb Checksums-Sha256: 69b5428283c339aee7ecb87ce3e1c9d2fdab3fd0bc396cabb02da143a5b55d74 1746 acl2_6.2-5.dsc b06d5d118cbc90acc5b68b7e09cdfbd77e9d0c4f2d3c465dd4dd6ee8ae0eb7f8 160585 acl2_6.2-5.debian.tar.gz 8ce6c38633238aa49d4e3b6a597a1ca35482d5269e04b45b71b90bb0184d8918 3763238 acl2-source_6.2-5_all.deb a8d85643262995bbf87b779e978773fc3ffd2b1782e74dd12ebd874e968c9b52 61724 acl2-emacs_6.2-5_all.deb f11eb03cc8e457890b37db392d6ce8d118545d11006b809191f7b2a368a0310a 90964 acl2-infix-source_6.2-5_all.deb 5899bce270198476577b46ed9363a87a34a6a40d05d1948b5b647b0aae199272 7652940 acl2-books-source_6.2-5_all.deb 297818e601b457c1d4da15aae1dbff2b4b91508b8432d7954c3791815162acd6 10234054 acl2-books-certs_6.2-5_all.deb dec51d5cf5c1b476129fff20b42c0089d2666587e3c211843475203730281a32 7856150 acl2-doc_6.2-5_all.deb 9e7b4f08cbf18135033ae30f1abf12610f7b31c3b3619040fdc652e4c404bc6a 28095106 acl2_6.2-5_amd64.deb 1f34b464241c758c39171a96325f0dda2762daf3c3ea5486587ecddc247e2e1e 211732 acl2-infix_6.2-5_amd64.deb 5403a5a70a130f72f5f7d66e0c20d895699458abc286408d3b54236e5b433c02 35777840 acl2-books_6.2-5_amd64.deb Files: 473cd960cf9eef624d7dc41c2d469388 1746 math optional acl2_6.2-5.dsc 9e542ffd4859578723709606e7433fac 160585 math optional acl2_6.2-5.debian.tar.gz ce510c81a546f20f8981d4e83987bf48 3763238 math optional acl2-source_6.2-5_all.deb 98dab49c95ac8f5d9a1c0944cc0a2a81 61724 math optional acl2-emacs_6.2-5_all.deb 8ea5c120cb565ee92381cad394371877 90964 math optional acl2-infix-source_6.2-5_all.deb 8973a40eadf178f53f9c4fea04c6981b 7652940 math optional acl2-books-source_6.2-5_all.deb 8f9379a7b3a9a6e586b8313d3a0bbaa4 10234054 math optional acl2-books-certs_6.2-5_all.deb e23d44bbc76632dbad20db9d4c80ea6f 7856150 doc optional acl2-doc_6.2-5_all.deb eba3eaf02f0e1738f1ed4953388a293d 28095106 math optional acl2_6.2-5_amd64.deb 1291350883b5bdd549783006f78ed25d 211732 math optional acl2-infix_6.2-5_amd64.deb 56235f8374bae1df1e02c4882cc92d90 35777840 math optional acl2-books_6.2-5_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlH1JS4ACgkQczG1wFfwRdxHvgCgv1+lS2+CZ1Fn0wcsGgb581EI zKQAnjkkrVVvOpKWwZWjcdxkcmcSkF34 =EMSm -----END PGP SIGNATURE-----
