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
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
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
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
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
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
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
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
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
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
10 matches
Mail list logo