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

metamath-theories-0.198-3.fc37 RPM for noarch

From Fedora 37 for x86_64 / m

Name: metamath-theories Distribution: Fedora Project
Version: 0.198 Vendor: Fedora Project
Release: 3.fc37 Build date: Fri Jul 22 00:15:55 2022
Group: Unspecified Build host: buildvm-x86-09.iad2.fedoraproject.org
Size: 51550126 Source RPM: metamath-0.198-3.fc37.src.rpm
Packager: Fedora Project
Url: https://us.metamath.org/
Summary: Existing mathematical theories in the metamath format
 
This package contains metamath theory files for several branches of
mathematics, such as ZFC set theory, HOL, and Peano arithmetic.

Provides

Requires

License

GPLv2+ and CC0

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/share/metamath
/usr/share/metamath/big-unifier.mm
/usr/share/metamath/demo0.mm
/usr/share/metamath/hol.mm
/usr/share/metamath/iset.mm
/usr/share/metamath/miu.mm
/usr/share/metamath/nf.mm
/usr/share/metamath/peano.mm
/usr/share/metamath/ql.mm
/usr/share/metamath/set.mm

Generated by rpm2html 1.8.1

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