nvidia-tesla-470-driver-libs

NVIDIA metapackage (OpenGL/GLX/EGL/GLES libraries) (Tesla 470 version)

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

librnd3-hid-gtk2-gl

GUI: gtk2, opengl

Hardware accelerated (opengl) rendering on gtk2.

libcoq-libhyps

Tactics on hypotheses in Coq

This package provides tactics and tacticals to work with hypotheses during a Coq proof.

interception-caps2esc

interception plugin for dual function Esc/Ctrl key at CapsLock

Using caps2esc with interception-tools offers the optimal keyboard experience for vi/Vim/NeoVim aficionados under Wayland/X/Linux console.

mig-x86-64-linux-gnu

GNU Mach Interface Generator for amd64

This is the GNU distribution of the MIG, which is needed to compile the GNU C library, the GNU Hurd and GNU Mach.

python3-fastjsonschema

validation of JSON documents by JSON schema drafts 04/06/07

Fastjsonschema implements validation of JSON documents by JSON schema.