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

[Christian Engwer]

Hi,

As there are so many different packages with the name dune or something related, I'd rather suggest not too many any package "dune". For example the buildsystem could be called "ocaml-dune", whitedune already has a distinct name and DUNE might be called "libdune" or "dune-project"...

Christian

Am 23. Januar 2019 14:40:50 MEZ schrieb "Jö Fahlke" <jorrit at jorrit.de>:
>Hi Christian, Robert, Dominic, Steffen, Markus,
>
>not wanting to exclude anyone else, but if anyone has a different
>opinion on
>this matter I guess it would be one of you.  Do you see a reason not to
>let
>dune (an ocaml buildsystem) have the executable name "/usr/bin/dune"
>and
>package names such as "dune" and "libdune-ocaml-dev" in Debian?
>
>At least something along the lines of "busy right now, need more time",
>"I
>guess if you guys are OK with it it can't be too bad" or "don't care"
>would be
>good.
>
>See
>https://lists.dune-project.org/pipermail/dune-devel/2019-January/002419.html
>for our Discussion so far, and https://bugs.debian.org/919951 for the
>whole
>drama.
>
>Regards,
>Jö.