Accepted acl2 8.7+dfsg-1 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 17 Jun 2026 03:44:03 -0400
Source: acl2
Architecture: source
Version: 8.7+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Changes:
 acl2 (8.7+dfsg-1) unstable; urgency=medium
 .
   * New upstream release
   * remove precompiled windows binaries (.pe64)
Checksums-Sha1:
 c2933d4feb3ecec579b22d6f0db62f34d258eb99 2288 acl2_8.7+dfsg-1.dsc
 8678eff2c1a646c0cfc9933bf1c9f612b65cc0b8 249797630 acl2_8.7+dfsg.orig.tar.gz
 f25279b108d4359e39ed4061f2a3d0366e946ea8 902428 acl2_8.7+dfsg-1.debian.tar.xz
 97965f73f3bec7361ccdb5d329043f46e1be6d8c 7810 acl2_8.7+dfsg-1_source.buildinfo
Checksums-Sha256:
 2a580e2de51167d20745a8cd52daaf139261cbd766359126f8d048eeccf3d383 2288 acl2_8.7+dfsg-1.dsc
 2f396e166c041d852b5974f2fd57bed5e22c282bf397c7e917d0065cb1a68dce 249797630 acl2_8.7+dfsg.orig.tar.gz
 53c204666fce9545cf0807937235d9128653b6ba761d5af8ea6dc67dc568923b 902428 acl2_8.7+dfsg-1.debian.tar.xz
 bd8cf3d2fe74339744a61abd12dc299e610b7087f55a8039b06893e659fcb512 7810 acl2_8.7+dfsg-1_source.buildinfo
Files:
 c5b3bb4c4b64bbfcf377c27a33fefe6d 2288 math optional acl2_8.7+dfsg-1.dsc
 bc17750a5303792edc8661380fd359e5 249797630 math optional acl2_8.7+dfsg.orig.tar.gz
 31925d37fd6be2f3f24516057f6b81eb 902428 math optional acl2_8.7+dfsg-1.debian.tar.xz
 f13198ed803d682818e3ac9c8cc4ff5f 7810 math optional acl2_8.7+dfsg-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmoyUiIACgkQuEXOUQ+b
cU06CQ//aNI7rRNp/KVNN/Ukqp/dHfhDmFBRjID+7ITcM08+D8E05mZ/b4TwrAjf
h7cgvgfC9jDpD0j4WvH2t6N6D7ys1VKRHYVxLn1o7PE7RI+aq/kiXBpGESQAdh1C
w9MwbEQwjqtFs+IHJqZbegRkMuVHkA9VP+ImuEAKt8Dvd+lWGa/E8Ckd9TFt0v6U
Z3XMLQuDJ0CN1DmYxy1oDXhPmYBQZn/7uwg+1xkCQH2TKeXK5ziYv1uba2l95glX
MfppdXt1ydpRnmciTxowAa+T1sT3m2JQFCPRFkFftkHZQVCGhOqdxBzLNG5ba4L6
nxaxLDhn1+yjW8D3MpZ9e9iAGzwPOtgQhhsthdONGmj72DHeT9oehHyzQv0otk/6
Qd5MwqTUY2+e9jqSnWADNwqBFQYZYJ4LlUkqpgT4mQBzPE4OLKbypWcyc7QvjLuY
NmA/7R4X/09jJaHFrl66uG8xHrDpQVykd+Or54e873Ffapj/oBuh1tpXbZ6gZbXu
9pXItXSbq5jvDbJPe5bnhYIUPFWu84q1oMXwjf1vj6V9+vVYqM01TQOEuMbSGhSG
PSuZ8WS5kuzKSbvV8onRiyQVERnhDzlSM7PWrd/nh7hISufWGKQQYwH4ZOxJnSms
9es3dHr0zmhyITe62CbtGqA/6uzlqmi9fmRmYw7gBaI2WeqKxY8=
=X+bS
-----END PGP SIGNATURE-----