gcc-11-plugin-dev-m68k-linux-gnu

Files for GNU GCC plugin development.

This package contains (header) files for GNU GCC plugin development. It is only used for the development of GCC plugins, but not needed to run plugins.

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

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:

gcc-11-plugin-dev-riscv64-linux-gnu

Files for GNU GCC plugin development.

This package contains (header) files for GNU GCC plugin development. It is only used for the development of GCC plugins, but not needed to run plugins.

gcc-11-plugin-dev-sparc64-linux-gnu

Files for GNU GCC plugin development.

This package contains (header) files for GNU GCC plugin development. It is only used for the development of GCC plugins, but not needed to run plugins.

libvisp-vs3.6t64

visual servoing platform vs library

This package contains the ViSP (Visual Servoing Platform) visual serving (vs) runtime library.