Accepted acl2 8.5dfsg-6 (source) into unstable

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

Format: 1.8
Date: Sun, 28 Jul 2024 12:08:41 -0400
Source: acl2
Architecture: source
Version: 8.5dfsg-6
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Closes: 1077092
Changes:
 acl2 (8.5dfsg-6) unstable; urgency=medium
 .
   * Bug fix: "needs rebuild against dh-elpa &gt;=2.1.5", thanks to
     spwhitton@spwhitton.name</a>; (Closes: #1077092).
Checksums-Sha1:
 86d966ee768c2487422c367a6fc53daf3bb0a3f5 2268 acl2_8.5dfsg-6.dsc
 e9ccf67ec3e73b990f2adbd2b830eb49ef5286ad 312848 acl2_8.5dfsg-6.debian.tar.xz
 4d85f11f93207e6e8694351486892a7af3ded227 8540 acl2_8.5dfsg-6_source.buildinfo
Checksums-Sha256:
 4eb095c05e29384d639df5ef6ffffd3c0c22d9a391fe4f7ab0a80dd45a1a623f 2268 acl2_8.5dfsg-6.dsc
 7f97cfc77f040ca1ef1754e164ea8de5d97929e06538ac5153887952edd659d8 312848 acl2_8.5dfsg-6.debian.tar.xz
 9a19245591270267a61fbc9736fecc719f0cedd072c16c0f4ec80e288b35b189 8540 acl2_8.5dfsg-6_source.buildinfo
Files:
 26c2886df0fc6f4ac5a960481aa3aecc 2268 math optional acl2_8.5dfsg-6.dsc
 24d8173f9eaefbf91bf6d6316e511df0 312848 math optional acl2_8.5dfsg-6.debian.tar.xz
 ea1d80b607ea184eff25c5eeb86d306d 8540 math optional acl2_8.5dfsg-6_source.buildinfo

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmamb5cACgkQuEXOUQ+b
cU2ZaQ/+KaSMeoWqr7NesK+ucnvr0adEyOhd9azrgo8qqWk68boIP09/h3Z9hAdy
M6s/Zh797sR792tcCPKH1kX5zPnYjXSf74lpQ0ntQ+AqW7Q1DhnG5MlZm33yjmna
JShlXNedOACdfiakaJ8CWygR/y4YHIVnzfPHZjKgvArVOqSRmluUW8ztGsevwyX8
U0cTSDFudnIiKBxO2gzNuRdTqQygllc0WJ5d7cyQStkp0vm6UDkMAKQSrUVJwRMk
bJi0mh42pnRcbAPjd4qENdfAJkCmIvd4EuOxg9DGRP9i/gQgUk4i2ZTXgTOQxfWt
zPn/7NlZRyt9teAIL0Sq/+LG6wY6XaFhPs41kXqKa/p0DmZRdSUhgoL5wdYlpISU
1SGQPziKDhizDpXBJaFhWWv5zQfUxD26mna7ehkZ74OJaI5XVoT4NRk89EUKr7aQ
14Jlj5NJ5vy+Xxzy+Daig7vwWtUjzte64ociO95Ik99JBfs7ejDsrpl4qtQJSc/F
eiDFb72IngPxJal6Rv3oaE9V2i/qAe8AdQJqyHyZmuIb6z5yER855ulkZODkkzro
qzsmbVfaPTX7HA4jVtg7FoxJ39Wo/NdGOYjeCQ3ZYEU3sW+Vzwk1zZgRUGgLd4wi
q4BVitOrd4JLee4hYuoj3ReZbGIm4SRiVtsbMti72WuNrLXTd1I=
=VOZP
-----END PGP SIGNATURE-----