libcoq-elpi

Coq plugin embedding Elpi

This package makes it possible to define new commands and tactics for Coq in Elpi.

librte-latencystats22

Data Plane Development Kit (librte-latencystats runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.

libhypre-2.22.1

High Performance Matrix Preconditioners - Shared Library

Hypre is a set of matrix preconditioning libraries to aid in the solution of large systems of linear equations.

librte-mbuf22

Data Plane Development Kit (librte-mbuf2 runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.

nvidia-tesla-470-driver

NVIDIA metapackage (Tesla 470 version)

This metapackage depends on the NVIDIA binary driver and libraries that provide optimized hardware acceleration of OpenGL/GLX/EGL/GLES/Vulkan applications via a direct-rendering X Server.

amberol

Small and simple music player for GNOME

Amberol is a music player aspiring to be as small, unintrusive, and simple as possible. It does not manage music collections, nor does it let you manage playlists, edit song metadata, show song lyrics or the band's Wikipedia page. Amberol plays music, and nothing else.