[Dune-devel] Request about the /usr/bin/dune filename

[Jö Fahlke]

Am Do, 31. Jan 2019, 12:34:53 +0100 schrieb Jö Fahlke:
> Alright, pending Robert Klöfkorns opinion, I'm gonna attempt a draft

I got agreement to the draft from Robert in private mail.

> statement.  We should get our move on, since Debian will stop accepting new
> packages 2019-02-12[1], and renaming a package counts as a new package if I'm
> not mistaken.
> 
> [1] https://lists.debian.org/debian-devel-announce/2019/01/msg00008.html
> 
> ---DRAFT---DRAFT---DRAFT---DRAFT---DRAFT---DRAFT---DRAFT---DRAFT---
> 
> 1. Dune (numerics) does not see a good enough reason to stop dune (ocaml)
>    taking the /usr/bin/dune filename.
> 
> 2. Dune (numerics) does not see a problem in dune (ocaml) using "dune" or
>    "libdune" in package names, as long as "ocaml" also appears in the package
>    name.
> 
> ---DRAFT---DRAFT---DRAFT---DRAFT---DRAFT---DRAFT---DRAFT---DRAFT---
> 
> @Stéphane Glondu: Renaming the package was offered by Anil Madhavapeddy here:
> https://lists.dune-project.org/pipermail/dune-devel/2019-January/002432.html
> As the (visible) maintainer of Dune (ocaml) in Debian, do you consider this
> feasible?  Please let us know if not.
> 
> Regards,
> Jö.

-- 
Jorrit (Jö) Fahlke, Institute for Computational und Applied Mathematics,
University of Münster, Orleans-Ring 10, D-48149 Münster
Tel: +49 251 83 35146 Fax: +49 251 83 32729

This message is protected by DoubleROT13 encryption
Attempting to decode it violates the DMCA/WIPO acts
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20190131/94d91958/attachment.sig>