Le mardi 18 juin 2024 à 09:31 +0200, Stéphane Glondu a écrit : > Le 17/06/2024 à 07:47, julien.pu...@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. >
Just a quick rundown for now : - coq-doc fails but not coq... strange... needs to investigate - coq-iris - a bad perl transition, re-try? - coq-unimath - host couldn't take it, I'll have to try myself - coq-serapi - problem with the new yojson version, should be easy. Thanks, JP
