-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2022-ceb992c252 2022-03-31 00:15:27.868108 --------------------------------------------------------------------------------
Name : frama-c Product : Fedora 36 Version : 24.0 Release : 6.fc36 URL : https://frama-c.com/ Summary : Framework for source code analysis of C software Description : Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis. -------------------------------------------------------------------------------- Update Information: Changes in coq 8.15.1: - inconsistency with module subtyping and inductive types ([#15838](https://github.com/coq/coq/issues/15838)) - CoqIDE slowdown on large files - missing `.vok` file creation - cbn regression ([#15567](https://github.com/coq/coq/issues/15567)) - usability of schemes with elim foo using scheme with (P0 := ...) (the P0 name was not accessible in 8.15.0) ([#15420](https://github.com/coq/coq/issues/15420)) - See the [changelog](https://coq.github.io/doc/v8.15/refman/changes.html#changes- in-8-15-1) for detailed changes. Changes in ocaml-zmq 5.1.5: - fix bug in STREAM sockets ([#114](https://github.com/issuu/ocaml-zmq/pull/114), @c-cube) The other builds are simple rebuilds due to the changes above. -------------------------------------------------------------------------------- ChangeLog: * Fri Mar 25 2022 Jerry James <[email protected]> - 24.0-6 - Rebuild for coq 8.15.1 and ocaml-zmq 5.1.5 -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2022-ceb992c252' 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] Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
