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.