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.