Your message dated Wed, 27 Jul 2022 14:35:56 +0000
with message-id <[email protected]>
and subject line Bug#1013453: fixed in acl2 8.5dfsg-1
has caused the Debian Bug report #1013453,
regarding acl2-doc: Please remove dependency on install-info
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
1013453: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1013453
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: acl2-doc
Version: 8.4dfsg-2
Severity: minor
Dear Maintainer,
your package declares a dependency on "install-info". However this dependency
should only be needed for info viewers, as they have to care about updating
the info index.
Your package do not seem to be an info viewer hence the dependency on
"install-info"
is not needed. Consider to remove it.
https://wiki.debian.org/Transitions/DpkgToGnuInstallInfo
Many thanks,
Hilmar Preuße
-- System Information:
Debian Release: bookworm/sid
APT prefers unstable
APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 5.18.0-2-amd64 (SMP w/4 CPU threads; PREEMPT)
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8),
LANGUAGE=en_GB:en
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled
Versions of packages acl2-doc depends on:
ii dpkg 1.21.8
ii install-info 6.8-4+b1
ii tex-common 6.17
acl2-doc recommends no packages.
acl2-doc suggests no packages.
signature.asc
Description: PGP signature
--- End Message ---
--- Begin Message ---
Source: acl2
Source-Version: 8.5dfsg-1
Done: Camm Maguire <[email protected]>
We believe that the bug you reported is fixed in the latest version of
acl2, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Camm Maguire <[email protected]> (supplier of updated acl2 package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----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 <[email protected]>
Changed-By: Camm Maguire <[email protected]>
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-----
--- End Message ---
