Bug#494206: ITP: pkglab -- interactive environment to explore package repositories

2008-08-07 Thread Stefano Zacchiroli
Package: wnpp Severity: wishlist Owner: Stefano Zacchiroli <[EMAIL PROTECTED]> * Package name: pkglab Version : 1.3 Upstream Author : Berke Durak, Jaap Boender * URL : http://gforge.inria.fr/projects/sodiac/ * License : GPL / LGPL Programming Lang: OCaml Des

Processed: tagging 451675

2008-08-07 Thread Debian Bug Tracking System
Processing commands for [EMAIL PROTECTED]: > # Automatically generated email from bts, devscripts version 2.10.35 > tags 451675 + pending Bug#451675: split out a dh-ocaml package to support building of ocaml-related debian packages There were no tags set. Tags added: pending > End of message, st

dh-ocaml package uploaded

2008-08-07 Thread Stefano Zacchiroli
Hi all, the present just to inform you that I've just uploaded to experimental the new "dh-ocaml" package. Its description explains properly what it is about: Description: helper tools for maintaining OCaml-related Debian packages dh-ocaml is a set of tools and documents to help maintaining

Processed: dh-ocaml package is being worked on

2008-08-07 Thread Debian Bug Tracking System
Processing commands for [EMAIL PROTECTED]: > retitle 451675 split out a dh-ocaml package to support building of > ocaml-related debian packages Bug#451675: split out an ocaml-support package to support building of ocaml-related debian packages Changed Bug title to `split out a dh-ocaml package t

Bug#451675: dh-ocaml package is being worked on

2008-08-07 Thread Stefano Zacchiroli
retitle 451675 split out a dh-ocaml package to support building of ocaml-related debian packages thanks On Sat, Nov 17, 2007 at 08:23:09PM +0100, Stefano Zacchiroli wrote: > The OCaml packaging policy, our CDBS class, and forthcoming other tools > to help building OCaml-related Debian package are

Re: Coq 'parser' -> 'coq-parser'

2008-08-07 Thread Stéphane Glondu
Stefano Zacchiroli a écrit : Just to let you know Fedora found a conflict with /usr/bin/parser from Coq & from another (non-OCaml) package, so we asked upstream Coq if they could change the name of this program to be less generic, and they have agreed to change it to coq-parser in the next releas

Re: Coq 'parser' -> 'coq-parser'

2008-08-07 Thread Stefano Zacchiroli
On Wed, Aug 06, 2008 at 12:08:47PM +0100, Richard Jones wrote: > Just to let you know Fedora found a conflict with /usr/bin/parser from > Coq & from another (non-OCaml) package, so we asked upstream Coq if > they could change the name of this program to be less generic, and > they have agreed to ch

Re: [SCM] dh-ocaml packaging branch

2008-08-07 Thread Stefano Zacchiroli
On Thu, Aug 07, 2008 at 12:23:28PM +0200, Sylvain Le Gall wrote: > I think that ocaml-debian-support will be a more generic name, since in > the description there is a CDBS class and the policy -- which has > nothing related to debhelper. "dh" is not a trademark of debhelper, indeed the current sh

Coq 'parser' -> 'coq-parser'

2008-08-07 Thread Richard Jones
Hi, Just to let you know Fedora found a conflict with /usr/bin/parser from Coq & from another (non-OCaml) package, so we asked upstream Coq if they could change the name of this program to be less generic, and they have agreed to change it to coq-parser in the next release. Rich. -- Richard Jon

Re: [SCM] dh-ocaml packaging branch

2008-08-07 Thread Sylvain Le Gall
In gmane.linux.debian.packages.ocaml.scm, you wrote: > The branch, master has been created > at f565016a6ecc31f652abb15d4c603b024dd1b78b (commit) > I think that ocaml-debian-support will be a more generic name, since in the description there is a CDBS class and the policy -- which has not