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

cadical-libs-debuginfo-2.2.1-4.fc44 RPM for aarch64

From Fedora 44 testing updates for aarch64 / debug / Packages / c

Name: cadical-libs-debuginfo Distribution: Fedora Project
Version: 2.2.1 Vendor: Fedora Project
Release: 4.fc44 Build date: Thu Apr 30 21:34:27 2026
Group: Development/Debug Build host: buildvm-a64-18.rdu3.fedoraproject.org
Size: 19040601 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-libs
 
This package provides debug information for package cadical-libs.
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.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
* Tue Jun 18 2024 Jerry James <loganjerry@gmail.com> - 1:2.0.0-1
  - Version 2.0.0

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/42
/usr/lib/debug/.build-id/42/e9edc129187d16b9da6975580950178da378ce
/usr/lib/debug/.build-id/42/e9edc129187d16b9da6975580950178da378ce.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/lib64
/usr/lib/debug/usr/lib64/libcadical.so.0.0.0-2.2.1-4.fc44.aarch64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri May 1 23:43:10 2026