Fedora Packages

metamath-0.196-2.fc34 in Fedora 34

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

Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date Author Change
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
2020-07-28 Fedora Release Engineering <releng at fedoraproject dot org> - 0.184-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
2020-07-22 Jerry James <loganjerry at gmail dot com> - 0.184-1 - Version 0.184

Dependencies

Provides

  • metamath
  • metamath(x86-64)

Files


Sources on Pagure