Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

cadical-debuginfo-2.2.1-4.fc44 RPM for ppc64le

From Fedora 44 updates for ppc64le / debug / Packages / c

Name: cadical-debuginfo Distribution: Fedora Project
Version: 2.2.1 Vendor: Fedora Project
Release: 4.fc44 Build date: Thu Apr 30 21:35:02 2026
Group: Development/Debug Build host: buildvm-ppc64le-25.rdu3.fedoraproject.org
Size: 2954829 Source RPM: cadical-2.2.1-4.fc44.src.rpm
Packager: Fedora Project
Url: http://fmv.jku.at/cadical/
Summary: Debug information for package cadical
 
This package provides debug information for package cadical.
Debug information is useful when developing applications that use this
package or when debugging this package.

Provides

Requires

License

MIT

Changelog

* 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