libeclipse-wst-xsd-core-java
Eclipse Web Tools Platform - XSD Core Plugin
The Eclipse Web Tools Platform (WTP) project extends the Eclipse platform with
tools for developing Web and Java EE applications. It includes source and
graphical editors for a variety of languages, wizards and built-in applications
to simplify development, and tools and APIs to support deploying, running, and
testing apps.
libcoq-reduction-effects
reduction effects for Coq
This plugin adds reduction side effects to some
of the Coq reduction strategies.
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.