Your message dated Wed, 10 Sep 2025 15:59:58 +0000
with message-id <[email protected]>
and subject line Bug#1099368: fixed in kissat 4.0.3-2
has caused the Debian Bug report #1099368,
regarding kissat: transition from p7zip to 7zip
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.)
--
1099368: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1099368
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: kissat
Version: 4.0.2-1
Severity: important
Dear Maintainer,
I emphasize the necessity of updating your package to eliminate the dependency
on the p7zip/p7zip-full/p7zip-rar packages, which are now transitional packages
in debian trixie. Debian project aims to minimize the use of transitional
packages and actively encourages the proactive removal of dependencies on them.
Furthermore, it is important to note that the p7zip packages were based on a
codebase from the year 2016, with no updates upstream since. On the other hand,
the 7zip packages are built on a more recent and actively maintained codebase,
both within debian and upstream. Given the significant changes that may have
occurred over the past 9 years, it is crucial to verify that your package still
functions as intended with 7zip as a dependency instead of p7zip.
We are approaching the various freeze stages of debian trixie, I am increasing
the severity of this issue as previously announced, to reflect its urgency.
Please take the necessary steps to update your package accordingly.
Thank you for your continued efforts in maintaining software in debian.
--- End Message ---
--- Begin Message ---
Source: kissat
Source-Version: 4.0.3-2
Done: Shengqi Chen <[email protected]>
We believe that the bug you reported is fixed in the latest version of
kissat, 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.
Shengqi Chen <[email protected]> (supplier of updated kissat 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: SHA512
Format: 1.8
Date: Wed, 10 Sep 2025 22:31:27 +0800
Source: kissat
Architecture: source
Version: 4.0.3-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<[email protected]>
Changed-By: Shengqi Chen <[email protected]>
Closes: 1099368 1112298
Changes:
kissat (4.0.3-2) unstable; urgency=medium
.
* d/control: replace p7zip with 7zip (closes: #1099368).
* d/rules: pass CC to configure script to fix FTCBFS (closes: #1112298).
Checksums-Sha1:
5216a8e52abdec978c4c34cf1a0f209dca696e71 1982 kissat_4.0.3-2.dsc
592bd136707b792ad78c98fb72824b2905e4d174 4656 kissat_4.0.3-2.debian.tar.xz
b6bc2ba70a79705a28a4b52adbe8dbe1e0c39aa2 6122 kissat_4.0.3-2_amd64.buildinfo
Checksums-Sha256:
877e343336f15c2a79c67323183fffb2c414a1fff3331d23e2befaeb95f2752f 1982
kissat_4.0.3-2.dsc
19f1cb824c399cd3b7b7c4ed60b324d76aae2c132ebd1d097577ebf9c23e966d 4656
kissat_4.0.3-2.debian.tar.xz
ea5f0bf9392cb3f7366df2a78f69bfecedc892655ab2e45ee5c03656c07366d7 6122
kissat_4.0.3-2_amd64.buildinfo
Files:
9bcf4f2254ef6a78eec0094f01602124 1982 science optional kissat_4.0.3-2.dsc
c953232485b0dea3186ae986bab96fd0 4656 science optional
kissat_4.0.3-2.debian.tar.xz
9a4bfb3cc794dc530400c7896c11fca6 6122 science optional
kissat_4.0.3-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEE+Fg++qmpHzqjSzySzhGnsHs6uUYFAmjBjuMACgkQzhGnsHs6
uUZ4AA/9FRfnyfOnkewJt4BVhz0JnNvLKMpKVhlA9BWggo++Wkkoi8JWnR5DNc6I
1LnrZzB+W0QbPDNcKkABpphiHNvzshPaUPaFjmfgHvTayWRnpj3GuXysPQYFAxhB
v/IFG0U5QejK59r92HXzxAPgU22nWxPoM4ScFqM0pWIgpMrJHNBJV15vdIQT0Bfc
wgMYoFOF0MxIif82yml014bPO/9E2aMtmPXEDSqIrgjlA9MVmjvCeVR8PVzfXpfY
ENvdOe6ISrkKunyoWIIVbm4qap4IKIMbE1HJ85ihm11exfmortsTU2BKldNqSDaU
5U/LpfqgymrufPdwRbADUYnVMSUzX7jT0f5WHS1UQMuB7ZNyX2EPJeyjYIdy5olq
M4k0bf9KkjM+BE1nrq5Dpghg3tkQ6AMtSrxqHd700Ru6dMDOcBqNLbpQE37JzGUr
l6UxiWnbcJsHtpZd3DKpugWGnVVwsqcwmW6soZzLzIFqdrUlk0xEdygJW9qAlsMT
klUIxnceUU9hBEvmZxzYbFrma7T39baGEXtTLtvF0v7UbmhChFYi7HCHIFXxOZoq
CHVRqSWzzWKyxdQGacjvdlMgU5z+Xoq111VSQeqNSKSy7jTlHUH6VTdwskL67AFg
Ca7CDsVxmzFT5uV/ayUlYDTE/pDRvwClsg4TBKp3OhDxYBxIdU4=
=vEYc
-----END PGP SIGNATURE-----
pgpiRDR9iAh2B.pgp
Description: PGP signature
--- End Message ---
--
debian-science-maintainers mailing list
[email protected]
https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
