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.