gdc-14-x86-64-linux-gnu

GNU D compiler (version 2) for the x86_64-linux-gnu architecture

This is the GNU D compiler for the x86_64-linux-gnu architecture, which compiles D on platforms supported by gcc. It uses the gcc backend to generate optimised code.

librte-crypto-mlx5-23

Data Plane Development Kit (librte-crypto-mlx5 runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.

libxineliboutput-wlfe

Local Waylend frontend for the xineliboutput plugin

The xineliboutput vdr plugin requires this library to provide the built-in local frontend for Wayland window systems.

php-symfony-pushover-notifier

Symfony Pushover Notifier Bridge

The Symfony Pushover Notifier Bridge provides Pushover integration for Symfony Notifier.

inotify-info

tracking the number of inotify watches

The Linux inotify system can be difficult to debug when the system runs out of watches. inotify-info allows tracking down how many inotify watches, instances, and which files are being watched.

libcoq-relation-algebra

relation algebra for Coq

This package provides a library on relation algebras, that is those admitting heterogeneous binary relations as a model, ranging from partially ordered monoid to residuated Kleen allegories and Kleene algebras with tests.