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.