Le 17/06/2024 à 07:47, julien.puydt@gmail.com 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.
Indeed. There are still some coq packages missing, though. Cheers, -- Stéphane