libn32go19-mips64r6el-cross
Runtime library for GNU Go applications (n32)
Library needed for GNU Go applications linked against the
shared library.
libvisp-detection3.6
visual servoing platform detection library
This package contains the ViSP (Visual Servoing Platform) detection
runtime library.
gpaste-2
Clipboard management system for GNOME
GPaste manages clipboard history and allows easy access to it using
keyboard shortcuts, gnome-shell extension, command-line tools, gir
bindings.
libn32go19-mipsel-cross
Runtime library for GNU Go applications (n32)
Library needed for GNU Go applications linked against the
shared library.
libstdc++-13-dev-arc-cross
GNU Standard C++ Library v3 (development files) (arc)
This package contains the headers and static library files necessary for
building C++ programs which use libstdc++.
coqprime-tools
Primality certification for Coq (tools)
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