gcc-9-powerpc64le-linux-gnu-base

GCC, the GNU Compiler Collection (base package)

This package contains files common to all languages and libraries contained in the GNU Compiler Collection (GCC).

gccgo-9-arm-linux-gnueabi

GNU Go compiler

This is the GNU Go compiler, which compiles Go on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

libcoq-reglang

representation of regular languages in Coq

This package provides definitions and verified translations between different representations of regular languages for Coq: miscellaneous automata, regular expressions, WS1S logic. It also contains various decidability results and closure properties of regular languages.

gccgo-9-multilib-mips-linux-gnu

GNU Go compiler (multilib support) (cross compiler for mips architecture)

This is the GNU Go compiler, which compiles Go on platforms supported by the gcc compiler.

festvox-en1

mbrola-en1 voice support for festival

This package lets festival make use of the non-free mbrola-en1 sample-based voice instead of its own synthesis voices.

festvox-us1

mbrola-us1 voice support for festival

This package lets festival make use of the non-free mbrola-us1 sample-based voice instead of its own synthesis voices.