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).