Your message dated Thu, 10 Oct 2024 00:03:31 +0000
with message-id <[email protected]>
and subject line Bug#958287: fixed in minisat+ 1.0-5
has caused the Debian Bug report #958287,
regarding minisat+: Upstream potentially moved to github, new upstream version
1.1
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.)
--
958287: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=958287
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: minisat+
upstream defunct, alternative:
https://web.archive.org/web/20131205203636/http://minisat.se/downloads/
http://minisat.se/MiniSat+.html
Debian CVS not found, deprecated:
https://anonscm.debian.org/cgit/debian-science/packages/minisat+.git
signature.asc
Description: OpenPGP digital signature
--- End Message ---
--- Begin Message ---
Source: minisat+
Source-Version: 1.0-5
Done: Andreas Tille <[email protected]>
We believe that the bug you reported is fixed in the latest version of
minisat+, 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.
Andreas Tille <[email protected]> (supplier of updated minisat+ 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: Thu, 26 Sep 2024 14:38:34 +0200
Source: minisat+
Architecture: source
Version: 1.0-5
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<[email protected]>
Changed-By: Andreas Tille <[email protected]>
Closes: 958287 1033990
Changes:
minisat+ (1.0-5) unstable; urgency=medium
.
* Team upload.
.
[ Andreas Tille ]
* Packaging on Salsa
* Point watch file to Github
Closes: #958287
* Standards-Version: 4.7.0 (routine-update)
* debhelper-compat 13 (routine-update)
* Secure URI in copyright format (routine-update)
* Remove trailing whitespace in debian/copyright (routine-update)
* Rules-Requires-Root: no (routine-update)
.
[ Helmut Grohne ]
* Fix FTCBFS: Pass a cross CXX to clean.
Closes: #1033990
Checksums-Sha1:
f06f964ecf1af7c1192aa4db1e35077135b23255 1979 minisat+_1.0-5.dsc
e8c9ff4f550fb2196469fd861ed8bfc711e03d61 4448 minisat+_1.0-5.debian.tar.xz
eded5f1007cbac73c1b5e63812a276aeea37c76d 6272 minisat+_1.0-5_amd64.buildinfo
Checksums-Sha256:
c695da646f01ab5ff5622f17fd003e5e017752e23c341bf4be0eb79a8c966468 1979
minisat+_1.0-5.dsc
033e711d987d3e7df1036a9e93f3d918ac7b977ffc0aff0360940ef64518da91 4448
minisat+_1.0-5.debian.tar.xz
7e2431d2aa081dc05b2933346c1d7b2d0aaa533beec9cfc7a7c1c82548ea1caa 6272
minisat+_1.0-5_amd64.buildinfo
Files:
904dc8f8101802956b42dda283c72e10 1979 science optional minisat+_1.0-5.dsc
822198fb8a890c6b9a64ad20a0c4aa4c 4448 science optional
minisat+_1.0-5.debian.tar.xz
e9f7b13465f8b6c6aaca6ac4f261bef2 6272 science optional
minisat+_1.0-5_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJFBAEBCAAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmcG894RHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtEVow/+JJ+Lp4avuC92PrN0q0ZR3XTO8/DJ4+6z
DskaWAt9DF4mrggbS00CKLlBKZ2UvbmQGld4E8MuRb7J0dMxg1+YNV8t6x8JVMMg
zTboSKkJ5xe557hrf9sx7xw770cObvS4zLd28fTsJc/N0PTv766RsQv6gEqqywej
Z/vzPQcAyeJfH9xTIvPLbvFvKx3HQwFxkg645AdYjNBf5+b4V2/VAnFdD/Yb1SEq
fYmK7Ac+jDa9tPTvYqBGR7vXSR/LXFs7F/zoSFoVT4tKEBuQ6daOHciqYNdicLN8
xnHg9ASkeuzCr+F0VYCU/h6S58zmmLVfDv/AMUS/yXst3IKsS++HMyHTTAFwX2+I
mo5Q5xLM6A15NmjCK/uT4vibdYgLQNeNsq4eEPFZxKgItLmgR7P75/gSWuEaBDIS
fGQyPP8sZ3tjb8uu83oBuZm0+8BexS/rY9/wbc+EW2shmSOn3lchxNbKa2uPnLsE
1LJd7NeF6Oiz/TDZdbmWM/45VaQkwhXaM+y8ecFW+MHe/AZbLkD3jS7GMnDmrsNY
nxw+nG5I7w+VYut6RElu5rZoAid47ISv4Kn9o0txFLKmUPc/Djwgh8ekU2Nr/j5Q
+H9KNbZDJednj2FWWfVbbKQYqGL3nDMwfA8ef0IQu0uRmaobR9zs5zyQ4G50YaTI
USAZ95mM0J4=
=C20c
-----END PGP SIGNATURE-----
pgpp7IfhuG7X9.pgp
Description: PGP signature
--- End Message ---
