libicu71

International Components for Unicode

ICU is a C++ and C library that provides robust and full-featured Unicode and locale support. This package contains the runtime libraries for ICU.

topparser

Conversion utility from pockettopo to therion, for cave surveying

Converts a .top file from pockettopo into a therion directory layout, extracting centreline and drawing information into suitable files. Greatly simplifies your workflow if using both Pockettopo and therion. Can also create survex centreline files.

ament-cmake-ros

CMake build system for ROS 2 ament packages (ROS extension)

The ament build system is the most common way to build packages for ROS 2. ament_cmake provides the necessary tooling to build ament packages with CMake.

node-benchmark

Benchmarking library

Benchmarking library that supports high-resolution timers & returns statistically significant results.

libgdal31

Geospatial Data Abstraction Library

GDAL is a translator library for raster geospatial data formats. As a library, it presents a single abstract data model to the calling application for all supported formats. The related OGR library (which lives within the GDAL source tree) provides a similar capability for simple features vector data.

dh-coq

debhelper tool for Coq-related Debian packages

dh-coq is a tool to help maintain Coq-related Debian packages. It computes checksums to tighten dependencies between them.