Hi everybody, I can't seem to figure out why this happened, but there are now a lot of OCaml packages in fedora 32 that have broken dependencies. I've CCd two of the maintainers that are impacted most by this (rjones and jjames). Right now, the following packages have broken dependencies and are not installable (you can verify this with "mock -r fedora-32-x86_64 (--enablerepo updates-testing, if necessary) install foo"): - coccinelle - coq{,-coqide} - frama-c - gappalib-coq - graphviz-opaml - nbdkit-ocaml-plugin-devel - ocaml-brlapi - ocaml-json-wheel{,-devel} - ocaml-libguestfs - ocaml-libnbd - ocaml-ppx-tools - ocaml-stdint - ocaml-why3 - why-jessie Most now broken dependencies seem to be caused by "Requires: ocaml(Stdlib) = aa33af4684579b41817bc194be0a7a26", which makes we wonder if those packages were built against the wrong version of ocaml somehow (maybe due to the side tag usage). Fabio _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx