--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2017-da06f04bec
2017-07-17 02:51:07.450954
--------------------------------------------------------------------------------

Name        : metamath
Product     : Fedora 25
Version     : 0.146
Release     : 1.fc25
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.145:  - fix bug 1741 during MINIMIZE_WITH - make duplicate
bug numbers unique - adjust to prevent lcc compiler "Function too big for the
optimizer" - take out extraneous  <HTML>...</HTML> markup tags in HTML output so
w3c validator will pass  Changes in version 0.146:  - fix handling of local
labels in 'show proof.../tex' (bug 2341 reported by Eric Parfitt)
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #1462574 - metamath-0.145 is available
        https://bugzilla.redhat.com/show_bug.cgi?id=1462574
  [ 2 ] Bug #1467070 - metamath-0.146 is available
        https://bugzilla.redhat.com/show_bug.cgi?id=1467070
--------------------------------------------------------------------------------

This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade metamath' 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
--------------------------------------------------------------------------------
_______________________________________________
package-announce mailing list -- package-announce@lists.fedoraproject.org
To unsubscribe send an email to package-announce-le...@lists.fedoraproject.org

Reply via email to