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 : > > Just a quick rundown for now : > > - coq-doc fails but not coq... strange... needs to investigate > > This is due to new warnings treated as error, the default behaviour > of dune. This fixed by calling dune in --release mode (committed to > git).
Good! > > - coq-iris - a bad perl transition, re-try? > > This looks like a bug in aptitude. I've just reported: > > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1073598 > Good. > > - coq-unimath - host couldn't take it, I'll have to try myself Compilation is still in progress... my computer isn't very powerful... or at least not as much as I'd like! > > - coq-serapi - problem with the new yojson version, should be easy. I fixed the problem in unstable, so hopefully your next script run shouldn't have issues with it anymore. Cheers, JP
