librte-security25
Data Plane Development Kit (librte-security runtime library)
librte-table25
Data Plane Development Kit (librte-table runtime library)
librte-timer25
Data Plane Development Kit (librte-timer runtime library)
librte-vdpa-mlx5-25
Data Plane Development Kit (librte-vdpa-mlx5 runtime library)
librte-vdpa-nfp25
Data Plane Development Kit (librte-vdpa-nfp runtime library)
librte-vhost25
Data Plane Development Kit (librte-vhost runtime library)
libcoq-stdlib
proof assistant for higher-order logic (theories)
coq-dpdgraph-tools
Coq plugin to extract dependencies between Coq objects (tools)
libcoq-equations
Coq library to work with functions defined by equations
libcoq-hott
Coq library for homotopy type theory
libcoq-serapi-ocaml
interaction with Coq (runtime)
libcoq-coquelicot
Coq library for real analysis
coinor-libcoinmp0
Simple C API for COIN-OR Solvers Clp and Cbc -- library
coinor-libipopt3
Interior-Point Optimizer, for large-scale nonlinear optimization
far2l-wx
Linux port of FAR v2 - with WX GTK GUI
libcalceph2
Shared library for planetary ephemeris data access
libcoq-quickchick
randomized testing framework for Coq (plugin)
debian-package-book-en-us
How to package for Debian (in English)
mcstas-mcplot-html
Neutron ray-trace simulation - HTML plotting frontend
mcxtrace-mxplot-html
X-ray ray-trace simulation - HTML plotting frontend
libldaptive-java
simple, extensible Java API for interacting with LDAP servers
mariadb-client-core
MariaDB database core client binaries
python3-promod3
protein homology modelling engine - Python 3 package
libfastdds3.1
C++ library for the Real Time Publish Subscribe Protocol