Fedora Packages

cvc5-libs-1.4.2-1.fc45 in Fedora 45

↵ Return to the main page of cvc5-libs
View build
Search for updates

Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date Author Change
2026-10-08 Jerry James <loganjerry at gmail dot com> - 1.4.2-1 - Version 1.4.2
2026-09-26 Jerry James <loganjerry at gmail dot com> - 1.4.1-1 - Version 1.4.1
2026-09-25 Jerry James <loganjerry at gmail dot com> - 1.4.0-1 - Version 1.4.0 - Drop upstreamed cocoalib patch - Disable the cadical option "inprobing" to fix tests - Build with mpfr and normaliz support
2026-07-22 Python Maint <python dash maint at redhat dot com> - 1.3.4-5 - Rebuilt for Python 3.15.0b4 ABI change
2026-07-15 Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.4-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
2026-06-15 Jerry James <loganjerry at gmail dot com> - 1.3.4-3 - Drop unused BRs - Remove old obsoletes
2026-06-04 Python Maint <python dash maint at redhat dot com> - 1.3.4-2 - Rebuilt for Python 3.15
2026-05-15 Jerry James <loganjerry at gmail dot com> - 1.3.4-1 - Version 1.3.4 - Use the cmake declarative buildsystem
2026-04-30 Jerry James <loganjerry at gmail dot com> - 1.3.3-2 - Rebuild for cryptominisat 5.14.4
2026-03-20 Jerry James <loganjerry at gmail dot com> - 1.3.3-1 - Version 1.3.3 - Drop upstreamed libpoly patch

Dependencies

Provides

  • cvc5-libs
  • cvc5-libs(x86-64)
  • libcvc5.so.1()(64bit)
  • libcvc5parser.so.1()(64bit)

Files


Sources on Pagure