This is a staging site. Uploads will not persist. Testing only.

libqgispython3.22.4

QGIS - shared Python library

QGIS is a Geographic Information System (GIS) which manages, analyzes and display databases of geographic information.

liborcania2.2

library for angharad programs

Potluck with different functions for different purposes that can be shared among C programs

libcoq-mathcomp-algebra

Mathematical Components library for Coq (algebra)

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.

librte-pcapng23

Data Plane Development Kit (librte-net-pcapng runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.

librnp0

Cross-platform OpenPGP (RFC4880) tools (library)

RNP is a set of cross-platform tools implementing OpenPGP (RFC 4880) and related standards.

librte-pdump23

Data Plane Development Kit (librte-pdump runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.