librte-vdpa-nfp25
Data Plane Development Kit (librte-vdpa-nfp 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-vhost25
Data Plane Development Kit (librte-vhost runtime library)
DPDK is a set of libraries for fast packet processing. Applications run
in user-space and communicate directly with dedicated network interfaces.
libcalceph2
Shared library for planetary ephemeris data access
The CALCEPH Library is designed to access the binary planetary ephemeris
files, such INPOPxx and JPL DExxx ephemeris files, and the SPICE kernel
(SPK) files.
coq-dpdgraph-tools
Coq plugin to extract dependencies between Coq objects (tools)
This package provides a plugin for Coq to extract dependencies
between Coq objects and produce files with dependency information.
libcoq-equations
Coq library to work with functions defined by equations
This library provides a notation to write programs using dependent
pattern-matching and well-founded recursion in Coq.