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.