Re: Updating yojson to 2.0.2
Hi,
Le mardi 16 août 2022 à 09:53 +0200, Stéphane Glondu a écrit :
>
> Le 12/08/2022 à 22:29, julien.puydt@gmail.com a écrit :
> > - belenios through ocaml-atd -- and rebuilding against 2.10.0
> > doesn't work, I need to look into it.
>
> I recently updated belenios (the development version) to ocaml-atd
> 2.10.0:
>
> https://gitlab.inria.fr/belenios/belenios/-/commit/f353a2f074ed4ce1e97a9643fa9f17ea453b2213
>
> The next stable release (scheduled in September) will include this.
> If a
> fix is needed earlier, the patch should be easily backported.
>
It's not very urgent -- in september I also expect a new Coq and a new
batch of students, so the more I get done now the better (or at least
ready to be done).
Cheers,
J.Puydt
Reply to: