libfwupdplugin6

Firmware update daemon plugin library

fwupd is a daemon to allow session software to update device firmware. You can either use a GUI software manager like GNOME Software to view and apply updates, the command-line tool or the system D-Bus interface directly. Firmware updates are supported for a variety of technologies. See <https://github.com/fwupd/fwupd> for details

libcoq-flocq

Floating-point arithmetic for Coq

Flocq provides a formalization of floating-point arithmetic for Coq, in the form of a comprehensive library of theorems on a multi-radix multi-precision arithmetic, with efficient numerical computations.

dict-freedict-deu-gle

German-Irish dictionary for the dict server/client

This is the German-Irish dictionary from the FreeDict project. It contains 16819 headwords (FreeDict status: big enough to be useful). It can be either used with the dictd server and a dict client or with GoldenDict.

libuhd4.5.0-dpdk-tests

universal hardware driver for Ettus Research products - DPDK tests

Network tests for the Universal Hardware Driver for Ettus Research products.

libsrt1.5-gnutls

Secure Reliable Transport UDP streaming library (GnuTLS flavour)

SRT is a latency-aware UDP transport mechanism optimized for video streams. It detects and compensates for jitter and bandwidth fluctuations due to network congestion. It mitigates packet loss and supports AES encryption.

libsrt1.5-openssl

Secure Reliable Transport UDP streaming library (OpenSSL flavour)

SRT is a latency-aware UDP transport mechanism optimized for video streams. It detects and compensates for jitter and bandwidth fluctuations due to network congestion. It mitigates packet loss and supports AES encryption.