libgazebo6-dev
Open Source Robotics Simulator - Development Files
libcflow-perl
perl module for analyzing raw IP flow files written by cflowd
This Perl module implements an API for analyzing flows in raw IP flow files
written by cflowd, a package used to collect Cisco NetFlow data.
netscript-2.4-upstart
Transitional package.
libcoq-ocaml
runtime libraries for Coq
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.
liblexical-failure-perl
Perl module for user-selectable lexically-scoped failure signaling
Lexical::Failure sets up two new keywords: fail and ON_FAILURE, with which
you can quickly create modules whose failure signaling is lexcially scoped,
under the control of client code.
libmrpt-hwdrivers1.4
Mobile Robot Programming Toolkit - hwdrivers library