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