| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| c-icap-0.6.3-2.fc40 | An implementation of an ICAP server | linux/x86_64 |
|
| c-icap-debuginfo-0.6.3-2.fc40 | Debug information for package c-icap | linux/x86_64 |
|
| c-icap-debuginfo-0.6.3-2.fc40 | Debug information for package c-icap | linux/i686 | linux/x86_64 |
| c-icap-debugsource-0.6.3-2.fc40 | Debug sources for package c-icap | linux/i686 |
|
| c-icap-debugsource-0.6.3-2.fc40 | Debug sources for package c-icap | linux/x86_64 | linux/i686 |
| c-icap-devel-0.6.3-2.fc40 | Development tools for c-icap | linux/x86_64 |
|
| c-icap-devel-0.6.3-2.fc40 | Development tools for c-icap | linux/i686 | linux/x86_64 |
| c-icap-libs-0.6.3-2.fc40 | Libraries used by c-icap | linux/i686 |
|
| c-icap-libs-0.6.3-2.fc40 | Libraries used by c-icap | linux/x86_64 | linux/i686 |
| c-icap-libs-debuginfo-0.6.3-2.fc40 | Debug information for package c-icap-libs | linux/x86_64 |
|
| c-icap-libs-debuginfo-0.6.3-2.fc40 | Debug information for package c-icap-libs | linux/i686 | linux/x86_64 |
| caca-utils-0.99-0.73.beta20.fc40 | Colour AsCii Art Text mode graphics utilities based on libcaca | linux/x86_64 | |
| caca-utils-debuginfo-0.99-0.73.beta20.fc40 | Debug information for package caca-utils | linux/x86_64 | |
| cadical-1.9.5-1.fc40 | Simplified SAT solver | linux/x86_64 | |
| cadical-debuginfo-1.9.5-1.fc40 | Debug information for package cadical | linux/x86_64 | |
| cadical-debugsource-1.9.5-1.fc40 | Debug sources for package cadical | linux/x86_64 | |
| cadical-devel-1.9.5-1.fc40 | Development files for cadical | linux/x86_64 | |
| cadical-libs-1.9.5-1.fc40 | Simplified SAT solver library | linux/x86_64 | |
| cadical-libs-debuginfo-1.9.5-1.fc40 | Debug information for package cadical-libs | linux/x86_64 |
| calf-0.90.6-1.fc40 | Audio plugins pack | linux/x86_64 |
|
| calf-debuginfo-0.90.6-1.fc40 | Debug information for package calf | linux/x86_64 |
|
| calf-debugsource-0.90.6-1.fc40 | Debug sources for package calf | linux/x86_64 |
|
| cambozola-0.936-24.fc40 | A viewer for multipart jpeg streams | linux/noarch | |
| cambozola-javadoc-0.936-24.fc40 | Javadoc for cambozola | linux/noarch | |
| canl-java-2.8.3-6.fc40 | EMI Common Authentication library - bindings for Java | linux/noarch | |
| canl-java-javadoc-2.8.3-6.fc40 | Javadoc documentation for canl-java | linux/noarch | |
| cargo-deny-0.18.2-1.fc40 | Cargo plugin to help you manage large dependency graphs | linux/x86_64 |
|
| cargo-deny-debuginfo-0.18.2-1.fc40 | Debug information for package cargo-deny | linux/x86_64 |
|
| catch-3.5.3-1.fc40 | Modern, C++-native, header-only, framework for unit-tests, TDD and BDD | linux/i686 | |
| catch-3.5.3-1.fc40 | Modern, C++-native, header-only, framework for unit-tests, TDD and BDD | linux/x86_64 | linux/i686 |
| catch-debuginfo-3.5.3-1.fc40 | Debug information for package catch | linux/x86_64 | |
| catch-debuginfo-3.5.3-1.fc40 | Debug information for package catch | linux/i686 | linux/x86_64 |
| catch-debugsource-3.5.3-1.fc40 | Debug sources for package catch | linux/i686 | |
| catch-debugsource-3.5.3-1.fc40 | Debug sources for package catch | linux/x86_64 | linux/i686 |
| catch-devel-3.5.3-1.fc40 | Development files for catch | linux/i686 | |
| catch-devel-3.5.3-1.fc40 | Development files for catch | linux/x86_64 | linux/i686 |
| ccache-swig-4.2.1-2.fc40 | Fast compiler cache | linux/x86_64 | |
| ccache-swig-debuginfo-4.2.1-2.fc40 | Debug information for package ccache-swig | linux/x86_64 | |
| ccluster-1.1.7-4.fc40 | Cluster the roots of a univariate polynomial | linux/x86_64 |
| ccluster-debuginfo-1.1.7-4.fc40 | Debug information for package ccluster | linux/x86_64 | |
| ccluster-debugsource-1.1.7-4.fc40 | Debug sources for package ccluster | linux/x86_64 | |
| ccluster-devel-1.1.7-4.fc40 | Development files for ccluster | linux/x86_64 | |
| cdi-api-2.0.2-14.fc40 | CDI API | linux/noarch | |
| cdi-api-javadoc-2.0.2-14.fc40 | API documentation for cdi-api | linux/noarch | |
| cepces-0.3.9-1.fc40 | Certificate Enrollment through CEP/CES | linux/noarch | |
| cepces-certmonger-0.3.9-1.fc40 | certmonger integration for cepces | linux/noarch | |
| cepces-selinux-0.3.9-1.fc40 | SELinux support for cepces | linux/noarch | |
| certbot-3.1.0-1.fc40 | A free, automated certificate authority client | linux/noarch |
|
| cfitsio-4.4.0-2.fc40 | Library for manipulating FITS data files | linux/x86_64 | |
| cfitsio-4.4.0-2.fc40 | Library for manipulating FITS data files | linux/i686 | linux/x86_64 |
| cfitsio-debuginfo-4.4.0-2.fc40 | Debug information for package cfitsio | linux/i686 | |
| cfitsio-debuginfo-4.4.0-2.fc40 | Debug information for package cfitsio | linux/x86_64 | linux/i686 |
| cfitsio-debugsource-4.4.0-2.fc40 | Debug sources for package cfitsio | linux/x86_64 | |
| cfitsio-debugsource-4.4.0-2.fc40 | Debug sources for package cfitsio | linux/i686 | linux/x86_64 |
| cfitsio-devel-4.4.0-2.fc40 | Headers required when building programs against cfitsio | linux/i686 | |
| cfitsio-devel-4.4.0-2.fc40 | Headers required when building programs against cfitsio | linux/x86_64 | linux/i686 |
| cfitsio-docs-4.4.0-2.fc40 | Documentation for cfitsio | linux/noarch | |
| cfitsio-static-4.4.0-2.fc40 | Static cfitsio library | linux/i686 | |
| cfitsio-static-4.4.0-2.fc40 | Static cfitsio library | linux/x86_64 | linux/i686 |
| cglib-3.3.0-15.fc40 | Code Generation Library for Java | linux/noarch | |
| cglib-javadoc-3.3.0-15.fc40 | Javadoc for cglib | linux/noarch | |
| classloader-leak-test-framework-2.7.0-8.fc40 | Detection and verification of Java ClassLoader leaks | linux/noarch | |
| classloader-leak-test-framework-javadoc-2.7.0-8.fc40 | Javadoc for classloader-leak-test-framework | linux/noarch | |
| clojure-1.11.2-1.fc40 | A dynamic programming language that targets the Java Virtual Machine | linux/noarch | |
| clojure-core-specs-alpha-0.2.62-8.fc40 | Clojure library containing specs to describe Clojure core macros and functions | linux/noarch | |
| clojure-maven-plugin-1.9.2-6.fc40 | Clojure plugin for Maven | linux/noarch | |
| clojure-spec-alpha-0.3.218-8.fc40 | Spec is a Clojure library to describe the structure of data and functions | linux/noarch | |
| clover2-11.0.0-6.fc40 | Yet another compiler language | linux/x86_64 | |
| clover2-debuginfo-11.0.0-6.fc40 | Debug information for package clover2 | linux/i686 | |
| clover2-debuginfo-11.0.0-6.fc40 | Debug information for package clover2 | linux/x86_64 | linux/i686 |
| clover2-debugsource-11.0.0-6.fc40 | Debug sources for package clover2 | linux/x86_64 | |
| clover2-debugsource-11.0.0-6.fc40 | Debug sources for package clover2 | linux/i686 | linux/x86_64 |
| clover2-devel-11.0.0-6.fc40 | Development files for clover2 | linux/i686 | |
| clover2-devel-11.0.0-6.fc40 | Development files for clover2 | linux/x86_64 | linux/i686 |
| clover2-devel-debuginfo-11.0.0-6.fc40 | Debug information for package clover2-devel | linux/x86_64 | |
| clover2-devel-debuginfo-11.0.0-6.fc40 | Debug information for package clover2-devel | linux/i686 | linux/x86_64 |
| clover2-libs-11.0.0-6.fc40 | Library package needed for clover2 | linux/x86_64 | |
| clover2-libs-11.0.0-6.fc40 | Library package needed for clover2 | linux/i686 | linux/x86_64 |
| clover2-libs-debuginfo-11.0.0-6.fc40 | Debug information for package clover2-libs | linux/x86_64 |
| clover2-libs-debuginfo-11.0.0-6.fc40 | Debug information for package clover2-libs | linux/i686 | linux/x86_64 |
| codehaus-parent-4-30.fc40 | Parent pom file for codehaus projects | linux/noarch | |
| coin-or-Cbc-2.10.11-2.fc40 | Coin-or branch and cut | linux/i686 | |
| coin-or-Cbc-2.10.11-2.fc40 | Coin-or branch and cut | linux/x86_64 | linux/i686 |
| coin-or-Cbc-debuginfo-2.10.11-2.fc40 | Debug information for package coin-or-Cbc | linux/x86_64 | |
| coin-or-Cbc-debuginfo-2.10.11-2.fc40 | Debug information for package coin-or-Cbc | linux/i686 | linux/x86_64 |
| coin-or-Cbc-debugsource-2.10.11-2.fc40 | Debug sources for package coin-or-Cbc | linux/x86_64 | |
| coin-or-Cbc-debugsource-2.10.11-2.fc40 | Debug sources for package coin-or-Cbc | linux/i686 | linux/x86_64 |
| coin-or-Cbc-devel-2.10.11-2.fc40 | Development files for coin-or-Cbc | linux/x86_64 | |
| coin-or-Cbc-devel-2.10.11-2.fc40 | Development files for coin-or-Cbc | linux/i686 | linux/x86_64 |
| coin-or-Cbc-doc-2.10.11-2.fc40 | Documentation files for coin-or-Cbc | linux/noarch | |
| coin-or-Couenne-0.5.8-16.fc40 | An exact solver for nonconvex MINLPs | linux/x86_64 | |
| coin-or-Couenne-debuginfo-0.5.8-16.fc40 | Debug information for package coin-or-Couenne | linux/x86_64 | |
| coin-or-Couenne-debugsource-0.5.8-16.fc40 | Debug sources for package coin-or-Couenne | linux/x86_64 | |
| coin-or-Couenne-devel-0.5.8-16.fc40 | Development files for coin-or-Couenne | linux/x86_64 | |
| coin-or-Couenne-doc-0.5.8-16.fc40 | Documentation files for coin-or-Couenne | linux/x86_64 | |
| coin-or-Osi-0.108.9-2.fc40 | COIN-OR Open Solver Interface Library | linux/x86_64 | |
| coin-or-Osi-0.108.9-2.fc40 | COIN-OR Open Solver Interface Library | linux/i686 | linux/x86_64 |
| coin-or-Osi-debuginfo-0.108.9-2.fc40 | Debug information for package coin-or-Osi | linux/x86_64 | |
| coin-or-Osi-debuginfo-0.108.9-2.fc40 | Debug information for package coin-or-Osi | linux/i686 | linux/x86_64 |
| coin-or-Osi-debugsource-0.108.9-2.fc40 | Debug sources for package coin-or-Osi | linux/i686 | |
| coin-or-Osi-debugsource-0.108.9-2.fc40 | Debug sources for package coin-or-Osi | linux/x86_64 | linux/i686 |
| coin-or-Osi-devel-0.108.9-2.fc40 | Development files for coin-or-Osi | linux/i686 | |
| coin-or-Osi-devel-0.108.9-2.fc40 | Development files for coin-or-Osi | linux/x86_64 | linux/i686 |
| coin-or-Osi-doc-0.108.9-2.fc40 | Documentation files for coin-or-Osi | linux/noarch | |
| colorgcc-1.4.5-24.fc40 | Script to colorize the compiler output | linux/noarch | |
| colossus-0.14.0-27.fc40 | Allows people to play Titan against each other or AIs | linux/noarch | |
| colossus-javadoc-0.14.0-27.fc40 | Javadocs for colossus | linux/noarch | |
| compat-golang-github-cli-gh2-devel-2.6.0-1.fc40 | A Go module for interacting with gh and the GitHub API from the command line | linux/noarch | |
| compiler-rt17-17.0.6-6.fc40 | LLVM "compiler-rt" runtime libraries | linux/x86_64 | |
| compiler-rt17-debuginfo-17.0.6-6.fc40 | Debug information for package compiler-rt17 | linux/x86_64 | |
| compiler-rt17-debugsource-17.0.6-6.fc40 | Debug sources for package compiler-rt17 | linux/x86_64 | |
| compiz-0.8.18-13.fc40 | OpenGL window and compositing manager | linux/x86_64 | |
| compiz-0.8.18-13.fc40 | OpenGL window and compositing manager | linux/i686 | linux/x86_64 |
| compiz-debuginfo-0.8.18-13.fc40 | Debug information for package compiz | linux/x86_64 | |
| compiz-debuginfo-0.8.18-13.fc40 | Debug information for package compiz | linux/i686 | linux/x86_64 |
| compiz-debugsource-0.8.18-13.fc40 | Debug sources for package compiz | linux/i686 | |
| compiz-debugsource-0.8.18-13.fc40 | Debug sources for package compiz | linux/x86_64 | linux/i686 |
| compiz-devel-0.8.18-13.fc40 | Development packages for compiz | linux/x86_64 | |
| compiz-devel-0.8.18-13.fc40 | Development packages for compiz | linux/i686 | linux/x86_64 |
| compiz-manager-0.7.0-21.fc40 | A wrapper script to start compiz with proper options | linux/noarch | |
| conda-24.1.2-1.fc40 | Cross-platform, Python-agnostic binary package manager | linux/noarch | |
| conda-tests-24.1.2-1.fc40 | conda tests | linux/noarch | |
| condor-23.9.6-3.fc40 | HTCondor: High Throughput Computing | linux/i686 |
|
| condor-23.9.6-3.fc40 | HTCondor: High Throughput Computing | linux/x86_64 | linux/i686 |
| condor-annex-ec2-23.9.6-3.fc40 | Configuration and scripts to make an EC2 image annex-compatible. | linux/x86_64 |
|
| condor-ap-23.9.6-3.fc40 | Configuration for an Access Point | linux/x86_64 |
|
| condor-credmon-local-23.9.6-3.fc40 | Local issuer credmon for HTCondor | linux/x86_64 |
|
| condor-credmon-oauth-23.9.6-3.fc40 | OAuth2 credmon for HTCondor | linux/x86_64 |
|
| condor-debuginfo-23.9.6-3.fc40 | Debug information for package condor | linux/x86_64 |
|
| condor-debuginfo-23.9.6-3.fc40 | Debug information for package condor | linux/i686 | linux/x86_64 |
| condor-debugsource-23.9.6-3.fc40 | Debug sources for package condor | linux/x86_64 |
|
| condor-debugsource-23.9.6-3.fc40 | Debug sources for package condor | linux/i686 | linux/x86_64 |
| condor-devel-23.9.6-3.fc40 | Development files for HTCondor | linux/i686 |
|
| condor-devel-23.9.6-3.fc40 | Development files for HTCondor | linux/x86_64 | linux/i686 |
| condor-devel-debuginfo-23.9.6-3.fc40 | Debug information for package condor-devel | linux/i686 |
|
| condor-devel-debuginfo-23.9.6-3.fc40 | Debug information for package condor-devel | linux/x86_64 | linux/i686 |
| condor-kbdd-23.9.6-3.fc40 | HTCondor Keyboard Daemon | linux/x86_64 |
|
| condor-kbdd-debuginfo-23.9.6-3.fc40 | Debug information for package condor-kbdd | linux/x86_64 |
|
| condor-test-23.9.6-3.fc40 | HTCondor Self Tests | linux/x86_64 |
| condor-test-debuginfo-23.9.6-3.fc40 | Debug information for package condor-test | linux/x86_64 |
| condor-upgrade-checks-23.9.6-3.fc40 | Script to check for manual interventions needed to upgrade | linux/x86_64 |
| condor-vm-gahp-23.9.6-3.fc40 | HTCondor's VM Gahp | linux/x86_64 |
| condor-vm-gahp-debuginfo-23.9.6-3.fc40 | Debug information for package condor-vm-gahp | linux/x86_64 |
| conmon-2.1.13-1.fc40 | OCI container runtime monitor | linux/x86_64 |
| conmon-debuginfo-2.1.13-1.fc40 | Debug information for package conmon | linux/x86_64 |
| conmon-debugsource-2.1.13-1.fc40 | Debug sources for package conmon | linux/x86_64 |
| console-image-viewer-1.2-24.fc40 | Terminal image viewer | linux/noarch |
| containernetworking-plugins-1.5.1-2.fc40 | Reference and example networking plugins, maintained by the CNI team | linux/x86_64 |
| containernetworking-plugins-debuginfo-1.5.1-2.fc40 | Debug information for package containernetworking-plugins | linux/x86_64 |
| containernetworking-plugins-debugsource-1.5.1-2.fc40 | Debug sources for package containernetworking-plugins | linux/x86_64 |
| containers-common-0.62.2-1.fc40 | Common configuration and documentation for containers | linux/noarch |
| containers-common-extra-0.62.2-1.fc40 | Extra dependencies for Podman and Buildah | linux/noarch |
| coolreader-3.2.59-16.fc40 | Cross platform open source e-book reader | linux/x86_64 |
| coolreader-debuginfo-3.2.59-16.fc40 | Debug information for package coolreader | linux/x86_64 |
| coolreader-debugsource-3.2.59-16.fc40 | Debug sources for package coolreader | linux/x86_64 |
| copr-backend-2.3-1.fc40 | Backend for Copr | linux/noarch |
| copr-backend-doc-2.3-1.fc40 | Code documentation for COPR backend | linux/noarch |
| copr-builder-1.3-1.fc40 | copr-rpmbuild with all weak dependencies | linux/x86_64 |
| copr-cli-2.1-1.fc40 | Command line interface for COPR | linux/noarch |
| copr-dist-git-1.1-1.fc40 | Copr services for Dist Git server | linux/noarch |
|
| copr-frontend-2.2-1.fc40 | Frontend for Copr | linux/noarch |
|
| copr-frontend-devel-2.2-1.fc40 | Development files to build against copr-frontend | linux/noarch |
|
| copr-frontend-fedora-2.2-1.fc40 | Template files for copr-frontend | linux/noarch |
|
| copr-keygen-2.1-1.fc40 | Part of Copr build system. Aux service that generate keys for signd | linux/noarch |
|
| copr-keygen-doc-2.1-1.fc40 | Code documentation for copr-keygen component of Copr buildsystem | linux/noarch |
|
| copr-rpmbuild-1.3-1.fc40 | Run COPR build tasks | linux/x86_64 |
|
| copr-selinux-1.56-1.fc40 | SELinux module for COPR | linux/noarch |
|
| corectrl-1.3.11-1.fc40 | Friendly hardware control | linux/x86_64 | |
| corectrl-debuginfo-1.3.11-1.fc40 | Debug information for package corectrl | linux/x86_64 | |
| corectrl-debugsource-1.3.11-1.fc40 | Debug sources for package corectrl | linux/x86_64 | |
| corosync-3.1.9-2.fc40 | The Corosync Cluster Engine and Application Programming Interfaces | linux/x86_64 |
|
| corosync-debuginfo-3.1.9-2.fc40 | Debug information for package corosync | linux/x86_64 |
|
| corosync-debuginfo-3.1.9-2.fc40 | Debug information for package corosync | linux/i686 | linux/x86_64 |
| corosync-debugsource-3.1.9-2.fc40 | Debug sources for package corosync | linux/x86_64 |
|
| corosync-debugsource-3.1.9-2.fc40 | Debug sources for package corosync | linux/i686 | linux/x86_64 |
| corosync-vqsim-3.1.9-2.fc40 | The Corosync Cluster Engine - Votequorum Simulator | linux/x86_64 |
|
| corosync-vqsim-debuginfo-3.1.9-2.fc40 | Debug information for package corosync-vqsim | linux/x86_64 |
|
| corosynclib-3.1.9-2.fc40 | The Corosync Cluster Engine Libraries | linux/i686 |
|
| corosynclib-3.1.9-2.fc40 | The Corosync Cluster Engine Libraries | linux/x86_64 | linux/i686 |
| corosynclib-debuginfo-3.1.9-2.fc40 | Debug information for package corosynclib | linux/i686 |
|
| corosynclib-debuginfo-3.1.9-2.fc40 | Debug information for package corosynclib | linux/x86_64 | linux/i686 |
| corosynclib-devel-3.1.9-2.fc40 | The Corosync Cluster Engine Development Kit | linux/i686 |
|
| corosynclib-devel-3.1.9-2.fc40 | The Corosync Cluster Engine Development Kit | linux/x86_64 | linux/i686 |
| cortado-0.6.0-32.fc40 | Java media framework | linux/noarch | |
| cortado-javadoc-0.6.0-32.fc40 | Java docs for cortado | linux/noarch | |
| cozy-1.3.0-1.fc40 | Modern audiobook player | linux/noarch | |
| cppmyth-2.17.4-1.fc40 | Client interface for the MythTV backend | linux/x86_64 | |
| cppmyth-2.17.4-1.fc40 | Client interface for the MythTV backend | linux/i686 | linux/x86_64 |
| cppmyth-debuginfo-2.17.4-1.fc40 | Debug information for package cppmyth | linux/x86_64 | |
| cppmyth-debuginfo-2.17.4-1.fc40 | Debug information for package cppmyth | linux/i686 | linux/x86_64 |
| cppmyth-debugsource-2.17.4-1.fc40 | Debug sources for package cppmyth | linux/i686 | |
| cppmyth-debugsource-2.17.4-1.fc40 | Debug sources for package cppmyth | linux/x86_64 | linux/i686 |
| cppmyth-devel-2.17.4-1.fc40 | Development files for cppmyth | linux/x86_64 | |
| cppmyth-devel-2.17.4-1.fc40 | Development files for cppmyth | linux/i686 | linux/x86_64 |
| cpu-x-5.2.0-2.fc40 | Free software that gathers information on CPU, motherboard and more | linux/x86_64 |
|
| cpu-x-data-5.2.0-2.fc40 | Data files for cpu-x | linux/noarch |
|
| cpu-x-debuginfo-5.2.0-2.fc40 | Debug information for package cpu-x | linux/x86_64 |
|
| cpu-x-debugsource-5.2.0-2.fc40 | Debug sources for package cpu-x | linux/x86_64 |
|
| crun-1.21-1.fc40 | OCI runtime written in C | linux/x86_64 |
| crun-debuginfo-1.21-1.fc40 | Debug information for package crun | linux/x86_64 |
| crun-debugsource-1.21-1.fc40 | Debug sources for package crun | linux/x86_64 |
| crun-krun-1.21-1.fc40 | crun with libkrun support | linux/x86_64 |
| crun-wasm-1.21-1.fc40 | crun with wasm support | linux/x86_64 |
| ctdb-4.20.8-1.fc40 | A Clustered Database based on Samba's Trivial Database (TDB) | linux/x86_64 |
| ctdb-ceph-mutex-4.20.8-1.fc40 | CTDB ceph mutex helper | linux/x86_64 |
| ctdb-ceph-mutex-debuginfo-4.20.8-1.fc40 | Debug information for package ctdb-ceph-mutex | linux/x86_64 |
| ctdb-debuginfo-4.20.8-1.fc40 | Debug information for package ctdb | linux/x86_64 |
| ctdb-etcd-mutex-4.20.8-1.fc40 | CTDB ETCD mutex helper | linux/x86_64 |
| ctdb-pcp-pmda-4.20.8-1.fc40 | CTDB PCP pmda support | linux/x86_64 |
| ctdb-pcp-pmda-debuginfo-4.20.8-1.fc40 | Debug information for package ctdb-pcp-pmda | linux/x86_64 |
| cvc5-1.1.2-1.fc40 | Automatic theorem prover for SMT problems | linux/x86_64 |
| cvc5-debuginfo-1.1.2-1.fc40 | Debug information for package cvc5 | linux/x86_64 |
| cvc5-debugsource-1.1.2-1.fc40 | Debug sources for package cvc5 | linux/x86_64 |
| cvc5-devel-1.1.2-1.fc40 | Headers and other files for developing with cvc5 | linux/x86_64 |
| cvc5-java-1.1.2-1.fc40 | Java interface to cvc5 | linux/x86_64 |
| cvc5-java-debuginfo-1.1.2-1.fc40 | Debug information for package cvc5-java | linux/x86_64 |
| cvc5-libs-1.1.2-1.fc40 | Library containing an automatic theorem prover for SMT problems | linux/x86_64 |
| cvc5-libs-debuginfo-1.1.2-1.fc40 | Debug information for package cvc5-libs | linux/x86_64 |
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Apr 1 00:36:32 2025