Bug#1073289: OCaml 5.2.0
Hi,
Le mardi 18 juin 2024 à 11:12 +0200, Stéphane Glondu a écrit :
> Le 18/06/2024 à 09:58, julien.puydt@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
Reply to: