Accepted acl2 7.1-3 (source all amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 09 Oct 2015 01:09:05 +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-3
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-3) unstable; urgency=medium
.
* don't pre-allocate contiguous blocks in acl2.lisp
* build-dep latest gcl
* revert code-block-reserve to default set by upstream
Checksums-Sha1:
25ad06c4e0fbcc73488978823bfe4704220a2e37 2203 acl2_7.1-3.dsc
f5c7fe8d1f0041453ae1f03f21f4d649cf440b56 129328 acl2_7.1-3.debian.tar.xz
31b8c4fb0688577e809f3696f5c325c5469f6080 13222558 acl2-books-certs_7.1-3_all.deb
0c8369c32f7ef9858bd198c7cc6544ae2ba0901d 9604772 acl2-books-source_7.1-3_all.deb
3bc550cc8ef830474f731e288ac53f5e9800f16a 67162714 acl2-books_7.1-3_amd64.deb
a241cd70adda48895407028d2c32b30729fa0ba0 366748 acl2-doc_7.1-3_all.deb
8a8addfe9c8b4dba6bd8822ba77f95451f556402 62804 acl2-emacs_7.1-3_all.deb
2682678e01ecf4718671c807bcb1ff79851512e2 78216 acl2-infix-source_7.1-3_all.deb
a2a8437befcc8fd7a9ae0d7e7d38086f89e103c5 409688 acl2-infix_7.1-3_amd64.deb
c411cc17604e64a6276ac1a576e30e70d3fd830b 2850954 acl2-source_7.1-3_all.deb
6da0260a24d32a012cbb0ef62e5886cf080ac441 17138556 acl2_7.1-3_amd64.deb
Checksums-Sha256:
02181adf42512a36aea046cc9f51e8ecaadfa4ab1560867b0c1f2e8dd3a11c6c 2203 acl2_7.1-3.dsc
beafb60ae12548f62c27d3c5d5a4cac813f038363551b478cc2093bdd4c1e56f 129328 acl2_7.1-3.debian.tar.xz
8ff2dfe90a97e7aca868b702ad681c7e94c7cf0ec5fc7232092d203a1aa80701 13222558 acl2-books-certs_7.1-3_all.deb
ec4ebe1b0adc640bd2b5327d62430731defc8607e27958361d1ce0a52db892be 9604772 acl2-books-source_7.1-3_all.deb
435744d4dcb830ac1c01d0f89dbd5c9c177d922ebb11e3f43f103f54eb2d40c0 67162714 acl2-books_7.1-3_amd64.deb
a602c57d6d579ae0f8894b343666616c33b9045d42c748f901d86c95742c855c 366748 acl2-doc_7.1-3_all.deb
587a45aadad2c248f0a24c02c961c34d5c9fdf025ecedab1278ea4b348438a31 62804 acl2-emacs_7.1-3_all.deb
c30bac318ae1934264982e3e3e44a7bbb61e6d23902e0fe957ecf4f201e82cb4 78216 acl2-infix-source_7.1-3_all.deb
efe7f11fa1ee934cd833718e43947a52ec9301fcd5ae1c75f62b314240c7ab4b 409688 acl2-infix_7.1-3_amd64.deb
fb30f9579ddba9ffa4d084bac55c4c1f49d1a287009846141b28f633b8d72be5 2850954 acl2-source_7.1-3_all.deb
336ff3074ae2a8ec3b3e8b9297fb57dcc42a194776b6c17c43e7d0baeeb51ffe 17138556 acl2_7.1-3_amd64.deb
Files:
6ca9e5c53c29ef77cda8776a668348bc 2203 math optional acl2_7.1-3.dsc
a4d214d4a50c62e350c3637c2623b479 129328 math optional acl2_7.1-3.debian.tar.xz
8f5833e6e86e144fcd9d0e1bcbf44910 13222558 math optional acl2-books-certs_7.1-3_all.deb
a344eb4eb538af6ab96905d72ae5740f 9604772 math optional acl2-books-source_7.1-3_all.deb
fa0c18e8bb2aa112ce51e63f419fcfb9 67162714 math optional acl2-books_7.1-3_amd64.deb
0b14c02d346e17c391ca301a41edb9fe 366748 doc optional acl2-doc_7.1-3_all.deb
7378d175f3b7d5e932fad31f8dbc2bb4 62804 math optional acl2-emacs_7.1-3_all.deb
6e31e4382379eaca0609630edf32cf22 78216 math optional acl2-infix-source_7.1-3_all.deb
4e70aabadcaedea31643202cd1666b13 409688 math optional acl2-infix_7.1-3_amd64.deb
8d5e7568f7f7d3f869a1036fe6862d06 2850954 math optional acl2-source_7.1-3_all.deb
d4e1232380bea00a161e34563c1606ba 17138556 math optional acl2_7.1-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJWF7nsAAoJELhFzlEPm3FNO+MP/0V+XIGI3JvQVaq+zJwKPRhV
jnuRPf3yKlVQebzC1FpmnY2WaXJ2PmfnbEj1CG/kutpl854TJTWwICSlxSZNUTbe
ja9+GYwuEJZdY28h4vPxv7N3kBVQvSWWnFrAxTpjkmUtWmcNApmsMaRrcZFULGuR
5az1dncPjSCbbdDiQvnlhMQ2vonx9zIMPBihF5D2xrUqCaks0qZPkfSUyyNxkF3W
NZr0Oy/p+2EC47QlqGAlZL8qSzOjbVvD60Rv2ewvwqXOLhwb3FX0aP67vuxSCA2A
TbOmfYMRCKmm7E3CX+3+74NFzkBPZjf35AnpswX7qAj54r10Z4JmFoKa30SCzQgo
UucLbTBGBOJGRQGBsN4//av4jFZO+stpKjmmF8xGSczCEwfSx2mDzN2zK0zyCsrr
GJuCrbDO//Jv/90xsViPnX+G/iVOQRRYcyVvkNH/MY+IkAmN/wadcDjlXutx9HEe
5YkmgfTT9i70znLwojtBT2IHoK5edctkv9ZMXdTHhb/UXJooawwPtA0ndBVmkh1z
91fDfiqtxcVR5bEXsuqVTzrDAPs9ziybEtuveR2Mle780rVe1yGxo1tNpQtbK3Sj
SIaATCiTpXHSuGdlDyLtj930ilohIa5AcKEzoUjN7agnuRchzJFz9QwsW9aopAMD
HqSYIglSdMRsK26Cajlp
=XgFD
-----END PGP SIGNATURE-----