Bug#623585: RFP: rpm5 -- rpm package manager v5

2011-04-21 Thread Pietro Abate
Package: wnpp Severity: wishlist * Package name: rpm5 Version : 5.3.6 Upstream Author : Jeff Johnson * URL : http://rpm5.org/ * License : LGPL Programming Lang: C Description : Package Manager for RPM v5 RPM is a powerful and mature command-line drive

Bug#577778: ITP: ocaml-buddy -- ocaml bindings for buddy bdd

2010-04-14 Thread Pietro Abate
Package: wnpp Severity: wishlist Owner: Pietro Abate Owner: Pietro Abate * Package name: ocaml-buddy Version : 0.1 Upstream Author : Pietro Abate * URL : http://github.com/abate/ocaml-buddy * License : LGPL Programming Lang: Ocaml / C Description

Bug#575500: ITP: libminisat2-ocaml -- Ocaml bindings for minisat2

2010-03-26 Thread Pietro Abate
Package: wnpp Severity: wishlist Owner: Pietro Abate Owner: Pietro Abate * Package name: libminisat2-ocaml Version : 0.3 Upstream Author : Pietro Abate * URL : http://github.com/abate/MiniSat-ocaml/tree/minisat2 * License : GPLv3 Programming Lang: Ocaml

Bug#504411: ITP: latexdiff -- Determine and mark up significant differences between LaTeX files

2008-12-20 Thread Pietro Abate
list. Everything is in git, it should be easy to work together. :) p On Wed, Dec 17, 2008 at 03:21:13PM +0200, Antti-Juhani Kaijanaho wrote: > On Mon, Nov 03, 2008 at 04:33:17PM +0100, Pietro Abate wrote: > > * Package name: latexdiff > > Version : 0.5 > > What

Bug#504411: ITP: latexdiff -- Determine and mark up significant differences between LaTeX files

2008-11-03 Thread Pietro Abate
Package: wnpp Severity: wishlist Owner: Pietro Abate <[EMAIL PROTECTED]> * Package name: latexdiff Version : 0.5 Upstream Author : Frederik Tilmann <[EMAIL PROTECTED]> * URL : http://bullard.esc.cam.ac.uk/~tilmann/soft.html * License : GPL Prog

Bug#469460: ITP: ocamlduce -- OCaml extended with datatypes to manipulate XML documents

2008-03-05 Thread Pietro Abate
Package: wnpp Severity: wishlist Owner: Pietro Abate <[EMAIL PROTECTED]> * Package name: ocamlduce Version : 3.10.0 Upstream Author : Alain Frisch <[EMAIL PROTECTED]> * URL : http://cduce.org/ocaml.html * License : LGPL, QPL Programming

Bug#395122: ITP: libxmlrpc-ocaml-dev -- XML-RPC support library for ocaml

2006-10-24 Thread Pietro Abate
Package: wnpp Severity: wishlist Owner: Pietro Abate <[EMAIL PROTECTED]> * Package name: libxmlrpc-ocaml-dev Version : 0.2.3 Upstream Author : Shawn Wagner <[EMAIL PROTECTED]> * URL : http://raevnos.pennmush.org/code/ocaml-xml-rpc/ * License