Wed, 04 Dec 2024 08:59:10 UTC | login

Information for build cadical-1.5.2-3.fc37

ID218884
Package Namecadical
Version1.5.2
Release3.fc37
Epoch1
Sourcegit+https://src.fedoraproject.org/rpms/cadical.git#bdf55967dd19030da1c2157d2a1d494e9be47113
SummarySimplified SAT solver
DescriptionCaDiCaL is a simplified Satisfiability solver. The goal of the development of CaDiCaL is to obtain a CDCL solver, which is easy to understand and change, while at the same time not being much slower than other state-of-the-art CDCL solvers.
Built bydavidlt
State complete
Volume DEFAULT
StartedThu, 10 Nov 2022 11:04:21 UTC
CompletedThu, 10 Nov 2022 12:48:17 UTC
Taskbuild (f37, /rpms/cadical.git:bdf55967dd19030da1c2157d2a1d494e9be47113)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/cadical.git#bdf55967dd19030da1c2157d2a1d494e9be47113'}}
Tags
f37
f38
RPMs
src
cadical-1.5.2-3.fc37.src.rpm (info) (download)
riscv64
cadical-1.5.2-3.fc37.riscv64.rpm (info) (download)
cadical-devel-1.5.2-3.fc37.riscv64.rpm (info) (download)
cadical-libs-1.5.2-3.fc37.riscv64.rpm (info) (download)
cadical-debuginfo-1.5.2-3.fc37.riscv64.rpm (info) (download)
cadical-debugsource-1.5.2-3.fc37.riscv64.rpm (info) (download)
cadical-libs-debuginfo-1.5.2-3.fc37.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.5.2-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.5.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Thu Oct 28 2021 Jerry James <loganjerry@gmail.com> - 1:1.5.2-1 - Version 1.5.2 * Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.4.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Mon Jun 21 2021 Jerry James <loganjerry@gmail.com> - 1:1.4.1-1 - Version 1.4.1 * Sun Feb 14 2021 Jerry James <loganjerry@gmail.com> - 1:1.4.0-1 - Version 1.4.0 * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.3.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Mon Aug 03 2020 Jerry James <loganjerry@gmail.com> - 1:1.3.0-1 - Version 1.3.0 * Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.2.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild