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

[Ansgar Burchardt]

Jö Fahlke writes:
> 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.

I don't see any problem with them using just "dune" either and don't see
why dune (numerics) should care?

I still feel like dune (numerics) was just dragged into this for no good
reason (bugs in Debian should be discussed with package maintainers
before getting escalated to the tech-ctte, but Ian did never even
contact the package maintainer for libdune-*...)

Ansgar