On 17 Feb 2020, at 23:25, Stéphane Glondu wrote:
>
> Hello,
>
> It has been brought to my attention that opam doesn't work in stable
> (buster) out of the box. This has been tracked in [1] (fixed in testing
> (bullseye)) and [2]. See in particular comments starting at [3].
>
> [1]
On Sun, 9 Sep 2018 10:44:14 +0200 Ralf Jung wrote:
> Hi Mehdi,
>
> > On 2018-09-07 12:42, Ralf Jung wrote:
> >> Package: opam
> >> Version: 2.0.0-2
> >> Severity: normal
> >>
> >> Dear Maintainer,
> >>
> >> Quoting from https://opam.ocaml.org/doc/2.0/External_solvers.html:
> >>
> >>> As of
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 dun
On 22 Jan 2019, at 19:35, Allison Randal wrote:
>
> On Tue, 22 Jan 2019 14:45:36 +0000 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
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
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,
Ian Jackson wrote:
> Note that this ocaml tool `dune' was previously known as `jbuilder'.
> It has nothing to do with Java AIUI.
The term ‘jbuilder’ came from the fact that the project originated as
an internal build tool at Jane Street, which was then subsequently
open sourced and adapted by
8 matches
Mail list logo