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

libqcoro6dbus0t64

C++20 coroutines for Qt6 - DBus

QCoro is a C++ library that provide set of tools to make use of C++20 coroutines in connection with certain asynchronous Qt6 actions.

debian-coq-tools

various tools to manage Coq-related Debian packages

Those tools make it easier to track package dependencies and possible breakage and maintain the whole Coq-in-Debian stack sane: - coq-planif-transition: find out which packages depend on some others for transition planification. - coq-wanna-build: compute the dak script for a planned transition.

libmrpt-bayes2.10

Mobile Robot Programming Toolkit - bayes library

The Mobile Robot Programming Toolkit (MRPT) is an extensive, cross-platform, and open source C++ library aimed to help robotics researchers to design and implement algorithms in the fields of Simultaneous Localization and Mapping (SLAM), computer vision, and motion planning (obstacle avoidance).

htcondor-test

transitional dummy package

This package aids upgrades of existing htcondor installations to the package name "condor". The package is empty and it can safely be removed.

libmrpt-comms2.10

Mobile Robot Programming Toolkit - comms library

The Mobile Robot Programming Toolkit (MRPT) is an extensive, cross-platform, and open source C++ library aimed to help robotics researchers to design and implement algorithms in the fields of Simultaneous Localization and Mapping (SLAM), computer vision, and motion planning (obstacle avoidance).

libmrpt-containers2.10

Mobile Robot Programming Toolkit - containers library

The Mobile Robot Programming Toolkit (MRPT) is an extensive, cross-platform, and open source C++ library aimed to help robotics researchers to design and implement algorithms in the fields of Simultaneous Localization and Mapping (SLAM), computer vision, and motion planning (obstacle avoidance).