-----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-----
