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.

google-android-platform-20-installer

Google's Android SDK Platform 20 Installer

This package will download the Google's Android SDK Platform 20 package and unpacks it into Debian-friendly paths.

gcc-13-plugin-dev-mipsisa32r6el-linux-gnu

Files for GNU GCC plugin development.

This package contains (header) files for GNU GCC plugin development. It is only used for the development of GCC plugins, but not needed to run plugins.

gcc-13-plugin-dev-mipsisa64r6-linux-gnuabi64

Files for GNU GCC plugin development.

This package contains (header) files for GNU GCC plugin development. It is only used for the development of GCC plugins, but not needed to run plugins.