Subject: Re: [bug#66000] [PATCH 0/1] update dune to 3.10

From: pukkamustard <[email-masked]>
Date: Fri, 15 Sep 2023 14:25:42 +0000

Hi,

There's a patch series to update the OCaml compiler, dune and the Coq
clique here:

https://issues.guix.gnu.org/64249

Maybe we can close this issue for #64249?

Benjamin <[email-masked]> writes:

> This will allow me to push a series of patch to bump eio to 0.12 (as it
> depends on dune 3.9 [0]

Nice, looking forward to the patches.

Regards,
pukkamustard