This is the GNU C compiler, a fairly portable optimizing compiler for C.

Coqprime consists in: - a library of facts from number theory - a library for elliptic curves - an efficient library for modular arithmetic - tools to generate Pocklington and elliptic curve certificates of primality

Provides the ability to load various image types to Storm programs.

Provide localization facilities from libmeegotouch without having to bring on board also the MeeGo Touch GUI toolkit.

This package provides two Hypothesis strategies for generating Python source code. The generated code will always be syntatically valid, and is useful for testing parsers, linters, auto-formatters, and other tools that operate on source code.

Sound playback library for the Storm language platform. Supports decoding flac, ogg and mp3 streams.