Message ID | cover.1694787299.git.benjamin@uvy.fr |
---|---|
Headers | show |
Series | update dune to 3.10 | expand |
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
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? Oh I looked for dune open issues but did not find that one. Sure we can merge it and close this issue
Hi, On Fri, 15 Sep 2023 at 17:54, "Benjamin" <benjamin@uvy.fr> wrote: >> 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? > > Oh I looked for dune open issues but did not find that one. > Sure we can merge it and close this issue I am closing #66000… nice id number btw. ;-) Cheers, simon