cvc5-libs-1.3.2-4.fc44 - Fedora Packages

Date	Author	Change
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)
2025-12-18	Jerry James <loganjerry at gmail dot com> - 1.3.2-1	- Version 1.3.2
2025-12-05	Jerry James <loganjerry at gmail dot com> - 1.3.1-2	- Rebuild for cadical 2.2.0 and libpoly 0.2.1 - Add patches to adapt to both
2025-09-25	Jerry James <loganjerry at gmail dot com> - 1.3.1-1	- Version 1.3.1
2025-09-19	Python Maint <python dash maint at redhat dot com> - 1.3.0-5	- Rebuilt for Python 3.14.0rc3 bytecode
2025-08-15	Python Maint <python dash maint at redhat dot com> - 1.3.0-4	- Rebuilt for Python 3.14.0rc2 bytecode
2025-07-29	Jiri Vanek <jvanek at redhat dot com> - 1.3.0-3	- Rebuilt for java-25-openjdk as preffered jdk
2025-07-23	Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.0-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild

cvc5-libs-1.3.2-4.fc44 in Fedora Rawhide