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

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

Format: 1.8
Date: Fri, 25 Apr 2025 09:15:16 -0400
Source: acl2
Architecture: source
Version: 8.6+dfsg-1
Distribution: unstable
Urgency: high
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Changes:
 acl2 (8.6+dfsg-1) unstable; urgency=high
 .
   * New upstream release
   * build depend gcl27
Checksums-Sha1:
 4fc56fde58da3cf57ab99d044a8639e4aaeb4279 2286 acl2_8.6+dfsg-1.dsc
 8137607590a4ba1cfc5bfb4cb0a50541abf37302 240329345 acl2_8.6+dfsg.orig.tar.gz
 a3cd72cf5ecb52370b6f980b89fccd52d700e537 445216 acl2_8.6+dfsg-1.debian.tar.xz
 2d1bc8808c5010b2ca79278b60c2310be3f48bd5 7663 acl2_8.6+dfsg-1_source.buildinfo
Checksums-Sha256:
 1b6d491e2cda04d0ace6deee54c74afaf5ea8ffdbade2555c5d49a87415e257c 2286 acl2_8.6+dfsg-1.dsc
 f633ff0ad42874381b96c34b38f4612629c3c267e2c6214f9543d03a447b366e 240329345 acl2_8.6+dfsg.orig.tar.gz
 eb00ac49edd5048f5e8e49ea0d397d03231c639b440ae5215336ac3c7ad24bf7 445216 acl2_8.6+dfsg-1.debian.tar.xz
 2d70a83ecca3cb8c3ad6961d9eb145bf779427618dfa73bee47d4de4dc4510b4 7663 acl2_8.6+dfsg-1_source.buildinfo
Files:
 de3d62211cb7311290320385bb102e8f 2286 math optional acl2_8.6+dfsg-1.dsc
 771f71065482cd947d11ce939ed3ebe8 240329345 math optional acl2_8.6+dfsg.orig.tar.gz
 c8dcd2064c8d0d0d5fdd781e2adb9dcd 445216 math optional acl2_8.6+dfsg-1.debian.tar.xz
 bf1102fc64c86dfd5302d476c7237132 7663 math optional acl2_8.6+dfsg-1_source.buildinfo

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmgNSTkACgkQuEXOUQ+b
cU3tFg/+Ii7dpRHuQ+8iaY3DTRtyxQ9W1YHVzAoEcj4ll5637RokGhmhX2pnbLtN
R4E7x9pEJetCRy41Wx60fQrKf46z2o6afB5dLbGPSWh+gVUDk0PFz8FdKcovhjsz
mi9G0U2/eDqRBxYHMNfPtLKvGvJCKnvdDcsXp3GmY92T4dzmfdsEz70kcxjCKR8k
pcleNfPkhe8XDwLe/ZB+h0NjdSta1E4FF9tcLzvDkeCvO0CalatLSLj/GsgAMf5k
uWF01EK03j8ingSTaizIvhKbkSsUKg5DBxXIzd0qHmW/ml3cM8TFN/39xvTvUUOs
t/cYgp647tpEItSAEQr0baN+lBOmdkp048c+3NpuNWT9+BUyEMSauB3OscuZ6B2f
mJ4PxNuMGhCfBTSZtTdXaAQ5xyTIw686n12Y33l/Jh7x8oDj4KpT6OWgJS4t3P/H
oTrKhWTIaYdjpqHNYdcJYcjDAk3alVAoMrpwIgouxgw0c7lweRnPmSAeO3DYw/av
fvPGaf+BX9TSGy6YepXApPI96Ii2ZvJnHI7krxQDoVcmF7FDBiq24sLLGo517aqJ
EvXN2IVY1mF7Yv3KQw4IeyZk2ZRZBd4grkmqEKrVE6GIG94KmZIJo+LMDUCJqTa8
s/mCBYt8LgNrLwwq/h6HNn7W4DyZ0oKSOZmHiNYOeeWbqjUjzJs=
=Y5HB
-----END PGP SIGNATURE-----