| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| 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 |
| 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 |
| 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 |
| conda-build-24.7.1-1.fc41.noarch | Commands and tools for building conda packages | Fedora 41 testing updates for x86_64 |
| cosmic-app-library-1.0.0~beta.1.1-1.fc41.x86_64 |
App Library program for the COSMIC Desktop Environment | Fedora 41 testing updates for x86_64 |
| cosmic-applets-1.0.0~beta.1.1-1.fc41.x86_64 |
Applets for the COSMIC Desktop Environment | Fedora 41 testing updates for x86_64 |
| cosmic-bg-1.0.0~beta.1.1-1.fc41.x86_64 |
Background manager for the COSMIC Desktop Environment | Fedora 41 testing updates for x86_64 |
| cosmic-comp-1.0.0~beta.1.1-1.fc41.x86_64 |
Compositor for the COSMIC Desktop Environment | Fedora 41 testing updates for x86_64 |
| cosmic-edit-1.0.0~beta.1.1-1.fc41.x86_64 |
Libcosmic text editor | Fedora 41 testing updates for x86_64 |
| cosmic-files-1.0.0~beta.1.1-1.fc41.x86_64 |
Libcosmic file manager | Fedora 41 testing updates for x86_64 |
| cosmic-greeter-1.0.0~beta.1.1-1.fc41.x86_64 |
Login and display manager for the COSMIC Desktop Environment | Fedora 41 testing updates for x86_64 |
| cosmic-icon-theme-1.0.0~beta.1.1-1.fc41.noarch |
Icon theme for the COSMIC Desktop Environment | Fedora 41 testing updates for x86_64 |
| cosmic-idle-1.0.0~beta.1.1-1.fc41.x86_64 |
Idle notify manager for COSMIC | Fedora 41 testing updates for x86_64 |
| cosmic-initial-setup-1.0.0~beta.1.1-1.fc41.x86_64 |
Initial setup application for the COSMIC desktop environment | Fedora 41 testing updates for x86_64 |
| cosmic-launcher-1.0.0~beta.1.1-1.fc41.x86_64 |
Pop launcher frontend for the COSMIC Desktop Environment | Fedora 41 testing updates for x86_64 |
| cosmic-notifications-1.0.0~beta.1.1-1.fc41.x86_64 |
Notifications daemon for the COSMIC Desktop Environment | Fedora 41 testing updates for x86_64 |
| cosmic-osd-1.0.0~beta.1.1-1.fc41.x86_64 |
OSDs for the COSMIC Desktop Environment | Fedora 41 testing updates for x86_64 |
| cosmic-panel-1.0.0~beta.1.1-1.fc41.x86_64 |
Panel for the COSMIC Desktop Environment | Fedora 41 testing updates for x86_64 |
| cosmic-player-1.0.0~beta.1.1-1.fc41.x86_64 |
COSMIC media player | Fedora 41 testing updates for x86_64 |
| cosmic-randr-1.0.0~beta.1.1-1.fc41.x86_64 |
Display configuration command line tool | Fedora 41 testing updates for x86_64 |
| cosmic-screenshot-1.0.0~beta.1.1-1.fc41.x86_64 |
Screenshot utility for the COSMIC Desktop Environment | Fedora 41 testing updates for x86_64 |
| cosmic-session-1.0.0~beta.1.1-2.fc41.x86_64 |
Session manager for the COSMIC desktop environment | Fedora 41 testing updates for x86_64 |
| cosmic-settings-1.0.0~beta.1.1-1.fc41.x86_64 |
Settings app for the COSMIC Desktop Environment | Fedora 41 testing updates for x86_64 |
| cosmic-settings-daemon-1.0.0~beta.1.1-1.fc41.x86_64 |
Settings daemon for the COSMIC Desktop Environment | Fedora 41 testing updates for x86_64 |
| cosmic-store-1.0.0~beta.1.1-1.fc41.x86_64 |
App store for the COSMIC Desktop Environment | Fedora 41 testing updates for x86_64 |
| cosmic-term-1.0.0~beta.1.1-1.fc41.x86_64 |
Terminal emulator built with alacritty and Libcosmic | Fedora 41 testing updates for x86_64 |
| cosmic-wallpapers-1.0.0~beta.1.1-1.fc41.noarch |
Default wallpapers for the COSMIC Desktop Environment | Fedora 41 testing updates for x86_64 |
| cosmic-workspaces-1.0.0~beta.1.1-1.fc41.x86_64 |
Workspaces overview for the COSMIC Desktop Environment | 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-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, Sun Oct 12 23:42:49 2025