| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Carla-2.5.9-2.fc41.x86_64 | Audio plugin host | Fedora 41 testing updates for x86_64 |
| Carla-2.5.9-2.fc41.i686 | Audio plugin host | Fedora 41 testing updates for x86_64 |
| Carla-devel-2.5.9-2.fc41.i686 | Header files to access Carla's API | Fedora 41 testing updates for x86_64 |
| Carla-devel-2.5.9-2.fc41.x86_64 | Header files to access Carla's API | Fedora 41 testing updates for x86_64 |
| Carla-vst-2.5.9-2.fc41.x86_64 | CarlaRack and CarlaPatchbay VST plugins | 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 |
| ca-certificates-2024.2.69_v8.0.401-1.0.fc41.noarch | The Mozilla CA root certificate bundle | Fedora 41 testing updates for x86_64 |
| calf-0.90.8-1.fc41.x86_64 |
Audio plugins pack | 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 |
| candy-icon-theme-0^20250710.git475c5b2-1.fc41.noarch |
Sweet gradient icon theme | 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 |
| 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 |
| clash-meta-1.19.11-2.fc41.x86_64 |
A rule based network proxy tool, also be known as mihomo | 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-342-1.fc41.x86_64 |
Web Console for Linux servers | Fedora 41 testing updates for x86_64 |
| cockpit-389-ds-3.1.3-1.fc41.noarch |
Cockpit UI Plugin for configuring and administering the 389 Directory Server | Fedora 41 testing updates for x86_64 |
| cockpit-bridge-342-1.fc41.noarch |
Cockpit bridge server-side component | Fedora 41 testing updates for x86_64 |
| cockpit-doc-342-1.fc41.noarch |
Cockpit deployment and developer guide | Fedora 41 testing updates for x86_64 |
| cockpit-files-24-1.fc41.noarch |
A filesystem browser for Cockpit | Fedora 41 testing updates for x86_64 |
| cockpit-kdump-342-1.fc41.noarch |
Cockpit user interface for kernel crash dumping | Fedora 41 testing updates for x86_64 |
| cockpit-machines-335-1.fc41.noarch |
Cockpit user interface for virtual machines | Fedora 41 testing updates for x86_64 |
| cockpit-networkmanager-342-1.fc41.noarch |
Cockpit user interface for networking, using NetworkManager | Fedora 41 testing updates for x86_64 |
| cockpit-packagekit-342-1.fc41.noarch |
Cockpit user interface for packages | Fedora 41 testing updates for x86_64 |
| cockpit-podman-109-1.fc41.noarch |
Cockpit component for Podman containers | Fedora 41 testing updates for x86_64 |
| cockpit-selinux-342-1.fc41.noarch |
Cockpit SELinux package | Fedora 41 testing updates for x86_64 |
| cockpit-sosreport-342-1.fc41.noarch |
Cockpit user interface for diagnostic reports | Fedora 41 testing updates for x86_64 |
| cockpit-storaged-342-1.fc41.noarch |
Cockpit user interface for storage, using udisks | Fedora 41 testing updates for x86_64 |
| cockpit-system-342-1.fc41.noarch |
Cockpit admin interface package for configuring and troubleshooting a system | Fedora 41 testing updates for x86_64 |
| cockpit-ws-342-1.fc41.x86_64 |
Cockpit Web Service | Fedora 41 testing updates for x86_64 |
| cockpit-ws-selinux-342-1.fc41.x86_64 |
SELinux security policy for cockpit-ws | 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 |
| compiler-rt18-18.1.8-3.fc41.x86_64 | LLVM "compiler-rt" runtime libraries | Fedora 41 testing updates for x86_64 |
| composer-2.8.10-1.fc41.noarch |
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 |
| cppcheck-2.15.0-1.fc41.x86_64 | Tool for static C/C++ code analysis | Fedora 41 testing updates for x86_64 |
| cppcheck-gui-2.15.0-1.fc41.x86_64 | Graphical user interface for cppcheck | Fedora 41 testing updates for x86_64 |
| cppcheck-htmlreport-2.15.0-1.fc41.x86_64 | HTML reporting for cppcheck | 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 |
| crypto-auditing-agent-0.2.3-1.fc41.x86_64 | Event collector agent for crypto-auditing project | Fedora 41 testing updates for x86_64 |
| crypto-auditing-client-0.2.3-1.fc41.x86_64 | Event broker client for crypto-auditing project | 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 |
| 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, Thu Jul 17 01:32:31 2025