Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

RPM shipped by Fedora Project

CGAL-demos-source-5.6.3-1.fc41.noarchNew Examples and demos of CGAL algorithms Fedora 41 testing updates for x86_64
CGAL-devel-5.6.3-1.fc41.i686New Development files and tools for CGAL applications Fedora 41 testing updates for x86_64
CGAL-devel-5.6.3-1.fc41.x86_64New Development files and tools for CGAL applications Fedora 41 testing updates for x86_64
CGAL-qt5-devel-5.6.3-1.fc41.x86_64New Development files and tools for CGAL applications using CGAL_Qt5 Fedora 41 testing updates for x86_64
CGAL-qt5-devel-5.6.3-1.fc41.i686New Development files and tools for CGAL applications using CGAL_Qt5 Fedora 41 testing updates for x86_64
c4fs-0.0.1^20240622git59cfbae-2.fc41.i686 C++ file system utilities Fedora 41 testing updates for x86_64
c4fs-0.0.1^20240622git59cfbae-2.fc41.x86_64 C++ file system utilities Fedora 41 testing updates for x86_64
c4fs-devel-0.0.1^20240622git59cfbae-2.fc41.x86_64 Development files for c4fs Fedora 41 testing updates for x86_64
c4fs-devel-0.0.1^20240622git59cfbae-2.fc41.i686 Development files for c4fs Fedora 41 testing updates for x86_64
c4log-0.0.1^20240501gitf4cf64c-3.fc41.i686 C++ type-safe logging, mean and lean Fedora 41 testing updates for x86_64
c4log-0.0.1^20240501gitf4cf64c-3.fc41.x86_64 C++ type-safe logging, mean and lean Fedora 41 testing updates for x86_64
c4log-devel-0.0.1^20240501gitf4cf64c-3.fc41.x86_64 Development files for c4log Fedora 41 testing updates for x86_64
c4log-devel-0.0.1^20240501gitf4cf64c-3.fc41.i686 Development files for c4log Fedora 41 testing updates for x86_64
calibre-7.19.0-2.fc41.x86_64 E-book converter and library manager Fedora 41 testing updates for x86_64
capstats-0.31-1.fc41.x86_64 A command-line tool collecting packet statistics Fedora 41 testing updates for x86_64
capypdf-0.11.0-1.fc41.i686 Fully color-managed PDF generation library Fedora 41 testing updates for x86_64
capypdf-0.11.0-1.fc41.x86_64 Fully color-managed PDF generation library Fedora 41 testing updates for x86_64
capypdf-devel-0.11.0-1.fc41.i686 Development files for capypdf Fedora 41 testing updates for x86_64
capypdf-devel-0.11.0-1.fc41.x86_64 Development files for capypdf Fedora 41 testing updates for x86_64
cargo2rpm-0.1.18-1.fc41.noarch Translation layer between cargo and RPM Fedora 41 testing updates for x86_64
catch-3.7.1-1.fc41.x86_64 Modern, C++-native, header-only, framework for unit-tests, TDD and BDD Fedora 41 testing updates for x86_64
catch-3.7.1-1.fc41.i686 Modern, C++-native, header-only, framework for unit-tests, TDD and BDD Fedora 41 testing updates for x86_64
catch-devel-3.7.1-1.fc41.x86_64 Development files for catch Fedora 41 testing updates for x86_64
catch-devel-3.7.1-1.fc41.i686 Development files for catch Fedora 41 testing updates for x86_64
catdoc-0.95-26.fc41.x86_64 A program which converts Microsoft office files to plain text Fedora 41 testing updates for x86_64
catdoc-wordview-0.95-26.fc41.x86_64 Display Microsoft Word files in a graphical window Fedora 41 testing updates for x86_64
cheese-44.1-7.fc41.x86_64 Application for taking pictures and movies from a webcam Fedora 41 testing updates for x86_64
cheese-libs-44.1-7.fc41.i686 Webcam display and capture widgets Fedora 41 testing updates for x86_64
cheese-libs-44.1-7.fc41.x86_64 Webcam display and capture widgets Fedora 41 testing updates for x86_64
cheese-libs-devel-44.1-7.fc41.x86_64 Development files for cheese-libs Fedora 41 testing updates for x86_64
cheese-libs-devel-44.1-7.fc41.i686 Development files for cheese-libs Fedora 41 testing updates for x86_64
chessx-1.6.2-1.fc41.x86_64 Chess Database and PGN viewer Fedora 41 testing updates for x86_64
chewing-editor-0.1.1^20240716g0c25a46-1.fc41.x86_64 Cross platform chewing user phrase editor Fedora 41 testing updates for x86_64
chisel-1.10.0-1.fc41.x86_64 TCP tunnel over HTTP Fedora 41 testing updates for x86_64
chromedriver-140.0.7339.207-1.fc41.x86_64New WebDriver for Google Chrome/Chromium Fedora 41 testing updates for x86_64
chromium-140.0.7339.207-1.fc41.x86_64New A WebKit (Blink) powered web browser that Google doesn't want you to use Fedora 41 testing updates for x86_64
chromium-common-140.0.7339.207-1.fc41.x86_64New Files needed for both the headless_shell and full Chromium Fedora 41 testing updates for x86_64
chromium-headless-140.0.7339.207-1.fc41.x86_64New A minimal headless shell built from Chromium Fedora 41 testing updates for x86_64
chromium-qt5-ui-140.0.7339.207-1.fc41.x86_64New Qt5 UI built from Chromium Fedora 41 testing updates for x86_64
chromium-qt6-ui-140.0.7339.207-1.fc41.x86_64New Qt6 UI built from Chromium Fedora 41 testing updates for x86_64
cifs-utils-7.1-2.fc41.x86_64 Utilities for mounting and managing CIFS mounts Fedora 41 testing updates for x86_64
cifs-utils-devel-7.1-2.fc41.i686 Files needed for building plugins for cifs-utils Fedora 41 testing updates for x86_64
cifs-utils-devel-7.1-2.fc41.x86_64 Files needed for building plugins for cifs-utils Fedora 41 testing updates for x86_64
cifs-utils-info-7.1-2.fc41.x86_64 Additional tools for querying information about CIFS mount Fedora 41 testing updates for x86_64
cjson-1.7.18-1.fc41.i686 Ultralightweight JSON parser in ANSI C Fedora 41 testing updates for x86_64
cjson-1.7.18-1.fc41.x86_64 Ultralightweight JSON parser in ANSI C Fedora 41 testing updates for x86_64
cjson-devel-1.7.18-1.fc41.x86_64 Development files for cJSON Fedora 41 testing updates for x86_64
cjson-devel-1.7.18-1.fc41.i686 Development files for cJSON Fedora 41 testing updates for x86_64
clang15-15.0.7-8.fc41.x86_64 A C language family front-end for LLVM Fedora 41 testing updates for x86_64
clang15-15.0.7-8.fc41.i686 A C language family front-end for LLVM Fedora 41 testing updates for x86_64
clang15-devel-15.0.7-8.fc41.x86_64 Development header files for clang Fedora 41 testing updates for x86_64
clang15-devel-15.0.7-8.fc41.i686 Development header files for clang Fedora 41 testing updates for x86_64
clang15-libs-15.0.7-8.fc41.x86_64 Runtime library for clang Fedora 41 testing updates for x86_64
clang15-libs-15.0.7-8.fc41.i686 Runtime library for clang Fedora 41 testing updates for x86_64
clang15-resource-filesystem-15.0.7-8.fc41.i686 Filesystem package that owns the clang resource directory Fedora 41 testing updates for x86_64
clang15-resource-filesystem-15.0.7-8.fc41.x86_64 Filesystem package that owns the clang resource directory Fedora 41 testing updates for x86_64
clang17-17.0.6-9.fc41.i686 A C language family front-end for LLVM Fedora 41 testing updates for x86_64
clang17-17.0.6-9.fc41.x86_64 A C language family front-end for LLVM Fedora 41 testing updates for x86_64
clang17-analyzer-17.0.6-9.fc41.x86_64 A source code analysis framework Fedora 41 testing updates for x86_64
clang17-devel-17.0.6-9.fc41.x86_64 Development header files for clang Fedora 41 testing updates for x86_64
clang17-devel-17.0.6-9.fc41.i686 Development header files for clang Fedora 41 testing updates for x86_64
clang17-libs-17.0.6-9.fc41.i686 Runtime library for clang Fedora 41 testing updates for x86_64
clang17-libs-17.0.6-9.fc41.x86_64 Runtime library for clang Fedora 41 testing updates for x86_64
clang17-resource-filesystem-17.0.6-9.fc41.x86_64 Filesystem package that owns the clang resource directory Fedora 41 testing updates for x86_64
clang17-tools-extra-17.0.6-9.fc41.i686 Extra tools for clang Fedora 41 testing updates for x86_64
clang17-tools-extra-17.0.6-9.fc41.x86_64 Extra tools for clang Fedora 41 testing updates for x86_64
clang17-tools-extra-devel-17.0.6-9.fc41.x86_64 Development header files for clang tools Fedora 41 testing updates for x86_64
clang17-tools-extra-devel-17.0.6-9.fc41.i686 Development header files for clang tools Fedora 41 testing updates for x86_64
clang18-18.1.8-5.fc41.x86_64 A C language family front-end for LLVM Fedora 41 testing updates for x86_64
clang18-18.1.8-5.fc41.i686 A C language family front-end for LLVM Fedora 41 testing updates for x86_64
clang18-analyzer-18.1.8-5.fc41.x86_64 A source code analysis framework Fedora 41 testing updates for x86_64
clang18-devel-18.1.8-5.fc41.x86_64 Development header files for clang Fedora 41 testing updates for x86_64
clang18-devel-18.1.8-5.fc41.i686 Development header files for clang Fedora 41 testing updates for x86_64
clang18-libs-18.1.8-5.fc41.x86_64 Runtime library for clang Fedora 41 testing updates for x86_64
clang18-libs-18.1.8-5.fc41.i686 Runtime library for clang Fedora 41 testing updates for x86_64
clang18-resource-filesystem-18.1.8-5.fc41.x86_64 Filesystem package that owns the clang resource directory Fedora 41 testing updates for x86_64
clang18-tools-extra-18.1.8-5.fc41.x86_64 Extra tools for clang Fedora 41 testing updates for x86_64
clang18-tools-extra-18.1.8-5.fc41.i686 Extra tools for clang Fedora 41 testing updates for x86_64
clang18-tools-extra-devel-18.1.8-5.fc41.i686 Development header files for clang tools Fedora 41 testing updates for x86_64
clang18-tools-extra-devel-18.1.8-5.fc41.x86_64 Development header files for clang tools Fedora 41 testing updates for x86_64
clisp-2.49.93-40.20240901gitc735dd5.fc41.x86_64 ANSI Common Lisp implementation Fedora 41 testing updates for x86_64
clisp-2.49.93-40.20240901gitc735dd5.fc41.i686 ANSI Common Lisp implementation Fedora 41 testing updates for x86_64
clisp-devel-2.49.93-40.20240901gitc735dd5.fc41.x86_64 Development files for CLISP Fedora 41 testing updates for x86_64
clisp-devel-2.49.93-40.20240901gitc735dd5.fc41.i686 Development files for CLISP Fedora 41 testing updates for x86_64
cockpit-389-ds-3.1.3-3.fc41.noarchNew Cockpit UI Plugin for configuring and administering the 389 Directory Server Fedora 41 testing updates for x86_64
coin-or-Alps-1.5.12-1.fc41.x86_64 COIN-OR High-Performance Parallel Search Framework Fedora 41 testing updates for x86_64
coin-or-Alps-devel-1.5.12-1.fc41.x86_64 Development files for coin-or-Alps Fedora 41 testing updates for x86_64
coin-or-Alps-doc-1.5.12-1.fc41.noarch Documentation files for coin-or-Alps Fedora 41 testing updates for x86_64
coin-or-Cbc-2.10.12-1.fc41.x86_64 Coin-or branch and cut Fedora 41 testing updates for x86_64
coin-or-Cbc-2.10.12-1.fc41.i686 Coin-or branch and cut Fedora 41 testing updates for x86_64
coin-or-Cbc-devel-2.10.12-1.fc41.i686 Development files for coin-or-Cbc Fedora 41 testing updates for x86_64
coin-or-Cbc-devel-2.10.12-1.fc41.x86_64 Development files for coin-or-Cbc Fedora 41 testing updates for x86_64
coin-or-Cbc-doc-2.10.12-1.fc41.noarch Documentation files for coin-or-Cbc Fedora 41 testing updates for x86_64
coin-or-Cgl-0.60.9-1.fc41.i686 Cut Generation Library Fedora 41 testing updates for x86_64
coin-or-Cgl-0.60.9-1.fc41.x86_64 Cut Generation Library Fedora 41 testing updates for x86_64
coin-or-Cgl-devel-0.60.9-1.fc41.i686 Development files for coin-or-Cgl Fedora 41 testing updates for x86_64
coin-or-Cgl-devel-0.60.9-1.fc41.x86_64 Development files for coin-or-Cgl Fedora 41 testing updates for x86_64
coin-or-Cgl-doc-0.60.9-1.fc41.noarch Documentation files for coin-or-Cgl Fedora 41 testing updates for x86_64
coin-or-Clp-1.17.10-1.fc41.i686 Coin-or linear programming Fedora 41 testing updates for x86_64
coin-or-Clp-1.17.10-1.fc41.x86_64 Coin-or linear programming Fedora 41 testing updates for x86_64
coin-or-Clp-devel-1.17.10-1.fc41.i686 Development files for coin-or-Clp Fedora 41 testing updates for x86_64
coin-or-Clp-devel-1.17.10-1.fc41.x86_64 Development files for coin-or-Clp Fedora 41 testing updates for x86_64
coin-or-Clp-doc-1.17.10-1.fc41.noarch Documentation files for coin-or-Clp Fedora 41 testing updates for x86_64
coin-or-CoinUtils-2.11.12-1.fc41.i686 Coin-or Utilities Fedora 41 testing updates for x86_64
coin-or-CoinUtils-2.11.12-1.fc41.x86_64 Coin-or Utilities Fedora 41 testing updates for x86_64
coin-or-CoinUtils-devel-2.11.12-1.fc41.i686 Development files for coin-or-CoinUtils Fedora 41 testing updates for x86_64
coin-or-CoinUtils-devel-2.11.12-1.fc41.x86_64 Development files for coin-or-CoinUtils Fedora 41 testing updates for x86_64
coin-or-CoinUtils-doc-2.11.12-1.fc41.x86_64 Documentation files for coin-or-CoinUtils Fedora 41 testing updates for x86_64
coin-or-Couenne-0.5.8-19.fc41.x86_64 An exact solver for nonconvex MINLPs Fedora 41 testing updates for x86_64
coin-or-Couenne-devel-0.5.8-19.fc41.x86_64 Development files for coin-or-Couenne Fedora 41 testing updates for x86_64
coin-or-Couenne-doc-0.5.8-19.fc41.x86_64 Documentation files for coin-or-Couenne Fedora 41 testing updates for x86_64
coin-or-Ipopt-3.14.16-1.fc41.x86_64 Interior Point OPTimizer Fedora 41 testing updates for x86_64
coin-or-Ipopt-common-3.14.16-1.fc41.noarch Documentation files for coin-or-Ipopt Fedora 41 testing updates for x86_64
coin-or-Ipopt-devel-3.14.16-1.fc41.x86_64 Development files for coin-or-Ipopt Fedora 41 testing updates for x86_64
coin-or-Ipopt-mpich-3.14.16-1.fc41.x86_64 Interior Point OPTimizer compiled against mpich Fedora 41 testing updates for x86_64
coin-or-Ipopt-mpich-devel-3.14.16-1.fc41.x86_64 The coin-or-Ipopt headers and development-related files Fedora 41 testing updates for x86_64
coin-or-Ipopt-openmpi-3.14.16-1.fc41.x86_64 Interior Point OPTimizer compiled against openmpi Fedora 41 testing updates for x86_64
coin-or-Ipopt-openmpi-devel-3.14.16-1.fc41.x86_64 The coin-or-Ipopt headers and development-related files Fedora 41 testing updates for x86_64
coin-or-OS-2.10.3-15.fc41.x86_64 Optimization Services Fedora 41 testing updates for x86_64
coin-or-OS-devel-2.10.3-15.fc41.x86_64 Development files for coin-or-OS Fedora 41 testing updates for x86_64
coin-or-OS-doc-2.10.3-15.fc41.x86_64 Documentation files for coin-or-OS Fedora 41 testing updates for x86_64
coin-or-Osi-0.108.11-1.fc41.x86_64 COIN-OR Open Solver Interface Library Fedora 41 testing updates for x86_64
coin-or-Osi-0.108.11-1.fc41.i686 COIN-OR Open Solver Interface Library Fedora 41 testing updates for x86_64
coin-or-Osi-devel-0.108.11-1.fc41.x86_64 Development files for coin-or-Osi Fedora 41 testing updates for x86_64
coin-or-Osi-devel-0.108.11-1.fc41.i686 Development files for coin-or-Osi Fedora 41 testing updates for x86_64
coin-or-Osi-doc-0.108.11-1.fc41.noarch Documentation files for coin-or-Osi Fedora 41 testing updates for x86_64
coin-or-SYMPHONY-5.7.2-1.fc41.x86_64 Solver for mixed-integer linear programs Fedora 41 testing updates for x86_64
coin-or-SYMPHONY-devel-5.7.2-1.fc41.x86_64 Development files for coin-or-SYMPHONY Fedora 41 testing updates for x86_64
compat-golang-github-hetznercloud-hcloud-2-devel-2.13.1-1.fc41.noarch Go library for the Hetzner Cloud API Fedora 41 testing updates for x86_64
compat-golang-github-masterminds-semver-3-devel-3.3.0-1.fc41.noarch Work with semantic versions in Go Fedora 41 testing updates for x86_64
compat-golang-github-willf-bitset-devel-1.24.0-2.fc41.noarchNew Go package implementing bitsets Fedora 41 testing updates for x86_64
compiler-rt18-18.1.8-3.fc41.x86_64 LLVM "compiler-rt" runtime libraries Fedora 41 testing updates for x86_64
composer-2.8.12-1.fc41.noarchNew Dependency Manager for PHP Fedora 41 testing updates for x86_64
conda-build-24.7.1-1.fc41.noarch Commands and tools for building conda packages Fedora 41 testing updates for x86_64
containernetworking-plugins-1.8.0-2.fc41.x86_64New Reference and example networking plugins, maintained by the CNI team Fedora 41 testing updates for x86_64
copr-backend-2.9-1.fc41.noarchNew Backend for Copr Fedora 41 testing updates for x86_64
copr-backend-doc-2.9-1.fc41.noarchNew Code documentation for COPR backend Fedora 41 testing updates for x86_64
copr-builder-1.5-1.fc41.x86_64New copr-rpmbuild with all weak dependencies Fedora 41 testing updates for x86_64
copr-dist-git-1.3-1.fc41.noarchNew Copr services for Dist Git server Fedora 41 testing updates for x86_64
copr-frontend-2.4-1.fc41.noarchNew Frontend for Copr Fedora 41 testing updates for x86_64
copr-frontend-devel-2.4-1.fc41.noarchNew Development files to build against copr-frontend Fedora 41 testing updates for x86_64
copr-frontend-fedora-2.4-1.fc41.noarchNew Template files for copr-frontend Fedora 41 testing updates for x86_64
copr-keygen-2.2-1.fc41.noarchNew Part of Copr build system. Aux service that generate keys for signd Fedora 41 testing updates for x86_64
copr-keygen-doc-2.2-1.fc41.noarchNew Code documentation for copr-keygen component of Copr buildsystem Fedora 41 testing updates for x86_64
copr-rpmbuild-1.5-1.fc41.x86_64New Run COPR build tasks Fedora 41 testing updates for x86_64
cptutils-1.82-1.fc41.x86_64 Utilities to manipulate and translate color gradients Fedora 41 testing updates for x86_64
cpuid-20240916-1.fc41.x86_64 Dumps information about the CPU(s) Fedora 41 testing updates for x86_64
croaring-4.1.6-1.fc41.x86_64 Roaring bitmaps in C (and C++), with SIMD (AVX2, AVX-512 and NEON) optimizations Fedora 41 testing updates for x86_64
croaring-4.1.6-1.fc41.i686 Roaring bitmaps in C (and C++), with SIMD (AVX2, AVX-512 and NEON) optimizations Fedora 41 testing updates for x86_64
croaring-devel-4.1.6-1.fc41.i686 Development files for croaring Fedora 41 testing updates for x86_64
croaring-devel-4.1.6-1.fc41.x86_64 Development files for croaring Fedora 41 testing updates for x86_64
cros-adapta-126-3.fc41.noarch Chromium OS GTK Theme Fedora 41 testing updates for x86_64
cros-garcon-126-3.fc41.noarch Chromium OS Garcon Bridge Fedora 41 testing updates for x86_64
cros-guest-tools-126-3.fc41.noarch Chromium OS integration meta package Fedora 41 testing updates for x86_64
cros-host-fonts-126-3.fc41.noarch Chromium OS Host Fonts Configuration Fedora 41 testing updates for x86_64
cros-logging-126-3.fc41.noarch Journald config for Chromium OS integration Fedora 41 testing updates for x86_64
cros-notificationd-126-3.fc41.noarch Chromium OS Notification Bridge Fedora 41 testing updates for x86_64
cros-pulse-config-126-3.fc41.noarch PulseAudio helper for Chromium OS integration. Fedora 41 testing updates for x86_64
cros-sommelier-126-3.fc41.noarch This package installs unit-files and support scripts for sommelier Fedora 41 testing updates for x86_64
cros-sommelier-config-126-3.fc41.noarch Sommelier config for Chromium OS integration Fedora 41 testing updates for x86_64
cros-sudo-config-126-3.fc41.noarch sudo config for Chromium OS integration. Fedora 41 testing updates for x86_64
cros-systemd-overrides-126-3.fc41.noarch Systemd overrides for running under Chromium OS Fedora 41 testing updates for x86_64
cros-ui-config-126-3.fc41.noarch UI integration for Chromium OS Fedora 41 testing updates for x86_64
cros-wayland-126-3.fc41.noarch Wayland extras for virtwl in Chromium OS Fedora 41 testing updates for x86_64
crust-firmware-0.6-3.fc41.noarch An Open Source SCP firmware for AllWinner SoCs Fedora 41 testing updates for x86_64
cryptlib-3.4.8-15.fc41.x86_64New Security library and toolkit for encryption and authentication services Fedora 41 testing updates for x86_64
cryptlib-devel-3.4.8-15.fc41.x86_64New Cryptlib application development files Fedora 41 testing updates for x86_64
cryptlib-java-3.4.8-15.fc41.x86_64New Cryptlib bindings for Java Fedora 41 testing updates for x86_64
cryptlib-javadoc-3.4.8-15.fc41.noarchNew Cryptlib Java documentation Fedora 41 testing updates for x86_64
cryptlib-perl-3.4.8-15.fc41.x86_64New Cryptlib bindings for perl Fedora 41 testing updates for x86_64
cryptlib-python3-3.4.8-15.fc41.x86_64New Cryptlib bindings for python3 Fedora 41 testing updates for x86_64
cryptlib-test-3.4.8-15.fc41.x86_64New Cryptlib test program Fedora 41 testing updates for x86_64
cryptlib-tools-3.4.8-15.fc41.x86_64New Collection of stand-alone programs that use Cryptlib Fedora 41 testing updates for x86_64
crypto-auditing-log-parser-0.2.3-1.fc41.x86_64 Event log parser for crypto-auditing project Fedora 41 testing updates for x86_64
cups-2.4.14-2.fc41.x86_64New CUPS printing system Fedora 41 testing updates for x86_64
cups-client-2.4.14-2.fc41.x86_64New CUPS printing system - client programs Fedora 41 testing updates for x86_64
cups-devel-2.4.14-2.fc41.i686New CUPS printing system - development environment Fedora 41 testing updates for x86_64
cups-devel-2.4.14-2.fc41.x86_64New CUPS printing system - development environment Fedora 41 testing updates for x86_64
cups-filesystem-2.4.14-2.fc41.noarchNew CUPS printing system - directory layout Fedora 41 testing updates for x86_64
cups-ipptool-2.4.14-2.fc41.x86_64New CUPS printing system - tool for performing IPP requests Fedora 41 testing updates for x86_64
cups-libs-2.4.14-2.fc41.i686New CUPS printing system - libraries Fedora 41 testing updates for x86_64
cups-libs-2.4.14-2.fc41.x86_64New CUPS printing system - libraries Fedora 41 testing updates for x86_64
cups-lpd-2.4.14-2.fc41.x86_64New CUPS printing system - lpd emulation Fedora 41 testing updates for x86_64
cups-printerapp-2.4.14-2.fc41.x86_64New CUPS printing system - tools for printer application Fedora 41 testing updates for x86_64
cvc5-1.2.0-1.fc41.x86_64 Automatic theorem prover for SMT problems Fedora 41 testing updates for x86_64
cvc5-devel-1.2.0-1.fc41.x86_64 Headers and other files for developing with cvc5 Fedora 41 testing updates for x86_64
cvc5-java-1.2.0-1.fc41.x86_64 Java interface to cvc5 Fedora 41 testing updates for x86_64
cvc5-libs-1.2.0-1.fc41.x86_64 Library containing an automatic theorem prover for SMT problems Fedora 41 testing updates for x86_64
cxsc-2.5.4-28.fc41.x86_64 C++ library for Extended Scientific Computing Fedora 41 testing updates for x86_64
cxsc-devel-2.5.4-28.fc41.x86_64 Header files for developing applications that use cxsc Fedora 41 testing updates for x86_64
cxsc-doc-2.5.4-28.fc41.x86_64 API documentation for cxsc Fedora 41 testing updates for x86_64

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Sep 28 01:23:26 2025