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