Wed, 21 Oct 2026 05:31:04 UTC | login

Information for build picosat-965-31.fc45

ID12184
Package Namepicosat
Version965
Release31.fc45
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/picosat.git#e49911111a96a12537a5e4dd78454706dfcb5343
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.
git:https://fmv.jku.at/picosat/.git
Built byguoguo
State complete
Volume DEFAULT
StartedSat, 17 Oct 2026 04:38:56 UTC
CompletedSat, 17 Oct 2026 04:43:23 UTC
Taskbuild (f45, /rpms/picosat.git:e49911111a96a12537a5e4dd78454706dfcb5343)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/picosat.git#e49911111a96a12537a5e4dd78454706dfcb5343'}}
Tags
f45
RPMs
src
picosat-965-31.fc45.src.rpm (info) (download)
riscv64
picosat-965-31.fc45.riscv64.rpm (info) (download)
picosat-R-965-31.fc45.riscv64.rpm (info) (download)
picosat-devel-965-31.fc45.riscv64.rpm (info) (download)
picosat-libs-965-31.fc45.riscv64.rpm (info) (download)
picosat-R-debuginfo-965-31.fc45.riscv64.rpm (info) (download)
picosat-debuginfo-965-31.fc45.riscv64.rpm (info) (download)
picosat-debugsource-965-31.fc45.riscv64.rpm (info) (download)
picosat-libs-debuginfo-965-31.fc45.riscv64.rpm (info) (download)
Logs
riscv64
mock_config.log
state.log
build.log
root.log
dnf5.log
mock_output.log
hw_info.log
installed_pkgs.log
Changelog * Thu Jul 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 965-31 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild * Sat Apr 25 2026 Iñaki Úcar <iucar@fedoraproject.org> - 965-30 - R-maint-sig mass rebuild * Sat Jan 17 2026 Fedora Release Engineering <releng@fedoraproject.org> - 965-29 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Thu Aug 07 2025 Jerry James <loganjerry@gmail.com> - 965-28 - Stop building for 32-bit x86 - Minor spec file cleanups * Fri Jul 25 2025 Fedora Release Engineering <releng@fedoraproject.org> - 965-27 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Fri Apr 18 2025 Iñaki Úcar <iucar@fedoraproject.org> - 965-26 - R-maint-sig mass rebuild * Fri Apr 18 2025 Iñaki Úcar <iucar@fedoraproject.org> - 965-25 - R-maint-sig mass rebuild * Fri Apr 18 2025 Iñaki Úcar <iucar@fedoraproject.org> - 965-24 - R-maint-sig mass rebuild * Sat Jan 18 2025 Fedora Release Engineering <releng@fedoraproject.org> - 965-23 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Fri Jul 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 965-22 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild