python3-virtkey
Library to emulate keyboard keypresses.
gconf-cleaner
GConf database cleaner
nvidia-tesla-450-driver-bin
NVIDIA driver support binaries (Tesla 450 version)
The NVIDIA binary driver provides optimized hardware acceleration of
OpenGL/GLX/EGL/GLES applications via a direct-rendering X Server
for graphics cards using NVIDIA chip sets.
zarchive-tools
tool for creating and reading zstd-compressed files
ZArchive is yet another file archive format. Think of zip, tar, 7z,
etc. but with the requirement of allowing random-access reads and
supporting Zstandard compression.
libcoq-unicoq
enhanced unification algorithm for Coq
This package provides a new unification algorithm,
replacing the existing one through a plugin.
elpa-graphviz-dot-mode
Emacs mode for the dot-language used by graphviz
Graphviz is open source graph visualization software. Graph
visualization is a way of representing structural information as
diagrams of abstract graphs and networks. The Graphviz layout
programs take descriptions of graphs in a simple text language, and
make diagrams in useful formats. This package helps Emacs users edit
the graphviz input language.