Changelog for z3-libs-4.4.0-1.fc22.x86_64.rpm :
Wed May 27 14:00:00 2015 Jerry James - 4.4.0-1
- New upstream version

Wed Apr 22 14:00:00 2015 Jerry James - 4.3.2-3.20150329git.29606b5
- Fix issues found on review (bz 1206826)

Mon Mar 30 14:00:00 2015 Jerry James - 4.3.2-2.20150329git.29606b5
- Update to latest git HEAD
- Include examples in -doc

Sat Mar 28 13:00:00 2015 Jerry James - 4.3.2-1.20150327git.ac21ffe
- Initial RPM