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.