-----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-----
