<div dir="ltr"><div>No objections from me.</div><div><br></div><div>Dominic<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Jan 23, 2019 at 2:57 PM <<a href="mailto:Robert.Kloefkorn@norceresearch.no">Robert.Kloefkorn@norceresearch.no</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi Jö,<br>
<br>
I'll need until next week to answer that.<br>
<br>
Best,<br>
<br>
Rob<br>
<br>
On 1/23/19 2:40 PM, Jö Fahlke wrote:<br>
> Hi Christian, Robert, Dominic, Steffen, Markus,<br>
> <br>
> not wanting to exclude anyone else, but if anyone has a different opinion on<br>
> this matter I guess it would be one of you.  Do you see a reason not to let<br>
> dune (an ocaml buildsystem) have the executable name "/usr/bin/dune" and<br>
> package names such as "dune" and "libdune-ocaml-dev" in Debian?<br>
> <br>
> At least something along the lines of "busy right now, need more time", "I<br>
> guess if you guys are OK with it it can't be too bad" or "don't care" would be<br>
> good.<br>
> <br>
> See<br>
> <a href="https://lists.dune-project.org/pipermail/dune-devel/2019-January/002419.html" rel="noreferrer" target="_blank">https://lists.dune-project.org/pipermail/dune-devel/2019-January/002419.html</a><br>
> for our Discussion so far, and <a href="https://bugs.debian.org/919951" rel="noreferrer" target="_blank">https://bugs.debian.org/919951</a> for the whole<br>
> drama.<br>
> <br>
> Regards,<br>
> Jö.<br>
> <br>
<br>
-- <br>
<br>
*Robert Klöfkorn*<br>
** Chief Scientist<br>
Phone: +47 482 93 024<br>
<br>
Nygaardsgaten 112, 5008 Bergen, Norway<br>
<br>
*NORCE Norwegian Research Centre AS*<br>
<a href="http://norceresearch.no" rel="noreferrer" target="_blank">norceresearch.no</a> <<a href="http://norceresearch.no/" rel="noreferrer" target="_blank">http://norceresearch.no/</a>><br>
</blockquote></div>