Back to acl2 PTS page

Accepted acl2 8.4dfsg-2 (source) into unstable



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

Format: 1.8
Date: Fri, 29 Oct 2021 14:06:33 +0000
Source: acl2
Architecture: source
Version: 8.4dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Changes:
 acl2 (8.4dfsg-2) unstable; urgency=medium
 .
   * append make.log to build output
Checksums-Sha1:
 98268efc5f7d4ac0120eb37fbfa96a4bd3013dea 2281 acl2_8.4dfsg-2.dsc
 2d42727a484694313275ebb6ea8279617f333afe 311628 acl2_8.4dfsg-2.debian.tar.xz
 4d95955452f531e1d5dd09ed74ea91aa48a525fc 8066 acl2_8.4dfsg-2_source.buildinfo
Checksums-Sha256:
 7f5bc385e25e643ce3fb422b65a7f5c2c53b68b160a371734249e8212b473346 2281 acl2_8.4dfsg-2.dsc
 80e2f616fc80e92ae0d7951c860b154951293d8405e8640e91232b79c6846446 311628 acl2_8.4dfsg-2.debian.tar.xz
 a420df866c5a8ab5a0c06e3c11673732ba4f2f24b37ce29b2db49d1492a73073 8066 acl2_8.4dfsg-2_source.buildinfo
Files:
 e7bc6c43d3816499272a0e17b243de86 2281 math optional acl2_8.4dfsg-2.dsc
 4dc20f6bdfde3d03f640de1a0aa08d11 311628 math optional acl2_8.4dfsg-2.debian.tar.xz
 f8f8a41ff508f23a69ed77be9814b8c8 8066 math optional acl2_8.4dfsg-2_source.buildinfo

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmF8FVkACgkQuEXOUQ+b
cU29bQ/9HRmBWRXslDimVK5OnUnBQDYeo5SBtjOjs4PlDjTnumt2Nl3ikTn3Jkg0
NLHOJsoK5xkj5BvIEeAweW1Lvw0b31ZBxLEC+6+K6VKlwVatpfZzIhS54QiRm9Mx
tB5qaOU5VDOFcBe2xYjdCaPd4Uo+ZY7gcmYwOeJl7rS+kU0ii3Suw7j6arJ4sSik
pa8LoSwxRMktEr/602Yt9ZUAxTB0ShkNcwYfjQ+pLU0cqoIzJfix30ujq0Jo/gnJ
vC28Zb3yK353SgdWJXjyxJwF8egZ54Kp1qFss9iMfggUtgImGEAaBOaPhQao6bfe
+c9c84lBoeEXMPKO5n8+ExlFiXaX3C/2e44Rl3/HSVQSpvwrAiopVQ2KcM4hqdmc
8crK6Kh32u2D/yF+0AaoS60fobXSdB0Mo7oTF0jdpNvq6yRvVpN3iOQOOH2DlX1F
F/nR3L8z0Hy/hBWgYcvm3KAdhttceSJHU91B6o79RjgMoTXQkUisDt6EdcZLhz7p
J6rwnPrINZsMmcolcxT86VeyOl012NZNv7lxYC8JSPJPZgM4OgjHX9sNxLpHVEG3
Id3vRHsPEfQg73hng38GS5r34FRjShULrPat/Xotzab/X3mLZOC6wS//kdFVnEvZ
n/xhyU+8tSueq8Ng/qFK7GmfobNQPCPXX5nvNdFOrRZJrx4yiWg=
=ybVc
-----END PGP SIGNATURE-----