[SECURITY] Fedora 45 Update: haxe-4.3.7-9.fc45

Haxe is an open source toolkit based on a modern, high level, strictly typed programming language, a cross-compiler, a complete cross-platform standard library and ways to access each platform's native capabilities...

[SECURITY] Fedora 45 Update: guestfs-tools-1.57.3-3.fc45

guestfs-tools is a set of tools that can be used to make batch configuration changes to guests, get disk used/free statistics virt-df, perform backups and guest clones, change registry/UUID/hostname info, build guests from scratch virt-builder and much more. Virt-alignment-scan scans virtual...

[SECURITY] Fedora 45 Update: hivex-1.3.24-23.fc45

Hive files are the undocumented binary files that Windows uses to store the Windows Registry on disk. Hivex is a library that can read and write to these files. 'hivexsh' is a shell you can use to interactively navigate a hive binary file. 'hivexregedit' in perl-hivex lets you export and merge to...

[SECURITY] Fedora 45 Update: frama-c-33.0-3.fc45

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

[SECURITY] Fedora 45 Update: flocq-4.2.2-7.fc45

Flocq Floats for Rocq is a floating-point formalization for the Rocq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Rocq...

[SECURITY] Fedora 45 Update: coccinelle-1.3.3-2.fc45

Coccinelle is a tool to utilize semantic patches for manipulating C code. It was originally designed to ease maintenance of device drivers in the Linux kernel...

[SECURITY] Fedora 45 Update: emacs-common-tuareg-3.0.1-17.fc45

Tuareg is an OCaml mode for GNU Emacs. It handles automatic indentation of Objective Caml and Caml Light code. Key parts of the code are highlighted using Font-Lock. Support to run an interactive Caml toplevel and debbuger is provided. This package contains the common files. Install emacs-tuareg ...

[SECURITY] Fedora 45 Update: hevea-2.38-6.fc45

HEVEA is a quite complete and fast LATEX to HTML translator. HEVEA renders symbols by using the so-called HTML "entities", which modern browsers display correctly most of the time...

[SECURITY] Fedora 45 Update: gappalib-coq-1.11.0-5.fc45

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=C3=A9n=C3=A9ration Automatique de Preuves de Propri=C3=A9t=C3=A9s Ar...

[SECURITY] Fedora 45 Update: apron-0.9.15-21.fc45

The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables, like 1=3Dx+y=3Dz, wh ich holds during any execution of the program. The APRON library is intended to ...

[SECURITY] Fedora 45 Update: alt-ergo-2.4.3-5.fc45

Alt-Ergo is an automated theorem prover implemented in OCaml. It is based on CCX - a congruence closure algorithm parameterized by an equational theory X. This algorithm is reminiscent of the Shostak algorithm. Currently CCX is instantiated by the theory of linear arithmetics. Alt-Ergo also...

[SECURITY] Fedora 45 Update: brltty-6.9.1-9.fc45

BRLTTY is a background process daemon which provides access to the Linux/Unix console when in text mode for a blind person using a refreshable braille display. It drives the braille display and provides complete screen review functionality. BRLTTY can also work with speech synthesizers; if you wa...

[SECURITY] Fedora 45 Update: 0install-2.18-16.fc45

Zero Install is a decentralized cross-distribution software installation system. Other features include full support for shared libraries with a SAT solver for dependency resolution, sharing between users, and integration with native platform package managers. It supports both binary and source...

[SECURITY] Fedora 45 Update: perl-DBI-1.655-1.fc45

DBI is a database access Application Programming Interface API for the Perl Language. The DBI API Specification defines a set of functions, variables and conventions that provide a consistent database interface independent of the actual database being used...

[SECURITY] Fedora 45 Update: cri-o1.36-1.36.6-1.fc45

Open Container Initiative-based implementation of Kubernetes Container Runtime Interface...

[SECURITY] Fedora 43 Update: cri-o1.36-1.36.6-1.fc43

Open Container Initiative-based implementation of Kubernetes Container Runtime Interface...

[SECURITY] Fedora 43 Update: pgbouncer-1.26.0-1.fc43

pgbouncer is a lightweight connection pooler for PostgreSQL and uses libevent for low-level socket handling...

[SECURITY] Fedora 43 Update: python-urllib3-2.8.0-1.fc43

urllib3 is a powerful, user-friendly HTTP client for Python. urllib3 brings many critical features that are missing from the Python standard libraries: =E2=80=A2 Thread safety. =E2=80=A2 Connection pooling. =E2=80=A2 Client-side SSL/TLS verification. =E2=80=A2 File uploads with multipart encoding...

[SECURITY] Fedora 43 Update: python-streamlink-8.4.0-2.fc43

Streamlink is a command-line utility that pipes video streams from various services into a video player, such as VLC. The main purpose of Streamlink is to allow the user to avoid buggy and CPU heavy flash plugins but still be able to enjoy various streamed content. There is also an API available...

[SECURITY] Fedora 44 Update: chromium-154.0.8037.92-1.fc44

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

[SECURITY] Fedora 44 Update: cri-o1.36-1.36.6-1.fc44

Open Container Initiative-based implementation of Kubernetes Container Runtime Interface...

[SECURITY] Fedora 44 Update: pgbouncer-1.26.0-1.fc44

pgbouncer is a lightweight connection pooler for PostgreSQL and uses libevent for low-level socket handling...

[SECURITY] Fedora 45 Update: noctalia-5.2.1-1.fc45

Noctalia is a native Wayland desktop shell for people who want a polished, configurable Linux desktop without stitching together a separate bar, launche r, notification daemon, lock screen, wallpaper tool, and settings UI...

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

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

[SECURITY] Fedora 45 Update: openssl-4.0.3-1.fc45

The OpenSSL toolkit provides support for secure communications between machines. OpenSSL includes a certificate management tool and shared libraries which provide various cryptographic algorithms and protocols...

[SECURITY] Fedora 45 Update: libX11-1.8.13-3.fc45

Core X11 protocol client library...

[SECURITY] Fedora 45 Update: curl-8.21.0-6.fc45

curl is a command line tool for transferring data with URL syntax, supporting FTP, FTPS, HTTP, HTTPS, SCP, SFTP, TFTP, TELNET, DICT, LDAP, LDAPS, FILE, IMA P, SMTP, POP3 and RTSP. curl supports SSL certificates, HTTP POST, HTTP PUT, FTP uploading, HTTP form based upload, proxies, cookies,...

[SECURITY] Fedora 45 Update: nagios-plugins-2.5-2.fc45

Nagios is a program that will monitor hosts and services on your network, and to email or page you when a problem arises or is resolved. Nagios runs on a Unix server as a background or daemon process, intermittently running checks on various services that you specify. The actual service checks ar...

[SECURITY] Fedora 45 Update: pgbouncer-1.26.0-1.fc45

pgbouncer is a lightweight connection pooler for PostgreSQL and uses libevent for low-level socket handling...

[SECURITY] Fedora 45 Update: budgie-desktop-view-10.10.3-2.fc45

Official Budgie desktop icons application / implementation...

[SECURITY] Fedora 45 Update: budgie-desktop-services-1.0.3-1.fc45

The future central hub and orchestrator for Budgie Desktop with a focus on Budgie 11. Today, it primarily provides Wayland-native display configuration for Budgie 10.10; over time it will coordinate broader desktop logic for Budgie 11...

[SECURITY] Fedora 45 Update: budgie-desktop-10.10.3-2.fc45

A feature-rich, modern desktop designed to keep out the way of the user...

[SECURITY] Fedora 45 Update: pocillo-gtk-theme-0.13.0-1.fc45

Pocillo is a Material Design theme for the Budgie Desktop...

[SECURITY] Fedora 45 Update: budgie-control-center-2.1.3-3.fc45

A fork of GNOME Control Center for the Budgie 10 Series...

[SECURITY] Fedora 45 Update: rust-salsa-macro-rules-0.28.5-1.fc45

Declarative macros for the salsa crate...

[SECURITY] Fedora 45 Update: rust-libcst_derive-1.9.0-1.fc45

Proc macro helpers for libcst...

[SECURITY] Fedora 45 Update: rust-salsa-macros-0.28.5-1.fc45

Procedural macros for the salsa crate...

[SECURITY] Fedora 45 Update: uv-0.12.19-1.fc45

An extremely fast Python package and project manager, written in Rust. Highlights: =E2=80=A2 A single tool to replace pip, pip-tools, pipx, poetry, pyenv, twi ne, virtualenv, and more. =E2=80=A2 10-100x faster than pip. =E2=80=A2 Provides comprehensive project management, with a universal lockf...

[SECURITY] Fedora 45 Update: ty-0.0.84-1.fc45

An extremely fast Python type checker and language server, written in Rust...

[SECURITY] Fedora 45 Update: rust-salsa-0.28.5-1.fc45

A generic framework for on-demand, incrementalized computation experimental...

[SECURITY] Fedora 45 Update: rust-libcst-1.9.0-1.fc45

A Python parser and Concrete Syntax Tree library...

[SECURITY] Fedora 45 Update: python-uv-build-0.12.19-1.fc45

This package is a slimmed down version of uv containing only the build backend...

[SECURITY] Fedora 45 Update: ruff-0.16.9-1.fc45

An extremely fast Python linter and code formatter, written in Rust. Ruff aims to be orders of magnitude faster than alternative tools while integrating more functionality behind a single, common interface. Ruff can be used to replace Flake8 plus dozens of plugins, Black, isort, pydocstyle,...

[SECURITY] Fedora 44 Update: python3.12-3.12.15-1.fc44

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 44 Update: flatpak-1.18.4-1.fc44

flatpak is a system for building, distributing and running sandboxed desktop applications on Linux. See https://wiki.gnome.org/Projects/SandboxedApps for more information...

[SECURITY] Fedora 44 Update: nanosvg-20221221-11.fc44

NanoSVG is a simple stupid single-header-file SVG parse. The output of the parser is a list of cubic bezier shapes. The library suits well for anything from rendering scalable icons in your editor application to prototyping a game...

[SECURITY] Fedora 44 Update: prometheus-3.15.0-1.fc44

The Prometheus monitoring system and time series database...

[SECURITY] Fedora 44 Update: lemonldap-ng-2.23.4-1.fc44

LemonLdap::NG is a modular Web-SSO based on Apache::Session modules. It simplifies the build of a protected area with a few changes in the application. It manages both authentication and authorization and provides headers for accounting. So you can have a full AAA protection for your web space as...

[SECURITY] Fedora 44 Update: assimp-6.0.5-5.fc44

Assimp, the Open Asset Import Library, is a free library to import various well-known 3D model formats into applications. Assimp aims to provide a full asset conversion pipeline for use in game engines and real-time rendering systems, but is not limited to these applications...

[SECURITY] Fedora 43 Update: nanosvg-20221221-11.fc43

NanoSVG is a simple stupid single-header-file SVG parse. The output of the parser is a list of cubic bezier shapes. The library suits well for anything from rendering scalable icons in your editor application to prototyping a game...