Sun, 05 Jan 2025 20:16:57 UTC | login

Information for build picosat-965-17.fc38

ID249632
Package Namepicosat
Version965
Release17.fc38
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/picosat.git#5cbf30ae0a7cd8f11dc42758993316dada2d1ccc
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
StartedThu, 08 Jun 2023 11:32:25 UTC
CompletedThu, 08 Jun 2023 15:59:09 UTC
Taskbuild (f38, /rpms/picosat.git:5cbf30ae0a7cd8f11dc42758993316dada2d1ccc)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/picosat.git#5cbf30ae0a7cd8f11dc42758993316dada2d1ccc'}}
Tags
f38
f39
f40
RPMs
src
picosat-965-17.fc38.src.rpm (info) (download)
riscv64
picosat-965-17.fc38.riscv64.rpm (info) (download)
picosat-R-965-17.fc38.riscv64.rpm (info) (download)
picosat-devel-965-17.fc38.riscv64.rpm (info) (download)
picosat-libs-965-17.fc38.riscv64.rpm (info) (download)
picosat-R-debuginfo-965-17.fc38.riscv64.rpm (info) (download)
picosat-debuginfo-965-17.fc38.riscv64.rpm (info) (download)
picosat-debugsource-965-17.fc38.riscv64.rpm (info) (download)
picosat-libs-debuginfo-965-17.fc38.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
state.log
build.log
root.log
mock_output.log
Changelog * 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