Fri, 05 Jul 2024 21:20:21 UTC | login

Information for build picosat-965-18.fc40

ID269617
Package Namepicosat
Version965
Release18.fc40
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/picosat.git#593910095c5d5ed5de53bace3cf9604fd21eaa93
SummaryA SAT solver
DescriptionPicoSAT solves the SAT problem, which is the classical NP complete problem of searching for a satisfying assignment of a propositional formula in conjunctive normal form (CNF). PicoSAT can generate proofs and cores in memory by compressing the proof trace. It supports the proof format of TraceCheck.
Built bydavidlt
State complete
Volume DEFAULT
StartedSun, 26 Nov 2023 10:40:38 UTC
CompletedSun, 26 Nov 2023 12:09:01 UTC
Taskbuild (f40, /rpms/picosat.git:593910095c5d5ed5de53bace3cf9604fd21eaa93)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/picosat.git#593910095c5d5ed5de53bace3cf9604fd21eaa93'}}
Tags
f40
RPMs
src
picosat-965-18.fc40.src.rpm (info) (download)
riscv64
picosat-965-18.fc40.riscv64.rpm (info) (download)
picosat-R-965-18.fc40.riscv64.rpm (info) (download)
picosat-devel-965-18.fc40.riscv64.rpm (info) (download)
picosat-libs-965-18.fc40.riscv64.rpm (info) (download)
picosat-R-debuginfo-965-18.fc40.riscv64.rpm (info) (download)
picosat-debuginfo-965-18.fc40.riscv64.rpm (info) (download)
picosat-debugsource-965-18.fc40.riscv64.rpm (info) (download)
picosat-libs-debuginfo-965-18.fc40.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
state.log
build.log
root.log
mock_output.log
Changelog * Fri Jul 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 965-18 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Fri Apr 21 2023 Iñaki Úcar <iucar@fedoraproject.org> - 965-17 - R-maint-sig mass rebuild * Fri Jan 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 965-16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Tue Jan 17 2023 Jerry James <loganjerry@gmail.com> - 965-15 - Minor spec file cleanups * Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 965-15 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Fri Jan 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 965-14 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 965-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild