Changelog for z3-doc-4.7.1-5.fc29.noarch.rpm :

* Sat Jul 14 2018 Fedora Release Engineering - 4.7.1-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Wed Jul 11 2018 Richard W.M. Jones - 4.7.1-4- OCaml 4.07.0 (final) rebuild.
* Wed Jun 20 2018 Richard W.M. Jones - 4.7.1-3- OCaml 4.07.0-rc1 rebuild.
* Tue Jun 19 2018 Miro Hrončok - 4.7.1-2- Rebuilt for Python 3.7
* Tue May 22 2018 Jerry James - 4.7.1-1- New upstream version (bz 1581516)- Drop upstreamed -vector patch
* Fri Feb 09 2018 Fedora Release Engineering - 4.6.0-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Sun Dec 24 2017 Jerry James - 4.6.0-1- New upstream version (bz 1527531)- Add a python3 subpackage
* Sun Dec 17 2017 Zbigniew Jędrzejewski-Szmek - 4.5.0-8- Python 2 binary package renamed to python2-z3 See https://fedoraproject.org/wiki/FinalizingFedoraSwitchtoPython3
* Fri Nov 17 2017 Richard W.M. Jones - 4.5.0-7- OCaml 4.06.0 rebuild.- Add dependency on ocaml-num.
* 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