[SECURITY] Fedora 43 Update: kernel-7.2.9-100.fc43

The kernel meta package...

[SECURITY] Fedora 43 Update: python3.12-3.12.15-1.fc43

Python 3.12 is an accessible, high-level, dynamically typed, interpreted programming language, designed with an emphasis on code readability. It includes an extensive standard library, and has a vast ecosystem of third-party libraries. The python3.12 package provides the "python3.12" executable:...

[SECURITY] Fedora 43 Update: chromium-154.0.8037.92-1.fc43

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: zenon-0.8.5-45.fc45

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

[SECURITY] Fedora 45 Update: xen-4.21.1-11.fc45

This package contains the XenD daemon and xm command line tools, needed to manage virtual machines running under the Xen hypervisor...

[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: kernel-7.2.9-300.fc45

The kernel meta package...

[SECURITY] Fedora 45 Update: planets-0.1.13-55.fc45

Planets is a simple interactive program for playing with simulations of planetary systems...

[SECURITY] Fedora 45 Update: opam-2.5.2-5.fc45

Opam is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow...

[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: utop-2.17.0-5.fc45

utop is an improved toplevel i.e., Read-Eval-Print Loop for OCaml. It can run in a terminal or in Emacs. It supports line editing, history, real-time and context sensitive completion, colors, and more...

[SECURITY] Fedora 45 Update: prooftree-0.14-14.fc45

Prooftree is a program for proof-tree visualization during interactive proof development in a theorem prover. It is currently being developed for Coq and Proof General. Prooftree helps against getting lost between different subgoals in interactive proof development. It clearly shows where the...

[SECURITY] Fedora 45 Update: unison-2.54.0-4.fc45

Unison is a file-synchronization tool for POSIX-compliant systems e.g. BSD, GNU/Linux, macOS and Windows. It allows two replicas of a collection of files and directories to be stored on different hosts or different disks on the sa me host, modified separately, and then brought up to date by...

[SECURITY] Fedora 45 Update: rocq-stdlib-9.2.0-1.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. This package includes the Rocq Standard Library, that is to say,...

[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: virt-top-1.1.3-4.fc45

virt-top is a 'top1'-like utility for showing stats of virtualized domains. Many keys and command line options are the same as for ordinary 'top'. It uses libvirt so it is capable of showing stats across a variety of different virtualization systems...

[SECURITY] Fedora 45 Update: ocaml-yaml-3.2.0-33.fc45

This is an OCaml library to parse and generate the YAML file format. It is intended to be interoperable with the Ezjsonm 1 JSON handling library, if the simple common subset of Yaml is used. Anchors and other advanced Yaml features are not implemented in the JSON compatibility layer. 1...

[SECURITY] Fedora 45 Update: ocaml-zmq-5.3.0-16.fc45

This library contains basic OCaml bindings for ZeroMQ...

[SECURITY] Fedora 45 Update: ocaml-yamlx-0.5.0-2.fc45

A pure-OCaml YAML 1.2 and 1.1 library with a lossless, comment-preserving AST. Features: - Full YAML 1.2 compliance =E2=80=94 passes all 371 tests from the yaml-test- suite. - Pure OCaml =E2=80=94 no C bindings, no external runtime dependencies. - Lossless AST =E2=80=94 the parsed node tree...

[SECURITY] Fedora 45 Update: ocaml-yojson-3.0.0-14.fc45

Yojson is an optimized parsing and printing library for the JSON format. It addresses a few shortcomings of json-wheel including 2x speedup, polymorphic variants and optional syntax for tuples and variants. ydump is a pretty-printing command-line program provided with the yojson package. The...

[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-xml-light-2.5-22.fc45

Xml-Light is a minimal XML parser & printer for OCaml. It provides functions to parse an XML document into an OCaml data structure, work with it, and print it back to an XML document. It also supports DTD parsing and checking, and is entirely written in OCaml; hence it does not require a C librar...

[SECURITY] Fedora 45 Update: ocaml-xmlrpc-light-0.6.1-92.fc45

XmlRpc-Light is an XmlRpc library written in OCaml...

[SECURITY] Fedora 45 Update: ocaml-xmlm-1.4.0-21.fc45

Xmlm is an OCaml streaming codec to decode and encode the XML data format. It can process XML documents without a complete in-memory representation of the data...

[SECURITY] Fedora 45 Update: ocaml-zarith-1.14-15.fc45

This library implements arithmetic and logical operations over arbitrary-precision integers. The module is simply named "Z". Its interface is similar to that of the Int32, Int64 and Nativeint modules from the OCaml standard library, with some additional functions. See the file z.mlip for...

[SECURITY] Fedora 45 Update: ocaml-zed-3.2.3-25.fc45

Zed is an abstract engine for text editing. It can be used to write text editors, editing widgets, readlines, ... You just have to connect an engine to your inputs and rendering functions to get an editor. Zed provides: editing state management, multiple cursor support, key-binding helpers, and...

[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-uucp-18.0.0-1.fc45

Uucp is an OCaml library providing efficient access to a selection of character properties of the Unicode character database http://www.unicode.org/reports/tr44/. Uucp is independent from any Unicode text data structure and has no dependencies. It is distributed under the ISC license...

[SECURITY] Fedora 45 Update: ocaml-unionfind-20260226-5.fc45

The OCaml library unionFind offers two implementations of the union-find data structure. Both implementations are based on disjoint sets forests, with path compression and linking-by-rank, so as to guarantee good asymptotic complexity: every operation requires a quasi-constant number of accesses ...

[SECURITY] Fedora 45 Update: ocaml-trie-1.0.0-37.fc45

This package contains an implementation of a strict impure trie tree...

[SECURITY] Fedora 45 Update: ocaml-variantslib-0.17.0-14.fc45

This package contains an OCaml syntax extension to define first class values representing variants...

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

Uunf is an OCaml library for normalizing Unicode text. It supports all Unicode normalization forms http://www.unicode.org/reports/tr15/. The library is independent from any I/O mechanism or Unicode text data structure and it can process text without a complete in-memory representation. Uunf depen...

[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-uucd-18.0.0-1.fc45

Uucd is an OCaml module to decode the data of the Unicode character database http://www.unicode.org/reports/tr44/ from its XML representation http://www.unicode.org/reports/tr42/. It provides high-level but not necessarily efficient access to the data so that efficient representations can be...

[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-time-now-0.17.0-15.fc45

This package provides a single OCaml function to report the current time in nanoseconds since the start of the Unix epoch...

[SECURITY] Fedora 45 Update: ocaml-sqlite-5.4.2-1.fc45

SQLite 3 database library wrapper for OCaml...

[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-swhid-core-0.1-13.fc45

swhidcore is an OCaml library to work with persistent identifiers used by Software Heritage, also known as swhid. This is the core library; for most use cases you should use the swhid library instead...

[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-ssl-0.7.0-21.20230714gitffc634d.fc45

SSL bindings for OCaml...

[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-stdio-0.17.0-15.fc45

Stdio provides input/output functions for OCaml. It re-exports the buffered channels of the stdlib distributed with OCaml but with some improvements...

[SECURITY] Fedora 45 Update: ocaml-testo-0.5.0-5.fc45

Testo is a test framework for OCaml that takes inspiration from its predecessor alcotest and from pytest. Features include: - support for explicit XFAIL tests i.e. tests that are expected to fail, indicating that they should be fixed eventually; - support for test snapshots i.e. persistent storag...

[SECURITY] Fedora 45 Update: ocaml-res-5.0.2-10.fc45

This OCaml-library consists of a set of modules which implement automatically resizing =3D reallocating datastructures that consume a contiguous part of memory. This allows appending and removing of elements to/from arrays both boxed and unboxed, strings - buffers, bit strings and weak arrays whi...