Hi, On Mon, 01 Sep 2025 at 21:38, Arnaud Daby-Seesaram <ds...@nanein.fr> wrote:
> use OCaml and Rocq on a daily basis and might join > the team soon. Feel free to send PR about updating Rocq. :-) Although connected to OCaml, it appears to me a separated team of ocaml-team. Moreover, feel free to comment on #2601 [1] and pick one item from the list #2626 (Upgrade OCam). Cheers, simon 1: https://codeberg.org/guix/guix/issues/2601 2: https://codeberg.org/guix/guix/issues/2626
