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

[Robert.Kloefkorn at norceresearch.no]

Hi Jö,

I'll need until next week to answer that.

Best,

Rob

On 1/23/19 2:40 PM, Jö Fahlke wrote:
> 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ö.
> 

-- 

*Robert Klöfkorn*
** Chief Scientist
Phone: +47 482 93 024

Nygaardsgaten 112, 5008 Bergen, Norway

*NORCE Norwegian Research Centre AS*
norceresearch.no <http://norceresearch.no/>