libdecoration0t64

Compiz window decoration library

The window decoration library is responsible for drawing the window borders and title bar of windows managed by Compiz. It is used by window decorators like gtk-window-decorator.

libnvidia-egl-gbm1

GBM EGL external platform library for NVIDIA

This library provides GBM EGL application support when using the NVIDIA driver.

libmumps-64pord-scotch-5.6

Direct linear systems solver (64 bit) - Scotch-version shared libraries

MUMPS implements a direct solver for large sparse linear systems, with a particular focus on symmetric positive definite matrices. It can operate on distributed matrices e.g. over a cluster. It has Fortran and C interfaces, and can interface with ordering tools such as Scotch.

libwayland-server++0

wayland compositor infrastructure - EGL library C++ bindings

Wayland is a protocol for a compositor to talk to its clients as well as a C library implementation of that protocol. The compositor can be a standalone display server running on Linux kernel modesetting and evdev input devices, an X application, or a wayland client itself. The clients can be traditional applications, X servers (rootless or fullscreen) or other display servers.

libcoq-elpi

Coq plugin embedding Elpi

This package makes it possible to define new commands and tactics for Coq in Elpi.

dasel

Query, update and convert data structures from the command line (program)

Dasel (short for data-selector) allows you to query and modify data structures using selector strings.