Changelog for cvc4-libs-1.8-12.fc37.x86_64.rpm :

* 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
* Fri Nov 27 2020 Jerry James - 1.8-2- Rebuild for cryptominisat 5.8.0
* Mon Aug 03 2020 Jerry James - 1.8-1- Version 1.8- Drop upstreamed patches: -abc, -swig4, -drat- Run the testsuite on 64-bit architectures only
* Sat Aug 01 2020 Fedora Release Engineering - 1.7-15- Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Mon Jul 27 2020 Fedora Release Engineering - 1.7-14- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild