-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 03 May 2016 15:05: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-2 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 Closes: 815312 819447 Changes: acl2 (7.2dfsg-2) unstable; urgency=medium . * Bug fix: "FTBFS in kfreebsd-amd64", thanks to Andreas Beckmann (Closes: #815312). Reduce GCL_MEM_MULTIPLE setting. * Bug fix: "FTBFS in stretch (looks like the same problem in maxima)", thanks to Santiago Vila (Closes: #819447). Checksums-Sha1: ad7245d9539996b4baab5e117c495e3f5b132b93 2231 acl2_7.2dfsg-2.dsc c38e1a244c5251b057b3adea798ab3dcdd15f8b2 203712 acl2_7.2dfsg-2.debian.tar.xz 2b3acdf75a9368c9230380d33b774960899bda23 54837466 acl2-books-certs_7.2dfsg-2_all.deb 0b4cec5df8a07a8d2562a9c6ea559e907da9f22c 10865514 acl2-books-source_7.2dfsg-2_all.deb d25d911cf34eb670aeb931fc0dfa320aef3a4daf 106187878 acl2-books_7.2dfsg-2_amd64.deb e10c900552fceaef12e38f6ffa4b12a76f43dcda 381534 acl2-doc_7.2dfsg-2_all.deb 2c15dd421f6582b3d7771d045a5f8f8714385be2 64044 acl2-emacs_7.2dfsg-2_all.deb 76834a5870e2921c6b272a35b0ac88a2d89d240b 78812 acl2-infix-source_7.2dfsg-2_all.deb 28ed6f56f95651780451c540fab6d882ea1a7207 409260 acl2-infix_7.2dfsg-2_amd64.deb ccb2641f20348e06859d511dd997277129db51f4 2885664 acl2-source_7.2dfsg-2_all.deb 8a8cfbb7d2157eb0e7ea30b4606815962004ad74 17881888 acl2_7.2dfsg-2_amd64.deb Checksums-Sha256: f557266da91ff0651e1ec835e62ddf84d65b4372adbc5e7383efbe49eb1cafb8 2231 acl2_7.2dfsg-2.dsc f32def11bee52fc7dd3564f5a7f1fdc203a71b4a5e1ad5d5de4a885444935593 203712 acl2_7.2dfsg-2.debian.tar.xz 9146e204c4d007a83ee0bc4d06a6270e0bd1119da20ac7906ff6bcf444f3f2ef 54837466 acl2-books-certs_7.2dfsg-2_all.deb 0dfe0f3b97ed570a7394c4e0dd71762825f47044f2bafef5732fbd14818ba4a5 10865514 acl2-books-source_7.2dfsg-2_all.deb f0b29cc731bb65b886be3894e36b56b075e9b6212984ba11ce51f8c823b3b8f5 106187878 acl2-books_7.2dfsg-2_amd64.deb ab77a5e9ee8571bc34538cc48dc76c4b1b6d76c71bfb9c3f171679fb47f6647e 381534 acl2-doc_7.2dfsg-2_all.deb 06808f8764c79bf9f4b526fb6dfce6c7527dfb55148d3c761af1464d7f37e1ce 64044 acl2-emacs_7.2dfsg-2_all.deb 35075f7840ddee607e74aa8e638711d884e7a4a604d573c7bd95b4aa709ff1e4 78812 acl2-infix-source_7.2dfsg-2_all.deb 85752c14b69c9ac842e167ea891a4a4d80109c597194472ff634325cb7fcef3f 409260 acl2-infix_7.2dfsg-2_amd64.deb 71865655b22d26411e88a22604c12623ae84e5a137d2a614a50216a7c9d94bd5 2885664 acl2-source_7.2dfsg-2_all.deb fe98cc139419ce4b07797d6e51e81a35b3de4aebf5f7ebcbc0739c13726336e4 17881888 acl2_7.2dfsg-2_amd64.deb Files: f7a60fb6a82e135d3ec6c10edc8f80ba 2231 math optional acl2_7.2dfsg-2.dsc b7107b15f46a8431acadb933bef12a2f 203712 math optional acl2_7.2dfsg-2.debian.tar.xz 68eab5dcadc80527a199331e039f3e27 54837466 math optional acl2-books-certs_7.2dfsg-2_all.deb ef93cf747798aba37a228687c0993823 10865514 math optional acl2-books-source_7.2dfsg-2_all.deb 089cfeef0591c73c3ee3d3444dbf609e 106187878 math optional acl2-books_7.2dfsg-2_amd64.deb ce5acd6a3e753085e79904cd6f7004b4 381534 doc optional acl2-doc_7.2dfsg-2_all.deb b92c6a54da28cf5857b7278ab2e33a60 64044 math optional acl2-emacs_7.2dfsg-2_all.deb 99bb6deca418ae96ed4ddffae563100b 78812 math optional acl2-infix-source_7.2dfsg-2_all.deb cedcc01d586f42032d9ab8ac7c4efc66 409260 math optional acl2-infix_7.2dfsg-2_amd64.deb a8b12ab02255f29c0bb11683d255909e 2885664 math optional acl2-source_7.2dfsg-2_all.deb 7bb5c1bdc7db567d0f8cbea1e6becc7a 17881888 math optional acl2_7.2dfsg-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJXKfniAAoJELhFzlEPm3FN+1cQAIHQ58UIjF8zD5Jxx+CLNbLk NcHVx6InVyn1+jYtQ6XpmkHVKYLy8MPT4QoMGcDg4jd1/1Ys/GnftwTQELeyC+2c wAFHi+gmGePIQYZP9OB1/z/Umt9p3nw/eIX66R8XeKAO4riTgZ4GwdEgN61UUM4q +ZNa6BAdtCJhSEy2Wntq2Strg9BnisO2SNFzOri9a+h2RZbsncR+IqZq3492+FSp lNh6uk6MBorpqMXR8Xa5uUCUBIJFejfKodzSMlkkmsh8rpkImZir78ByWE5vzTGS cT736m8apxRDHlRU2uwXpsqvgAyeRX/CUQSDRQ2XPN7MeXwqT025xgbx9zzgJN++ MTlMFmbkOC7HHYkoQUZDGkA0X8pFJYq/TAnjWZ0VTHGtsn4A5JrH4YTAdrvZcldm dBplDj8nmb2XF5OztqZ6KnQWfHU/lyiFPyrylvB1en2oBcxU8EyD7jz5pll1bNeI fhzlbYbqTpTXf8m9C4SIFNlB4F+ldoxgBGSxz+Uq+s1NClnTK4tmRr2PPbbosDAR MpyDKJIZaJb+oMKzC/l0DYMIWFpRWROvQYVSOdd7aCi6alAZbwPO57tXrX9X2Xwj fe6+PooychBa8sEtz3hh1NZcW8adeTlN29O87H7/x19se+o2fKABVUnNx11Rl4Di 55Ld90bAwhKts3G5GVXk =u/MD -----END PGP SIGNATURE-----