Re: Next OCaml transition: 4.14.x
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.
Cheers,
--
Stéphane
0install
0install-solver
liquidsoap
obus
0install
0install-solver
camlbz2
camlimages
camlmix
camlp4
coccinelle
dot-merlin-reader
eliom
expect
facile
gettext
gsl
haxe
jbuilder
ldap
liquidsoap
magic
merlin
nproc
oasis
obuild
obus
ocaml-http
ocaml-migrate-parsetree
ocamldap
ocamldsort
ocamlify
ocamlmod
ocamlnet
ocamlrss
ocamlsdl
orpie
pgocaml
ppx_tools
pxp
rope
type_conv
ulex
usb
Reply to: