Sat, 01 Mar 2025 22:20:40 UTC | login

Information for build picosat-965-20.fc40

ID300230
Package Namepicosat
Version965
Release20.fc40
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/picosat.git#850590dcb6305b63bd49b67ef5aac4f77adc32a3
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
StartedTue, 19 Mar 2024 19:28:37 UTC
CompletedWed, 20 Mar 2024 07:19:07 UTC
Taskbuild (f40, /rpms/picosat.git:850590dcb6305b63bd49b67ef5aac4f77adc32a3)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/picosat.git#850590dcb6305b63bd49b67ef5aac4f77adc32a3'}}
Tags
f40
f41
RPMs
src
picosat-965-20.fc40.src.rpm (info) (download)
riscv64
picosat-965-20.fc40.riscv64.rpm (info) (download)
picosat-R-965-20.fc40.riscv64.rpm (info) (download)
picosat-devel-965-20.fc40.riscv64.rpm (info) (download)
picosat-libs-965-20.fc40.riscv64.rpm (info) (download)
picosat-R-debuginfo-965-20.fc40.riscv64.rpm (info) (download)
picosat-debuginfo-965-20.fc40.riscv64.rpm (info) (download)
picosat-debugsource-965-20.fc40.riscv64.rpm (info) (download)
picosat-libs-debuginfo-965-20.fc40.riscv64.rpm (info) (download)
Logs
riscv64
state.log
hw_info.log
build.log
root.log
mock_output.log
Changelog * Thu Jan 25 2024 Fedora Release Engineering <releng@fedoraproject.org> - 965-20 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 965-19 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * 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