fedora
Click here to visit the old openkoji buildsystem (Archived)

Information for build drat-trim-0-0.25.20240427giteffa1dc.fc40

ID59472
Package Namedrat-trim
Links Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem
Version0
Release0.25.20240427giteffa1dc.fc40
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/drat-trim.git#f79603a5d16a1e76d3eb6b3762c08b89455ab07c
SummaryProof checker for DIMACS proofs
DescriptionThe proof checker DRAT-trim can be used to check whether a propositional formula in the DIMACS format is unsatisfiable. Given a propositional formula and a clausal proof, DRAT-trim validates that the proof is a certificate of unsatisfiability of the formula. Clausal proofs should be in the DRAT format which is used to validate the results of the SAT competitions.
Built bykojiadmin
State complete
Volume DEFAULT
StartedSun, 23 Jun 2024 10:49:39 CST
CompletedSun, 23 Jun 2024 11:00:21 CST
Taskbuild (f40, /rpms/drat-trim.git:f79603a5d16a1e76d3eb6b3762c08b89455ab07c)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/drat-trim.git#f79603a5d16a1e76d3eb6b3762c08b89455ab07c'}}
Tags
f40
RPMs
src
drat-trim-0-0.25.20240427giteffa1dc.fc40.src.rpm (info) (download)
riscv64
drat-trim-0-0.25.20240427giteffa1dc.fc40.riscv64.rpm (info) (download)
drat-trim-devel-0-0.25.20240427giteffa1dc.fc40.riscv64.rpm (info) (download)
drat-trim-tools-0-0.25.20240427giteffa1dc.fc40.riscv64.rpm (info) (download)
drat-trim-debuginfo-0-0.25.20240427giteffa1dc.fc40.riscv64.rpm (info) (download)
drat-trim-debugsource-0-0.25.20240427giteffa1dc.fc40.riscv64.rpm (info) (download)
drat-trim-tools-debuginfo-0-0.25.20240427giteffa1dc.fc40.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
state.log
root.log
installed_pkgs.log
build.log
mock_output.log
Changelog * Thu Jun 06 2024 Jerry James <loganjerry@gmail.com> - 0-0.25.20240427giteffa1dc - Update for LRAT bug fixes * Thu Mar 14 2024 Jerry James <loganjerry@gmail.com> - 0-0.24.20240309git89ddbfb - Update for proof (de)compression fixes - Stop building for 32-bit x86 * Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.23 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.22 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jul 28 2023 Jerry James <loganjerry@gmail.com> - 0-0.21.20230709git16f1d72 - Update for several minor bug fixes * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.20 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.19 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Wed Nov 23 2022 Jerry James <loganjerry@gmail.com> - 0-0.18.20221019gitcbd2915 - Update for drat-gapless and minor bug fixes * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.17 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Wed Jul 06 2022 Jerry James <loganjerry@gmail.com> - 0-0.16.20220423git43fce1c - Update for lrat-check print and off-by-one fixes