[SECURITY] Fedora 45 Update: NetworkManager-1.58.1-3.fc45

NetworkManager is a system service that manages network interfaces and connections based on user or automatic configuration. It supports Ethernet, Bridge, Bond, VLAN, Team, InfiniBand, Wi-Fi, mobile broadband WWAN, PPPoE and other devices, and supports a variety of different VPN services...

Fedora 45 : kernel (2026-e96bbfedfe)

The remote Fedora 45 host has a package installed that is affected by a vulnerability as referenced in the FEDORA-2026-e96bbfedfe advisory. The 7.2.11 stable kernel updates contain a number of important fixes across the tree. ---- The 7.2.10 stable kernel updates contain a number of important fix...

[SECURITY] Fedora 45 Update: chromium-154.0.8037.97-1.fc45

Chromium is an open-source web browser, powered by WebKit Blink...

[SECURITY] Fedora 45 Update: why3-1.8.2-15.fc45

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...

[SECURITY] Fedora 45 Update: z3-5.1.0-2.fc45

Z3 is a satisfiability modulo theories SMT solver; given a set of constraints with variables, it reports a set of values for those variables that would meet the constraints. The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard. Z3 supports arithmetic, fixed-size...

[SECURITY] Fedora 45 Update: virt-v2v-2.13.7-2.fc45

Virt-v2v converts a single guest from a foreign hypervisor to run on KVM. It can read Linux and Windows guests running on VMware, Xen, Hyper-V and some other hypervisors, and convert them to KVM managed by libvirt, OpenStack, oVirt, Red Hat Virtualisation RHV or several other targets. It can modi...

[SECURITY] Fedora 45 Update: supermin-5.3.5-12.fc45

Supermin is a tool for building supermin appliances. These are tiny appliances similar to virtual machines, usually around 100KB in size, which get fully instantiated on-the-fly in a fraction of a second when you need to boot one of them. Note that if you want to run 'supermin --prepare' you will...

[SECURITY] Fedora 45 Update: rocq-9.3.0-2.fc45

Rocq 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 proof s. Typical applications include the certification of properties of...

[SECURITY] Fedora 45 Update: plplot-5.15.0-117.fc45

PLplot is a library of functions that are useful for making scientific plots. PLplot can be used from within compiled languages such as C, C++, FORTRAN and Java, and interactively from interpreted languages such as Octave, Python, Perl and Tcl. The PLplot library can be used to create standard x-...

[SECURITY] Fedora 45 Update: ocaml-zip-1.14-5.fc45

This Objective Caml library provides easy access to compressed files in ZIP and GZIP format, as well as to Java JAR files. It provides functions for reading from and writing to compressed files in these formats...

[SECURITY] Fedora 45 Update: ocaml-topkg-1.1.1-7.fc45

Topkg is a packager for distributing OCaml software. It provides an API to describe the files a package installs in a given build configuration and to specify information about the package's distribution, creation and publication procedures...

[SECURITY] Fedora 45 Update: ocaml-uuseg-18.0.0-2.fc45

Uuseg is an OCaml library for segmenting Unicode text. It implements the locale-independent Unicode text segmentation algorithms http://www.unicode.org/reports/tr29/ to detect grapheme cluster, word and sentence boundaries and the Unicode line breaking algorithm http://www.unicode.org/reports/tr1...

[SECURITY] Fedora 45 Update: ocaml-version-4.1.4-1.fc45

This library provides facilities to parse version numbers of the OCaml compiler, and enumerates the various official OCaml releases and configuration variants. OCaml version numbers are of the form major.minor.patch+extra, where the patch and extra fields are optional. This library offers the...

[SECURITY] Fedora 45 Update: ocaml-uutf-1.0.4-11.fc45

Uutf is a non-blocking streaming codec to decode and encode the UTF-8, UTF-16, UTF-16LE and UTF-16BE encoding schemes. It can efficiently work character by character without blocking on I/O. Decoders perform character position tracking and support newline normalization. Functions are also provide...

[SECURITY] Fedora 45 Update: ocaml-spdx-licenses-1.5.0-2.fc45

spdxlicenses is an OCaml library aiming to provide an up-to-date and strict SPDX License Expression parser. It implements the format described in https://spdx.github.io/spdx-spec/appendix-IV-SPDX-license-expressions/...

[SECURITY] Fedora 45 Update: ocaml-store-0.2-5.fc45

Store is a library to add snapshotting capabilities to imperative data structures with low runtime cost and safe, user-friendly APIs. It is designed for and works best with applications that exploit backtracking algorithms, such as SMT solvers, type-checking and type-inference algorithms...

[SECURITY] Fedora 45 Update: ocaml-stdlib-random-1.2.0-16.fc45

The stdlib-random package provides a stable and compiler-independent implementation of all the PRNGs used in the Random module. Those PRNGs are available in the various libraries: - stdlib-random.v3: OCaml 3.07 to 3.11 PRNG - stdlib-random.v4: OCaml 3.12 to 4.14 PRNG - stdlib-random.v5: current...

[SECURITY] Fedora 45 Update: ocaml-stdcompat-22.0-1.fc45

Stdcompat is a compatibility layer allowing programs to use some recent additions to the OCaml standard library while preserving the ability to be compiled on former versions of OCaml. The Stdcompat API is not intended to be stable, but there will be efforts to allow future versions of Stdcompat ...

[SECURITY] Fedora 45 Update: ocaml-sexplib-0.17.0-13.fc45

This package contains a library for serializing OCaml values to and from S-expressions...

[SECURITY] Fedora 45 Update: ocaml-qcheck-0.91-7.fc45

Qcheck enables checking invariants properties of a type over randomly generated instances of the type. It provides combinators for generating instances and printing them. This package is a compatibility wrapper for qcheck. New code should use either ocaml-qcheck-alcotest or ocaml-qcheck-ounit...