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

Information for build drat-trim-0-0.24.20240309git89ddbfb.fc41

ID7197
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.24.20240309git89ddbfb.fc41
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/drat-trim.git#1d28440c0142b4f80520677643812b59ec0fc2cf
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
StartedWed, 01 May 2024 21:28:52 CST
CompletedWed, 01 May 2024 21:38:29 CST
Taskbuild (f41, /rpms/drat-trim.git:1d28440c0142b4f80520677643812b59ec0fc2cf)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/drat-trim.git#1d28440c0142b4f80520677643812b59ec0fc2cf'}}
Tags
f41
RPMs
src
drat-trim-0-0.24.20240309git89ddbfb.fc41.src.rpm (info) (download)
riscv64
drat-trim-0-0.24.20240309git89ddbfb.fc41.riscv64.rpm (info) (download)
drat-trim-devel-0-0.24.20240309git89ddbfb.fc41.riscv64.rpm (info) (download)
drat-trim-tools-0-0.24.20240309git89ddbfb.fc41.riscv64.rpm (info) (download)
drat-trim-debuginfo-0-0.24.20240309git89ddbfb.fc41.riscv64.rpm (info) (download)
drat-trim-debugsource-0-0.24.20240309git89ddbfb.fc41.riscv64.rpm (info) (download)
drat-trim-tools-debuginfo-0-0.24.20240309git89ddbfb.fc41.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
installed_pkgs.log
state.log
root.log
build.log
mock_output.log
Changelog * 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 * Mon Mar 28 2022 Jerry James <loganjerry@gmail.com> - 0-0.15.20220212git21296ed - Update for lrat-check fix