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.
python3-art
ASCII art
ASCII art is also known as "computer text art". It involves the
smart placement of typed special characters or letters to make a
visual shape that is spread over multiple lines of text.
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.
libcoq-stdlib
proof assistant for higher-order logic (theories)
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp5.
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.