On 23 Jan 2019, at 13:03, Jö Fahlke wrote:
>
> Am Mi, 23. Jan 2019, 11:59:12 + schrieb Anil Madhavapeddy:
>> - the consensus on the libdune numeric library thread is that there
>> is no current use of /usr/bin/dune, and it can coexist fine with
>> the OCaml dune package as a result [2]
>
Am Mi, 23. Jan 2019, 11:59:12 + schrieb Anil Madhavapeddy:
> - the consensus on the libdune numeric library thread is that there
> is no current use of /usr/bin/dune, and it can coexist fine with
> the OCaml dune package as a result [2]
[...]
> [2]
>
On 22 Jan 2019, at 19:35, Allison Randal wrote:
>
> On Tue, 22 Jan 2019 14:45:36 + Anil Madhavapeddy
> wrote:
>> Dear Debian project leader (CCed), we’ve resolved the rather
>> simple technical matter in this thread amicably by directly
>> communicating with the upstream software projects
On Tue, 22 Jan 2019 14:45:36 + Anil Madhavapeddy
wrote:
> Dear Debian project leader (CCed), we’ve resolved the rather
> simple technical matter in this thread amicably by directly
> communicating with the upstream software projects involved.
Glad to hear it, that's the way it should be. :)
On 22 Jan 2019, at 11:46, Ian Jackson wrote:
>
> Anil Madhavapeddy writes ("Bug#919951: Request about the /usr/bin/dune
> filename"):
>> And just to followup the query about the libdune numeric library, they
>> also appear to have no plans to use
Anil Madhavapeddy writes ("Bug#919951: Request about the /usr/bin/dune
filename"):
> 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
Am Mo, 21. Jan 2019, 20:00:18 + schrieb Anil Madhavapeddy:
> 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:
>
>
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
On 21 Jan 2019, at 16:55, J. Scheurich wrote:
>
> Dear developer of white_dune,
>> I am the original author of the dune build system [1] for the OCaml
>> language. I'm writing to you as I have recently been made aware that
>> there is a conflict in Debian over the filename /usr/bin/dune. Indeed,
9 matches
Mail list logo
