fedora
Click here to visit the old openkoji buildsystem (Archived)

Information for build picosat-965-21.fc40

ID47000
Package Namepicosat
Links Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem
Version965
Release21.fc40
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/picosat.git#5d729fc26ec14e8aa21666f7280d1b825f0abd2f
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 bykojiadmin
State complete
Volume DEFAULT
StartedSun, 05 May 2024 04:52:35 CST
CompletedSun, 05 May 2024 05:07:42 CST
Taskbuild (f40, /rpms/picosat.git:5d729fc26ec14e8aa21666f7280d1b825f0abd2f)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/picosat.git#5d729fc26ec14e8aa21666f7280d1b825f0abd2f'}}
Tags
f40
RPMs
src
picosat-965-21.fc40.src.rpm (info) (download)
riscv64
picosat-965-21.fc40.riscv64.rpm (info) (download)
picosat-R-965-21.fc40.riscv64.rpm (info) (download)
picosat-devel-965-21.fc40.riscv64.rpm (info) (download)
picosat-libs-965-21.fc40.riscv64.rpm (info) (download)
picosat-R-debuginfo-965-21.fc40.riscv64.rpm (info) (download)
picosat-debuginfo-965-21.fc40.riscv64.rpm (info) (download)
picosat-debugsource-965-21.fc40.riscv64.rpm (info) (download)
picosat-libs-debuginfo-965-21.fc40.riscv64.rpm (info) (download)
Logs
riscv64
state.log
hw_info.log
root.log
build.log
installed_pkgs.log
mock_output.log
Changelog * Thu Apr 25 2024 Iñaki Úcar <iucar@fedoraproject.org> - 965-21 - R-maint-sig mass rebuild * 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