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.

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.

node-benchmark

Benchmarking library

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

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.

open-vm-tools-salt-minion

Open VMware Tools for VMs hosted on VMware (Service Discovery Plugin)

The Open Virtual Machine Tools (open-vm-tools) project is an open source implementation of VMware Tools. It is a suite of virtualization utilities and drivers to improve the functionality, user experience and administration of VMware virtual machines.

libghc-bv-sized-prof

bitvector datatype parameterized by the vector width; profiling libraries

This module defines a width-parameterized bitvector type and various associated operations.