-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2020-2e2cf8617f 2020-06-07 19:44:49.165144 --------------------------------------------------------------------------------
Name : pvs-sbcl Product : Fedora 32 Version : 7.0 Release : 2.20200527.12652a0.fc32 URL : http://pvs.csl.sri.com/ Summary : Interactive theorem prover from SRI Description : PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover. It is intended to capture the state-of-the-art in mechanized formal methods and to be sufficiently rugged that it can be used for significant applications. This build of PVS must be invoked as "pvs-sbcl", both to distinguish it from builds with other Common Lisp engines, and to distinguish it from /usr/sbin/pvs in the lvm2 package. -------------------------------------------------------------------------------- Update Information: See https://github.com/SRI-CSL/PVS/commits/master for changes in this version. -------------------------------------------------------------------------------- ChangeLog: * Thu May 28 2020 Jerry James <[email protected]> - 7.0-2.20200218.12652a0 - Update to latest git snapshot for bug fixes - Adapt to TexLive 2020; add -language-manual-latex patch -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2020-2e2cf8617f' 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 -- [email protected] To unsubscribe send an email to [email protected] Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/[email protected]
