Accepted acl2 8.5dfsg-1 (source) into unstable

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

Format: 1.8
Date: Wed, 27 Jul 2022 09:42:51 -0400
Source: acl2
Architecture: source
Version: 8.5dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Closes: 1013453
Changes:
 acl2 (8.5dfsg-1) unstable; urgency=medium
 .
   * New upstream release
   * Bug fix: "Please remove dependency on install-info", thanks to Hilmar
     Preusse (Closes: #1013453).
Checksums-Sha1:
 2741f3a1905352183120e5f7d5dcc8afbe07e1ee 2281 acl2_8.5dfsg-1.dsc
 2c44f1f16e4d40bc93ad07e38dc2b7eb6626b28f 223546594 acl2_8.5dfsg.orig.tar.gz
 e839260c7b2da51b346155d579c926730c542464 312308 acl2_8.5dfsg-1.debian.tar.xz
 75cac60dcd25791923d438764358ac586f94e43d 10021 acl2_8.5dfsg-1_source.buildinfo
Checksums-Sha256:
 f75ee068dbdd75451270a8a8de2fa0cb5303119ab774b5975529d750dbc84152 2281 acl2_8.5dfsg-1.dsc
 6e9c7a3c75111429e8009369a28593aa91d84f668e7918980f33bd9996c1d819 223546594 acl2_8.5dfsg.orig.tar.gz
 cede490eeac501e1383593650e10de276afacfddf384040159674c008f0b7190 312308 acl2_8.5dfsg-1.debian.tar.xz
 486e4ffbfbbf21ba034142b50ce1b7e70d70843153297430715b5769931ac280 10021 acl2_8.5dfsg-1_source.buildinfo
Files:
 806deee52643a6ee824dd6c7f325407c 2281 math optional acl2_8.5dfsg-1.dsc
 ac4cf2aefbdbc7436cf745fa05b8d373 223546594 math optional acl2_8.5dfsg.orig.tar.gz
 5d29d701bd490df640cf24fac58715d6 312308 math optional acl2_8.5dfsg-1.debian.tar.xz
 dbf9089e11575ef46aec665a098ef6dd 10021 math optional acl2_8.5dfsg-1_source.buildinfo

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmLhRTYACgkQuEXOUQ+b
cU2Phg//XKQ6lx0+K/W1MtzYx+p7EL49TzGljpPYDBM7veCxQLS6nUiXVP1xo9wv
Ph+dMiYpuj3ESj2n4BweyqIlK1WF4Z3Op8lr47xA5KgctTxw02twjTop58IpxY2Q
rBGHniX1yvMUdy6F7FD4I8g8VfDxuvQ/GRAI0SVMV/d4IgdM6qCAFKL7lhqEocJa
vQmKk1fhIXljMGBckvnLOhxlOIgoCHYfiefHU+BASpC2sXBb8vRfekniPSO3BeR3
ITfWHTz7kqdxKMJSvkaRd7mAZu1nxXHZOoTryjpov5s2SmbSY+5GnRXys8Ty95zK
/wn1RXYrEg8pkhIv6A+7vAem329D58BdfuhwkwoDq5SXwyDfgyIQGXidQ4lcVS6f
BD9nzWpCIIgmWhBNpVGnupgJJ+sEC75FtPbROVCWGmQO4gy/4gTJjen4Xtj/O+0w
J/EnPzfqowta7PyeA1r5aHLHt9r43OTpaJpip62Lwoxktk+sw6p9JAjpAShdWY9S
JEsEES4f0Wtwz9qyEAv2Y9pXXSFuIonAcdJkTEDyA20mAVahuOsGdEcIw0T8usCi
97/fphXyJAjmEaLr5ZIPx5prlFBSJ0LGX4SaFE24D7zM7r+Vt5Gn9MaFlWPh0x0Y
mamSHza6gCoYgHBz5qp1gH1oWxL5rQAdVxMJEsEsifgfAv+4sU0=
=7n/F
-----END PGP SIGNATURE-----