SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE


YUM REPOSITORY

 
 
Changelog for metamath-doc-0.172-1.fc28.noarch.rpm :

* Sat Jan 26 2019 Jerry James - 0.172-1- New upstream version
* Wed Jan 02 2019 Jerry James - 0.171-1- New upstream version
* Tue Dec 11 2018 Jerry James - 0.168-1- New upstream version
* Mon Nov 19 2018 Jerry James - 0.167-1- New upstream version
* Sat Nov 10 2018 Jerry James - 0.166-1- New upstream version
* Mon Oct 29 2018 Jerry James - 0.165-1- New upstream version
* Sat Sep 22 2018 Jerry James - 0.164-1- New upstream version
* Sat Aug 04 2018 Jerry James - 0.163-1- New upstream version (bz 1612479)
* Fri Jul 13 2018 Fedora Release Engineering - 0.162-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Mon Jun 04 2018 Jerry James - 0.162-1- New upstream version (bz 1585859)
* Tue Feb 06 2018 Jerry James - 0.161-1- New upstream version (bz 1541620)
* Thu Jan 25 2018 Jerry James - 0.160-1- New upstream version (bz 1538606)
* Thu Jan 18 2018 Jerry James - 0.157-1- New upstream version (bz 1536242)
* Tue Dec 19 2017 Jerry James - 0.156-1- New upstream version (bz 1527497)
* 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