-----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-----
--==============C48092897917948740=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCaA4zyQAKCRCb9qggYcy5 IT6lAQD3ZCH0kENiihPUImMDWSf7rV6chreUs44uK30J1QbLbgEA/sJ4M4ZUNGZm HRrzlqoteZtUBHocXmygcoNxEexHVAED5
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)