-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 29 Aug 2017 23:11:16 +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-4 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Maguire <c...@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-4) unstable; urgency=medium . * Accept NMU, thanks to Sean Whitton * build-dep latest gcl Checksums-Sha1: 49f2a129b8d997c69a9c3780164ee67573eaab87 2231 acl2_7.4dfsg-4.dsc 3ba1d0a96aba331cbaf56cacde66031e7217c749 204672 acl2_7.4dfsg-4.debian.tar.xz 903b205dc09e273911c583cac7f20d2eacf0e4e7 64509116 acl2-books-certs_7.4dfsg-4_all.deb 4941f1c04284c85ada0a662e3425fb5d0029938b 11974186 acl2-books-source_7.4dfsg-4_all.deb 45018777f8159b1758b012b87a543846476d9fe1 124651772 acl2-books_7.4dfsg-4_amd64.deb 42452bcfbad4a5bb2262de3398d9f0161b595451 387658 acl2-doc_7.4dfsg-4_all.deb 2682e1407d312aaab818f02b7e08af4844fa9d13 66998 acl2-emacs_7.4dfsg-4_all.deb a97d3bc28e0c3020528586dc4fc2862c216d07ab 79118 acl2-infix-source_7.4dfsg-4_all.deb 4132571c2a6fdba3da8215f9eba2c1ee4747cfe2 433026 acl2-infix_7.4dfsg-4_amd64.deb c3b2cfec909d5c46f92111d44321cb7f5d2aef5a 3014660 acl2-source_7.4dfsg-4_all.deb b26dc7ec2f0f03652ea8d17d51e44a5a94399333 11136 acl2_7.4dfsg-4_amd64.buildinfo 4bdde3e3fa2fc6d45a315be415d1ebbea5543483 18814820 acl2_7.4dfsg-4_amd64.deb Checksums-Sha256: 09003ae78b8059b5bafe8595dc82fbc6ef5f5952cffac947299d946eb38affcf 2231 acl2_7.4dfsg-4.dsc 4a15275e7311a0f3f602c2ecc8e9d9e27dd6eb8214809354c3cf7b71d955d7e3 204672 acl2_7.4dfsg-4.debian.tar.xz 0cac32ada160a06dea3fd9199e23e22a13b15e35e0075c055d2fe36ad35ba2b1 64509116 acl2-books-certs_7.4dfsg-4_all.deb 27a962628594bffbc9b23c201865ae3b9b296582d97c8027cad70cbb246040ad 11974186 acl2-books-source_7.4dfsg-4_all.deb d58c53e378e810214967b903ddc4227c8e4ab9700d6029be7bd70f4df186676f 124651772 acl2-books_7.4dfsg-4_amd64.deb 4eab6e189374cfa6be5211fa4dc91b85ccb6d237407855affe802102e11353bf 387658 acl2-doc_7.4dfsg-4_all.deb da48393c82f886f07d4bf7568e97df1fbfccf0133147d939904cc4154aab252a 66998 acl2-emacs_7.4dfsg-4_all.deb 3646973687e9f111da9c22297bacb92bde5d7ab31ef13849b6b6857d4a8d34d7 79118 acl2-infix-source_7.4dfsg-4_all.deb b4a6e1aea882265d9db93f00cb37f0038c8b74288a4d2cd1a8b150f4f7e1ed63 433026 acl2-infix_7.4dfsg-4_amd64.deb a4197adfbe188676e092924fa3be57020d19153efb63d1a7fc20485a7bb82bdc 3014660 acl2-source_7.4dfsg-4_all.deb c36ab448881c7a2a50d47b1c27a5c1a65981d2258435621cc1c021c19ee9e1a5 11136 acl2_7.4dfsg-4_amd64.buildinfo fe3f9d4274e792e686d63b3608a6e83fc87c6f4e7176df03b65d4165a36d98a8 18814820 acl2_7.4dfsg-4_amd64.deb Files: 4a5764c14a448b50255ea7da225c9d64 2231 math optional acl2_7.4dfsg-4.dsc 2f545a18a1bb05a1f36f9583a8a15667 204672 math optional acl2_7.4dfsg-4.debian.tar.xz 65f865f2f7a9f7b8e7061993aa0a4bc7 64509116 math optional acl2-books-certs_7.4dfsg-4_all.deb 11a0613ce2424af1d451b3d1bc208dcd 11974186 math optional acl2-books-source_7.4dfsg-4_all.deb 1aa45ae881aa80269e7b188b88416159 124651772 math optional acl2-books_7.4dfsg-4_amd64.deb 56a6f0820733a8fcd0d1824f14dd06b9 387658 doc optional acl2-doc_7.4dfsg-4_all.deb 1fdff6eb7c36078642cbb4e0673c6888 66998 math optional acl2-emacs_7.4dfsg-4_all.deb 7d4fb59f2f702758a01ec40ddb40d2f5 79118 math optional acl2-infix-source_7.4dfsg-4_all.deb 8d18c780fb233ac7a19fddb43125e813 433026 math optional acl2-infix_7.4dfsg-4_amd64.deb 0ad875d3784c0a97d297825522d6af35 3014660 math optional acl2-source_7.4dfsg-4_all.deb 75d44ac517e19dbc1d7dcc1dcad3b24e 11136 math optional acl2_7.4dfsg-4_amd64.buildinfo e1288a87f0d2504f59d09a351a1ef4fe 18814820 math optional acl2_7.4dfsg-4_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJZqrdTAAoJELhFzlEPm3FNoFcQAILGw6cEQEKCEm+dvhFffQuz YkQM9Mslr+0nSJWL1ynPXehQXhldze8NCV6VHKMRcgHm9DKS9nfPFm86wDs8vKjf GWCfdZMLOvHVvP2JlrjeqQnAc9SEumhGsVCs6q/qs1cMmIT7Q56TwhSpSO3nbsGM BoR0QyNwdebEiCWVrc+xgt6jOoc9RszPipsc9zD3nN/ik76l+rT0kuyk4a6sCV82 Rl7L1+k3G+Vwd64vdQcs6lHirCw5ASSu8ykBdoKACfPd+EP6DFex8u1tyAf4+teT 7tGItDj/9Yo6tOYHUZ+cOND+Gs39b9MQ6gSqJDtHQYX2U7IJprqBbqXkxdYYXRvF AR0P/vsc2MScg5oda6o2KjUAA5Ssyh6k4OFUzexwszFirpgHEHDbJYb4a7Ai8jmu A+W7XG0N91JOlUkpO2aqq+dYwYVw3DA0wmu435tPndF8+duU9xTCbE1zJP1B1MyG QomW4lWJ/30ba+K7zyXg16FQv3wlL+3rjkmx3fLpL11PaqlXRaVS0rBZpgIq+D7g qARveGstHMFP7xMvl0YHKeRC2gPhgE83dbIzwi1DiSlSTfMGmUGtHTMOlhArMPPj j7jiYQGGbhlRd6X4NlZ1nDT+wMFCVh3hdhCr3Q8d42J9T6myPzv3Do87ULaOOS2/ sobh1lep0xr4hqtTya0q =Jc7s -----END PGP SIGNATURE-----
