drabt 004

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).

SRPMS

drabt-004-1.fc29.src.rpm

SPECS

For the purpose of submitting this package to Fedora, here is the RPM spec file.

Back to the RPMS


Last modified: Sat Jul 7 17:11:13 MDT 2018 by Jerry James