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.