-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 08 Jan 2023 17:09:23 -0500 Source: acl2 Architecture: source Version: 8.5dfsg-4 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <camm@debian.org> Changed-By: Camm Maguire <camm@debian.org> Changes: acl2 (8.5dfsg-4) unstable; urgency=medium . * build depend latest gcl Checksums-Sha1: 338963ee9faab890743844ef9ea34b2d128bd044 2268 acl2_8.5dfsg-4.dsc 652e0a7e06ff804eac79560bce5e1f0817c53f50 312840 acl2_8.5dfsg-4.debian.tar.xz 216eae0b5784320799c5b382725f785167e38778 11252 acl2_8.5dfsg-4_source.buildinfo Checksums-Sha256: a93b7aff14c1d8bda98a66e762f05075399a55127f9d634e0e24468cd343d6ad 2268 acl2_8.5dfsg-4.dsc e1d40f7333d53e7250d64fd63dcd8c5d8f5b6954890a574d927888d0b618f6b2 312840 acl2_8.5dfsg-4.debian.tar.xz 289573bcb041d6236137a4e385bcb1a612872eb407922d9349691a6ef8a7f389 11252 acl2_8.5dfsg-4_source.buildinfo Files: 4bef5eade758b7f59d327acd361d3a8b 2268 math optional acl2_8.5dfsg-4.dsc ff74df47644519b2e498f25852a018b9 312840 math optional acl2_8.5dfsg-4.debian.tar.xz 401339428acae4dd4db5f6103c0dda98 11252 math optional acl2_8.5dfsg-4_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmPB8OEACgkQuEXOUQ+b cU3rVA//eUukGeNTXAVD+TqHs0kub+PeFTXtXpphG5zd5N4GGSN305rW8juhiHst RZODhF197T/LMgXcpoTINsf2m9ea/ppCoMYHLh5bNAfxlBujN+e/0ZPGE/bZenhn J8fj6WtxwyfMUTo4/ya0W8QNY0YZuzQ/CrMnrjzFFE9LMO4QIO1DIHmulQaNFxhN KiFVxci8vfcgh6Poy9ozLwgFlc0p5+SrFF6zSgIhtiEI2hocjX8O1IX6YalPBKw5 IqY7dqhAaOTMgYusdRxtWruxC5RlIkN+/olw+i4YwfZ2ScepzRP3C0nrUMdbyUVI d1Jjj/0oTae0VxOK4NczwJer+xf4vaD3grYqPBqx/Dg9iSwxkMkEsSS9DtZH3meI CNf3Ah57O/52vYjY87kL6A9jarsI00LARboEn90gZVFSNQA0IJKU9qP09hu7Bi63 0Mwx53CHZhZ/OY0/LD0XGmSASt6Fi+aeyFs6OooNjiahUpdsIuhFlispwqnavAxC EE6jrFUKur0w3NiCctZCy79f3ZyGEU72m6DT63SQgddijUfM30Dnj2BhFpRy6UBw xnnGye3nbnvUz1oPc3F2n7xBAnDhJ0PS1FBxIAqmN2kFCHyOsxSx75K16gSDTtDU 9XUz0SjGUznPbmjDyWGCwVNk1kFo2mlBOxAKln1dpz9d1zMf6S0= =4k7c -----END PGP SIGNATURE-----
