This is a staging site. Uploads will not persist. Testing only.
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.