-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2020-9f550bd810 2020-04-25 02:14:03.396849 --------------------------------------------------------------------------------
Name : metamath Product : Fedora 32 Version : 0.182 Release : 1.fc32 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.182: - Add "Claim" to bibliographic reference types - Update iset.mm to 10-Apr-2020 version - Update set.mm to 7-Apr-2020 version -------------------------------------------------------------------------------- ChangeLog:
* Mon Apr 13 2020 Jerry James loganjerry@gmail.com - 0.182-1 - Version 0.182 -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1823243 - metamath-0.182 is available https://bugzilla.redhat.com/show_bug.cgi?id=1823243 --------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2020-9f550bd810' 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@lists.fedoraproject.org