[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Accepted acl2 8.6+dfsg-2 (source) into unstable



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

Attachment: pgpnOhQm9S9fq.pgp
Description: PGP signature


Reply to: