Accepted acl2 6.2-7 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 06 Aug 2013 11:30:55 +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-7
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-7) unstable; urgency=low
.
* build-dep against latest gcl
* again allow optimize-maximum-pages in elementary-bounders.acl2
Checksums-Sha1:
d66f06ebb069e3ca0bb4361314caeb5aafb233c8 1746 acl2_6.2-7.dsc
df63a70edd917a4e514495447b9576ac8548b889 160782 acl2_6.2-7.debian.tar.gz
2c43896fa42684f8ff73959b5f13be9cd6448e48 2712678 acl2-source_6.2-7_all.deb
a5e8cb9296a8d4ebc32593ee920145b6676e0b73 52414 acl2-emacs_6.2-7_all.deb
fb9458a6fedadaadc05b7021eac5534cd2c9a1d5 77468 acl2-infix-source_6.2-7_all.deb
a996dcd64ffc50d1566feaef5a56c74dc5922da0 4363908 acl2-books-source_6.2-7_all.deb
f17d22f28cf0d4ce63668bc2142bf81e69aa126f 3197376 acl2-books-certs_6.2-7_all.deb
f7459036431223248ba44d7358987f5254f90c82 6332860 acl2-doc_6.2-7_all.deb
0cd96e29f0650c80a610f36259604ed97ed39510 16508656 acl2_6.2-7_amd64.deb
850df51cea02c90f2f7c24a67b0c703ce48341f1 144554 acl2-infix_6.2-7_amd64.deb
b2c5d91328cf54e40ce53c59fa347f28bb544171 17016020 acl2-books_6.2-7_amd64.deb
Checksums-Sha256:
50bf758e16287dcf476274c33f9676091f3a75f86901c1e6dd6725a091e28880 1746 acl2_6.2-7.dsc
bcaa687ef68d223ed7ee3ec904ac4c1fd8c05228bb2531c8665ec9143303c233 160782 acl2_6.2-7.debian.tar.gz
0e18dfdecc77589ca85226fe8c38c601d3e911c00441e76c81319a08a7b7e44c 2712678 acl2-source_6.2-7_all.deb
ce69f6ac2596cff0a3582bcf11b3f325304110324ba1a3762e5f668e7efa0a2e 52414 acl2-emacs_6.2-7_all.deb
961d9dabce15d1f4bdfd5461ad517fd33854b7e543d58ad8e317f42e53e74ae7 77468 acl2-infix-source_6.2-7_all.deb
41c988458c383810354705d39731b6fba03e281b00d35960eeb2c16175aad43f 4363908 acl2-books-source_6.2-7_all.deb
e1709d16009651477097e58bfbbb3b50578131c07aac73f8f57c7362bd044887 3197376 acl2-books-certs_6.2-7_all.deb
06e2aaf68863f82b30eb897afc898307447e09f70d816eabfb0b334de5aa815b 6332860 acl2-doc_6.2-7_all.deb
78be5f938ab23b2f475a14044fa4584ab7fa35c22e43159493f3d9494f70d756 16508656 acl2_6.2-7_amd64.deb
df47909b6f05f1b0fc2f27b20fdb9da4f505f168c3aa4de39b4878ab59865110 144554 acl2-infix_6.2-7_amd64.deb
fe894daa5d2ade6b3b4f38f43ee95ea9d25903201be7d09db9bf704f15df02c9 17016020 acl2-books_6.2-7_amd64.deb
Files:
9c897c2c28f09f177325b9e82b63c543 1746 math optional acl2_6.2-7.dsc
6d614e566f52aeb2226c872917c2ad65 160782 math optional acl2_6.2-7.debian.tar.gz
fdf08f751d7e1307a8446da3165f3d1c 2712678 math optional acl2-source_6.2-7_all.deb
08e1402d765a8095cfd50abc7a2148ed 52414 math optional acl2-emacs_6.2-7_all.deb
c7bd112820444c24e379249808f898dd 77468 math optional acl2-infix-source_6.2-7_all.deb
f1785f8420bfdc4bdedee848dcae1063 4363908 math optional acl2-books-source_6.2-7_all.deb
d95cd20885b2daa92c4e32a3214288bb 3197376 math optional acl2-books-certs_6.2-7_all.deb
60b16270f441663618dc0f8bc954c55f 6332860 doc optional acl2-doc_6.2-7_all.deb
70e2a242bdc461ad40a08ccdf68be331 16508656 math optional acl2_6.2-7_amd64.deb
7208ca4fa2a1d4798e7536be75753ab2 144554 math optional acl2-infix_6.2-7_amd64.deb
3a235fb45490ea62f5c5e9c40924ebf3 17016020 math optional acl2-books_6.2-7_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.14 (GNU/Linux)
iEYEARECAAYFAlIDl/gACgkQczG1wFfwRdzkUgCeNds1ndPfRJ8SGBLWIleDfWbY
dj8An2LL5J1KY6mpsY+7bO2sLoQWe31H
=egD9
-----END PGP SIGNATURE-----