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.