[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1084889: marked as done (ITP: drat-trim -- DRAT-trim SAT proof checker)

Your message dated Sun, 13 Oct 2024 09:00:10 +0000
with message-id <E1szuSQ-00EvyQ-NX@fasolo.debian.org>
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 owner@bugs.debian.org
immediately.)


-- 
1084889: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1084889
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: harry-chen@outlook.com
User: debian-science@lists.debian.org
Usertags: field..logic
X-Debbugs-Cc: debian-devel@lists.debian.org, debian-science@lists.debian.org

* Package name    : drat-trim
  Version         : 0.0~git20240428.effa1dc
  Upstream Contact: Marijn Heule <marijn@cmu.edu>
* 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 <harry-chen@outlook.com>

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 1084889@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Shengqi Chen <harry-chen@outlook.com> (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 ftpmaster@ftp-master.debian.org)


-----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 <debian-science-maintainers@alioth-lists.debian.net>
Changed-By: Shengqi Chen <harry-chen@outlook.com>
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-----

Attachment: pgp58Ysyflzxd.pgp
Description: PGP signature


--- End Message ---
Reply to: