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