Accepted acl2 7.4dfsg-3 (source all amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 08 Jun 2017 22:34:51 +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.4dfsg-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.4dfsg-3) unstable; urgency=medium
.
* build-dep latest gcl
* revert mxgot for mips64
Checksums-Sha1:
759336493b08379d7ba6d46babcda618d5d9745c 2231 acl2_7.4dfsg-3.dsc
1e99b03f60b31e7b6efd9a7ad1ae06be57aff978 204784 acl2_7.4dfsg-3.debian.tar.xz
700682af45b07cd8d34714ad937c75249b6dd5b4 64304572 acl2-books-certs_7.4dfsg-3_all.deb
ceb7c17c5d41d0534daece7819d567bbace83754 11973726 acl2-books-source_7.4dfsg-3_all.deb
c05c6299c11f87bb2593a5425ee75320f47ddf7a 126125904 acl2-books_7.4dfsg-3_amd64.deb
0cfb7b276f9f1afe5cd61e743590fcd15b139022 387530 acl2-doc_7.4dfsg-3_all.deb
9da1028dfa8dfdaab1a0b2d24177e97e183c421d 66894 acl2-emacs_7.4dfsg-3_all.deb
3d025c018d34adab4c1f16ec4eff56d5002239df 78952 acl2-infix-source_7.4dfsg-3_all.deb
00b53c38e8aa2ce69b9833adafc7e88916be5089 424788 acl2-infix_7.4dfsg-3_amd64.deb
2ccf7cb1642c6ca44301c8d85728175f34a8acce 3014430 acl2-source_7.4dfsg-3_all.deb
0cc4035ca83b674f06c800d618712c85e7b284c2 12929 acl2_7.4dfsg-3_amd64.buildinfo
c945a3c5077b57f6a54af7eb71b604d8727dd1d2 18196006 acl2_7.4dfsg-3_amd64.deb
Checksums-Sha256:
4431b41cbc467a9102cb8c3a90f12d09cc60047419d93d0deb2cfed32538e664 2231 acl2_7.4dfsg-3.dsc
9c134e4c0eda3675c10a6f7fb00290cfb472f6369bf12efb1c977b08740c6151 204784 acl2_7.4dfsg-3.debian.tar.xz
0827893f7a4395384ed633155f4a643143dbd82c3e97b85aae19122f392fb711 64304572 acl2-books-certs_7.4dfsg-3_all.deb
86030858706523f165b3b7de231ac7d0c89a819dd4c2a438c42b89c54fcb7090 11973726 acl2-books-source_7.4dfsg-3_all.deb
3b8c91a06f6377fdbbe717314cc5d508b3a5b7e8bbb3bfba94bc83c0f230a5d0 126125904 acl2-books_7.4dfsg-3_amd64.deb
11b25698ddc913f294c19d229d282a68dafd4976d7804dd917ed42537386cd3d 387530 acl2-doc_7.4dfsg-3_all.deb
7532224d792c05a728f1eb463cd034008b5c72ce1808ae199d9d925da847592b 66894 acl2-emacs_7.4dfsg-3_all.deb
b573f869c3e58de21c46eff33c09894766375d2ff7845fbbaa03d16f3788c323 78952 acl2-infix-source_7.4dfsg-3_all.deb
7fc769f2aeb5097145b4df435d719d5585d1f86ecc16151b283bc7a4293b183f 424788 acl2-infix_7.4dfsg-3_amd64.deb
4f49438a329a391c4c58cb65c36d66a63ff19613e8443600de9b7029ffaf30d3 3014430 acl2-source_7.4dfsg-3_all.deb
576554e945d50811de0b359df18db265231db275ef9029d7deb717c4fca8284d 12929 acl2_7.4dfsg-3_amd64.buildinfo
07a053b6bd20d5455ae5d925fc78b9fc79f6e7d463d6b9b0abe48aeda2d22eb3 18196006 acl2_7.4dfsg-3_amd64.deb
Files:
c13e174848ccc644a2b7c3d1c7ddc0de 2231 math optional acl2_7.4dfsg-3.dsc
9b0b4e5072424918d723837648d8e539 204784 math optional acl2_7.4dfsg-3.debian.tar.xz
657bae320798fa780c9bcfef02466d81 64304572 math optional acl2-books-certs_7.4dfsg-3_all.deb
7efb7be7614403d6cb0282753ab88c28 11973726 math optional acl2-books-source_7.4dfsg-3_all.deb
580bec053117723e71b491b763c29176 126125904 math optional acl2-books_7.4dfsg-3_amd64.deb
d3f88c57e1494805e3347f72e9eef816 387530 doc optional acl2-doc_7.4dfsg-3_all.deb
73715aa84d8c79f9a8b89a97e8768866 66894 math optional acl2-emacs_7.4dfsg-3_all.deb
f213ab0a36add07b4320e2babb0779dc 78952 math optional acl2-infix-source_7.4dfsg-3_all.deb
708c3423e573ade60d111e412bc11c45 424788 math optional acl2-infix_7.4dfsg-3_amd64.deb
a9b38a0dc943ce9104d85185a040c18f 3014430 math optional acl2-source_7.4dfsg-3_all.deb
fada0c941152a72b413366ba5c8f183b 12929 math optional acl2_7.4dfsg-3_amd64.buildinfo
14dafd5e39cc02947ef96df71b876b32 18196006 math optional acl2_7.4dfsg-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJZOreFAAoJELhFzlEPm3FNk+4QAJ2AIcOdjMewyJPWfH5AClb4
aCthPQ7KDkaeeqmNjZom2XoxKTKS78p1DExQCrK4TwwbRAxqTjcVfv50PuI/mQrn
mFBu1PzhiGjI4b+pKvbOJellLduJ/kzG+6M2bMx8gIQo5nbbf7nsaxgGcXkHqHtk
THktn4N5txSn7vNtIwDrER1kMR95EvoolpW4JeqgkUBdX+fiaPAktrOu1kUkk/vk
9SZzoNAATAU9BSL/XNgpUVSNKJVYZa/ZfLQ1wfo2HDmLeBz4WhyUbSepZpao2p0G
/mOjwcEuiafFtZ0NyuvgU/vpUmcP3ME4476Tbwxx79mlQzMKU9xhgD28rN5vUFiD
W5BWed1AyfBeiZdHs42wPF9tbS7/qX9PXfpOHXie/CRSy/w5yMMWvYOmd1iXxsx+
vVKdM1afppEN3Ki2K5ToX4WsVnAVB5uc+0IevKQ4BzLjf4dGz/S0Vd9qSSluTZZV
kBAHShLU6B5hGuopn4Dg1VAMoI+1oSLpKZ5EJhHPJbNR1PCMkJe8j2QRCW5JLxPH
SviJ8RnL3A02s2pmiO9Uunf+SHMJPTQN5fuWjZplp/AeU0y4KxHfc/xfxQrMVGad
pef51m1OhUuFT44TfewhO56dX32iodgvY3Pb+qxAAZxu92rAoN0mx6xUthDNHARP
GKcN/v71hY43EaTLozO3
=LRbD
-----END PGP SIGNATURE-----
Reply to: