--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2020-455922b656
2020-09-26 01:14:31.045033
--------------------------------------------------------------------------------
Name : metamath
Product : Fedora 31
Version : 0.193
Release : 1.fc31
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.193: - Make the output of /EXTRACT stable in the sense
that, with the same <label-list> parameter, extract(extract(file)) =
extract(file) except that the date stamp at the top will be updated. (The first
extraction even if "*" will usually be different because it discards non-
relevant content. Note that the include file directives "$( $[ Begin..." etc.
and comments with "$j" are currently discarded.) - Update set.mm to 12 Sep 2020
version
--------------------------------------------------------------------------------
ChangeLog:
* Thu Sep 17 2020 Jerry James <loganjerry(a)gmail.com> - 0.193-1
- Version 0.193
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1878534 - metamath-0.193 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1878534
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2020-455922b656' 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
--------------------------------------------------------------------------------