--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2018-71faa13d00
2018-10-02 15:02:33.026116
--------------------------------------------------------------------------------
Name : metamath
Product : Fedora 27
Version : 0.164
Release : 1.fc27
URL :
http://us.metamath.org/
Summary : Construct mathematics from basic axioms
Description :
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.
--------------------------------------------------------------------------------
Update Information:
Changes in version 0.164: - added NOTE to bib keywords - added
defaultScrollMode to prevent SET SCROLL CONTINUOUS from reverting to PROMPTED
after a SUBMIT command - update set.mm from 28 July 2018 to 15 September 2018
version - update iset.mm from 2 Aug 2018 to 2 September 2018 version
--------------------------------------------------------------------------------
ChangeLog:
* Sat Sep 22 2018 Jerry James <loganjerry(a)gmail.com> - 0.164-1
- New upstream version
* Sat Aug 4 2018 Jerry James <loganjerry(a)gmail.com> - 0.163-1
- New upstream version (bz 1612479)
* Fri Jul 13 2018 Fedora Release Engineering <releng(a)fedoraproject.org> - 0.162-2
- Rebuilt for
https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Mon Jun 4 2018 Jerry James <loganjerry(a)gmail.com> - 0.162-1
- New upstream version (bz 1585859)
* Tue Feb 6 2018 Jerry James <loganjerry(a)gmail.com> - 0.161-1
- New upstream version (bz 1541620)
* Thu Jan 25 2018 Jerry James <loganjerry(a)gmail.com> - 0.160-1
- New upstream version (bz 1538606)
* Thu Jan 18 2018 Jerry James <loganjerry(a)gmail.com> - 0.157-1
- New upstream version (bz 1536242)
* Tue Dec 19 2017 Jerry James <loganjerry(a)gmail.com> - 0.156-1
- New upstream version (bz 1527497)
* Mon Oct 23 2017 Jerry James <loganjerry(a)gmail.com> - 0.155-1
- New upstream version (bz 1504397)
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2018-71faa13d00' at the command
line. For more information, refer to the dnf documentation available at
http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------