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

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

From Fedora 37 for aarch64 / m

Name: metamath-doc 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: 1164547 Source RPM: metamath-0.198-3.fc37.src.rpm
Packager: Fedora Project
Url: https://us.metamath.org/
Summary: The Metamath book
 
This package contains The Metamath book, which provides an in-depth
understanding of the Metamath language and program.  The first part of
the book also includes an easy-to-read informal discussion of abstract
mathematics and computers, with references to other proof verifiers and
automated theorem provers.

Provides

Requires

License

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/doc/metamath
/usr/share/doc/metamath/metamath.pdf
/usr/share/licenses/metamath-doc
/usr/share/licenses/metamath-doc/LICENSE.TXT

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 20:55:42 2024