Sun, 05 May 2024 16:56:12 UTC | login

Information for build drat-trim-0-0.21.20230709git16f1d72.fc40

ID273040
Package Namedrat-trim
Version0
Release0.21.20230709git16f1d72.fc40
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/drat-trim.git#fe4dd6d3bedc6e2384c4b544f384cc3daae1d54f
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 bydavidlt
State complete
Volume DEFAULT
StartedThu, 30 Nov 2023 08:09:15 UTC
CompletedThu, 30 Nov 2023 08:57:52 UTC
Taskbuild (f40, /rpms/drat-trim.git:fe4dd6d3bedc6e2384c4b544f384cc3daae1d54f)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/drat-trim.git#fe4dd6d3bedc6e2384c4b544f384cc3daae1d54f'}}
Tags
f40
RPMs
src
drat-trim-0-0.21.20230709git16f1d72.fc40.src.rpm (info) (download)
riscv64
drat-trim-0-0.21.20230709git16f1d72.fc40.riscv64.rpm (info) (download)
drat-trim-devel-0-0.21.20230709git16f1d72.fc40.riscv64.rpm (info) (download)
drat-trim-tools-0-0.21.20230709git16f1d72.fc40.riscv64.rpm (info) (download)
drat-trim-debuginfo-0-0.21.20230709git16f1d72.fc40.riscv64.rpm (info) (download)
drat-trim-debugsource-0-0.21.20230709git16f1d72.fc40.riscv64.rpm (info) (download)
drat-trim-tools-debuginfo-0-0.21.20230709git16f1d72.fc40.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
state.log
build.log
root.log
mock_output.log
Changelog * 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 * Fri Jan 28 2022 Jerry James <loganjerry@gmail.com> - 0-0.14.20220104git0c02b4f - Update for ERROR fix - Use the %forge macros * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.13.20211120.09d4f74 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Tue Dec 21 2021 Jerry James <loganjerry@gmail.com> - 0-0.12.20211120.09d4f74 - Update for off-by-one error fix