Fedora Packages

cvc5-java-1.3.4-5.fc45 in Fedora Rawhide

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

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

Changelog

Date Author Change
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
2026-01-16 Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.2-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
2026-01-16 Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.2-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
2025-12-24 Jerry James <loganjerry at gmail dot com> - 1.3.2-2 - Fix the symfpu dependency (rhbz#2424843)

Dependencies

Provides

  • cvc5-java
  • cvc5-java(x86-64)
  • libcvc5jni.so()(64bit)

Files


Sources on Pagure