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.