--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2018-19c2ff33a2
2018-11-29 02:25:58.945967
--------------------------------------------------------------------------------
Name : metamath
Product : Fedora 28
Version : 0.167
Release : 1.fc28
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.167: - SHOW TRACE_BACK .../COUNT now uses proof the way
it's stored (previously, it always uncompressed the proof). The new step
count (for compressed proofs) corresponds to the step count the user would
see on the web pages. - added unlimited precision arithmetic for SHOW
TRACE_BACK .../COUNT/ESSENTIAL
--------------------------------------------------------------------------------
ChangeLog:
* Mon Nov 19 2018 Jerry James <loganjerry(a)gmail.com> - 0.167-1
- New upstream version
* Sat Nov 10 2018 Jerry James <loganjerry(a)gmail.com> - 0.166-1
- New upstream version
* Mon Oct 29 2018 Jerry James <loganjerry(a)gmail.com> - 0.165-1
- New upstream version
* 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)
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2018-19c2ff33a2' 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
--------------------------------------------------------------------------------