Your message dated Sat, 12 Oct 2024 13:00:10 +0000
with message-id <e1szbj8-00auzz...@fasolo.debian.org>
and subject line Bug#1084868: fixed in kissat 4.0.1-1
has caused the Debian Bug report #1084868,
regarding ITP: kissat -- keep it simple and clean bare metal SAT solver
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.)
--
1084868: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1084868
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Shengqi Chen <harry-c...@outlook.com>
User: debian-scie...@lists.debian.org
Usertags: field..logic
X-Debbugs-Cc: debian-de...@lists.debian.org, debian-scie...@lists.debian.org,
harry-c...@outlook.com
* Package name : kissat
Version : 4.0.1
Upstream Contact: Armin Biere <armin.bi...@gmail.com>
* URL : https://github.com/arminbiere/kissat
* License : MIT
Programming Lang: C
Description : keep it simple and clean bare metal SAT solver
Kissat is a "keep it simple and clean bare metal SAT solver" written in C.
It is a port of CaDiCaL back to C with improved data structures, better
scheduling of inprocessing and optimized algorithms and implementation.
I plan to maintain it with the science team.
Thanks,
Shengqi Chen
--- End Message ---
--- Begin Message ---
Source: kissat
Source-Version: 4.0.1-1
Done: Shengqi Chen <harry-c...@outlook.com>
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 1084...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Shengqi Chen <harry-c...@outlook.com> (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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 10 Oct 2024 19:58:39 +0800
Source: kissat
Binary: kissat kissat-dbgsym
Architecture: source amd64
Version: 4.0.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<debian-science-maintain...@alioth-lists.debian.net>
Changed-By: Shengqi Chen <harry-c...@outlook.com>
Description:
kissat - Keep it simple and clean bare metal SAT solver
Closes: 1084868
Changes:
kissat (4.0.1-1) unstable; urgency=medium
.
[ Shengqi Chen ]
* New upstream version 4.0.1 (closes: #1084868)
* d/tests: add a simple autopkgtest
Checksums-Sha1:
d408bdd31d02698f33cca6cf3bc3050dd374e9c0 1621 kissat_4.0.1-1.dsc
c8fa092932bb13304b6e3ca030ae00c2b26ec6a5 531537 kissat_4.0.1.orig.tar.gz
27f2cb66e1901954cc0ddfa395409d9fbb54a6de 3308 kissat_4.0.1-1.debian.tar.xz
e647ed800ab649270da8419a4ff63a549236b9f1 1317700
kissat-dbgsym_4.0.1-1_amd64.deb
33d84dfa79cec61961c04c33e460ab9155d96272 5763 kissat_4.0.1-1_amd64.buildinfo
d0341348a63158252b0076ee7c3840ee521fce23 355404 kissat_4.0.1-1_amd64.deb
Checksums-Sha256:
faed11cbc64006c00381eab213193768919fd963c3e183f10fbe55745cfb3da3 1621
kissat_4.0.1-1.dsc
4b41edf12ffa5f8e8b1986e5ad3e0bedb4d34b0ed3ecc7c13362bc7ba0aba66b 531537
kissat_4.0.1.orig.tar.gz
ed1e65082afb90d93ae58b50631e9e5a0e674919b4432359be0c7d31ea54434a 3308
kissat_4.0.1-1.debian.tar.xz
46e553c9d411bd1805e73ae6e28159d264e5d3a0258977e3a05a74afc2af856d 1317700
kissat-dbgsym_4.0.1-1_amd64.deb
2a677b2dce8403c302a7de40296f5872f83a69954299cec03a60f90a46fc37cd 5763
kissat_4.0.1-1_amd64.buildinfo
98397ffb22d9244defd07640abbdd66afb40dceb360e61b09aac6a09bac3141c 355404
kissat_4.0.1-1_amd64.deb
Files:
5a5977f624185abc36203c4e0725ff83 1621 science optional kissat_4.0.1-1.dsc
fcf566984441fe0703230b15e7d1bff2 531537 science optional
kissat_4.0.1.orig.tar.gz
e621ca469066aa4d4b9d167c36f90b77 3308 science optional
kissat_4.0.1-1.debian.tar.xz
adaafa4ec1a2088fb72139df5c2d0f46 1317700 debug optional
kissat-dbgsym_4.0.1-1_amd64.deb
d32c12f2303369eaf99d02ca00af0dd6 5763 science optional
kissat_4.0.1-1_amd64.buildinfo
7706cc350db2e550d5d3a19a97825869 355404 science optional
kissat_4.0.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQEzBAEBCAAdFiEEBLHAyuu1xqoC2aJ5NP8o68vMTMgFAmcI44sACgkQNP8o68vM
TMixmwgAi/xRCGH2kNZJjqUjKD5UtIXWcZFa/c00Jb07A147UxgttCANgVZqop8P
MAHmMOFMxh/eR9qTMOvdfNFfiBEP3GW8xCIXrtxXSYae2F+Xa5Ln2xu+Q1/RpMaA
Bld5tmye7cPV3eiVliaDFUhlXciyJMAf3DdnCw7PO07Q4RwJ2NImyrXa4Hq1y3rI
zGFvy0RSvAZbOTgAoKt8+1d66sxv3tFim80MLehwkBodAUUtIjSW7dtWkRu/GnlN
PKjSO1eOHFT0u8ilw/GjyH9yRipDpl0YplNZ2X62y5yOTmd7ZuIbaD7Ea6EJjFko
WJ7nvYGxIwdb43e91UKcdA13Tlhung==
=EZ4l
-----END PGP SIGNATURE-----
pgpIXPJ5idTpS.pgp
Description: PGP signature
--- End Message ---
