Accepted acl2 7.2dfsg-1 (source all amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 13 Apr 2016 13:11:10 +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.2dfsg-1
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
Closes: 819446 819447
Changes:
acl2 (7.2dfsg-1) unstable; urgency=medium
.
* New upstream release
* Bug fix: "Please do not hide the output from tests", thanks to
Santiago Vila (Closes: #819446).
* Bug fix: "FTBFS in stretch (looks like the same problem in maxima)",
thanks to Santiago Vila (Closes: #819447).
Checksums-Sha1:
71f4921956e045b2e03d56639c378aeac397eedf 2231 acl2_7.2dfsg-1.dsc
a2f974590abe4f4bdf9fe91f6696559c2a163090 64411749 acl2_7.2dfsg.orig.tar.gz
741e24250605adfe20d2344e60ecd0e2b6c41fc4 203672 acl2_7.2dfsg-1.debian.tar.xz
ea0c4e6d84369bd918b173cf33d45dd96d5b9893 55100308 acl2-books-certs_7.2dfsg-1_all.deb
c4327b1e0ea0eb7b0d0f9e961239bb6ea0580254 10755098 acl2-books-source_7.2dfsg-1_all.deb
d3fe34c9d164fabecd5f3285980792cb4aab833f 107453688 acl2-books_7.2dfsg-1_amd64.deb
bc1a8ae1e2480bcee7fc79d8a18ea4b29eafd169 381376 acl2-doc_7.2dfsg-1_all.deb
9f696d870987b4fad84845964d67a712412c49b6 64018 acl2-emacs_7.2dfsg-1_all.deb
07a4735ca69d4b26ab2e45bbaa6370bbc900594d 78604 acl2-infix-source_7.2dfsg-1_all.deb
d934f223589ffa26a5e236bbed19e5c8ef739fe8 408910 acl2-infix_7.2dfsg-1_amd64.deb
af27d07a216463854525b9d8947df544e02b1b11 2882768 acl2-source_7.2dfsg-1_all.deb
2d1c17c234c4b8be37a81f4fb9f48a1ed27ede60 17868918 acl2_7.2dfsg-1_amd64.deb
Checksums-Sha256:
01099321864a066dd19b980d38897760486a7c7e5584dcbae363b716ca369fda 2231 acl2_7.2dfsg-1.dsc
f54c3a3ee8583a121b23ea40ac18258d10e9c11e13795665c63c8cdca762655e 64411749 acl2_7.2dfsg.orig.tar.gz
23ba0cd0d89466220f364ff8b0700f7a7b144e5304b27a1fd014cdba0d7d0b82 203672 acl2_7.2dfsg-1.debian.tar.xz
7e740451a144f5143a6c0ce1950e9ab128e73fdb7ef22b85bdffffba394fec2b 55100308 acl2-books-certs_7.2dfsg-1_all.deb
ed03153a33479ecaf634752fa9f448231c509238f8e56faf7f342137689e5292 10755098 acl2-books-source_7.2dfsg-1_all.deb
f9b7fac81644ad70c158a118f53d8c9a908ef573ea79710d7247fff2188ae706 107453688 acl2-books_7.2dfsg-1_amd64.deb
dfd89e52c006d828d8ad6a8a13831f974c6f3e5a2548719b4351356a93b51560 381376 acl2-doc_7.2dfsg-1_all.deb
b0c49b35f4accdc9259802d99f50c61757028eaac3110bc31670accff4f53d50 64018 acl2-emacs_7.2dfsg-1_all.deb
b0e6c9be149e9dc4848b0c45894509393ee852deb70b315665ef7520859c0176 78604 acl2-infix-source_7.2dfsg-1_all.deb
08619ed8b0752b36fed3419fa06ec49bb01a6c42b3e3683e3c876a4b041e5b16 408910 acl2-infix_7.2dfsg-1_amd64.deb
d9012be815a7bd0bf19f3da0a4a8b8157205bc785e3a8350d2055a0cbd2b4ff5 2882768 acl2-source_7.2dfsg-1_all.deb
9f6f5c0f4443b7969ee605c237ca2e0592a1830094a63b256f1fb9e90a1da0ef 17868918 acl2_7.2dfsg-1_amd64.deb
Files:
d94e878a1afa1820b01b95b10e1ad9f6 2231 math optional acl2_7.2dfsg-1.dsc
980a131dd4ad821b899fe2c4bbedc56d 64411749 math optional acl2_7.2dfsg.orig.tar.gz
37a09e549e55a70aec12890cc8579e85 203672 math optional acl2_7.2dfsg-1.debian.tar.xz
0fbd53df7bc5728412d0b4cb15dc06e6 55100308 math optional acl2-books-certs_7.2dfsg-1_all.deb
2961987fa545d5fef7cd64d3d7af9bca 10755098 math optional acl2-books-source_7.2dfsg-1_all.deb
34619bd2990dddb37851b59215e41322 107453688 math optional acl2-books_7.2dfsg-1_amd64.deb
03063c732b60fd071a25f457ed18a358 381376 doc optional acl2-doc_7.2dfsg-1_all.deb
dda1bae1deb25cc8de402aa3590c642c 64018 math optional acl2-emacs_7.2dfsg-1_all.deb
7e6445abc241a4e27c15dc32e2443096 78604 math optional acl2-infix-source_7.2dfsg-1_all.deb
9bd0d0b024b45f6d7cc51267deed0577 408910 math optional acl2-infix_7.2dfsg-1_amd64.deb
c24f34ef347041dab93e95d2ccde90a9 2882768 math optional acl2-source_7.2dfsg-1_all.deb
bff63d261775c20119545da802b33f04 17868918 math optional acl2_7.2dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJXD6AsAAoJELhFzlEPm3FN7RQP/3Db01GHhCWYB6JeIKmlYXSg
47pvFnfYgLcCIAnX+wcMQE/huhS+iNbLOikORwKqhgLrsAcp9qp/hFXb9HvP8knw
lAko0Hk9ImS8KBoWzbDO9QLvWjm1iEJQALM/VXZN/zULO99nKyn7sypXCpln0JdB
NFystMGWLANzfaKT+6z4KG7Nmo30gA2RWz674/gcngDY1rF2GlDAZpNA4ODvuznb
IM0q8aMkOo+D5kKT+zi6MB8rt6fSSmXDQGg2f7UNP7fs23hpRmBZjAFyihz88Abl
m9ACgFxzm4QE9mbUK1k8dxtdwpRikqUssMdv6aA8vxRX7eXFw9FFhKbo+LCTraPB
JR+8PimYbjStK6n36vI7FdBnH2qfXiVSMq1kWPvVevSux0whcB1FSK7sXp1TiFri
oA+yxoYF4UoOUJ77VwZT1EnmzwLweaI3NJw5iAamGOYyQH7nVNzimUdeXXPlb2Uq
M78QY40PlZNnnPgUoKrbIoK8+FpMME4Jz8weNge2NP13YBX9toYUuggo9etBJPqo
ZDBzMjBTSD6pFsp+xbshM3cQGCJemzQKOyaacxzY84GeOehuME+WovG+Qbj1AEFm
7jfP7/jFu6XNiKGqzaPSy8co12Xqd3ZqsPmb/hTuEQ0w7Qoz6DITJtd1KgIRmyp4
H45RgXjFoc9zTTuMiDMg
=2cHF
-----END PGP SIGNATURE-----