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.