python3-installer
Python library for unpacking and installing wheels
"installer" is a low-level library for installing a Python package from a
wheel distribution; the wheel is the basic unit of Python module
distribution to end users. It provides basic functionality and abstractions
for handling wheels and installing packages from wheels, including:
libcoq-coqprime
Primality certification for Coq (library)
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
gccrs-13-arm-linux-gnueabi
GNU Rust compiler (cross compiler for armel architecture)
!!!!! Please note, the compiler is in a very early stage
and not usable yet for compiling real Rust programs !!!!!
gnat-13-x86-64-linux-gnux32
GNU Ada compiler for the x86_64-linux-gnux32 architecture
GNAT is a compiler for the Ada programming language. It produces optimized
code on platforms supported by the GNU Compiler Collection (GCC).
vim-subtitles
Syntax highlighting for subtitle files
The vim-subtitles package provides filetype detection
and syntax highlighting for subtitle files
in the following formats:
gccgo-13-powerpc64le-linux-gnu
GNU Go compiler for the powerpc64le-linux-gnu architecture
This is the GNU Go compiler for the powerpc64le-linux-gnu architecture, which
compiles Go on platforms supported by the gcc compiler. It uses the gcc
backend to generate optimized code.