SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
Changelog for metamath-0.155-1.fc25.x86_64.rpm :

* Mon Oct 23 2017 Jerry James - 0.155-1- New upstream version (bz 1504397)
* Sat Sep 30 2017 Jerry James - 0.152-1- New upstream version (bz 1497491)
* Tue Sep 26 2017 Jerry James - 0.151-1- New upstream version (bz 1495184)
* Sat Sep 02 2017 Jerry James - 0.150-1- New upstream version (bz 1485749)
* Wed Aug 23 2017 Jerry James - 0.149-1- New upstream version (bz 1484389)
* Thu Aug 17 2017 Jerry James - 0.148-1- New upstream version (bz 1482724)
* Thu Aug 03 2017 Fedora Release Engineering - 0.146-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Wed Jul 26 2017 Fedora Release Engineering - 0.146-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Mon Jul 03 2017 Jerry James - 0.146-1- New upstream version (bz 1467070)
* Tue Jun 27 2017 Jerry James - 0.145-1- New upstream version (bz 1462574)
* 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
 
ICM