Accepted acl2 6.2-5 (source all amd64)
-----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-----