librte-compress-zlib25

Data Plane Development Kit (librte-compress-zlib runtime library)

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

libgnuradio-channels3.10.9t64

gnuradio channels functions

Some channel oriented processing blocks. These functions are also in gnuradio-core. Part of the main gnuradio build.

liblsof0

utility to list open files (shared library)

Lsof is a Unix-specific diagnostic tool. Its name stands for LiSt Open Files, and it does just that. It lists information about any files that are open, by processes currently running on the system.

librte-dma-dpaa2-25

Data Plane Development Kit (librte-dma-dpaa2 runtime library)

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

librte-dma-odm25

Data Plane Development Kit (librte-dma-odm runtime library)

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

libcoq-mathcomp-solvable

Mathematical Components library for Coq (finite groups II)

The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language.