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

libqt6svg6

Qt 6 SVG library

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

coq-dpdgraph-tools

Coq plugin to extract dependencies between Coq objects (tools)

This package provides a plugin for Coq to extract dependencies between Coq objects and produce files with dependency information.

tuxguitar-synth-lv2

tuxguitar LV2 audio plugin

LV2 is an extensible open standard for audio plugins.

libopencv-objdetect4.5d

computer vision Object Detection library

This package contains the OpenCV (Open Computer Vision) Object Detection runtime libraries.

libarmadillo14

streamlined C++ linear algebra library

Armadillo is a streamlined C++ linear algebra library (matrix maths) aiming towards a good balance between speed and ease of use. Integer, floating point and complex numbers are supported, as well as a subset of trigonometric and statistics functions. Optional integration with LAPACK and ATLAS libraries is also provided.

libopencv-ml4.5d

computer vision Machine Learning library

This package contains the OpenCV (Open Computer Vision) Machine Learning runtime libraries.