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.