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