Tue, 20 Oct 2026 15:29:51 UTC | login

Information for build cadical-2.2.1-6.fc45

ID1867
Package Namecadical
Version2.2.1
Release6.fc45
Epoch1
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/cadical.git#34e2e26bdf530ad70f21b27a095c67974990fb68
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.
git:https://github.com/arminbiere/cadical.git
Built byguoguo
State complete
Volume DEFAULT
StartedTue, 13 Oct 2026 04:57:26 UTC
CompletedTue, 13 Oct 2026 05:03:05 UTC
Taskbuild (f45, /rpms/cadical.git:34e2e26bdf530ad70f21b27a095c67974990fb68)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/cadical.git#34e2e26bdf530ad70f21b27a095c67974990fb68'}}
Tags
f45
RPMs
src
cadical-2.2.1-6.fc45.src.rpm (info) (download)
riscv64
cadical-2.2.1-6.fc45.riscv64.rpm (info) (download)
cadical-devel-2.2.1-6.fc45.riscv64.rpm (info) (download)
cadical-libs-2.2.1-6.fc45.riscv64.rpm (info) (download)
cadical-debuginfo-2.2.1-6.fc45.riscv64.rpm (info) (download)
cadical-debugsource-2.2.1-6.fc45.riscv64.rpm (info) (download)
cadical-libs-debuginfo-2.2.1-6.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 * Wed Jul 15 2026 Fedora Release Engineering <releng@fedoraproject.org> - 1:2.2.1-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild * Mon Jun 22 2026 Jerry James <loganjerry@gmail.com> - 1:2.2.1-5 - Use the cmake declarative buildsystem - Drop unused dependency on drat-trim * Thu Apr 30 2026 Jerry James <loganjerry@gmail.com> - 1:2.2.1-4 - Add patch from the cryptominisat project - Build with cmake instead of autotools - Both changes needed to update cryptominisat to latest version * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 1:2.2.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 1:2.2.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Wed Dec 24 2025 Jerry James <loganjerry@gmail.com> - 1:2.2.1-1 - Version 2.2.1 * Fri Dec 05 2025 Jerry James <loganjerry@gmail.com> - 1:2.2.0-1 - Version 2.2.0 * Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1:2.1.3-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Thu May 01 2025 Jerry James <loganjerry@gmail.com> - 1:2.1.3-1 - Version 2.1.3 * Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1:2.0.0-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1:2.0.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 1:2.0.0-2 - Install more header files for cryptominisat - Add a VCS field