July 2022 - package-announce - Fedora Mailing-Lists

by updates＠fedoraproject.org

-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2022-c226de665b 2022-07-01 01:05:36.532419 -------------------------------------------------------------------------------- Name : frama-c Product : Fedora 36 Version : 24.0 Release : 7.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: See https://coq.inria.fr/refman/changes.html for changes in coq 8.15.2. All other builds in this update are simple rebuilds due to the coq update. -------------------------------------------------------------------------------- ChangeLog: * Wed Jun 22 2022 Jerry James <loganjerry(a)gmail.com> - 24.0-7 - Rebuild for coq 8.15.2 -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2022-c226de665b' 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 --------------------------------------------------------------------------------

1 year, 9 months

1
0
0 / 0

Fedora 36 Update: gappalib-coq-1.5.1-3.fc36

by updates＠fedoraproject.org

-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2022-c226de665b 2022-07-01 01:05:36.532419 -------------------------------------------------------------------------------- Name : gappalib-coq Product : Fedora 36 Version : 1.5.1 Release : 3.fc36 URL : https://gitlab.inria.fr/gappa/coq Summary : Coq support library for gappa Description : This support library provides vernacular files so that the certificates Gappa generates can be imported by the Coq proof assistant. It also provides a "gappa" tactic that calls Gappa on the current Coq goal. Gappa (G��n��ration Automatique de Preuves de Propri��t��s Arithm��tiques -- automatic proof generation of arithmetic properties) is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. -------------------------------------------------------------------------------- Update Information: See https://coq.inria.fr/refman/changes.html for changes in coq 8.15.2. All other builds in this update are simple rebuilds due to the coq update. -------------------------------------------------------------------------------- ChangeLog: * Wed Jun 22 2022 Jerry James <loganjerry(a)gmail.com> - 1.5.1-3 - Rebuild for coq 8.15.2 -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2022-c226de665b' 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 --------------------------------------------------------------------------------

1 year, 9 months

1
0
0 / 0

Fedora 36 Update: why3-1.4.1-3.fc36

by updates＠fedoraproject.org

-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2022-c226de665b 2022-07-01 01:05:36.532419 -------------------------------------------------------------------------------- Name : why3 Product : Fedora 36 Version : 1.4.1 Release : 3.fc36 URL : http://why3.lri.fr/ Summary : Software verification platform Description : Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants. -------------------------------------------------------------------------------- Update Information: See https://coq.inria.fr/refman/changes.html for changes in coq 8.15.2. All other builds in this update are simple rebuilds due to the coq update. -------------------------------------------------------------------------------- ChangeLog: * Wed Jun 22 2022 Jerry James <loganjerry(a)gmail.com> - 1.4.1-3 - Rebuild for coq 8.15.2 -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2022-c226de665b' 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 --------------------------------------------------------------------------------

1 year, 9 months

1
0
0 / 0

Fedora 36 Update: zenon-0.8.5-7.fc36

by updates＠fedoraproject.org

-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2022-c226de665b 2022-07-01 01:05:36.532419 -------------------------------------------------------------------------------- Name : zenon Product : Fedora 36 Version : 0.8.5 Release : 7.fc36 URL : http://zenon-prover.org/ Summary : Automated theorem prover for first-order classical logic Description : Zenon is an automated theorem prover for first order classical logic with equality, based on the tableau method. Zenon can read input files in TPTP, Coq, Focal, and its own Zenon format. Zenon can directly generate Coq proofs (proof scripts or proof terms), which can be reinserted into Coq specifications. Zenon can also be extended. -------------------------------------------------------------------------------- Update Information: See https://coq.inria.fr/refman/changes.html for changes in coq 8.15.2. All other builds in this update are simple rebuilds due to the coq update. -------------------------------------------------------------------------------- ChangeLog: * Wed Jun 22 2022 Jerry James <loganjerry(a)gmail.com> - 0.8.5-7 - Rebuild for coq 8.15.2 -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2022-c226de665b' 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 --------------------------------------------------------------------------------

1 year, 9 months

1
0
0 / 0

Fedora 36 Update: ocaml-menhir-20220210-5.fc36

by updates＠fedoraproject.org

-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2022-c226de665b 2022-07-01 01:05:36.532419 -------------------------------------------------------------------------------- Name : ocaml-menhir Product : Fedora 36 Version : 20220210 Release : 5.fc36 URL : http://gallium.inria.fr/~fpottier/menhir/ Summary : LR(1) parser generator for OCaml Description : Menhir is a LR(1) parser generator for the Objective Caml programming language. That is, Menhir compiles LR(1) grammar specifications down to OCaml code. Menhir was designed and implemented by Fran��ois Pottier and Yann R��gis-Gianas. -------------------------------------------------------------------------------- Update Information: See https://coq.inria.fr/refman/changes.html for changes in coq 8.15.2. All other builds in this update are simple rebuilds due to the coq update. -------------------------------------------------------------------------------- ChangeLog: * Wed Jun 22 2022 Jerry James <loganjerry(a)gmail.com> - 20220210-5 - Rebuild for coq 8.15.2 -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2022-c226de665b' 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 --------------------------------------------------------------------------------

1 year, 9 months

1
0
0 / 0

Fedora 36 Update: coq-8.15.2-1.fc36

by updates＠fedoraproject.org

-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2022-c226de665b 2022-07-01 01:05:36.532419 -------------------------------------------------------------------------------- Name : coq Product : Fedora 36 Version : 8.15.2 Release : 1.fc36 URL : https://coq.inria.fr/ Summary : Proof management system Description : Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching. -------------------------------------------------------------------------------- Update Information: See https://coq.inria.fr/refman/changes.html for changes in coq 8.15.2. All other builds in this update are simple rebuilds due to the coq update. -------------------------------------------------------------------------------- ChangeLog: * Sun Jun 19 2022 Richard W.M. Jones <rjones(a)redhat.com> - 8.15.2-1 - Upgrade to 8.15.2 -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2022-c226de665b' 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 --------------------------------------------------------------------------------

1 year, 9 months

1
0
0 / 0

Fedora 36 Update: flocq-3.4.3-3.fc36

by updates＠fedoraproject.org

-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2022-c226de665b 2022-07-01 01:05:36.532419 -------------------------------------------------------------------------------- Name : flocq Product : Fedora 36 Version : 3.4.3 Release : 3.fc36 URL : https://gitlab.inria.fr/flocq/flocq Summary : Formalization of floating point numbers for Coq Description : Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq. -------------------------------------------------------------------------------- Update Information: See https://coq.inria.fr/refman/changes.html for changes in coq 8.15.2. All other builds in this update are simple rebuilds due to the coq update. -------------------------------------------------------------------------------- ChangeLog: * Wed Jun 22 2022 Jerry James <loganjerry(a)gmail.com> - 3.4.3-3 - Rebuild for coq 8.15.2 -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2022-c226de665b' 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 --------------------------------------------------------------------------------

1 year, 9 months

1
0
0 / 0

Fedora 36 Update: psi-plus-1.5.1633-1.fc36

by updates＠fedoraproject.org

-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2022-581328f623 2022-07-01 01:05:36.532409 -------------------------------------------------------------------------------- Name : psi-plus Product : Fedora 36 Version : 1.5.1633 Release : 1.fc36 URL : https://psi-plus.com Summary : Jabber client based on Qt Description : psi-plus is the premiere Instant Messaging application designed for Microsoft Windows, Apple Mac OS X and GNU/Linux. Built upon an open protocol named Jabber, psi-plus is a fast and lightweight messaging client that utilises the best in open source technologies. psi-plus contains all the features necessary to chat, with no bloated extras that slow your computer down. The Jabber protocol provides gateways to other protocols as AIM, ICQ, MSN and Yahoo!. -------------------------------------------------------------------------------- Update Information: Updated to version 1.5.1633. -------------------------------------------------------------------------------- ChangeLog: * Wed Jun 22 2022 Vitaly Zaitsev <vitaly(a)easycoding.org> - 1:1.5.1633-1 - Updated to version 1.5.1633. -------------------------------------------------------------------------------- References: [ 1 ] Bug #2086543 - psi-plus-1.5.1633 is available https://bugzilla.redhat.com/show_bug.cgi?id=2086543 -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2022-581328f623' 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 --------------------------------------------------------------------------------

1 year, 9 months

1
0
0 / 0

Fedora 36 Update: scitokens-cpp-0.7.1-1.fc36

by updates＠fedoraproject.org

-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2022-b03d93e078 2022-07-01 01:05:36.532400 -------------------------------------------------------------------------------- Name : scitokens-cpp Product : Fedora 36 Version : 0.7.1 Release : 1.fc36 URL : https://github.com/scitokens/scitokens-cpp Summary : C++ Implementation of the SciTokens Library Description : C++ Implementation of the SciTokens Library -------------------------------------------------------------------------------- Update Information: - Enabling unit tests should not disable install of libraries and binaries - Warnings as errors option - Convert CMakeLists.txt to "modern" cmake style - fix apparent fd-leak of sqlite handle -------------------------------------------------------------------------------- ChangeLog: * Wed Jun 22 2022 Derek Weitzel <dweitzel(a)unl.edu> - 0.7.1-1 - Add scitokens-* binaries to the package - Bug: close sqlite db handle on return -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2022-b03d93e078' 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 --------------------------------------------------------------------------------

1 year, 9 months

1
0
0 / 0

Fedora 36 Update: golang-github-prometheus-common-0.35.0-1.fc36

by updates＠fedoraproject.org

-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2022-026d26a5ec 2022-07-01 01:05:36.532391 -------------------------------------------------------------------------------- Name : golang-github-prometheus-common Product : Fedora 36 Version : 0.35.0 Release : 1.fc36 URL : https://github.com/prometheus/common Summary : Go libraries shared across prometheus components and libraries Description : This repository contains Go libraries that are shared across Prometheus components and libraries. - config: Common configuration structures - expfmt: Decoding and encoding for the exposition format - log: A logging wrapper around logrus - model: Shared data structures - route: A routing wrapper around httprouter using context.Context - version: Version information and metrics -------------------------------------------------------------------------------- Update Information: Update to 0.35.0 Close: rhbz#2008041 -------------------------------------------------------------------------------- ChangeLog: * Wed Jun 22 2022 Robert-Andr�� Mauchin <zebob.m(a)gmail.com> 0.35.0-1 - Update to 0.35.0 Close: rhbz#2008041 -------------------------------------------------------------------------------- References: [ 1 ] Bug #2008041 - golang-github-prometheus-common-0.35.0 is available https://bugzilla.redhat.com/show_bug.cgi?id=2008041 -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2022-026d26a5ec' 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 --------------------------------------------------------------------------------

1 year, 9 months

1
0
0 / 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

package-announce July 2022