libcoq-dpdgraph-ocaml
Coq plugin to extract dependencies between Coq objects (runtime)
This package provides a plugin for Coq to extract dependencies
between Coq objects and produce files with dependency information.
libwayland-client-extra++1
wayland compositor infrastructure - client library extra 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.
libwayland-client++1
wayland compositor infrastructure - client 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.
gobjc-14-mipsisa64r6el-linux-gnuabi64
GNU Objective-C compiler for the mipsisa64r6el-linux-gnuabi64 architecture
This is the GNU Objective-C compiler for the mipsisa64r6el-linux-gnuabi64 architecture,
which compiles Objective-C on platforms supported by the gcc compiler.
It uses the gcc backend to generate optimized code.
gdc-13-multilib
GNU D compiler (version 2, multilib support)
This is the GNU D compiler, which compiles D on platforms supported by gcc.
It uses the gcc backend to generate optimised code.
libkwinglutils13
KDE window manager gl utils library
KWin (pronounced as one syllable "kwin") is the window
manager for the KDE Plasma Desktop. It gives you complete
control over your windows, making sure they're not in the way
but aid you in your task. It paints the window decoration,
the bar on top of every window with (configurable) buttons
like close, maximize and minimize. It also handles placing
of windows and switching between them.