Back to acl2 PTS page

Accepted acl2 8.5dfsg-5 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 15 Jan 2023 20:02:50 -0500
Source: acl2
Architecture: source
Version: 8.5dfsg-5
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Changes:
 acl2 (8.5dfsg-5) unstable; urgency=medium
 .
   * relieve memory pressure in build via GCL_MEM_MULTIPLE=0.1
Checksums-Sha1:
 2f73111d1dc150aca04c7279524ab371e51ac0e1 2268 acl2_8.5dfsg-5.dsc
 41b11782380e7becf6a5cf1222bee0fdcac5b42e 312896 acl2_8.5dfsg-5.debian.tar.xz
 355e1c80160a1006cae2220708fa239d35b098f8 10570 acl2_8.5dfsg-5_source.buildinfo
Checksums-Sha256:
 3dfa419ecdde8564078f408338a8ef338f4209c476c3918c236e9bed7cc068d5 2268 acl2_8.5dfsg-5.dsc
 68b7e667901b0b77e27f9884f8b96b5571858a1e0a3a38ca3289440f39f93008 312896 acl2_8.5dfsg-5.debian.tar.xz
 4d272eaa3b994d438a4310aaf78597bc136158aa5d7f9754a190618ece9b57f3 10570 acl2_8.5dfsg-5_source.buildinfo
Files:
 abce8bbf413921a3ef71aa1fb5103fe2 2268 math optional acl2_8.5dfsg-5.dsc
 217b5de7bf23c4901da5c804eb348d30 312896 math optional acl2_8.5dfsg-5.debian.tar.xz
 411d5a0a61116b11e7d0890727143804 10570 math optional acl2_8.5dfsg-5_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmPEpfoACgkQuEXOUQ+b
cU3jOBAAinB7XlgdRBq8hp7nd5C684i4AcAhPuvLlaHzeGkfpJEMAi95CjiHWd8b
EAUHw3rign029qr6urYq5JuYNTG/TZVU5v2XFNEugP08c1dJpfx1H0dvrvoh/HCl
+HVwhWm+fZFCJb7EQ75F0X7A7NkrEEJ5cWz2hDIFmm81B+Nq6iauiwCOreQuExoW
K5UD/Y/B5RQXeJBJVbWR0fU7u2eNm/GGWzSvg2iTByr+Sf97VapSrM4sF0Ob5Lya
Fv1FDYJQ0THjZ4RULZzeJTbfCwTZFv0D3iXEt9jEClaM+UKxvzG1x4DAt90UTYrA
ct+VrwlWVm+MIRdAYu9pbwH3ayVUnDFhB6PMjUWgqiIrPj8lOIK9361MeWNmkT92
d77GpJs1MKiq9uYUjRf7K6cBWcPxEDriSwdRYXVreuA9nDF5OjOocXBPKtVwxK4i
IJn647dk9dJoUk1KE4h5cLtON8OqP1/GCOn6xDlWnsqviQebfR6JjpM6PLvIkZlc
nNtlWuswFukx18KYvW/rWOAwZsS9wDgIXX0l/q1HemWOSgLQ6R3SYXNclR6LNho+
ym1VGrQ6xYYj4CvoPVLzw63Gtt1JwKorPn7EZCCLLMSzIMn9u6FsqYfxtHng789K
5XetkVDNUszBKA55vL6/++BDZv/stZO+yn91ZruG6FB8wnXT7I8=
=Ksnx
-----END PGP SIGNATURE-----