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