Bug#552326: ITP: apron -- An abstract interpretation library

2009-10-25 Thread Samuel Mimram
Package: wnpp Severity: wishlist Owner: Samuel Mimram * Package name: apron Version : 0.9.10 * URL : http://apron.cri.ensmp.fr/library/ * License : LGPL + GPL Programming Lang: C + OCaml Description : An abstract interpretation library The APRON

Bug#446924: ITP: ocaml-ogg -- OCaml bindings for the Ogg bitstream library

2007-10-16 Thread Samuel Mimram
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: ocaml-ogg Version : 0.1.0 Upstream Author : Samuel Mimram <[EMAIL PROTECTED]> * URL : http://savonet.sf.net/ * License : LGPL Programming Lang: OCaml

Bug#439711: ITP: ocaml-curses -- OCaml bindings to the ncurses library

2007-08-26 Thread Samuel Mimram
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: ocaml-curses Version : 1.0.1 Upstream Author : Nicolas George, Richard Jones * URL : http://www.nongnu.org/ocaml-tmk/ * License : LGPL Programming Lang: C /

Bug#438613: ITP: coq-float -- coq library for floating point numbers

2007-08-18 Thread Samuel Mimram
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: coq-float Upstream Author : Laurent Théry <[EMAIL PROTECTED]>, Sylvie Boldo <[EMAIL PROTECTED]>, Laurence Rideau <[EMAIL PROTECTED]> * URL : http://coq.inri

Bug#422867: ITP: ocaml-alsa -- OCaml bindings for the ALSA library

2007-05-08 Thread Samuel Mimram
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: ocaml-alsa Version : 0.1.0 Upstream Author : Samuel Mimram <[EMAIL PROTECTED]> * URL : http://savonet.sf.net/ * License : GPL Programming Lang: ocaml + C

Bug#415862: ITP: why -- A software verification tool

2007-03-22 Thread Samuel Mimram
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: why Version : 2.02 Upstream Author : Jean-Christophe Filliâtre * URL : http://why.lri.fr/ * License : GPL Programming Lang: OCaml Description : A so

Re: Bug#412704: ITP: ocaml-ao -- OCaml bindings for libao

2007-02-28 Thread Samuel Mimram
Hi, Stefano Zacchiroli wrote: > On Tue, Feb 27, 2007 at 04:07:37PM +0100, Romain Beauxis wrote: >> Owner: Samuel Mimram <[EMAIL PROTECTED]> > > Given this, I guess you're already familiar with what I'm going to say, > but better safe then sorry ... > >

Bug#410702: ITP: xmoto-edit -- Editor for xmoto, a 2D motocross platform game

2007-02-12 Thread Samuel Mimram
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: xmoto-edit Version : 0.2.4 Upstream Author : Rasmus Neckelmann <[EMAIL PROTECTED]>, Nicolas Adenis-Lamarre <[EMAIL PROTECTED]> * URL

Bug#387454: ITP: ocsigen -- web programming framework in OCaml

2006-09-14 Thread Samuel Mimram
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: ocsigen Version : 0.4.0 Upstream Author : Vincent Balat <[EMAIL PROTECTED]> * URL : http://ocsigen.org/ * License : GPL Programming Lang: OCaml Descripti

Bug#385121: ITP: midish -- shell-like MIDI sequencer/filter

2006-08-29 Thread Samuel Mimram
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: midish Version : 0.2.4 Upstream Author : Alexandre Ratchov <[EMAIL PROTECTED]> * URL : http://caoua.org/midish/ * License : 2-clauses BSD Program

Bug#372849: ITP: wired -- music production and creation software

2006-06-12 Thread Samuel Mimram
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: wired Version : 0.2.2 Upstream Author : The Wired Team * URL : http://wired.sf.net/ * License : GPL Programming Lang: C++ Description : music producti

Bug#366069: ITP: fusesmb -- filesystem client based on the samba file transfer protocol

2006-05-04 Thread Samuel Mimram
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: fusesmb Version : 0.8.4 Upstream Author : Vincent Wagelaar <[EMAIL PROTECTED]> * URL : http://www.ricardis.tudelft.nl/~vincent/fusesmb/ * License : mainl

Bug#363539: ITP: menhir -- Parser generator for OCaml

2006-04-19 Thread Samuel Mimram
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: menhir Version : 20060412 Upstream Author : François Pottier <[EMAIL PROTECTED]>, Yann Régis-Gianas <[EMAIL PROTECTED]> * URL : http://pauillac.inria.f

Re: removal of svenl from the project

2006-03-15 Thread Samuel Mimram
Hi, Andres Salomon wrote: On Wed, Mar 15, 2006 at 10:59:46AM -0500, Stefano Zacchiroli wrote: Thanks for yours and Ralf's responses. To be honest, I wasn't expecting anyone to actually say that they *enjoyed* working w/ Sven. This is making me seriously reconsider my request; obviously, I don

Bug#344906: ITP: sysprof -- A system-wide linux profiler

2005-12-27 Thread Samuel Mimram
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: sysprof Version : 1.0.1 Upstream Author : Søren Sandmann <[EMAIL PROTECTED]> * URL : http://www.daimi.au.dk/~sandmann/sysprof/ * License : GPL Descrip

Bug#331535: ITP: xmoto -- 2D motocross platform game

2005-10-03 Thread Samuel Mimram
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: xmoto Version : 0.1.5 Upstream Author : Rasmus Neckelmann <[EMAIL PROTECTED]> * URL : http://xmoto.sourceforge.net/ * License : GPL Description :

Bug#329004: ITP: cairo-ocaml -- OCaml bindings for the cairo library

2005-09-18 Thread Samuel Mimram
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: cairo-ocaml Version : CVS Upstream Author : Olivier Andrieu <[EMAIL PROTECTED]> * URL : http://cairographics.org/cairo_2docaml * License : LGPL Description

Bug#319287: ITP: ocaml-ssl -- OCaml bindings for the openssl library

2005-07-20 Thread Samuel Mimram
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: ocaml-ssl Version : 0.3.1 Upstream Author : Samuel Mimram <[EMAIL PROTECTED]> * URL : http://savonet.sourceforge.net/ * License : LGPL + exceptions