libicu76
International Components for Unicode
ICU is a C++ and C library that provides robust and full-featured
Unicode and locale support. This package contains the runtime
libraries for ICU.
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.
librte-vdpa-ifc25
Data Plane Development Kit (librte-vdpa-ifc 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-vdpa-mlx5-25
Data Plane Development Kit (librte-vdpa-mlx5 runtime library)
DPDK is a set of libraries for fast packet processing. Applications run
in user-space and communicate directly with dedicated network interfaces.
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.