Re: Bug#1092985: OCaml 5.3.0

[Julien Puydt <julien.puydt@gmail.com>]

Hi,

Le mardi 14 janvier 2025 à 08:12 +0100, Stéphane Glondu a écrit :
> 
> I've rebuilt all (relevant) packages with this new version; the
> results are available at the following address:
> 
>    http://ocaml.debian.net/transitions/ocaml-5.3.0/


For some of them I have clues :


- coq-unimath is a beast ; since it's coq code, I think it's ok as long
as its depends actually using OCaml are.



- coq-doc fails for another reason than the one in reason.txt:
    from typing.io import TextIO
ModuleNotFoundError: No module named 'typing.io'; 'typing' is not a
package

 This could be related to the transition to Python 3.13 rather than an
actual problem with coq-doc, so perhaps just testing again in a few
days will solve the problem.



- frama-c: the version we have is broken (uses new reserved keyword
`effect`) ; I don't know if the new version would help (I digged a
little, lacked time for more).



- ocaml-merlin: a new version is out which may fix the problem - I plan
to work on it pretty soon.



- why3: we need the newest upstream (their changelog says they support
OCaml 5.3).



Cheers,

J.Puydt