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

[Dominic Kempf]

No objections from me.

Dominic

On Wed, Jan 23, 2019 at 2:57 PM <Robert.Kloefkorn at norceresearch.no> wrote:

> 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/>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20190123/7a1d592e/attachment.htm>