Changelog for cryptominisat4-libs-4.5.3-12.fc27.x86_64.rpm :

* Sun Aug 06 2017 Björn Esser - 4.5.3-12- Rebuilt for AutoReq cmake-filesystem
* Wed Aug 02 2017 Fedora Release Engineering - 4.5.3-11- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Wed Jul 26 2017 Fedora Release Engineering - 4.5.3-10- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Mon Jul 03 2017 Jonathan Wakely - 4.5.3-9- Rebuilt for Boost 1.64
* Mon May 15 2017 Fedora Release Engineering - 4.5.3-8- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_27_Mass_Rebuild
* Tue Feb 07 2017 Kalev Lember - 4.5.3-7- Rebuilt for Boost 1.63
* Tue Jul 19 2016 Fedora Release Engineering - 4.5.3-6- https://fedoraproject.org/wiki/Changes/Automatic_Provides_for_Python_RPM_Packages
* Wed Feb 03 2016 Fedora Release Engineering - 4.5.3-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Fri Jan 15 2016 Jonathan Wakely - 4.5.3-4- Rebuilt for Boost 1.60
* Fri Sep 04 2015 Jonathan Wakely - 4.5.3-3- Rebuilt for Boost 1.59
* Fri Aug 28 2015 Jerry James - 4.5.3-2- Fix license- Also remove rpath from cryptominisat4_simple
* Fri Aug 28 2015 Jerry James - 4.5.3-1- New upstream version
* Sat Aug 22 2015 Jerry James - 4.5.2-1- Initial RPM