Changelog for metamath-doc-0.135-1.fc25.noarch.rpm :

* Mon Sep 19 2016 Jerry James - 0.135-1- New upstream version (bz 1377308)
* Sat Aug 27 2016 Jerry James - 0.134-1- New upstream version (bz 1370745)
* Fri Aug 19 2016 Jerry James - 0.133-1- New upstream version
* Mon Jul 18 2016 Jerry James - 0.132-1- New upstream version
* Tue Jun 21 2016 Jerry James - 0.131-1- New upstream version
* Wed May 11 2016 Jerry James - 0.125-2- Fix unowned directory- Add the manual
* Fri May 06 2016 Jerry James - 0.125-1- Initial RPM