This is a staging site. Uploads will not persist. Testing only.
libcoq-record-update
automatic record fields updaters for Coq
This package provides an automatic and generic way
to update record fields in Coq.
python3-pyside6.qtbluetooth
Python bindings for Qt 6 Bluetooth (Python 3)
pyside6 provides Python bindings for Qt 6.x framework.
python3-pyside6.qtconcurrent
Python bindings for Qt 6 Concurrent module (Python 3)
pyside6 provides Python bindings for Qt 6.x framework.
librdata0t64
Read and write R data frames from C (runtime files)
Originally part of ReadStat, librdata is a small C library
for reading and writing R data frames.
liboidc-agent4t64
oidc-agent library
oidc-agent is a commandline tool for obtaining OpenID Connect Access tokens on
the commandline.
python3-pyside6.qt3drender
Python bindings for Qt 6 3DRender module (Python 3)
pyside6 provides Python bindings for Qt 6.x framework.