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

[Jö Fahlke]

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ö.

-- 
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

Software is like sex; it's better when it's free.
-- Linus Torvalds
-------------- 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/20190123/6f0f88de/attachment.sig>