Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

metamath-0.198-3.fc37 RPM for x86_64

From Fedora 37 for x86_64 / m

Name: metamath Distribution: Fedora Project
Version: 0.198 Vendor: Fedora Project
Release: 3.fc37 Build date: Fri Jul 22 00:16:36 2022
Group: Unspecified Build host: buildvm-x86-22.iad2.fedoraproject.org
Size: 705548 Source RPM: metamath-0.198-3.fc37.src.rpm
Packager: Fedora Project
Url: https://us.metamath.org/
Summary: Construct mathematics from basic axioms
 
Metamath is a tiny language that can express theorems in abstract
mathematics, accompanied by proofs that can be verified by a computer
program.  Metamath lets you see mathematics developed in complete detail
from first principles, with absolute rigor.

Provides

Requires

License

GPLv2+

Changelog

* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.198-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Mon Jul 18 2022 Jerry James <loganjerry@gmail.com> - 0.198-2
  - Add %check script
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.198-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Sun Aug 08 2021 Jerry James <loganjerry@gmail.com> - 0.198-1
  - Version 0.198
* Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.196-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.196-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Tue Jan 05 2021 Jerry James <loganjerry@gmail.com> - 0.196-1
  - Version 0.196
* Mon Dec 28 2020 Jerry James <loganjerry@gmail.com> - 0.194-1
  - Version 0.194
* Thu Sep 17 2020 Jerry James <loganjerry@gmail.com> - 0.193-1
  - Version 0.193
* Mon Sep 07 2020 Jerry James <loganjerry@gmail.com> - 0.192-1
  - Version 0.192
* Mon Aug 24 2020 Jerry James <loganjerry@gmail.com> - 0.188-1
  - Version 0.188
* Tue Aug 18 2020 Jerry James <loganjerry@gmail.com> - 0.187-1
  - Version 0.187
* Sun Aug 09 2020 Jerry James <loganjerry@gmail.com> - 0.186-1
  - Version 0.186
* Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.184-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Wed Jul 22 2020 Jerry James <loganjerry@gmail.com> - 0.184-1
  - Version 0.184

Files

/usr/bin/metamath
/usr/lib/.build-id
/usr/lib/.build-id/e9
/usr/lib/.build-id/e9/c15782d66f54b169c02f062f3ce18850deb6e4
/usr/share/doc/metamath
/usr/share/doc/metamath/README.TXT
/usr/share/licenses/metamath
/usr/share/licenses/metamath/LICENSE.TXT
/usr/share/man/man1/metamath.1.gz

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 20:33:48 2024