libghc-presburger-prof
decision procedure for quantifier-free linear arithmetic; profiling libraries
The decision procedure is based on the algorithm used in
CVC4, which is itself based on the Omega test.
libhtml-dashboard-perl
module that tries to achieve spreadsheet-like formatting for HTML tables
Rather than having to build up an HTML table from data, row by row and cell
by cell, applying formatting rules at every step, HTML::Dashboard allows the
user to specify a set of simple rules with the desired formatting options.
HTML::Dashboard will evaluate the rules and apply the formatting options as
necessary.
libstdc++-5-dev-sparc64-cross
GNU Standard C++ Library v3 (development files)
This package contains the headers and static library files necessary for
building C++ programs which use libstdc++.
libtest-database-perl
support for testing against multiple unspecified databases
From the perspective of a module author, this allows you to write tests
against a datbase without knowing precisely which databases will be used.
You call Test::Database->handles() and you get a number of DBI handles
against which you can run your tests. You can specify which Databases you
are willing to support.
python-visualization-msgs
Messages relating to Robot OS visualization, Python 2 interface
This package is part of Robot OS (ROS), and provides a set of
messages used by higher level packages, such as rviz, that deal in
visualization-specific data.
python-lazr.lifecycle
Richer lifecycle events API