-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 03 Aug 2017 17:27:43 -0400 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 Version: 7.4dfsg-3.1 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Sean Whitton <spwhit...@spwhitton.name> 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: 870663 Changes: acl2 (7.4dfsg-3.1) unstable; urgency=medium . * Non-maintainer upload. * Bump {build-,}deps emacs24 -> emacs25 (Closes: #870663). Checksums-Sha1: 03b5cfd5256d09b1492cb6433cd99a0588361491 2367 acl2_7.4dfsg-3.1.dsc 92edacb2e4447d51af26a59f6b71f753fbe9a26a 204744 acl2_7.4dfsg-3.1.debian.tar.xz Checksums-Sha256: 56e02f908ce8449102112581a12b6ddb4359eaa4a5ae022bc61fc18d805643b8 2367 acl2_7.4dfsg-3.1.dsc 6060bd0a75a7119c2e997bcf1479cb6550dfbe9f4cb0be0878c1a336b2f98e6f 204744 acl2_7.4dfsg-3.1.debian.tar.xz Files: 0bda907d1ef8de51c6ba6f9e1e5d4e11 2367 math optional acl2_7.4dfsg-3.1.dsc 85834c20b6784bad95025d2cfc004475 204744 math optional acl2_7.4dfsg-3.1.debian.tar.xz
-----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEm5FwB64DDjbk/CSLaVt65L8GYkAFAlmEcZEACgkQaVt65L8G YkBGKxAAqd7viCpwGA4jyY8ZFE00t2gopqsXTo3mBOLF8Wv+UON75ZqA3cLEbDsu LMw1fKh2R09kdSs0X2L1CDMAR6VEz+126b3BicNfGV0ccPCmBahNG4L0XOHnk3Qz aGvUFb3nsAgYRpD+QILgVk53kQoWjnhacA3dnNtJQ+pIOI0fXhoQKmrg4yhmGEQB gL3JPU4Ivp+QhYwZ7pEP+IbF2Il8XFwDh92grVKXQe/2bzhZTFwmayE2WKsZ5FzS uSTJJkCD9l/NF5HUIDnzvMm4FUkwNxsmK2qQPiiz5B+K6aNjcgkWLd0fTHESZCRB x/2tbPmWR9aRhMcKEKdP0yM7MTOx4y4cBiFllgjqaOT42lLGF/x/ZoU+tLGrNxdD LF7dt/SUlrPOU+7nHTmbfCMpeqB7ZI/DkxSotftdX8gtX6p23wP7yTwTQVe0Z7tI drQ9R2tsmAcnbO5ReVpObERrQ0RSePWvzZ2EgYBCVy3Ykv5EI8N9MquIekQGYTaK ImslrQIfzgiHBNSiOeWJIapsBAoE2AcZvh5/McA+rcCct587OVUgXAoQgVMXwfzr 07bv1Rvdvy3WGimkudboPwyUD52ega3kHP+LnPxDb3ddKi/FVwgKlurWi7U9calO yVgiD9APfkw9QrcxBqLGWzoyuGsLCNroVWMTUR7+FFshW6ajEmE= =9r4+ -----END PGP SIGNATURE-----