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

metamath-theories-0.181-1.fc32 RPM for noarch

From Fedora 32 for s390x / m

Name: metamath-theories Distribution: Fedora Project
Version: 0.181 Vendor: Fedora Project
Release: 1.fc32 Build date: Thu Feb 13 16:27:00 2020
Group: Unspecified Build host: buildvm-armv7-05.arm.fedoraproject.org
Size: 44484818 Source RPM: metamath-0.181-1.fc32.src.rpm
Packager: Fedora Project
Url: http://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 Feb 13 2020 Jerry James <loganjerry@gmail.com> - 0.181-1
  - Version 0.181
* Wed Jan 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.180-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Tue Dec 10 2019 Jerry James <loganjerry@gmail.com> - 0.180-1
  - Version 0.180
* Sat Nov 30 2019 Jerry James <loganjerry@gmail.com> - 0.179-1
  - Version 0.179
* Tue Aug 13 2019 Jerry James <loganjerry@gmail.com> - 0.178-1
  - New upstream version
* Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.177-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Sun Apr 28 2019 Jerry James <loganjerry@gmail.com> - 0.177-1
  - New upstream version
* Tue Mar 26 2019 Jerry James <loganjerry@gmail.com> - 0.176-1
  - New upstream version
* Sat Mar 09 2019 Jerry James <loganjerry@gmail.com> - 0.175-1
  - New upstream version
* Sat Feb 23 2019 Jerry James <loganjerry@gmail.com> - 0.174-1
  - New upstream version
* Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.172-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Sat Jan 26 2019 Jerry James <loganjerry@gmail.com> - 0.172-1
  - New upstream version
* Wed Jan 02 2019 Jerry James <loganjerry@gmail.com> - 0.171-1
  - New upstream version
* Tue Dec 11 2018 Jerry James <loganjerry@gmail.com> - 0.168-1
  - New upstream version
* Mon Nov 19 2018 Jerry James <loganjerry@gmail.com> - 0.167-1
  - New upstream version
* Sat Nov 10 2018 Jerry James <loganjerry@gmail.com> - 0.166-1
  - New upstream version
* Mon Oct 29 2018 Jerry James <loganjerry@gmail.com> - 0.165-1
  - New upstream version
* Sat Sep 22 2018 Jerry James <loganjerry@gmail.com> - 0.164-1
  - New upstream version
* Sat Aug 04 2018 Jerry James <loganjerry@gmail.com> - 0.163-1
  - New upstream version (bz 1612479)
* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.162-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Mon Jun 04 2018 Jerry James <loganjerry@gmail.com> - 0.162-1
  - New upstream version (bz 1585859)

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, Sun Jan 9 16:28:42 2022