Accepted acl2 7.2dfsg-3 (source all amd64) into unstable
-----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 <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.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-----