Accepted acl2 8.2dfsg-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 26 Dec 2019 20:47:09 +0000
Source: acl2
Architecture: source
Version: 8.2dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Changes:
acl2 (8.2dfsg-2) unstable; urgency=medium
.
* Temporarily set GCL_MEM_MULTIPLE to 0.75 in saved_acl2 build to
workaround gcc oom issues
Checksums-Sha1:
0cb39e801a9773606c14df5eb7d562f445050112 2247 acl2_8.2dfsg-2.dsc
fa5f2e91c7ff22f0d12c7fa925d49607f7b1261d 205516 acl2_8.2dfsg-2.debian.tar.xz
3b6b0efeeb6e9d82065667ed371615992019f0cf 8423 acl2_8.2dfsg-2_source.buildinfo
Checksums-Sha256:
b804e907d2baf41a61553d11d7f4b9d6044cf1b262a4b51e11e01e57c1c5a236 2247 acl2_8.2dfsg-2.dsc
96136facb5f184d531d843224585c2052802ad3ccf213ecfbb5644b53914bfb2 205516 acl2_8.2dfsg-2.debian.tar.xz
6b4faacb7ee3071c64d86e84f8284c86a5f94fba324383abf4655704c50e13ca 8423 acl2_8.2dfsg-2_source.buildinfo
Files:
8175e6d73420d44cb58d0404384ae19c 2247 math optional acl2_8.2dfsg-2.dsc
654842a024d4d2409e09b1da9d7ebaf8 205516 math optional acl2_8.2dfsg-2.debian.tar.xz
4a61d2e4e085397b74f1572fcfcb5542 8423 math optional acl2_8.2dfsg-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAl4FHqsACgkQuEXOUQ+b
cU2qShAAkb+lDlQiEE45y0vbSfDo9Wc67FCP99ME8dmYG+eKMwtnhQcbyHUJFM+z
8MwjcSWRC+d6GL8ZYbkDW5WSDNknKqzdxa9MEcWXVzD4/z8/jzmjxcIvPiYUR7tI
eEf8XqmDyLwqVBSFTYX5wsq4NwZNSn6rayiSCWN7Vp58Kbxp4kim2ofI/gqqqRed
Cxy8I2y/7g2ahNXITktnCRZmTCtlCpo9jm+MMIrYqMqC8+AYQs1M4wyRDNZmncOu
8WtboYitwD6ZoJZK3VTFq7hR+zPAIeI66yaup9k+8qBq+SmyeaHte+jBCbJo6T50
dKfVf0cu2bAdQJTASn0DMKkkB6+lg8FHILie/dwDLKw1fQ9OQHzaofWjbuLo1H0U
uZDK4Wwb1OpUsUG4ZAB8VfRv8dr9edODCnO/rqdAyB7XEXWggBjkvSJ7asMjcslW
B9AQZAAaQhAWj6C4i1qJktQD8VGu+jdtj3zNZOpYHZyATDpZCKGsPQxKuHtkdn1J
o+zVXLluyflbbpndzzi0pLylVCK7ynAtcl8ZudlYGbHXuJNRUuQQwepjhK0J4Dfp
bnoGvC6pZfuYsZ54wYK0IxIC38ZQucpoWFRzTjjp45v/go57mos37MTecu1ZIR0l
mTXTcH91gVhtedTuFUl0z0hrlePrfS7zDspDOR+ZW/dxqrbmWlY=
=Knfo
-----END PGP SIGNATURE-----