Changelog for cvc4-libs-1.7-8.fc32.x86_64.rpm :

* 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
* Thu Jul 18 2019 Jerry James - 1.7-3- Rebuild for cadical 1.0.3 (bz 1731031)
* Sat Jun 29 2019 Jerry James - 1.7-2- Fix finding the python include dir and lib (bz 1724142)
* Wed Jun 12 2019 Jerry James - 1.7-1- New upstream release- Drop -autoconf, -cadical, -doxygen, -symfpu, and -vec patches- Drop -doc subpackage; upstream no longer supports doxygen- Build with python 3 instead of python 2- Build with drat2er support- Add -abc and -flags patches- Add -swig4 patch (bz 1707353)
* Sun Feb 17 2019 Igor Gnatenko - 1.6-6- Rebuild for readline 8.0
* Thu Jan 31 2019 Fedora Release Engineering - 1.6-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Tue Jan 29 2019 Jonathan Wakely - 1.6-4- Rebuilt for Boost 1.69
* Mon Nov 26 2018 Jerry James - 1.6-3- Rebuild for updated abc
* Thu Jul 12 2018 Fedora Release Engineering - 1.6-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Tue Jul 10 2018 Jerry James - 1.6-1- New upstream release
* Wed Feb 07 2018 Fedora Release Engineering - 1.5-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Thu Feb 01 2018 Jerry James - 1.5-5- Fix FTBFS with automake 1.5.1 (bz 1482152)