Changelog for ocaml-z3-4.4.1-7.5.x86_64.rpm :
Fri Feb 5 13:00:00 2016 Fedora Release Engineering - 4.4.1-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild

Tue Feb 2 13:00:00 2016 Jonathan Wakely - 4.4.1-3
- Patched for C++11 compatibility.

Wed Jan 20 13:00:00 2016 Jerry James - 4.4.1-2
- Add __init__.py to the python interface (bz 1298429)

Thu Oct 8 14:00:00 2015 Jerry James - 4.4.1-1
- New upstream version

Tue Jul 28 14:00:00 2015 Richard W.M. Jones - 4.4.0-4
- OCaml 4.02.3 rebuild.

Thu Jun 25 14:00:00 2015 Richard W.M. Jones - 4.4.0-3
- ocaml-4.02.2 final rebuild.

Thu Jun 18 14:00:00 2015 Richard W.M. Jones - 4.4.0-2
- ocaml-4.02.2 rebuild.

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