Changelog for
metamath-0.144-1.fc24.x86_64.rpm :
* Tue May 16 2017 Jerry James
- 0.144-1- New upstream version (bz 1450652)
* Mon May 08 2017 Jerry James - 0.141-1- New upstream version (bz 1448745)
* Tue Feb 14 2017 Jerry James - 0.139-1- New upstream version (bz 1406763)- Install all of the theories (bz 1422091)
* Fri Feb 10 2017 Fedora Release Engineering - 0.138-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Thu Dec 29 2016 Jerry James - 0.138-1- New upstream version (bz 1406763)
* 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