Information for build drabt-004-2.fc29
| ID | 64927 | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Package Name | drabt | |||||||||||
| Version | 004 | |||||||||||
| Release | 2.fc29 | |||||||||||
| 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 | Wed, 25 Jul 2018 17:24:47 UTC | |||||||||||
| Completed | Wed, 25 Jul 2018 19:30:33 UTC | |||||||||||
| Task | build (f29-candidate, drabt-004-2.fc29.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 |
