Changelog for z3-doc-4.4.1-6.fc23.noarch.rpm :

* Wed Jul 13 2016 Jerry James - 4.4.1-6- Fix Java interface (bz 1353773)
* Thu Jun 30 2016 Jerry James - 4.4.1-5- Fix __init__.py (bz 1351580)
* Fri Feb 05 2016 Fedora Release Engineering - 4.4.1-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Tue Feb 02 2016 Jonathan Wakely - 4.4.1-3- Patched for C++11 compatibility.
* Wed Jan 20 2016 Jerry James - 4.4.1-2- Add __init__.py to the python interface (bz 1298429)
* Thu Oct 08 2015 Jerry James - 4.4.1-1- New upstream version
* Tue Jul 28 2015 Richard W.M. Jones - 4.4.0-4- OCaml 4.02.3 rebuild.
* Thu Jun 25 2015 Richard W.M. Jones - 4.4.0-3- ocaml-4.02.2 final rebuild.
* Thu Jun 18 2015 Richard W.M. Jones - 4.4.0-2- ocaml-4.02.2 rebuild.
* Wed May 27 2015 Jerry James - 4.4.0-1- New upstream version
* Wed Apr 22 2015 Jerry James - 4.3.2-3.20150329git.29606b5- Fix issues found on review (bz 1206826)
* Mon Mar 30 2015 Jerry James - 4.3.2-2.20150329git.29606b5- Update to latest git HEAD- Include examples in -doc
* Sat Mar 28 2015 Jerry James - 4.3.2-1.20150327git.ac21ffe- Initial RPM