cvc4-libs-1.8-15.fc38 - Fedora Packages

Date	Author	Change
2023-01-19	Fedora Release Engineering <releng at fedoraproject dot org> - 1.8-15	- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-12-19	Jerry James <loganjerry at gmail dot com> - 1.8-14	- BR setuptools to fix FTBFS (rhbz#2154858)
2022-10-11	Jerry James <loganjerry at gmail dot com> - 1.8-13	- Add -bash-patsub-replacement patch to fix build with bash 5.2 (bz 2133760) - Add -toml patch and drop python3-toml BR
2022-08-15	Jerry James <loganjerry at gmail dot com> - 1.8-12	- Convert License tag to SPDX
2022-07-20	Fedora Release Engineering <releng at fedoraproject dot org> - 1.8-12	- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-07-19	Jerry James <loganjerry at gmail dot com> - 1.8-11	- Drop support for i686 due to ANTLR unavailability
2022-06-13	Python Maint <python dash maint at redhat dot com> - 1.8-11	- Rebuilt for Python 3.11
2022-03-04	Jerry James <loganjerry at gmail dot com> - 1.8-10	- Remove . from %cmake invocation to fix FTBFS (rhbz#2060821) - Drop -const-map-key patch now that gcc has been fixed
2022-02-05	Jiri Vanek <jvanek at redhat dot com> - 1.8-9	- Rebuilt for java-17-openjdk as system jdk
2022-01-22	Jerry James <loganjerry at gmail dot com> - 1.8-8	- Add -const-map-key patch to fix FTBFS

cvc4-libs-1.8-15.fc38 in Fedora 38