Accepted acl2 7.1-2 (source all amd64) into unstable
-----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-----