-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 15 Oct 2016 11:39:07 +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.2dfsg-3
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.2dfsg-3) unstable; urgency=medium
 .
   * build-dep against latest gcl
   * upstream pathname patch
Checksums-Sha1:
 daab87a2c20f01c5e04fd19f3d934d96d31b2bea 2231 acl2_7.2dfsg-3.dsc
 3290f9fbed51dd1b2a0a7c651913d4910726a539 204172 acl2_7.2dfsg-3.debian.tar.xz
 c1d04e990bafa325c39b8ae2e205907be33b3d12 54799678 
acl2-books-certs_7.2dfsg-3_all.deb
 2dd7b7ef6d0feb00dde3e56e0d7deb14b2f0fa98 10864188 
acl2-books-source_7.2dfsg-3_all.deb
 b63f26b6d61355fff9414a7329199f44229f78e4 108111876 
acl2-books_7.2dfsg-3_amd64.deb
 7e1f46bb68493424f8d2e402af8b2d3da2cbcafc 381186 acl2-doc_7.2dfsg-3_all.deb
 e82d1389f40433318336b13c4c1dd8d1a09c59cf 64070 acl2-emacs_7.2dfsg-3_all.deb
 fa5187bfd16b6f15ce582dee6820a0cc23e6b0af 78840 
acl2-infix-source_7.2dfsg-3_all.deb
 14d015e9de1645b9e3368de6606bd63643099104 419740 acl2-infix_7.2dfsg-3_amd64.deb
 51464a3b08dbb03fada64094f41d93930a51b12a 2886204 acl2-source_7.2dfsg-3_all.deb
 84b73daf46c21988e84b837516ad2de984220cc1 18128940 acl2_7.2dfsg-3_amd64.deb
Checksums-Sha256:
 5e2cc59b0c914477a1dd56227d94389b8007439d410d076007d6a0679a74583a 2231 
acl2_7.2dfsg-3.dsc
 fd46faad548986062c43786c7a007fece566949f3a2f67eaafd2d909dc0a4920 204172 
acl2_7.2dfsg-3.debian.tar.xz
 4d953d7937dc614f9fa699e3b07f9a0dc6099ec97cc4eafb5eff56b66a51213d 54799678 
acl2-books-certs_7.2dfsg-3_all.deb
 343a8d8cca5c79e43154164c43a65744e62d7b569d0b97331a1645a76dc57ecb 10864188 
acl2-books-source_7.2dfsg-3_all.deb
 54a91c223a9b3c1c733418a16434eeeec06da9f013edefaf51790be20bb69b21 108111876 
acl2-books_7.2dfsg-3_amd64.deb
 4f5b56100ea960b7105b20402c26d7ceea4f06904d9e9f5f0e975fda5644753e 381186 
acl2-doc_7.2dfsg-3_all.deb
 0a06fcf12e44f35931b438f4e074bd3331377c9a9cfdeeacf470eb9fab4fa31e 64070 
acl2-emacs_7.2dfsg-3_all.deb
 f4912d4980e8422547213afb530bf97d8eacdaab928301eccbbba288d228d612 78840 
acl2-infix-source_7.2dfsg-3_all.deb
 8c79e8421a7bdc9f00d593774a929fa0e7346ad761b6a8a6b4ca8d9e176e13ee 419740 
acl2-infix_7.2dfsg-3_amd64.deb
 37e62c243c27b443169b5755a1fc7f06ff9b63ecf6d83811fd74b787a1cb1b5f 2886204 
acl2-source_7.2dfsg-3_all.deb
 1a63cf0f13d1ac37bb2571ebd7f1c7e0a59154864baece08a2c28928438d8f68 18128940 
acl2_7.2dfsg-3_amd64.deb
Files:
 c9df8b26a4771372bdb381f33e7f0f23 2231 math optional acl2_7.2dfsg-3.dsc
 bd6c1c03b67a56692ef3da6564454ca3 204172 math optional 
acl2_7.2dfsg-3.debian.tar.xz
 e3788557cd79cf5f12345d260dc75b12 54799678 math optional 
acl2-books-certs_7.2dfsg-3_all.deb
 054db4c5728894200fd8362d91dcb776 10864188 math optional 
acl2-books-source_7.2dfsg-3_all.deb
 344d76eac973d2c3226f3b24d5667904 108111876 math optional 
acl2-books_7.2dfsg-3_amd64.deb
 a87fccfd75801720db6c8ec2898208b1 381186 doc optional acl2-doc_7.2dfsg-3_all.deb
 000d99bc5b9b75df37b9b8898ff09f45 64070 math optional 
acl2-emacs_7.2dfsg-3_all.deb
 5333dfdbd5b4aebcc8f182dbe02f549b 78840 math optional 
acl2-infix-source_7.2dfsg-3_all.deb
 8a3fd416ae1829daa5b0b7c1fbe3dffa 419740 math optional 
acl2-infix_7.2dfsg-3_amd64.deb
 b5804f9d966ec8541908e6bc1eb725c8 2886204 math optional 
acl2-source_7.2dfsg-3_all.deb
 988829ba7bd746468df7a352f48c6f08 18128940 math optional 
acl2_7.2dfsg-3_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJYBOFMAAoJELhFzlEPm3FNE5IP+gK5VwlW3HVA629H8uPDZMK7
n7k7gADB553nAxMrrMj/BdYZvOKKLu4MsLG4x49HGUiBAf1hd08wXQtW43d3ab1+
lLfecZ9qh9yUHc/25DFEiusURYQ8coHsVZ3lQwti7s0uoaz6UQxgsifqYfvUWB1K
oqw8whCMzN1IhIH4X5wWoSAFVtgWuSU+FN9n90+CsDczOTQDqYzA9cnYhxMDjMCb
xj/bdZ/I8qWAXkekZneGF1yCEf7Yx8Xk04/q3cCrrbZL3fsR+YkqQBs8AIkZCwhn
urSqvFgUXBaP1mKKfb8oPQR3LIrTs9MsIVeTaL44t7OUC7ASnHJG+BIf18/dwa5z
j3tua89MCtuLRfCJiv3nVfkGIe90fAg4Xbh1ENEfonjHzous61hrNUYikvVJirre
jGPCB/bHCxVFbmVi7TsdtrVDmTrnLf7GajMdlW99J/nk8Qxxz3alk0FeRNCF4DQF
aIoFOff7TtOfbJ7fMbOyW3VL9dZYdiXb6myY6BD0hqD2li3akmYXDqwAPHSR7ULC
aXFjv9V3LoXcGtZd9d0qviG+lyH0nMJ4znXZDe/7E/lxkwYve2pJTqKXwM5TOlEK
Ji/bPxfIzjlaz1a3i8pjszBUDkfXaFZQVu8hKQkoaSrPSxKg9KKlOua0imhKltWG
2UcZWLdV/jHWPAgUwFvl
=UlVs
-----END PGP SIGNATURE-----

Reply via email to