libx32go21-i386-cross

Runtime library for GNU Go applications (x32)

Library needed for GNU Go applications linked against the shared library.

libx32gphobos3-i386-cross

Phobos D standard library (runtime library)

This is the Phobos standard library that comes with the D2 compiler.

libx32gphobos3-amd64-cross

Phobos D standard library (runtime library)

This is the Phobos standard library that comes with the D2 compiler.

libglew2.2

OpenGL Extension Wrangler - runtime environment

For more information about GLEW please refer to the description of the libglew-dev package.

alt-ergo

Automatic theorem prover dedicated to program verification

Alt-Ergo is an automatic theorem prover geared towards application in program verification. It is based on CC(X), a congruence closure algorithm parameterized by an equational theory X. Alt-Ergo has built-in provers for propositional logic, linear arithmetic, uninterpreted function symbols, associative-commutative function symbols, polymorphic arrays, user-defined polymorphic record types and polymorphic enumeration types. It has restricted support for reasoning over arbitrary user-defined algebraic types, first-order quantifiers, and non-linear arithmetic.

libgdal30

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.