-------------------------------------------------------------------------------- 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@gmail.com - 0.167-1 - New upstream version * Sat Nov 10 2018 Jerry James loganjerry@gmail.com - 0.166-1 - New upstream version * Mon Oct 29 2018 Jerry James loganjerry@gmail.com - 0.165-1 - New upstream version * Sat Sep 22 2018 Jerry James loganjerry@gmail.com - 0.164-1 - New upstream version * Sat Aug 4 2018 Jerry James loganjerry@gmail.com - 0.163-1 - New upstream version (bz 1612479) * Fri Jul 13 2018 Fedora Release Engineering releng@fedoraproject.org - 0.162-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Mon Jun 4 2018 Jerry James loganjerry@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 --------------------------------------------------------------------------------
package-announce@lists.fedoraproject.org