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