-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 28 Sep 2015 15:57:09 +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: 7.1-2 Distribution: unstable Urgency: medium 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 (7.1-2) unstable; urgency=medium . * build-dep latest gcl * 50M code-block-reserve on amd64 Checksums-Sha1: 813b24a55fc175ec206e9d17873259c547279c1b 2203 acl2_7.1-2.dsc 6605a0ebf017ef81d06bd2f4ab3f40d8dae4e849 128996 acl2_7.1-2.debian.tar.xz eda64575577f95124da43d913683792ab50b8b79 13238640 acl2-books-certs_7.1-2_all.deb b3e1d89e51b5504039ddfe1b1ed8212a8ff343d5 9603430 acl2-books-source_7.1-2_all.deb ee6090dcb160232bcd71bc8382f5e2ca68ddc56f 67175336 acl2-books_7.1-2_amd64.deb 961bee201a73d4a9c182f0efc353d3f448c8055e 366752 acl2-doc_7.1-2_all.deb a1f36fe6a87b93857e5be93b0fa164b81ef6e381 62730 acl2-emacs_7.1-2_all.deb 32418c9448353d5c20be44b17593d2370df3b890 78144 acl2-infix-source_7.1-2_all.deb bfd45b91e394d67ea3574efbecacbe8f406f3cd7 407526 acl2-infix_7.1-2_amd64.deb fe8230244b77df75663e762abebf2d6194ffb3d7 2850738 acl2-source_7.1-2_all.deb afdac60f70531f0467c133737941dbaee3109f8d 16822756 acl2_7.1-2_amd64.deb Checksums-Sha256: be8b124f40d0eaa099a6efdf45dd5fb3daeba9c1750cde0aed31cdcf100ded38 2203 acl2_7.1-2.dsc 8088c6a7cb66d13ef1c2a7aab80349e379883ba375e1bc6efe8045993e8b8f45 128996 acl2_7.1-2.debian.tar.xz c62eb3ab8d4f211e7b440bb757bf7756131f28732218756d519cadf1409a3e55 13238640 acl2-books-certs_7.1-2_all.deb 983a1854e02e218204f8a698c4a272cafc1a82c2accc90946a87660603132301 9603430 acl2-books-source_7.1-2_all.deb 5cfbb7c3357e6cc57fc75d06b587558519b239e56af2f29bae5d1bfb2a077097 67175336 acl2-books_7.1-2_amd64.deb 7879cbffe04efe54d64337abefe80821327fc2afc3ae08bb56884ebf67cadc1f 366752 acl2-doc_7.1-2_all.deb dc41b81954b0a3323f6c57fb7da9f0eed8f9c8bd2bfed0d173ff6a84c08f30a6 62730 acl2-emacs_7.1-2_all.deb ff9d58d27a6cf462c13d9daa7400929f9323e1676ea4ca143ca21e316570e206 78144 acl2-infix-source_7.1-2_all.deb 9cbd4a83c451beced30c196a0089063b58d1252305575c3d197cf710421f31b2 407526 acl2-infix_7.1-2_amd64.deb cf0e6017966ecb6d4eabc38ac39c43bda55926e5ca2f48c510ddcad3271465b4 2850738 acl2-source_7.1-2_all.deb 35315b6faf8a702b62b0ca727ab288575a409cb43ad6c7ffed920ddd9baf00b3 16822756 acl2_7.1-2_amd64.deb Files: e65c91ebd3f66683eca5b3402551f11d 2203 math optional acl2_7.1-2.dsc 3c007bf04002355c77dbd2af906cc3d7 128996 math optional acl2_7.1-2.debian.tar.xz f7c049852ab6c2178f335ab0dfe48e6b 13238640 math optional acl2-books-certs_7.1-2_all.deb 5014a166a1399f55d67958621dd3a0cd 9603430 math optional acl2-books-source_7.1-2_all.deb e8c4cf1ff07986a441ffc09c6113d97a 67175336 math optional acl2-books_7.1-2_amd64.deb eca0320547cc191fde3374c99c7f135d 366752 doc optional acl2-doc_7.1-2_all.deb 012c8c8004ea6a6d78ef9efdebf0ed26 62730 math optional acl2-emacs_7.1-2_all.deb a6fc3e914de8cb699a5c8bc6be6dda97 78144 math optional acl2-infix-source_7.1-2_all.deb a9624fa1f73e1c925f6c1578d7f6c5a3 407526 math optional acl2-infix_7.1-2_amd64.deb e658c8dc72e549a3711ee802d96d107f 2850738 math optional acl2-source_7.1-2_all.deb 2b5e5a9b10d1427f212ca8008e621bcc 16822756 math optional acl2_7.1-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJWDnFSAAoJELhFzlEPm3FNtWAP/3sZ6qDR2W2K+dNKGO/Sc6EQ CWTP+saLbMpAHVsBySj9co52HFuPpxULPickjT89gupW8obZZN4cRkiNyALvukJE M7l+FmZyIawfIjvxDPvLkwxBZiLSmVDXIcENHuXCJMu240SXKrb+RMld58T3DIr7 4jR6nxUFw6+3opJQVtFmETlyZVQG8yjI/Z8NEYXJYYCevzgU+s9LBQQBiN0mr1yM wrRhR6vNZf0+579ttFT/Ws58tcbantD6IuR+hYJ7DT/sqitqBqIZKzthsfcGmLKA 4CvFyHnp9bQUHGBtO662MT9L9vwu7yw5XEYA8s2FRJEdIURzcuLyh2EUGeAm+tcE k7XJuuJeZ8x/TmNVrGMOpjXXoOxhSZN4SZ5NKcxgAedDJvRPuxABNDLPMEuvqfv3 h21EijZ3kJUx5jEpOkk595Ik/mS4CT4PPfjAdLLcF7zVd68TffL/Xajl25/6SfQq +uiPrhXW03FNB59z8ieZDRmZqZX5pxm35yqBPJvwxohd+GuoPMeFE+9j1Bu7Zvnz LFYUrhFVamB4IiBFCeAQ+XMP3WnKfObZptHalhUKRf6mTWUPeYCuUORgEFPOfnu7 Z0dcVFZTbN6f+YMG2yyKyOU6W+uFygAy4Sys/KJjpAZb54+Ou0ChUdyTcIxH8j7N ibv1vlSjqVo8n6brrLdv =3TvV -----END PGP SIGNATURE-----
