Bug#919951: Request about the /usr/bin/dune filename

[Anil Madhavapeddy <anil@recoil.org>]

And just to followup the query about the libdune numeric library, they
also appear to have no plans to use /usr/bin/dune. I wasn’t copied on
their mailing list thread with the reply, but you can see it here:

https://lists.dune-project.org/pipermail/dune-devel/2019-January/002422.html

Ansgar Burchardt wrote:
> I don't think DUNE (the numerics framework) will ship /usr/bin/dune.
> I thought about introducing a "dune" meta-package that would depend
> on all DUNE modules available in Debian, but that could just be called
> "libdune" instead; that way it would sort close to the other libdune-*
> packages.

This seems like a reasonable solution all around. The OCaml Dune Debian
package could also be called libocaml-dune or something, if you feel that
`dune` is too generic a name. The /usr/bin/dune binary name is very very
hard for us to rename, however, since it is so embedded in so many project
Makefiles.

regards,
Anil