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.