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