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.