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: nobody@xxxxxxxxxxxxxxxxx Reporter: loganjerry@xxxxxxxxx QA Contact: extras-qa@xxxxxxxxxxxxxxxxx CC: package-review@xxxxxxxxxxxxxxxxxxxxxxx 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 -- package-review@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to package-review-leave@xxxxxxxxxxxxxxxxxxxxxxx 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/package-review@xxxxxxxxxxxxxxxxxxxxxxx/message/WWO3AM7DU2EF3WZUUA4334L6ANPPD2VW/
