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

webissues-server

a network system supporting team collaboration (server)

node-chownr

like chown -R

This module takes the same arguments as fs.chown().