Accepted acl2 4.1-5 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 05 Nov 2010 16:19:11 +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 i386
Version: 4.1-5
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Description:
acl2 - A Computational Logic for Applicative Common Lisp: main binary
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libra
acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certif
acl2-books-source - A Computational Logic for Applicative Common Lisp: library source
acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interfac
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interfac
acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
acl2-source - A Computational Logic for Applicative Common Lisp: source files
Changes:
acl2 (4.1-5) unstable; urgency=low
.
* build depend on latest gcl
* turn off si::*optimize-maximum-pages* in reverse-by-separation.acl2
* remove unnecessary patch from serialize-tests.lisp
Checksums-Sha1:
ab13f4a1f12824092b494f731d1f78a85632a0c0 1194 acl2_4.1-5.dsc
1a40e909da9a77392f9215e18b244226a19505e6 17789 acl2_4.1-5.debian.tar.gz
79558d044a51baa9baceee2c64f2a7f150c0bf5f 3033704 acl2-source_4.1-5_all.deb
129121c17ef892336d6ffe59e863414f1fd5481f 58654 acl2-emacs_4.1-5_all.deb
a3d589f11e7a131b39eb237755591c30c1695d36 89576 acl2-infix-source_4.1-5_all.deb
a2020c7f441d3351ecf81cf830571385f6b00289 5309694 acl2-books-source_4.1-5_all.deb
ed8b656a0e72d95af73d721d3c00818cffe62842 2019474 acl2-books-certs_4.1-5_all.deb
1a664595081b6f956dc471c03e0f60a710e00cb7 2837580 acl2-doc_4.1-5_all.deb
ded7a83b75eaafc43a2335dad8d92cfbd018c11b 21798824 acl2_4.1-5_i386.deb
af98347dd1da19dce4f4579f5e6568137d4398f9 391050 acl2-infix_4.1-5_i386.deb
364489f6c714a0054a44c924621cf183cd55393d 34168792 acl2-books_4.1-5_i386.deb
Checksums-Sha256:
946aec68cdde0765d0d3cf06fe331e9e9bb3352157bacb612ad9a2c0b644e7c7 1194 acl2_4.1-5.dsc
6db41cab5bd190b3fdd930d5f56172499f10681ca52a72e85366666255c08428 17789 acl2_4.1-5.debian.tar.gz
f707bef8661794e76aac53a8d9c9d399f19bf4db1a5a12b7143dfcb055aaffa4 3033704 acl2-source_4.1-5_all.deb
2a61336dfeb11cf4961df5a505a68e99f006ffd57bc867f119bf7fe401b24065 58654 acl2-emacs_4.1-5_all.deb
ad5dc9a5e4647c646a46d5e5ac1fcc21350f63a8404721a988e452303dbc6f9b 89576 acl2-infix-source_4.1-5_all.deb
f933e7ca62c6877f970c24376582706c6f8877fe3926fed2ed67facee854f203 5309694 acl2-books-source_4.1-5_all.deb
6bb0a239fa502dcdc77755d0aab564b0bc2bfbe1933b33522016b14e4135510a 2019474 acl2-books-certs_4.1-5_all.deb
fe4926d577931464c976507a79541a5ecb2b740ce780043776dd0e8c4927b695 2837580 acl2-doc_4.1-5_all.deb
6be1e3accab73742653d4a2d032592948680e712c0d674b659677b441699ba91 21798824 acl2_4.1-5_i386.deb
e349e6807770ed5431ee291d7abe1594f58613ba33eb1fd6188a61453899ec04 391050 acl2-infix_4.1-5_i386.deb
e1e3236d0fcc5f0b1c564fc08edb0053828f2cb8e5b378a1f773736472d29e26 34168792 acl2-books_4.1-5_i386.deb
Files:
a1991d2d28094b490b3e78598dea8334 1194 math optional acl2_4.1-5.dsc
642c253087492319af400c9cfcc82780 17789 math optional acl2_4.1-5.debian.tar.gz
87ad7d2e7b7e674da651a1a3f27eafce 3033704 math optional acl2-source_4.1-5_all.deb
9319780642bf05340bf0d8f8fcbffb8e 58654 math optional acl2-emacs_4.1-5_all.deb
0ef2e3799bfc21e8181b160fa455964f 89576 math optional acl2-infix-source_4.1-5_all.deb
c94dd6e37670bdd9b581106ab207b282 5309694 math optional acl2-books-source_4.1-5_all.deb
8aa590b95460c0358c23f0aa241c7d80 2019474 math optional acl2-books-certs_4.1-5_all.deb
ddca8148bcf4aced5c5545c982a69c5f 2837580 doc optional acl2-doc_4.1-5_all.deb
e19a690906194474747765399a2ff3b4 21798824 math optional acl2_4.1-5_i386.deb
66b1c697573702d1014f5543935bc735 391050 math optional acl2-infix_4.1-5_i386.deb
5be11d456452839c7e942a8846a2ba36 34168792 math optional acl2-books_4.1-5_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkzUV88ACgkQczG1wFfwRdyx8ACeI+l1JdQsMbmT15zsomLHM543
hsgAn3H8d0AR+d/R8nGQcbD9iRi0zh9x
=9llZ
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_4.1-5_all.deb
to main/a/acl2/acl2-books-certs_4.1-5_all.deb
acl2-books-source_4.1-5_all.deb
to main/a/acl2/acl2-books-source_4.1-5_all.deb
acl2-books_4.1-5_i386.deb
to main/a/acl2/acl2-books_4.1-5_i386.deb
acl2-doc_4.1-5_all.deb
to main/a/acl2/acl2-doc_4.1-5_all.deb
acl2-emacs_4.1-5_all.deb
to main/a/acl2/acl2-emacs_4.1-5_all.deb
acl2-infix-source_4.1-5_all.deb
to main/a/acl2/acl2-infix-source_4.1-5_all.deb
acl2-infix_4.1-5_i386.deb
to main/a/acl2/acl2-infix_4.1-5_i386.deb
acl2-source_4.1-5_all.deb
to main/a/acl2/acl2-source_4.1-5_all.deb
acl2_4.1-5.debian.tar.gz
to main/a/acl2/acl2_4.1-5.debian.tar.gz
acl2_4.1-5.dsc
to main/a/acl2/acl2_4.1-5.dsc
acl2_4.1-5_i386.deb
to main/a/acl2/acl2_4.1-5_i386.deb
Reply to: