Le dimanche 16 juin 2024 à 07:36 +0200, Stéphane Glondu a écrit : > > - elpi/ssreflect: Julien, can you have a look? >
I just checked: the elpi I uploaded yesterday compiles - the breakage was #1073275, not the new OCaml. Your scripts should be able to progress on Coq-related packages quite nicely now. Cheers, JP