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

libportal-tests-gtk4

Flatpak portal library (test program for GTK 4)

libportal provides GIO-style C APIs for most Flatpak portals' D-Bus interfaces. It is primarily intended for installation in Flatpak runtimes, where applications can use it to interact with portals; it can also be used to test the portal services.

python3-pyside6.qtdesigner

Python bindings for Qt 6 Desginer (Python 3)

pyside6 provides Python bindings for Qt 6.x framework.

libwayland-server++0

wayland compositor infrastructure - EGL library C++ bindings

Wayland is a protocol for a compositor to talk to its clients as well as a C library implementation of that protocol. The compositor can be a standalone display server running on Linux kernel modesetting and evdev input devices, an X application, or a wayland client itself. The clients can be traditional applications, X servers (rootless or fullscreen) or other display servers.

libcoq-elpi

Coq plugin embedding Elpi

This package makes it possible to define new commands and tactics for Coq in Elpi.

libvisp-dnn-tracker3.6

visual servoing platform dnn-tracker library

This package contains the ViSP (Visual Servoing Platform) deep neural network tracker (dnn-tracker) runtime library.

qml6-module-qtwebsockets

Qt 6 WebSockets QML module

Qt is a cross-platform C++ application framework. Qt's primary feature is its rich set of widgets that provide standard GUI functionality.