Accepted acl2 8.5dfsg-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted acl2 8.5dfsg-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 27 Jul 2022 14:35:56 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=4iyl3mRMSMRKqLy64hOfGwVYa6ZzNTXRNLHCt2kaqbA=; b=ZJA2ZQ9h827FGc3Yzlg+KXG+KI Vg9WI943FxC6i4qxHF/Wq64zNaIUSw/tWYUmBPrZSCZ+PRp+6lNxrpmVxPvNZ68EvVMuVzVoJePQT PvdiHPPVo0iJaQAL8EuC3a2LeUDdl719ryfOcSmDSLn7KTeoWZXfm5d9CNYOIZ5GsNtOKCPBxN0Ro 33ZJzHWMAvAmTFX/5deyYOTaYptJ3bF5fMT2XYiipR8D4bl1fe6+0R2PofuVuEzc66skAlENJaEbz EBATfb5cfXTVertfbbDC4uxbvTT8DPrYJUOwLWCnfgOdUozhG004AvjiEtp6TPczX1r/7VrEG4OLN WnDsRlOg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oGi8i-0004mt-Qo@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----