Information for RPM drabt-004-2.fc30.src.rpm
| ID | 308637 | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Name | drabt | ||||||||
| Version | 004 | ||||||||
| Release | 2.fc30 | ||||||||
| Epoch | |||||||||
| Arch | src | ||||||||
| Summary | Proof checker for the DRAT proof format | ||||||||
| 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). | ||||||||
| Build Time | 2018-12-07 12:33:50 GMT | ||||||||
| Size | 1.35 MB | ||||||||
| 4b4e57e8ddf229b7e515b0bf497e159f | |||||||||
| License | MIT | ||||||||
| Buildroot | f30-build-38685-22247 | ||||||||
| Provides | No Provides | ||||||||
| Obsoletes | No Obsoletes | ||||||||
| Conflicts | No Conflicts | ||||||||
| Requires |
|
||||||||
| Recommends | No Recommends | ||||||||
| Suggests | No Suggests | ||||||||
| Supplements | No Supplements | ||||||||
| Enhances | No Enhances | ||||||||
| Files |
|
||||||||
| Component of | No Buildroots | ||||||||
