python3-virtkey

Library to emulate keyboard keypresses.

GConf database cleaner

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.