Changelog for cvc4-python3-debuginfo-1.8-15.fc38.x86_64.rpm :

* Thu Jan 19 2023 Fedora Release Engineering - 1.8-15- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Mon Dec 19 2022 Jerry James - 1.8-14- BR setuptools to fix FTBFS (rhbz#2154858)
* Tue Oct 11 2022 Jerry James - 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
* Mon Aug 15 2022 Jerry James - 1.8-12- Convert License tag to SPDX
* Wed Jul 20 2022 Fedora Release Engineering - 1.8-12- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Tue Jul 19 2022 Jerry James - 1.8-11- Drop support for i686 due to ANTLR unavailability
* Mon Jun 13 2022 Python Maint - 1.8-11- Rebuilt for Python 3.11
* Fri Mar 04 2022 Jerry James - 1.8-10- Remove . from %cmake invocation to fix FTBFS (rhbz#2060821)- Drop -const-map-key patch now that gcc has been fixed
* Sat Feb 05 2022 Jiri Vanek - 1.8-9- Rebuilt for java-17-openjdk as system jdk
* Sat Jan 22 2022 Jerry James - 1.8-8- Add -const-map-key patch to fix FTBFS
* Thu Jan 20 2022 Fedora Release Engineering - 1.8-8- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild- Use the default linker
* Wed Jul 21 2021 Fedora Release Engineering - 1.8-7- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Fri Jun 04 2021 Python Maint - 1.8-6- Rebuilt for Python 3.10
* Wed Jun 02 2021 Jerry James - 1.8-5- Remove spurious rpaths (bz 1967190)- Fix broken jar symlink- Add missing executable bit to python shared object
* Tue Jan 26 2021 Fedora Release Engineering - 1.8-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Wed Jan 20 2021 Jerry James - 1.8-3- Add -dup-decl patch to fix FTBFS with recent LFSC versions