https://bugzilla.redhat.com/show_bug.cgi?id=1599011
Bug ID: 1599011
Summary: Review Request: drabt - Proof checker for the DRAT
proof format
Product: Fedora
Version: rawhide
Component: Package Review
Severity: medium
Priority: medium
Assignee: [email protected]
Reporter: [email protected]
QA Contact: [email protected]
CC: [email protected]
Spec URL: https://jjames.fedorapeople.org/drabt/drabt.spec
SRPM URL: https://jjames.fedorapeople.org/drabt/drabt-004-1.fc29.src.rpm
Fedora Account System Username: jjames
Description: DRABT is a proof checker for the DRAT proof format. Proofs
compressed with gzip, bzip2, xz, zip, and 7zip are supported, but the
corresponding decompression binary must be installed (i.e., gunzip, bunzip2,
unxz, unzip, or 7z).
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component
_______________________________________________
package-review mailing list -- [email protected]
To unsubscribe send an email to [email protected]
Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives:
https://lists.fedoraproject.org/archives/list/[email protected]/message/WWO3AM7DU2EF3WZUUA4334L6ANPPD2VW/
