libcoq-mathcomp-finmap
finite sets and maps extension for Mathematical Components
This package provides an extension to manage finite sets,
finite maps and finitely supported functions extending for the
Mathematical Components library.
libmrpt-io2.14
Mobile Robot Programming Toolkit - io 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).
python3-sphinx-mdinclude
Sphinx extension for including or writing pages in Markdown (Python 3)
This is a Sphinx extension that enables including Markdown documents
from within reStructuredText. It provides the `.. mdinclude::` directive,
to automatically convert the content of Markdown documents to
reStructuredText format.
libqgis-native3.16.14
QGIS - shared native gui library
QGIS is a Geographic Information System (GIS) which manages, analyzes and
display databases of geographic information.
gobjc-11-multilib-mipsisa64r6-linux-gnuabi64
GNU Objective-C compiler (multilib support) (cross compiler for mips64r6 archite
This is the GNU Objective-C compiler, which compiles Objective-C on platforms
supported by the gcc compiler.
gdc-12-aarch64-linux-gnu
GNU D compiler (version 2) (cross compiler for arm64 architecture)
This is the GNU D compiler, which compiles D on platforms supported by gcc.
It uses the gcc backend to generate optimised code.