Sat, 23 Nov 2024 12:09:54 UTC | login

Information for build picosat-965-15.fc37

ID220589
Package Namepicosat
Version965
Release15.fc37
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/picosat.git#232279b46c624cf6d7f5ab57008d05f55b8aeff6
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
StartedSat, 12 Nov 2022 15:18:51 UTC
CompletedSat, 12 Nov 2022 17:21:29 UTC
Taskbuild (f37, /rpms/picosat.git:232279b46c624cf6d7f5ab57008d05f55b8aeff6)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/picosat.git#232279b46c624cf6d7f5ab57008d05f55b8aeff6'}}
Tags
f37
f38
RPMs
src
picosat-965-15.fc37.src.rpm (info) (download)
riscv64
picosat-965-15.fc37.riscv64.rpm (info) (download)
picosat-R-965-15.fc37.riscv64.rpm (info) (download)
picosat-devel-965-15.fc37.riscv64.rpm (info) (download)
picosat-libs-965-15.fc37.riscv64.rpm (info) (download)
picosat-R-debuginfo-965-15.fc37.riscv64.rpm (info) (download)
picosat-debuginfo-965-15.fc37.riscv64.rpm (info) (download)
picosat-debugsource-965-15.fc37.riscv64.rpm (info) (download)
picosat-libs-debuginfo-965-15.fc37.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * 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 * Wed Jan 27 2021 Fedora Release Engineering <releng@fedoraproject.org> - 965-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 965-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild