Information for build drabt-004-2.fc30
| ID | 82430 | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Package Name | drabt | |||||||||||
| Version | 004 | |||||||||||
| Release | 2.fc30 | |||||||||||
| Epoch | ||||||||||||
| 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). | |||||||||||
| Built by | davidlt | |||||||||||
| State | complete | |||||||||||
| Volume | DEFAULT | |||||||||||
| Started | Fri, 07 Dec 2018 20:31:49 UTC | |||||||||||
| Completed | Fri, 07 Dec 2018 21:55:12 UTC | |||||||||||
| Task | build (f30-candidate, drabt-004-2.fc30.src.rpm) | |||||||||||
| Tags |
|
|||||||||||
| RPMs |
|
|||||||||||
| Logs |
|
|||||||||||
| Changelog | * Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 004-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Fri Jul 06 2018 Jerry James <loganjerry@gmail.com> - 004-1 - Initial RPM |
