[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#66000] [PATCH 0/1] update dune to 3.10
|
From: |
pukkamustard |
|
Subject: |
[bug#66000] [PATCH 0/1] update dune to 3.10 |
|
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 <benjamin@uvy.fr> 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