php-punic

PHP-Unicode CLDR toolkit

libcg3-0

Runtime for CG-3

Runtime library for applications using the CG-3 API.

limba-devtools

3rd-party software manager packaging tools

Limba allows 3rd-party developers to easily distribute their software on multiple Linux distributions. It provides atomic upgrades of software, simultaneous installation of multiple software versions and a simple way to obtain and upgrade software.

debbindiff

transitional package

libopenzwave1.5

API to use a Z-Wave controller

OpenZWave is an open-source, cross-platform library designed to enable anyone to add support for Z-Wave home-automation devices to their applications, without requiring any in depth knowledge of the Z-Wave protocol.

mona

theorem prover based on automata

MONA is a tool that translates formulas in the logics WS1S or WS2S into finite-state automata represented by BDDs. The formulas may express search patterns, temporal properties of reactive systems, parse tree constraints, etc. MONA also analyses the automaton resulting from the compilation, and determines whether the formula is valid and, if the formula is not valid, generates a counter-example.