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

mptcpd-plugins

Multipath TCP Daemon Plug-ins

The Multipath TCP Daemon Plug-ins package is a collection of plugins for mptcpd, short for Multipath TCP Daemon. These plugins can be used to perform Multipath TCP path management related operations in the user space.

mptcpize

Multipath TCP Converter

The Multipath TCP Converter tool - mptcpize - helps to enable MPTCP usage on unmodified legacy services. It can run programs forcing MPTCP socket usage instead of TCP. It can also update systemd units to force them to run under mptcpize launcher.

gappa

Automatic generation of proofs of arithmetic properties

Tool to help verify and prove properties on numerical programs dealing with either fixed-point or floating-point arithmetic.

exip

get your external ip from multiple services (program)

This package is a Golang library to get your external ip from multiple services.

libpython3.11

Shared Python runtime library (version 3.11)

Python is a high-level, interactive, object-oriented language. Its 3.11 version includes an extensive class library with lots of goodies for network programming, system administration, sounds and graphics.

libqgis-core3.34.8

QGIS - shared core library

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