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

Reply via email to