This is a staging site. Uploads will not persist. Testing only.
libgphobos5-amd64-cross
Phobos D standard library (runtime library)
This is the Phobos standard library that comes with the D2 compiler.
libndpi4.2
extensible deep packet inspection library - shared library
nDPI is a ntop-maintained superset of the popular OpenDPI library. Released
under the LGPL license, its goal is to extend the original library by adding
new protocols that are otherwise available only on the paid version of
OpenDPI.
gir1.2-uhm-1.0
HTTP web service mocking - GObject introspection files
uhttpmock is a HTTP web service mocking project for projects which use
libsoup. It is still in its infancy, but is already used by libgdata
for unit testing.
libuhttpmock-1.0-1
HTTP web service mocking - library
uhttpmock is a HTTP web service mocking project for projects which use
libsoup. It is still in its infancy, but is already used by libgdata
for unit testing.
libcoq-paramcoq
Coq plugin to generate parametricity statements
This package provides a plugin for Coq to generate
parametricity statements, typically used in data refinement
proofs.
python3-home-assistant-bluetooth
Home Assistant Bluetooth Models and Helpers
This library is for accessing Home Assistant Bluetooth models. Libraries use
these models to receive and parse Bluetooth advertisement data.