-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 27 Apr 2025 08:32:18 -0400 Source: acl2 Architecture: source Version: 8.6+dfsg-2 Distribution: unstable Urgency: high Maintainer: Camm Maguire <camm@debian.org> Changed-By: Camm Maguire <camm@debian.org> Changes: acl2 (8.6+dfsg-2) unstable; urgency=high . * set HOME in infix-stamp Checksums-Sha1: 4be5e69e7a663cde4918f09561d31c476fd3a503 2286 acl2_8.6+dfsg-2.dsc e0f694fbf4ae8acb766c43b9198915f38e40df62 445128 acl2_8.6+dfsg-2.debian.tar.xz 4b7f8bd0e4594bf00967998ad2304fbd9c209248 7548 acl2_8.6+dfsg-2_source.buildinfo Checksums-Sha256: 347b31fa4b763313369695d54db7a84a74739cfc53ba6037b8a3ab14b4256459 2286 acl2_8.6+dfsg-2.dsc 75f1788d07f74adc491c02739e0258d42bfe2d9d5bfd0b2b0a9d356074a1a2fb 445128 acl2_8.6+dfsg-2.debian.tar.xz bbf7e34452091ca2d911f9b7068df5b66920a12b18e4bdf2eddf159e058df45c 7548 acl2_8.6+dfsg-2_source.buildinfo Files: a8197ce93235b999a368ee781a3d41a9 2286 math optional acl2_8.6+dfsg-2.dsc 64d17b5be8696bc745e6183d0965600d 445128 math optional acl2_8.6+dfsg-2.debian.tar.xz d83601bc556cab9d0f80cacc343e68c8 7548 math optional acl2_8.6+dfsg-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmgOJk8ACgkQuEXOUQ+b cU3mkA/9F6GM6dPjZnuMf3va/7v0aIgbERLWSjhCG4KJ7Zeg9lwz72u4y9ah5y5e gWDLUAzyQcMxf+c4eJxXKsBreobBDejL1mqkuvP1XWngp77H/EooV+AfQPY5zhyr VpVJsmgQGOFtke/0ZMmi5IrAhWQSUHxff3/MzyfMEp5+Rg8OKd81/FTgjoBqIYzW Has7pC2NTwZgqJir7RsiQYZGvhEyKDpwUBposR/vOchbs50YrXv9jzYKoI6ISBCD Nuiycc/4QUMfyI81/p3fbeUmUAKd2RikjQtfMJjKJ5qOD1K3o4MF6ZaOEvHfumg/ 9cuN3vZSRY3Om0Eyt+6UnT0noekLgJ+VebktbAQLbQkY7ifvbGvwaPBF6tEqOooF lff2Jk7NIpRW5bC5qLsR8WHcMg4IqPYx09fLx82zGrR6Do7Arq/HTN3/JPv27HVY sIy2Gmi3n6Y6wu1lsn014nU1nWq51bbP8Dw2o6cS3N5IrT/wzJSXXe4yUUrFtvI3 3XQyqUIH4WVcVlV4+GR95A/egBeOayXAvHLtdxMI1RN8kmJ37UhMOV5eisbPl6HY W18U0v5Km+MYNaJjH3z17CzBK/oRRWLIa6SOXstV840jO6MMh/TmynNmztPtDOC7 sW7245iHZ3Hbva19kxsP/xa9LzFJq/iBfMKcwTyO4HDtPf+TtXI= =4Sjw -----END PGP SIGNATURE-----
