Changelog for cvc4-libs-1.8-7.fc35.x86_64.rpm :

* 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
* Fri Jul 10 2020 Jiri Vanek - 1.7-13- Rebuilt for JDK-11, see https://fedoraproject.org/wiki/Changes/Java11
* Fri May 29 2020 Jonathan Wakely - 1.7-12- Rebuilt for Boost 1.73
* Tue May 26 2020 Miro Hrončok - 1.7-11- Rebuilt for Python 3.9
* Fri May 15 2020 Jerry James - 1.7-10- Do not link against libpython
* Sat Apr 25 2020 Jerry James - 1.7-9- Rebuild for cryptominisat 5.7.0- Add -cryptominisat patch to adapt to changes in 5.7.0
* Tue Jan 28 2020 Fedora Release Engineering - 1.7-8- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Mon Nov 11 2019 Jerry James - 1.7-7- Rebuild for cadical 1.2.1
* Mon Sep 09 2019 Jerry James - 1.7-6- Add -drat patch to fix build with latest lfsc
* Mon Aug 19 2019 Miro Hrončok - 1.7-5- Rebuilt for Python 3.8
* Wed Jul 24 2019 Fedora Release Engineering - 1.7-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild