libparse-fixedlength-perl

Perl module to parse a string containing fixed length fields

The Parse::FixedLength module facilitates the process of breaking a string into its fixed-length components. Sure, it's a glorified (and in some ways more limited) substitute for the perl functions pack and unpack, but this module helps in the maintainability of working with fixed length formats as the number of fields in a format grows.

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.