Changelog for cryptominisat4-libs-4.5.3-2.fc23.x86_64.rpm :
Fri Aug 28 14:00:00 2015 Jerry James - 4.5.3-2
- Fix license
- Also remove rpath from cryptominisat4_simple

Fri Aug 28 14:00:00 2015 Jerry James - 4.5.3-1
- New upstream version

Sat Aug 22 14:00:00 2015 Jerry James - 4.5.2-1
- Initial RPM