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.