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.
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.