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
