Bug#543378: ITP: ahcpd -- the Ad-Hoc Configuration Protocol

Package: wnpp Severity: wishlist Owner: Stephane Glondu * Package name: ahcpd Version : 0.50 Upstream Author : Juliusz Chroboczek * URL : http://www.pps.jussieu.fr/~jch/software/ahcp/ * License : MIT/X Programming Lang: C Description : the Ad-Hoc

Bug#543377: ITP: babeld -- a loop-free distance-vector routing protocol

Package: wnpp Severity: wishlist Owner: Stephane Glondu * Package name: babeld Version : 0.96 Upstream Author : Juliusz Chroboczek * URL : http://www.pps.jussieu.fr/~jch/software/babel/ * License : MIT/X Programming Lang: C Description : a loop-free

Bug#532639: ITP: react -- functional reactive programming in OCaml

Package: wnpp Severity: wishlist Owner: Stephane Glondu * Package name: react Version : 0.9.0 Upstream Author : Daniel C. Bünzli * URL : http://erratique.ch/software/react * License : BSD Programming Lang: OCaml Description : functional reactive

Bug#527906: ITP: ocaml-text -- library for dealing with sequences of Unicode characters

Package: wnpp Severity: wishlist Owner: Stephane Glondu * Package name: ocaml-text Version : 0.2 Upstream Author : Jeremie Dimino * URL : http://ocaml-text.forge.ocamlcore.org/ * License : BSD-C3 Programming Lang: C, OCaml Description : library for

Bug#513972: ITP: mlpost -- Objective Caml interface to Metapost

Package: wnpp Severity: wishlist Owner: Stephane Glondu * Package name: mlpost Version : 0.5 Upstream Author : Jean-Christophe Filliâtre (and others) * URL : http://mlpost.lri.fr/ * License : LGPL + OCaml linking exception Programming Lang: OCaml

Bug#508468: ITP: ssreflect -- small scale reflection extension for the Coq proof assistant

Package: wnpp Severity: wishlist Owner: Stephane Glondu <[EMAIL PROTECTED]> * Package name: ssreflect Version : 1.1 Upstream Author : Georges Gonthier (Microsoft Research - Inria Joint Centre) * URL : http://www.msr-inria.inria.fr/Projects/math-components * L

Bug#500726: ITP: nurpawiki -- Wiki with integrated to-do list and scheduler

Package: wnpp Severity: wishlist Owner: Stephane Glondu <[EMAIL PROTECTED]> * Package name: nurpawiki Version : 1.2.1 Upstream Author : Janne Hellsten <[EMAIL PROTECTED]> * URL : http://code.google.com/p/nurpawiki/ * License : GPL-2+ Programming

Bug#487997: ITP: lwt -- Cooperative light-weight thread library for OCaml

Package: wnpp Severity: wishlist Owner: Stephane Glondu <[EMAIL PROTECTED]> * Package name: lwt Version : 1.1.0 Upstream Author : Jerome Vouillon <[EMAIL PROTECTED]> * URL : http://ocsigen.org/install/lwt * License : LGPL + exceptions (Op

Bug#481616: ITP: mumudvb -- Multicast a DVB transponder over multiple IP addresses

Package: wnpp Severity: wishlist Owner: Stephane Glondu <[EMAIL PROTECTED]> * Package name: mumudvb Version : 1.2.5 Upstream Author : Brice Dubost <[EMAIL PROTECTED]> * URL : http://mumudvb.braice.net * License : GPL Programming Lang: C

Bug#476482: ITP: ocamlpam -- OCaml bindings for the PAM library

Package: wnpp Severity: wishlist Owner: Stephane Glondu <[EMAIL PROTECTED]> * Package name: ocamlpam Version : 1.0 Upstream Author : Sharvil Nanavati <[EMAIL PROTECTED]> * URL : http://sharvil.nanavati.net/projects/ocamlpam/ * License : MIT Prog