xfonts-bitmap-mule

fonts of BITMAP-MULE for X

This package contains some bitmap fonts for X.

python-tf2

Robot OS tf2 transform library - Python 2

This package is part of Robot OS (ROS). tf2 is the second generation of the transform library, which lets the user keep track of multiple coordinate frames over time. tf2 maintains the relationship between coordinate frames in a tree structure buffered in time, and lets the user transform points, vectors, etc between any two coordinate frames at any desired point in time.

libstdc++-6-pic-sh4-cross

GNU Standard C++ Library v3 (shared library subset kit)

This is used to develop subsets of the libstdc++ shared libraries for use on custom installation floppies and in embedded systems.

coq-doc-html

documentation for Coq in html format

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

libstdc++-6-pic-sparc64-cross

GNU Standard C++ Library v3 (shared library subset kit)

This is used to develop subsets of the libstdc++ shared libraries for use on custom installation floppies and in embedded systems.

libstdc++6-powerpcspe-cross

GNU Standard C++ Library v3 (powerpcspe)

This package contains an additional runtime library for C++ programs built with the GNU compiler.