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
