Re: Next OCaml transition: 4.14.x
Le lundi 18 septembre 2023 à 10:32 +0200, Stéphane Glondu a écrit :
> Le 18/09/2023 à 10:04, Julien Puydt a écrit :
> > I agree with that plan ; can you list which packages get broken in
> > each
> > case?
>
> I've attached the lists of (OPAM) packages that cannot be installed
> with
> each version of OCaml. It turns out the numbers don't exactly match
> with
> what I said in my first mail (but they are close).
>
> > Notice that as far as I know Coq isn't broken by the new OCaml but
> > has
> > performance issues with it - the Coq and OCaml upstreams are trying
> > to
> > fix this, so I expect new versions of both will get out when that
> > will
> > be fixed.
>
> Note that my opam-debian-switch workflow ignores most of Coq packages
> (except coq itself), since you take care of them with your own
> workflow.
Hmmm... I take care of them but some do depend on OCaml more directly
because they have an OCaml lib used in a Coq lib (aac-tactics comes to
mind, but I'm sure there are others), and I would rather have those
checked for breakage early rather than late.
My workflow is mostly manual using the tools from dh-coq (not shipped
in the binary package, by the way), so it's not foolproof -- I'm right
there in the middle!
For Coq packages there's a transition to coq 8.18 and a transition to
ssreflect/mathcomp 2.0 coming... I won't have to work on it before a
few weeks though.
Cheers,
J.Puydt
Reply to: