Changelog for z3-doc-4.5.0-6.fc27.noarch.rpm :

* Tue Aug 08 2017 Richard W.M. Jones - 4.5.0-6- OCaml 4.05.0 rebuild.
* Thu Jul 27 2017 Fedora Release Engineering - 4.5.0-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Tue Jun 27 2017 Richard W.M. Jones - 4.5.0-4- OCaml 4.04.2 rebuild.
* Fri May 12 2017 Richard W.M. Jones - 4.5.0-3- OCaml 4.04.1 rebuild.
* Sat Feb 11 2017 Fedora Release Engineering - 4.5.0-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Tue Nov 08 2016 Jerry James - 4.5.0-1- New upstream version- All patches except -sse2 have been upstreamed; drop them- Upstream now ships __init__.py; drop our version- Drop all the buildroot tricks; Makefile supports DESTDIR now- Use C.UTF-8 instead of en_US.UTF-8
* Sat Nov 05 2016 Richard W.M. Jones - 4.4.1-8- Rebuild for OCaml 4.04.0.
* Tue Jul 19 2016 Fedora Release Engineering - 4.4.1-7- https://fedoraproject.org/wiki/Changes/Automatic_Provides_for_Python_RPM_Packages
* 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