-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2017-033c8000df 2017-01-23 02:23:55.064300 --------------------------------------------------------------------------------
Name : coq Product : Fedora 25 Version : 8.6 Release : 1.fc25 URL : https://coq.inria.fr/ Summary : Proof management system Description : Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides the main Coq binary without an optional IDE, Coqide. -------------------------------------------------------------------------------- Update Information: Changes in coq 8.6: - See https://coq.inria.fr/distrib/V8.6/CHANGES Changes in why3 0.87.3: - fixed OCaml extraction with respect to ghost parameters - assorted bug fixes - support for Alt-Ergo 1.30 (released Nov 21, 2016) - support for Coq 8.6 (released Dec 8, 2016) - support for Gappa 1.3 (released Jul 20, 2016) - discarded support for Isabelle 2015 - support for Isabelle 2016-1 (released Dec 2016) - support for Z3 4.5.0 (released Nov 8, 2016) Changes in why 2.36: - [Frama-C plugin] Compatible with release Magnesium of Frama-C - compatibility with Why3 0.86.1 and above - new options to directly give the Why3 command to execute on the generated intermediate Why3 code: - [Krakatoa] option -why3 - [Jessie] option -why3cmd - [Frama-C plugin] option -jessie-why3 - [Frama-C plugin] options -jessie-timelimit, -jessie-atp discarded All other packages are rebuilds due to the new version of coq. -------------------------------------------------------------------------------- References: [ 1 ] Bug #1330098 - FTBFS: segmentation fault during build https://bugzilla.redhat.com/show_bug.cgi?id=1330098 -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade coq' 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]
