Bug#1073289: OCaml 5.2.0

[julien . puydt]

Hi,

Le mardi 18 juin 2024 à 11:12 +0200, Stéphane Glondu a écrit :
> Le 18/06/2024 à 09:58, julien.pu...@gmail.com a écrit :
> > - coq-unimath - host couldn't take it, I'll have to try myself

It's a green light!

JP