Fedora 36 Update: frama-c-24.0-6.fc36
by updates@fedoraproject.org
--------------------------------------------------------------------------------
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 <loganjerry(a)gmail.com> - 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
--------------------------------------------------------------------------------
2 years, 1 month
Fedora 36 Update: zenon-0.8.5-6.fc36
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2022-ceb992c252
2022-03-31 00:15:27.868108
--------------------------------------------------------------------------------
Name : zenon
Product : Fedora 36
Version : 0.8.5
Release : 6.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:
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 <loganjerry(a)gmail.com> - 0.8.5-6
- Rebuild for coq 8.15.1
--------------------------------------------------------------------------------
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
--------------------------------------------------------------------------------
2 years, 1 month
Fedora 36 Update: ocaml-zmq-5.1.5-1.fc36
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2022-ceb992c252
2022-03-31 00:15:27.868108
--------------------------------------------------------------------------------
Name : ocaml-zmq
Product : Fedora 36
Version : 5.1.5
Release : 1.fc36
URL : https://github.com/issuu/ocaml-zmq
Summary : ZeroMQ bindings for OCaml
Description :
This library contains basic OCaml bindings for ZeroMQ.
--------------------------------------------------------------------------------
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:
* Thu Mar 24 2022 Jerry James <loganjerry(a)gmail.com> - 5.1.5-1
- Version 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
--------------------------------------------------------------------------------
2 years, 1 month
Fedora 36 Update: ocaml-menhir-20220210-4.fc36
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2022-ceb992c252
2022-03-31 00:15:27.868108
--------------------------------------------------------------------------------
Name : ocaml-menhir
Product : Fedora 36
Version : 20220210
Release : 4.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:
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:
* Sat Mar 26 2022 Jerry James <loganjerry(a)gmail.com> - 20220210-4
- Rebuild for coq 8.15.1
--------------------------------------------------------------------------------
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
--------------------------------------------------------------------------------
2 years, 1 month
Fedora 36 Update: flocq-3.4.3-2.fc36
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2022-ceb992c252
2022-03-31 00:15:27.868108
--------------------------------------------------------------------------------
Name : flocq
Product : Fedora 36
Version : 3.4.3
Release : 2.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:
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 <loganjerry(a)gmail.com> - 3.4.3-2
- Rebuild for coq 8.15.1
--------------------------------------------------------------------------------
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
--------------------------------------------------------------------------------
2 years, 1 month
Fedora 36 Update: coq-8.15.1-1.fc36
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2022-ceb992c252
2022-03-31 00:15:27.868108
--------------------------------------------------------------------------------
Name : coq
Product : Fedora 36
Version : 8.15.1
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:
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 <loganjerry(a)gmail.com> - 8.15.1-1
- Version 8.15.1
--------------------------------------------------------------------------------
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
--------------------------------------------------------------------------------
2 years, 1 month
[SECURITY] Fedora 36 Update: libkiwix-10.1.0-1.fc36
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2022-1f0643b63a
2022-03-31 00:15:27.868097
--------------------------------------------------------------------------------
Name : libkiwix
Product : Fedora 36
Version : 10.1.0
Release : 1.fc36
URL : https://github.com/kiwix/libkiwix
Summary : Common code base for all Kiwix ports
Description :
The Kiwix library provides the Kiwix software core. It contains
the code shared by all Kiwix ports.
--------------------------------------------------------------------------------
Update Information:
Updated to version 10.1.0 with XSS fix. Changelog:
https://github.com/kiwix/libkiwix/releases/tag/10.1.0
--------------------------------------------------------------------------------
ChangeLog:
* Sat Mar 26 2022 Vitaly Zaitsev <vitaly(a)easycoding.org> - 10.1.0-1
- Updated to version 10.1.0.
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2022-1f0643b63a' 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
--------------------------------------------------------------------------------
2 years, 1 month
Fedora 36 Update: nheko-0.9.3-1.fc36
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2022-f5f72bf32b
2022-03-31 00:15:27.868086
--------------------------------------------------------------------------------
Name : nheko
Product : Fedora 36
Version : 0.9.3
Release : 1.fc36
URL : https://github.com/Nheko-Reborn/nheko
Summary : Desktop client for the Matrix protocol
Description :
The motivation behind the project is to provide a native desktop app
for Matrix that feels more like a mainstream chat app.
--------------------------------------------------------------------------------
Update Information:
Updated to version 0.9.3.
--------------------------------------------------------------------------------
ChangeLog:
* Sat Mar 26 2022 Vitaly Zaitsev <vitaly(a)easycoding.org> - 0.9.3-1
- Updated to version 0.9.3.
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2022-f5f72bf32b' 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
--------------------------------------------------------------------------------
2 years, 1 month
Fedora 36 Update: geeqie-1.7.2-9.fc36
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2022-df75ad7dca
2022-03-31 00:15:27.868074
--------------------------------------------------------------------------------
Name : geeqie
Product : Fedora 36
Version : 1.7.2
Release : 9.fc36
URL : https://www.geeqie.org
Summary : Image browser and viewer
Description :
Geeqie has been forked from the GQview project with the goal of picking up
development and integrating patches. It is an image viewer for browsing
through graphics files. Its many features include single click file
viewing, support for external editors, previewing images using thumbnails,
and zoom.
--------------------------------------------------------------------------------
Update Information:
More formats (including archives) enabled
--------------------------------------------------------------------------------
ChangeLog:
* Sat Mar 26 2022 Peter Lemenkov <lemenkov(a)gmail.com> 1.7.2-8
- More available formats
* Wed Mar 23 2022 Marcus M��ller <marcus(a)hostalia.de> 1.7.2-6
- Use current, letsencrypt-certified https URL
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2022-df75ad7dca' 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
--------------------------------------------------------------------------------
2 years, 1 month
Fedora 36 Update: qflipper-1.0.0-2.fc36
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2022-922aadddb7
2022-03-31 00:15:27.868062
--------------------------------------------------------------------------------
Name : qflipper
Product : Fedora 36
Version : 1.0.0
Release : 2.fc36
URL : https://update.flipperzero.one
Summary : Desktop application for updating Flipper Zero firmware via PC
Description :
Graphical desktop application for updating Flipper Zero firmware via PC.
Features:
* Update Flipper's firmware and supplemental data with a press of one button
* Repair a broken fimware installation
* Stream Flipper's display and control it remotely
* Install firmware from a .dfu file
* Backup and restore settings, progress and pairing data
* Automatic self-update feature
* Command line interface
--------------------------------------------------------------------------------
Update Information:
Update to 1.0.0
--------------------------------------------------------------------------------
ChangeLog:
* Sat Mar 26 2022 Davide Cavalca <davide(a)cavalca.name> 1.0.0-1
- Update to 1.0.0; Fixes: RHBZ#2068765
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #2068765 - qflipper-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=2068765
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2022-922aadddb7' 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
--------------------------------------------------------------------------------
2 years, 1 month