Your message dated Wed, 14 May 2025 14:39:48 +0000
with message-id <e1ufdgu-00fgh0...@fasolo.debian.org>
and subject line Bug#1083157: fixed in acl2 8.6+dfsg-3
has caused the Debian Bug report #1083157,
regarding acl2: Includes non-free RFC again
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 ow...@bugs.debian.org
immediately.)
--
1083157: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1083157
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: acl2
Severity: serious
Version: 8.5dfsg-1
The non-free RFC that was excluded in previous versions has found its way into
the source package again because its path has changed to
books/quicklisp/bundle/software/rfc2388-20180831-git/doc/rfc2388.txt.
I recommend to use d/copyright's Files-Excluded facility to remove the non-free
files.
--- End Message ---
--- Begin Message ---
Source: acl2
Source-Version: 8.6+dfsg-3
Done: Camm Maguire <c...@debian.org>
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 1083...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Camm Maguire <c...@debian.org> (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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 14 May 2025 08:36:42 -0400
Source: acl2
Architecture: source
Version: 8.6+dfsg-3
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <c...@debian.org>
Changed-By: Camm Maguire <c...@debian.org>
Closes: 436372 1061384 1083157 1096276
Changes:
acl2 (8.6+dfsg-3) unstable; urgency=medium
.
* build-dep latest gcl
* lintian cleanups
* Bug fix: "Includes non-free RFC again", thanks to Bastian Germann
(Closes: #1083157).
* Bug fix: "add support for loongarch64", thanks to zhangdandan (Closes:
#1061384).
* Bug fix: "ftbfs with GCC-15", thanks to Matthias Klose (Closes:
#1096276).
* Bug fix: "not handling nostrip build option (policy 10.1) sid/i386",
thanks to Julien Danjou (Closes: #436372). nostrip obsolete in favor
of dh_strip/dbgsym, no longer mentioned in policy.
Checksums-Sha1:
acff64c8bf4865164a893976dd4d989a98f7d702 2288 acl2_8.6+dfsg-3.dsc
cd8a1f21303b25b607d92dc70721a2bd26cc48df 711200 acl2_8.6+dfsg-3.debian.tar.xz
00b98809fb421bf18fb870b78fac94ce29c07b1a 7753 acl2_8.6+dfsg-3_source.buildinfo
Checksums-Sha256:
03d2d39337b16ef4e42d11ff10e86fe529a49389f929dbbe81c2c8db4a3444aa 2288
acl2_8.6+dfsg-3.dsc
39613319694eb435d9933bd8fa160467bbcd0c8d8e78b8dfd421284d7b529772 711200
acl2_8.6+dfsg-3.debian.tar.xz
cc4c946fc3833481cf9d54724677c56531d17284f3862c01189e960fbcc1e94c 7753
acl2_8.6+dfsg-3_source.buildinfo
Files:
955e72fd7bdba67f5a75a405a4e6adb6 2288 math optional acl2_8.6+dfsg-3.dsc
07db5025e350c50aabd886f7e9c49235 711200 math optional
acl2_8.6+dfsg-3.debian.tar.xz
f3b19cac623f85d89926bc930196f13d 7753 math optional
acl2_8.6+dfsg-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmgknykACgkQuEXOUQ+b
cU206BAAm561lL80pEbnchLYMEgo9vg/LakPQy8EWRZzFpjkf+JUL/Grfj92B8GW
zTSavL9M9wQqIeK5wm/Ox6IZxJxmMmsraZE9kbGT8yIs+WvZUZmyZAiCpLlNqFmz
XFxsrowCYfQF+gpnI2wo781/EkFkcl7pOTgnXzed6sjutjRyJDQbb42mVsYAGtND
LLM4dCs9aYq4fvBtlNIbcgl+se5pUTQpY8m0cgcdEC5Odslae9VV8GVqK4CEU/SC
kptCUlroMRIF5y5W2o5p1lQFclQG843Uzma1+rDhSqLqOa0xghzsxFtrTZ0oSym/
v43/NlntqrojGrkx59IuDvf3oFB3j3Uv6u/idqud2lFZ3GZTU9ywAuZk28lEHJ1g
Y4Xrq2ihueFm1LIji8VILafaBpF1tN9JulFRQNob6qhmZZfOgq59NCvs5tvbND7x
eeFHksb+jisiZ2IzOMGgAgiBPrbTan8yGSuuLosZlJZh/Up78uwD8PI7zC2UE6O4
rTD2ARhiA0QB+zzqJTbycuM0iEb7rVGIszbO2i1tIJISFaRmCn7yDUkjvRuqYehC
Zb0Cm/CxjHxhqCnRW7lCVKD120vsC3iCQIi18wrw/MR2nmPRqMUCLl7qOe4ZKgDc
lWJMdi6Lnh3D7y+mjFGqdvX3aJ/J5OaMeKthxazBO3pd09nbflg=
=WqAY
-----END PGP SIGNATURE-----
pgpBnxjN2Uz1L.pgp
Description: PGP signature
--- End Message ---
