Fedora Packages

metamath-theories-0.198-1.fc35 in Fedora Rawhide

↵ Return to the main page of metamath-theories
View build
Search for updates

Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date Author Change
2021-08-08 Jerry James <loganjerry at gmail dot com> - 0.198-1 - Version 0.198
2021-07-22 Fedora Release Engineering <releng at fedoraproject dot org> - 0.196-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-01-26 Fedora Release Engineering <releng at fedoraproject dot org> - 0.196-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2021-01-05 Jerry James <loganjerry at gmail dot com> - 0.196-1 - Version 0.196
2020-12-28 Jerry James <loganjerry at gmail dot com> - 0.194-1 - Version 0.194
2020-09-17 Jerry James <loganjerry at gmail dot com> - 0.193-1 - Version 0.193
2020-09-07 Jerry James <loganjerry at gmail dot com> - 0.192-1 - Version 0.192
2020-08-24 Jerry James <loganjerry at gmail dot com> - 0.188-1 - Version 0.188
2020-08-18 Jerry James <loganjerry at gmail dot com> - 0.187-1 - Version 0.187
2020-08-09 Jerry James <loganjerry at gmail dot com> - 0.186-1 - Version 0.186

Dependencies

Provides

  • metamath-theories

Files


Sources on Pagure