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