Changelog for cryptominisat4-libs-4.5.3-5.fc24.x86_64.rpm :

* 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