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

python3-vultr

Vultr.com API Client

a client library to the Vultr.com API.

python3-mda-xdrlib

Stand-alone XDRLIB module (from cpython 3.10.8)

mda-xdrlib is a stand-alone XDRLIB module extracted from cpython 3.10.8. The xdrlib package has historically been a feature of the core Python library. However, as of Python 3.11, the module was deemed to no longer be widely used and has been deprecated, with a target removal version of Python 3.13. Several of the MDAnalysis projects rely on the xdrlib module for their functionality, specifically for parsing GROMACS TPR and EDR files. To avoid a need to vendor in the xdrlib functionality in multiple projects, the approach of creating this stand-alone module which contains the Python 3.10.8 xdrlib code and its relevant tests.

libknet1t64

kronosnet core switching implementation

Kronosnet, often referred to as knet, is a network abstraction layer designed for High Availability use cases, where redundancy, security, fault tolerance and fast fail-over are the core requirements of your application.

libcoq-aac-tactics

Coq tactics for reasoning modulo AC (theories)

This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.

php-composer-pcre

PCRE wrapping library that offers type-safe preg_* replacements

This library gives you a way to ensure `preg_*` functions do not fail silently, returning unexpected `null`s that may not be handled.

passt

user-mode networking daemons for virtual machines and namespaces

passt implements a translation layer between a Layer-2 network interface and native Layer-4 sockets (TCP, UDP, ICMP/ICMPv6 echo) on a host. It doesn't require any capabilities or privileges, and it can be used as a simple replacement for Slirp.