Your message dated Sun, 13 Oct 2024 09:00:10 +0000
with message-id <[email protected]>
and subject line Bug#1084889: fixed in drat-trim 0.0~git20240428.effa1dc-1
has caused the Debian Bug report #1084889,
regarding ITP: drat-trim -- DRAT-trim SAT proof checker
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.)
--
1084889: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1084889
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: [email protected]
User: [email protected]
Usertags: field..logic
X-Debbugs-Cc: [email protected], [email protected]
* Package name : drat-trim
Version : 0.0~git20240428.effa1dc
Upstream Contact: Marijn Heule <[email protected]>
* URL : https://www.cs.utexas.edu/~marijn/drat-trim/
* License : MIT
Programming Lang: C
Description : DRAT-trim SAT proof checker
DRAT-trim is a satisfiability proof checking and trimming utility
designed to validate proofs for all known satisfiability solving
and preprocessing techniques. DRAT-trim can also emit trimmed
formulas, optimized proofs, and TraceCheck+ dependency graphs.
DRAT-trim is also depended by kissat (see: #1084868) as B-D
to run more tests.
I plan to maintain it with the release team.
Since the upstream tag is not meaningful (v05.23.2023), I plan
to use git snapshot as upstream version.
Thanks,
Shengqi Chen
--- End Message ---
--- Begin Message ---
Source: drat-trim
Source-Version: 0.0~git20240428.effa1dc-1
Done: Shengqi Chen <[email protected]>
We believe that the bug you reported is fixed in the latest version of
drat-trim, 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 drat-trim 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, 10 Oct 2024 23:39:25 +0800
Source: drat-trim
Binary: drat-trim drat-trim-dbgsym drat-trim-examples
Architecture: source amd64 all
Version: 0.0~git20240428.effa1dc-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<[email protected]>
Changed-By: Shengqi Chen <[email protected]>
Description:
drat-trim - DART-trim satisfiability proof checker (binary utils)
drat-trim-examples - DART-trim satisfiability proof checker (example files)
Closes: 1084889
Changes:
drat-trim (0.0~git20240428.effa1dc-1) unstable; urgency=medium
.
[ Shengqi Chen ]
* New upstream version 0.0~git20240428.effa1dc (closes: #1084889)
* d/tests: add a simple autopkgtest, enhance test harness script
Checksums-Sha1:
83cf0fc9b3ace28261b7c229346e1e5d031b013b 1876
drat-trim_0.0~git20240428.effa1dc-1.dsc
440000b93c7eaf7e2dffd291797cfd00c1ff0b9e 7294411
drat-trim_0.0~git20240428.effa1dc.orig.tar.gz
3bb99932603dccf27fdd3dbc94aff822dde420e9 3192
drat-trim_0.0~git20240428.effa1dc-1.debian.tar.xz
9abac7730c163879f24f5f4f4dce6eb841c28d2b 66768
drat-trim-dbgsym_0.0~git20240428.effa1dc-1_amd64.deb
eff79b75a9ae84415c556d9ba46085f5e71af9e6 7238236
drat-trim-examples_0.0~git20240428.effa1dc-1_all.deb
3afee2c66845e00af3aad1b2caa4a5c248cf6f16 6339
drat-trim_0.0~git20240428.effa1dc-1_amd64.buildinfo
bfb1692488f643fd857e690532193eaef35b5a33 28668
drat-trim_0.0~git20240428.effa1dc-1_amd64.deb
Checksums-Sha256:
d1fa0507684702a610acc761d2332aa651389dc875f51d27d045c185b3d2f101 1876
drat-trim_0.0~git20240428.effa1dc-1.dsc
367fdf2ca1bd18d9a5de84dd2c2d159289c97ed86c0842346f60c5125d5f3034 7294411
drat-trim_0.0~git20240428.effa1dc.orig.tar.gz
c46407fd24e59d1e10ccc653e1fab55f996702d893fcb8c970eed8b3b9e65a15 3192
drat-trim_0.0~git20240428.effa1dc-1.debian.tar.xz
5ac7826806086563343cfbdc36c207a19da6dcbabf81a938510967d833f94681 66768
drat-trim-dbgsym_0.0~git20240428.effa1dc-1_amd64.deb
20798e12308c9e8a897701d2643aa5b62c63110bcd8b3a18e6bac0d4a7ba1314 7238236
drat-trim-examples_0.0~git20240428.effa1dc-1_all.deb
7db3bfbf0aa8a6ad65d7af077eb785ef96fbe07d22d2dec165ab92fc4693a47e 6339
drat-trim_0.0~git20240428.effa1dc-1_amd64.buildinfo
ac9c84b455a43492b80b7baa9794ba02ad927f1143d080dfae6f8ec3fbc014bc 28668
drat-trim_0.0~git20240428.effa1dc-1_amd64.deb
Files:
4cb1c0034eed1f46e8f1c923557bbbe2 1876 science optional
drat-trim_0.0~git20240428.effa1dc-1.dsc
22904ba93b267bbbb5d27e4a97b6e028 7294411 science optional
drat-trim_0.0~git20240428.effa1dc.orig.tar.gz
e1d0d1e4b46a2ccd93b32e6c4498e68d 3192 science optional
drat-trim_0.0~git20240428.effa1dc-1.debian.tar.xz
9a729a95de7b35ff38650694763e8b8d 66768 debug optional
drat-trim-dbgsym_0.0~git20240428.effa1dc-1_amd64.deb
75df37a50cd5c60f3e53ceac3c344c97 7238236 science optional
drat-trim-examples_0.0~git20240428.effa1dc-1_all.deb
3fb2ab0d7571db79d33a36107b8100e8 6339 science optional
drat-trim_0.0~git20240428.effa1dc-1_amd64.buildinfo
f97edf6415f9fcf1128c7b71f1105838 28668 science optional
drat-trim_0.0~git20240428.effa1dc-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQEzBAEBCAAdFiEEBLHAyuu1xqoC2aJ5NP8o68vMTMgFAmcKlDwACgkQNP8o68vM
TMiU9Af9EXobaqQx9G+EyYUjJLyD6MjJfVkavnCLHjUusUgpydF/UyfqRZ1GTLvS
3USB4fCa09AYJhXiKYvtz1n4d3svTv8l8BqXpHgJlmbzoqdwhV8fCHSc+Kwpej2S
lHfXTWix4CkCW7fd7XzupbyYRTEPKWUJY6hoZCGJhdfLDE3soZhe/0voi70M936/
zlRwJ2SUJP5w1KWhPw1hZEd9Y/rVa6n9AHMOt72NuzQ4iNwuhHQcuQkr4ard7Hsl
lCp7i7AvKLNZKklXTM1YIaA3vgKvizmVpUP2vs6VBjLq424xUaCAURWbT4b6nC6E
IkLffE/3WLd+tJ6xr9PLPZG6YNmQzw==
=II8J
-----END PGP SIGNATURE-----
pgpUR6o9t_xzG.pgp
Description: PGP signature
--- End Message ---
