Home|Differences with the last checks|Previous runs

Differences between 2e72379 and 69f4d66 (git diff)

Packages now failing:

• altgr-ergo.2.4.3 on 4.14.2 had its build status changed: passing to failing
• altgr-ergo.2.4.3 on 5.3.0 had its build status changed: passing to failing
• cgi.0.10 on 4.14.2 had its build status changed: passing to failing
• conf-assimp.1 on 4.14.2 had its build status changed: internal failure to failing
• conf-assimp.1 on 5.3.0 had its build status changed: internal failure to failing
• conf-emacs.1 on 4.14.2 had its build status changed: internal failure to failing
• conf-emacs.1 on 5.3.0 had its build status changed: internal failure to failing
• conf-gles2.1 on 4.14.2 had its build status changed: internal failure to failing
• conf-gles2.1 on 5.3.0 had its build status changed: internal failure to failing
• conf-gnuplot.0.1 on 4.14.2 had its build status changed: internal failure to failing
• conf-gnuplot.0.1 on 5.3.0 had its build status changed: internal failure to failing
• conf-leveldb.2 on 5.3.0 had its build status changed: internal failure to failing
• conf-qemu-img.1 on 4.14.2 had its build status changed: internal failure to failing
• conf-qemu-img.1 on 5.3.0 had its build status changed: internal failure to failing
• conf-r.1.0.0 on 4.14.2 had its build status changed: internal failure to failing
• conf-r.1.0.0 on 5.3.0 had its build status changed: internal failure to failing
• conf-rocksdb.1 on 4.14.2 had its build status changed: internal failure to failing
• conf-rocksdb.1 on 5.3.0 had its build status changed: internal failure to failing
• conf-tidy.1 on 5.3.0 had its build status changed: internal failure to failing
• cubicle.1.2.0 on 4.14.2 had its build status changed: passing to failing
• gccjit.0.3.2 on 4.14.2 had its build status changed: passing to failing
• gccjit.0.3.2 on 5.3.0 had its build status changed: passing to failing
• jasmin.2025.06.3 on 4.14.2 is now installable. Current state is: failing
• jasmin.2025.06.3 on 5.3.0 is now installable. Current state is: failing
• lablgtk.2.18.14 on 4.14.2 had its build status changed: passing to failing
• lablgtk.2.18.14 on 5.3.0 had its build status changed: passing to failing
• libevent.0.9.0 on 4.14.2 had its build status changed: internal failure to failing
• lo.0.2.0 on 4.14.2 had its build status changed: internal failure to failing

Packages now partially failing:

• acpc.1.2.3 on 4.14.2 had its build status changed: passing to partially failing
• acpc.2.0.0 on 5.3.0 had its build status changed: passing to partially failing
• benchpress-server.0.1 on 4.14.2 had its build status changed: passing to partially failing
• benchpress.0.1 on 4.14.2 had its build status changed: passing to partially failing
• cairo2-gtk.0.6.5 on 4.14.2 had its build status changed: passing to partially failing
• cairo2-gtk.0.6.5 on 5.3.0 had its build status changed: passing to partially failing
• cairo2-pango.0.6.5 on 4.14.2 had its build status changed: passing to partially failing
• cairo2-pango.0.6.5 on 5.3.0 had its build status changed: passing to partially failing
• caml-mode.4.9 on 4.14.2 had its build status changed: passing to partially failing
• caml-mode.4.9 on 5.3.0 had its build status changed: internal failure to partially failing
• flint.0.4.2 on 4.14.2 is now installable. Current state is: partially failing
• flint.0.4.2 on 5.3.0 is now installable. Current state is: partially failing
• gnuplot.0.7 on 4.14.2 had its build status changed: internal failure to partially failing
• gnuplot.0.7 on 5.3.0 had its build status changed: passing to partially failing
• index-bench.1.6.2 on 4.14.2 had its build status changed: passing to partially failing
• index-bench.1.6.2 on 5.3.0 had its build status changed: passing to partially failing
• irmin-bench.3.11.0 on 4.14.2 had its build status changed: passing to partially failing
• irmin-bench.3.11.0 on 5.3.0 had its build status changed: passing to partially failing
• irmin-test.3.11.0 on 4.14.2 had its build status changed: passing to partially failing
• irmin-test.3.11.0 on 5.3.0 had its build status changed: passing to partially failing
• lablgtk3-rsvg2.3.1.5 on 4.14.2 had its build status changed: internal failure to partially failing
• lablgtk3-rsvg2.3.1.5 on 5.3.0 had its build status changed: internal failure to partially failing
• labrys.0.1 on 4.14.2 had its build status changed: internal failure to partially failing
• metrics-unix.0.5.0 on 4.14.2 had its build status changed: passing to partially failing
• metrics-unix.0.5.0 on 5.3.0 had its build status changed: passing to partially failing
• nlopt-ocaml.transition on 5.3.0 had its build status changed: internal failure to partially failing
• ocamleditor.1.16.0-ocaml414 on 4.14.2 had its build status changed: passing to partially failing
• ocamlgraph_gtk.2.2.0 on 4.14.2 had its build status changed: passing to partially failing
• ocamlgraph_gtk.2.2.0 on 5.3.0 had its build status changed: passing to partially failing
• odnnr.2.0.0 on 4.14.2 had its build status changed: failing to partially failing
• odnnr.2.0.0 on 5.3.0 had its build status changed: failing to partially failing
• omlr.1.0.3 on 4.14.2 had its build status changed: passing to partially failing
• omlr.1.0.3 on 5.3.0 had its build status changed: passing to partially failing
• openstellina.0.0.3 on 4.14.2 had its build status changed: passing to partially failing
• openstellina.0.0.3 on 5.3.0 had its build status changed: passing to partially failing
• oplsr.8.0.1 on 4.14.2 had its build status changed: failing to partially failing
• oplsr.8.0.1 on 5.3.0 had its build status changed: failing to partially failing
• orrandomForest.3.0.0 on 4.14.2 had its build status changed: failing to partially failing
• orrandomForest.3.0.0 on 5.3.0 had its build status changed: failing to partially failing
• orsvm_e1071.4.0.0 on 4.14.2 had its build status changed: passing to partially failing
• orsvm_e1071.4.0.0 on 5.3.0 had its build status changed: passing to partially failing
• orxgboost.1.2.0 on 4.14.2 had its build status changed: failing to partially failing
• orxgboost.1.2.0 on 5.3.0 had its build status changed: failing to partially failing
• owl-jupyter.1.0 on 4.14.2 had its build status changed: internal failure to partially failing
• owl-jupyter.1.0 on 5.3.0 had its build status changed: not available to partially failing
• owl-ode-odepack.0.5.0 on 4.14.2 had its build status changed: internal failure to partially failing
• owl-ode-odepack.0.5.0 on 5.3.0 had its build status changed: internal failure to partially failing
• owl-ode-sundials.0.5.0 on 4.14.2 had its build status changed: internal failure to partially failing
• owl-ode.0.5.0 on 4.14.2 had its build status changed: internal failure to partially failing
• owl-opt-lbfgs.0.0.1 on 4.14.2 had its build status changed: internal failure to partially failing
• owl-opt-lbfgs.0.0.1 on 5.3.0 had its build status changed: internal failure to partially failing
• owl-opt.0.0.1 on 4.14.2 had its build status changed: internal failure to partially failing
• owl-opt.0.0.1 on 5.3.0 had its build status changed: internal failure to partially failing
• owl-plplot.1.1 on 4.14.2 had its build status changed: internal failure to partially failing
• owl-plplot.1.1 on 5.3.0 had its build status changed: internal failure to partially failing
• owl-top.1.2 on 5.3.0 had its build status changed: internal failure to partially failing
• prbnmcn-dagger-test.0.0.2 on 4.14.2 had its build status changed: passing to partially failing
• prbnmcn-dagger-test.0.0.2 on 5.3.0 had its build status changed: passing to partially failing
• prooftree.0.14 on 4.14.2 had its build status changed: passing to partially failing
• prooftree.0.14 on 5.3.0 had its build status changed: passing to partially failing
• proverif.2.05 on 4.14.2 had its build status changed: passing to partially failing
• proverif.2.05 on 5.3.0 had its build status changed: passing to partially failing
• qcaml.0.1.7 on 5.3.0 is now installable. Current state is: partially failing
• raygui.1.6.0 on 4.14.2 is now installable. Current state is: partially failing
• raygui.1.6.0 on 5.3.0 is now installable. Current state is: partially failing
• raylib-callbacks.1.6.0 on 4.14.2 is now installable. Current state is: partially failing
• raylib-callbacks.1.6.0 on 5.3.0 is now installable. Current state is: partially failing
• raylib.1.6.0 on 4.14.2 is now installable. Current state is: partially failing
• raylib.1.6.0 on 5.3.0 is now installable. Current state is: partially failing
• tuareg.3.0.1 on 4.14.2 had its build status changed: passing to partially failing
• tuareg.3.0.1 on 5.3.0 had its build status changed: passing to partially failing
• zelus-gtk.2.2 on 4.14.2 had its build status changed: passing to partially failing
• zelus-gtk.2.2 on 5.3.0 had its build status changed: passing to partially failing

Packages now not available:

• albatross.2.6.1 on 4.14.2 is not available anymore. Previous state was: passing
• albatross.2.6.1 on 5.3.0 is not available anymore. Previous state was: passing
• alice.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• art.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• art.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• atd.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• atd.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdcpp.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdcpp.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdd.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdd.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdgen-codec-runtime.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdgen-codec-runtime.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdgen-runtime.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdgen-runtime.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdgen.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdgen.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdj.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdj.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdpy.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdpy.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
• atds.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• atds.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdts.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdts.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
• bibfmt.0.7.9 on 4.14.2 is not available anymore. Previous state was: passing
• bibfmt.0.7.9 on 5.3.0 is not available anymore. Previous state was: passing
• bin.0.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• bin.0.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• binsec.0.10.1 on 4.14.2 is not available anymore. Previous state was: passing
• binsec.0.10.1 on 5.3.0 is not available anymore. Previous state was: passing
• bstr.0.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• bstr.0.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• cachet-lwt.0.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• cachet-lwt.0.0.2 on 5.3.0 is not available anymore. Previous state was: passing
• cachet-solo5.0.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• cachet-solo5.0.0.2 on 5.3.0 is not available anymore. Previous state was: passing
• cachet.0.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• cachet.0.0.2 on 5.3.0 is not available anymore. Previous state was: passing
• cairn.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• cairn.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• carton-git-lwt.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• carton-git-lwt.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• carton-lwt.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• carton-lwt.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• carton.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• carton.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• charrua-client.2.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• charrua-client.2.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• charrua-server.2.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• charrua-server.2.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• charrua-unix.2.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• charrua-unix.2.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• charrua.2.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• charrua.2.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• checked_oint.1.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• checked_oint.1.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• chrome-trace.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• chrome-trace.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• cohttp-curl-lwt.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• cohttp-curl-lwt.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• cohttp-curl.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• cohttp-curl.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• cohttp-eio.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• cohttp-lwt-jsoo.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• cohttp-lwt-jsoo.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• cohttp-lwt-unix.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• cohttp-lwt-unix.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• cohttp-lwt.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• cohttp-lwt.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• cohttp-mirage.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• cohttp-mirage.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• cohttp-server-lwt-unix.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• cohttp-server-lwt-unix.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• cohttp-top.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• cohttp-top.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• cohttp.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• cohttp.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• containers-data.3.16 on 4.14.2 is not available anymore. Previous state was: passing
• containers-data.3.16 on 5.3.0 is not available anymore. Previous state was: passing
• containers.3.16 on 4.14.2 is not available anymore. Previous state was: passing
• containers.3.16 on 5.3.0 is not available anymore. Previous state was: passing
• coq-lsp.0.2.4+9.1 on 4.14.2 is not available anymore. Previous state was: passing
• coq-lsp.0.2.4+9.1 on 5.3.0 is not available anymore. Previous state was: passing
• coq-waterproof.3.1.0+9.0 on 4.14.2 is not available anymore. Previous state was: passing
• coq-waterproof.3.1.0+9.0 on 5.3.0 is not available anymore. Previous state was: passing
• cryptokit.1.20 on 4.14.2 is not available anymore. Previous state was: passing
• cryptokit.1.20 on 5.3.0 is not available anymore. Previous state was: passing
• current.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• current.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• current_docker.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• current_docker.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• current_examples.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• current_examples.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• current_git.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• current_git.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• current_github.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• current_github.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• current_gitlab.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• current_gitlab.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• current_rpc.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• current_rpc.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• current_slack.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• current_slack.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• current_ssh.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• current_ssh.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• current_web.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• current_web.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• dns-certify.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dns-certify.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dns-cli.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dns-cli.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client-lwt.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dns-client-lwt.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client-miou-unix.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client-mirage.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dns-client-mirage.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dns-client.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dns-mirage.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dns-mirage.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dns-resolver.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dns-resolver.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dns-server.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dns-server.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dns-stub.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dns-stub.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dns-tsig.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dns-tsig.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dns.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dns.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dnssec.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dnssec.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dockerfile-cmd.8.3.3 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile-cmd.8.3.3 on 5.3.0 is not available anymore. Previous state was: passing
• dockerfile-opam.8.3.3 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile-opam.8.3.3 on 5.3.0 is not available anymore. Previous state was: passing
• dockerfile.8.3.3 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile.8.3.3 on 5.3.0 is not available anymore. Previous state was: passing
• doi2bib.0.7.9 on 4.14.2 is not available anymore. Previous state was: passing
• doi2bib.0.7.9 on 5.3.0 is not available anymore. Previous state was: passing
• dune-action-plugin.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• dune-action-plugin.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• dune-build-info.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• dune-build-info.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• dune-configurator.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• dune-configurator.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• dune-glob.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• dune-glob.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• dune-private-libs.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• dune-private-libs.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• dune-rpc-lwt.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• dune-rpc-lwt.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• dune-rpc.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• dune-rpc.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• dune-site.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• dune-site.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• dune.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• dune.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• dyn.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• dyn.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• elpi.3.4.3 on 4.14.2 is not available anymore. Previous state was: passing
• elpi.3.4.3 on 5.3.0 is not available anymore. Previous state was: passing
• expr.0.5.2 on 4.14.2 is not available anymore. Previous state was: passing
• expr.0.5.2 on 5.3.0 is not available anymore. Previous state was: passing
• ffmpeg-av.1.2.7 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-av.1.2.7 on 5.3.0 is not available anymore. Previous state was: passing
• ffmpeg-avcodec.1.2.7 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-avcodec.1.2.7 on 5.3.0 is not available anymore. Previous state was: passing
• ffmpeg-avdevice.1.2.7 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-avdevice.1.2.7 on 5.3.0 is not available anymore. Previous state was: passing
• ffmpeg-avfilter.1.2.7 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-avfilter.1.2.7 on 5.3.0 is not available anymore. Previous state was: passing
• ffmpeg-avutil.1.2.7 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-avutil.1.2.7 on 5.3.0 is not available anymore. Previous state was: passing
• ffmpeg-swresample.1.2.7 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-swresample.1.2.7 on 5.3.0 is not available anymore. Previous state was: passing
• ffmpeg-swscale.1.2.7 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-swscale.1.2.7 on 5.3.0 is not available anymore. Previous state was: passing
• ffmpeg.1.2.7 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg.1.2.7 on 5.3.0 is not available anymore. Previous state was: passing
• fit.1.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• fit.1.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• flint.0.4.0 on 4.14.2 is not available anymore. Previous state was: partially failing
• flint.0.4.0 on 5.3.0 is not available anymore. Previous state was: partially failing
• flux.0.0.1~beta1 on 5.3.0 is not available anymore. Previous state was: passing
• fluxt.0.0.1~beta1 on 5.3.0 is not available anymore. Previous state was: passing
• fmlib.0.6.1 on 4.14.2 is not available anymore. Previous state was: passing
• fmlib.0.6.1 on 5.3.0 is not available anymore. Previous state was: passing
• fmlib_browser.0.6.1 on 4.14.2 is not available anymore. Previous state was: passing
• fmlib_browser.0.6.1 on 5.3.0 is not available anymore. Previous state was: passing
• fmlib_js.0.6.1 on 4.14.2 is not available anymore. Previous state was: passing
• fmlib_js.0.6.1 on 5.3.0 is not available anymore. Previous state was: passing
• fmlib_parse.0.6.1 on 4.14.2 is not available anymore. Previous state was: passing
• fmlib_parse.0.6.1 on 5.3.0 is not available anymore. Previous state was: passing
• fmlib_pretty.0.6.1 on 4.14.2 is not available anymore. Previous state was: passing
• fmlib_pretty.0.6.1 on 5.3.0 is not available anymore. Previous state was: passing
• fmlib_std.0.6.1 on 4.14.2 is not available anymore. Previous state was: passing
• fmlib_std.0.6.1 on 5.3.0 is not available anymore. Previous state was: passing
• frama-c.32.0~beta on 4.14.2 is not available anymore. Previous state was: passing
• frama-c.32.0~beta on 5.3.0 is not available anymore. Previous state was: internal failure
• github-data.4.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• github-data.4.5.0 on 5.3.0 is not available anymore. Previous state was: passing
• github-jsoo.4.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• github-jsoo.4.5.0 on 5.3.0 is not available anymore. Previous state was: passing
• github-unix.4.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• github-unix.4.5.0 on 5.3.0 is not available anymore. Previous state was: passing
• github.4.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• github.4.5.0 on 5.3.0 is not available anymore. Previous state was: passing
• html_of_jsx.0.0.6 on 4.14.2 is not available anymore. Previous state was: passing
• html_of_jsx.0.0.6 on 5.3.0 is not available anymore. Previous state was: passing
• http.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• http.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• huml-cli.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• huml-cli.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• huml.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• huml.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• hxd.0.3.5 on 4.14.2 is not available anymore. Previous state was: passing
• hxd.0.3.5 on 5.3.0 is not available anymore. Previous state was: passing
• jasmin.2025.06.2 on 4.14.2 is not available anymore. Previous state was: failing
• jasmin.2025.06.2 on 5.3.0 is not available anymore. Previous state was: failing
• json-data-encoding-browser.1.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• json-data-encoding-browser.1.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• json-data-encoding-bson.1.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• json-data-encoding-bson.1.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• json-data-encoding.1.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• json-data-encoding.1.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• jsonrpc.1.24.0 on 4.14.2 is not available anymore. Previous state was: passing
• jsonrpc.1.24.0 on 5.3.0 is not available anymore. Previous state was: passing
• lambda-term.3.3.2 on 4.14.2 is not available anymore. Previous state was: passing
• lambda-term.3.3.2 on 5.3.0 is not available anymore. Previous state was: passing
• libsail.0.20 on 4.14.2 is not available anymore. Previous state was: passing
• libsail.0.20 on 5.3.0 is not available anymore. Previous state was: passing
• lsp.1.24.0 on 4.14.2 is not available anymore. Previous state was: passing
• lsp.1.24.0 on 5.3.0 is not available anymore. Previous state was: passing
• lwt.6.0.0~alpha00 on 4.14.2 is not available anymore. Previous state was: passing
• lwt.6.0.0~alpha00 on 5.3.0 is not available anymore. Previous state was: passing
• lwt_direct.6.0.0~alpha00 on 5.3.0 is not available anymore. Previous state was: passing
• lwt_ppx.5.9.2 on 4.14.2 is not available anymore. Previous state was: passing
• lwt_ppx.5.9.2 on 5.3.0 is not available anymore. Previous state was: passing
• mazeppa.0.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• mazeppa.0.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• melange-jest.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• melange-testing-library.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• melange-testing-library.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• melange-webapi.0.21.0 on 4.14.2 is not available anymore. Previous state was: passing
• melange-webapi.0.21.0 on 5.3.0 is not available anymore. Previous state was: passing
• melange.5.1.0-414 on 4.14.2 is not available anymore. Previous state was: passing
• melange.5.1.0-53 on 5.3.0 is not available anymore. Previous state was: passing
• memcpy.0.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• memcpy.0.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• metadata.0.3.1 on 4.14.2 is not available anymore. Previous state was: passing
• metadata.0.3.1 on 5.3.0 is not available anymore. Previous state was: passing
• miou.0.5.0 on 5.3.0 is not available anymore. Previous state was: passing
• mlx.0.10 on 4.14.2 is not available anymore. Previous state was: passing
• mlx.0.10 on 5.3.0 is not available anymore. Previous state was: passing
• multicore-magic-dscheck.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
• multicore-magic-dscheck.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
• multicore-magic.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
• multicore-magic.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
• ocamlc-loc.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• ocamlc-loc.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• ocamlformat-mlx-lib.0.27.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• ocamlformat-mlx-lib.0.27.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• ocamlformat-mlx.0.27.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• ocamlformat-mlx.0.27.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• ocamlmerlin-mlx.0.10 on 4.14.2 is not available anymore. Previous state was: passing
• ocamlmerlin-mlx.0.10 on 5.3.0 is not available anymore. Previous state was: passing
• opam-build.0.2.6 on 4.14.2 is not available anymore. Previous state was: passing
• opam-build.0.2.6 on 5.3.0 is not available anymore. Previous state was: passing
• opam-check-npm-deps.4.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-check-npm-deps.4.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-test.0.2.6 on 4.14.2 is not available anymore. Previous state was: passing
• opam-test.0.2.6 on 5.3.0 is not available anymore. Previous state was: passing
• ordering.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• ordering.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• otp.0.2 on 4.14.2 is not available anymore. Previous state was: internal failure
• otp.0.2 on 5.3.0 is not available anymore. Previous state was: internal failure
• pacomb.1.3 on 4.14.2 is not available anymore. Previous state was: passing
• pacomb.1.3 on 5.3.0 is not available anymore. Previous state was: passing
• passage.0.1.2 on 4.14.2 is not available anymore. Previous state was: partially failing
• posix-base.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• posix-base.2.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• posix-bindings.3 on 4.14.2 is not available anymore. Previous state was: passing
• posix-bindings.3 on 5.3.0 is not available anymore. Previous state was: passing
• posix-getopt.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• posix-getopt.2.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• posix-math2.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• posix-math2.2.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• posix-signal.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• posix-signal.2.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• posix-socket-unix.3.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• posix-socket-unix.3.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• posix-socket.3.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• posix-socket.3.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• posix-time2.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• posix-time2.2.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• posix-types.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• posix-types.2.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• posix-uname.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• posix-uname.2.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_deriving_qcheck.0.7 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_deriving_qcheck.0.7 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_deriving_rpc.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_deriving_rpc.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_parser.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_parser.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_repr.0.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_repr.0.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_subliner.0.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_subliner.0.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_trace.0.10 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_trace.0.10 on 5.3.0 is not available anymore. Previous state was: passing
• prometheus-app.1.2 on 4.14.2 is not available anymore. Previous state was: passing
• prometheus-app.1.2 on 5.3.0 is not available anymore. Previous state was: passing
• prometheus.1.2 on 4.14.2 is not available anymore. Previous state was: passing
• prometheus.1.2 on 5.3.0 is not available anymore. Previous state was: passing
• qcaml.0.1.4 on 5.3.0 is not available anymore. Previous state was: passing
• qcheck-alcotest.0.27 on 4.14.2 is not available anymore. Previous state was: passing
• qcheck-alcotest.0.27 on 5.3.0 is not available anymore. Previous state was: passing
• qcheck-core.0.27 on 4.14.2 is not available anymore. Previous state was: passing
• qcheck-core.0.27 on 5.3.0 is not available anymore. Previous state was: passing
• qcheck-ounit.0.27 on 4.14.2 is not available anymore. Previous state was: passing
• qcheck-ounit.0.27 on 5.3.0 is not available anymore. Previous state was: passing
• qcheck.0.27 on 4.14.2 is not available anymore. Previous state was: passing
• qcheck.0.27 on 5.3.0 is not available anymore. Previous state was: passing
• quickjs.0.1.2 on 4.14.2 is not available anymore. Previous state was: passing
• quickjs.0.1.2 on 5.3.0 is not available anymore. Previous state was: passing
• raygui.1.5.1 on 4.14.2 is not available anymore. Previous state was: partially failing
• raygui.1.5.1 on 5.3.0 is not available anymore. Previous state was: partially failing
• raylib.1.5.1 on 4.14.2 is not available anymore. Previous state was: partially failing
• raylib.1.5.1 on 5.3.0 is not available anymore. Previous state was: partially failing
• reason-react-ppx.0.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• reason-react-ppx.0.16.0 on 5.3.0 is not available anymore. Previous state was: passing
• reason-react.0.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• reason-react.0.16.0 on 5.3.0 is not available anymore. Previous state was: passing
• reason.3.17.0 on 4.14.2 is not available anymore. Previous state was: passing
• reason.3.17.0 on 5.3.0 is not available anymore. Previous state was: passing
• repr-bench.0.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• repr-bench.0.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• repr-fuzz.0.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• repr-fuzz.0.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• repr.0.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• repr.0.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• rfsm.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• rocq-prover.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• rocq-prover.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• rpclib-html.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• rpclib-html.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• rpclib-js.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• rpclib-js.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• rpclib-lwt.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• rpclib-lwt.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• rpclib.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• rpclib.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• rtop.3.17.0 on 4.14.2 is not available anymore. Previous state was: passing
• rtop.3.17.0 on 5.3.0 is not available anymore. Previous state was: passing
• sail.0.20 on 4.14.2 is not available anymore. Previous state was: passing
• sail.0.20 on 5.3.0 is not available anymore. Previous state was: passing
• sail_c_backend.0.20 on 4.14.2 is not available anymore. Previous state was: passing
• sail_c_backend.0.20 on 5.3.0 is not available anymore. Previous state was: passing
• sail_coq_backend.0.20 on 4.14.2 is not available anymore. Previous state was: passing
• sail_coq_backend.0.20 on 5.3.0 is not available anymore. Previous state was: passing
• sail_doc_backend.0.20 on 4.14.2 is not available anymore. Previous state was: passing
• sail_doc_backend.0.20 on 5.3.0 is not available anymore. Previous state was: passing
• sail_latex_backend.0.20 on 4.14.2 is not available anymore. Previous state was: passing
• sail_latex_backend.0.20 on 5.3.0 is not available anymore. Previous state was: passing
• sail_lean_backend.0.20 on 4.14.2 is not available anymore. Previous state was: passing
• sail_lean_backend.0.20 on 5.3.0 is not available anymore. Previous state was: passing
• sail_lem_backend.0.20 on 4.14.2 is not available anymore. Previous state was: passing
• sail_lem_backend.0.20 on 5.3.0 is not available anymore. Previous state was: passing
• sail_ocaml_backend.0.20 on 4.14.2 is not available anymore. Previous state was: passing
• sail_ocaml_backend.0.20 on 5.3.0 is not available anymore. Previous state was: passing
• sail_output.0.20 on 4.14.2 is not available anymore. Previous state was: passing
• sail_output.0.20 on 5.3.0 is not available anymore. Previous state was: passing
• sail_smt_backend.0.20 on 4.14.2 is not available anymore. Previous state was: passing
• sail_smt_backend.0.20 on 5.3.0 is not available anymore. Previous state was: passing
• sail_sv_backend.0.20 on 4.14.2 is not available anymore. Previous state was: passing
• sail_sv_backend.0.20 on 5.3.0 is not available anymore. Previous state was: passing
• secp256k1.0.4.4 on 4.14.2 is not available anymore. Previous state was: passing
• sel.0.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• sel.0.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• server-reason-react.0.3.1 on 5.3.0 is not available anymore. Previous state was: passing
• slice.0.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• slice.0.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• slipshow.0.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• slipshow.0.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• smtml.0.15.0 on 4.14.2 is not available anymore. Previous state was: passing
• smtml.0.15.0 on 5.3.0 is not available anymore. Previous state was: passing
• stdune.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• stdune.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• synchronizer.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• syslog-rfc5424.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• syslog-rfc5424.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• testo-diff.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• testo-diff.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• testo-lwt.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• testo-lwt.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• testo-util.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• testo-util.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• testo.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• testo.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• trace-fuchsia.0.10 on 4.14.2 is not available anymore. Previous state was: passing
• trace-fuchsia.0.10 on 5.3.0 is not available anymore. Previous state was: passing
• trace-tef.0.10 on 4.14.2 is not available anymore. Previous state was: passing
• trace-tef.0.10 on 5.3.0 is not available anymore. Previous state was: passing
• trace.0.10 on 4.14.2 is not available anymore. Previous state was: passing
• trace.0.10 on 5.3.0 is not available anymore. Previous state was: passing
• tyre.0.5 on 4.14.2 is not available anymore. Previous state was: passing
• tyre.0.5 on 5.3.0 is not available anymore. Previous state was: passing
• vscoq-language-server.2.3.3 on 4.14.2 is not available anymore. Previous state was: passing
• vscoq-language-server.2.3.3 on 5.3.0 is not available anymore. Previous state was: passing
• vsrocq-language-server.2.3.3 on 4.14.2 is not available anymore. Previous state was: passing
• vsrocq-language-server.2.3.3 on 5.3.0 is not available anymore. Previous state was: passing
• why3find.1.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• why3find.1.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• xdg.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• xdg.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_cmarkit.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_eio.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_git.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_jingoo.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_markdown.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_mustache.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_omd.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_otoml.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_runtime.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_syndication.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_unix.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_yaml.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing

Packages now failing with an internal failure:

• conf-flint.3.0 on 4.14.2 had its build status changed: failing to internal failure
• conf-flint.3.0 on 5.3.0 had its build status changed: failing to internal failure
• conf-llvm-shared.19 on 4.14.2 had its build status changed: passing to internal failure
• conf-ode.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-python3-tomli.1 on 4.14.2 had its build status changed: failing to internal failure
• conf-python3-tomli.1 on 5.3.0 had its build status changed: failing to internal failure
• conf-sdl-ttf.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-sdl2-image.1 on 4.14.2 had its build status changed: passing to internal failure
• cryptodbm.0.84.2 on 4.14.2 had its build status changed: passing to internal failure
• exenum.0.86 on 4.14.2 had its build status changed: passing to internal failure
• exenum.0.86 on 5.3.0 had its build status changed: passing to internal failure
• ortools_solvers.9.14.0 on 4.14.2 is now installable. Current state is: internal failure
• ortools_solvers.9.14.0 on 5.3.0 is now installable. Current state is: internal failure

Packages now passing:

• albatross.2.6.2 on 4.14.2 is now installable. Current state is: passing
• albatross.2.6.2 on 5.3.0 is now installable. Current state is: passing
• alice.0.4.0 on 5.3.0 is now installable. Current state is: passing
• arc.0.0.1 on 4.14.2 is now installable. Current state is: passing
• arc.0.0.1 on 5.3.0 is now installable. Current state is: passing
• art.0.3.0 on 4.14.2 is now installable. Current state is: passing
• art.0.3.0 on 5.3.0 is now installable. Current state is: passing
• aslref.1.0~draft.2 on 4.14.2 is now installable. Current state is: passing
• aslref.1.0~draft.2 on 5.3.0 is now installable. Current state is: passing
• atd.3.0.1 on 4.14.2 is now installable. Current state is: passing
• atd.3.0.1 on 5.3.0 is now installable. Current state is: passing
• atdcpp.3.0.1 on 4.14.2 is now installable. Current state is: passing
• atdcpp.3.0.1 on 5.3.0 is now installable. Current state is: passing
• atdd.3.0.1 on 4.14.2 is now installable. Current state is: passing
• atdd.3.0.1 on 5.3.0 is now installable. Current state is: passing
• atdgen-codec-runtime.3.0.1 on 4.14.2 is now installable. Current state is: passing
• atdgen-codec-runtime.3.0.1 on 5.3.0 is now installable. Current state is: passing
• atdgen-runtime.3.0.1 on 4.14.2 is now installable. Current state is: passing
• atdgen-runtime.3.0.1 on 5.3.0 is now installable. Current state is: passing
• atdgen.3.0.1 on 4.14.2 is now installable. Current state is: passing
• atdgen.3.0.1 on 5.3.0 is now installable. Current state is: passing
• atdj.3.0.1 on 4.14.2 is now installable. Current state is: passing
• atdj.3.0.1 on 5.3.0 is now installable. Current state is: passing
• atdpy.3.0.1 on 4.14.2 is now installable. Current state is: passing
• atdpy.3.0.1 on 5.3.0 is now installable. Current state is: passing
• atds.3.0.1 on 4.14.2 is now installable. Current state is: passing
• atds.3.0.1 on 5.3.0 is now installable. Current state is: passing
• atdts.3.0.1 on 4.14.2 is now installable. Current state is: passing
• atdts.3.0.1 on 5.3.0 is now installable. Current state is: passing
• bibfmt.0.9.0 on 4.14.2 is now installable. Current state is: passing
• bibfmt.0.9.0 on 5.3.0 is now installable. Current state is: passing
• bin.0.0.4 on 4.14.2 is now installable. Current state is: passing
• bin.0.0.4 on 5.3.0 is now installable. Current state is: passing
• binsec.0.11.0 on 4.14.2 is now installable. Current state is: passing
• binsec.0.11.0 on 5.3.0 is now installable. Current state is: passing
• bstr.0.0.4 on 4.14.2 is now installable. Current state is: passing
• bstr.0.0.4 on 5.3.0 is now installable. Current state is: passing
• cachet-lwt.0.0.4 on 4.14.2 is now installable. Current state is: passing
• cachet-lwt.0.0.4 on 5.3.0 is now installable. Current state is: passing
• cachet-solo5.0.0.4 on 4.14.2 is now installable. Current state is: passing
• cachet-solo5.0.0.4 on 5.3.0 is now installable. Current state is: passing
• cachet.0.0.4 on 4.14.2 is now installable. Current state is: passing
• cachet.0.0.4 on 5.3.0 is now installable. Current state is: passing
• cairn.2.1 on 4.14.2 is now installable. Current state is: passing
• cairn.2.1 on 5.3.0 is now installable. Current state is: passing
• calli.0.2 on 4.14.2 had its build status changed: internal failure to passing
• camlid.0.2 on 4.14.2 is now installable. Current state is: passing
• camlid.0.2 on 5.3.0 is now installable. Current state is: passing
• camlkit-base.0.3.0 on 4.14.2 had its build status changed: internal failure to passing
• camlkit-base.0.3.0 on 5.3.0 had its build status changed: internal failure to passing
• camlkit.0.3.0 on 4.14.2 had its build status changed: internal failure to passing
• carton-git-lwt.1.2.0 on 4.14.2 is now installable. Current state is: passing
• carton-git-lwt.1.2.0 on 5.3.0 is now installable. Current state is: passing
• carton-lwt.1.2.0 on 4.14.2 is now installable. Current state is: passing
• carton-lwt.1.2.0 on 5.3.0 is now installable. Current state is: passing
• carton-miou.1.2.0 on 5.3.0 is now installable. Current state is: passing
• carton.1.2.0 on 4.14.2 is now installable. Current state is: passing
• carton.1.2.0 on 5.3.0 is now installable. Current state is: passing
• charrua-client.3.0.0 on 4.14.2 is now installable. Current state is: passing
• charrua-client.3.0.0 on 5.3.0 is now installable. Current state is: passing
• charrua-server.3.0.0 on 4.14.2 is now installable. Current state is: passing
• charrua-server.3.0.0 on 5.3.0 is now installable. Current state is: passing
• charrua-unix.3.0.0 on 4.14.2 is now installable. Current state is: passing
• charrua-unix.3.0.0 on 5.3.0 is now installable. Current state is: passing
• charrua.3.0.0 on 4.14.2 is now installable. Current state is: passing
• charrua.3.0.0 on 5.3.0 is now installable. Current state is: passing
• checked_oint.1.0.1 on 4.14.2 is now installable. Current state is: passing
• checked_oint.1.0.1 on 5.3.0 is now installable. Current state is: passing
• chrome-trace.3.21.0 on 4.14.2 is now installable. Current state is: passing
• chrome-trace.3.21.0 on 5.3.0 is now installable. Current state is: passing
• cohttp-curl-lwt.6.2.1 on 4.14.2 is now installable. Current state is: passing
• cohttp-curl-lwt.6.2.1 on 5.3.0 is now installable. Current state is: passing
• cohttp-curl.6.2.1 on 4.14.2 is now installable. Current state is: passing
• cohttp-curl.6.2.1 on 5.3.0 is now installable. Current state is: passing
• cohttp-eio.6.2.1 on 5.3.0 is now installable. Current state is: passing
• cohttp-lwt-jsoo.6.2.1 on 4.14.2 is now installable. Current state is: passing
• cohttp-lwt-jsoo.6.2.1 on 5.3.0 is now installable. Current state is: passing
• cohttp-lwt-unix.6.2.1 on 4.14.2 is now installable. Current state is: passing
• cohttp-lwt-unix.6.2.1 on 5.3.0 is now installable. Current state is: passing
• cohttp-lwt.6.2.1 on 4.14.2 is now installable. Current state is: passing
• cohttp-lwt.6.2.1 on 5.3.0 is now installable. Current state is: passing
• cohttp-mirage.6.2.1 on 4.14.2 is now installable. Current state is: passing
• cohttp-mirage.6.2.1 on 5.3.0 is now installable. Current state is: passing
• cohttp-server-lwt-unix.6.2.1 on 4.14.2 is now installable. Current state is: passing
• cohttp-server-lwt-unix.6.2.1 on 5.3.0 is now installable. Current state is: passing
• cohttp-top.6.2.1 on 4.14.2 is now installable. Current state is: passing
• cohttp-top.6.2.1 on 5.3.0 is now installable. Current state is: passing
• cohttp.6.2.1 on 4.14.2 is now installable. Current state is: passing
• cohttp.6.2.1 on 5.3.0 is now installable. Current state is: passing
• conf-cairo.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-cairo.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-capnproto.2 on 4.14.2 had its build status changed: internal failure to passing
• conf-capnproto.2 on 5.3.0 had its build status changed: internal failure to passing
• conf-clang-format.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-csdp.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-csdp.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-dbm.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
• conf-diffutils.2 on 5.3.0 had its build status changed: internal failure to passing
• conf-dpkg.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-dpkg.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-efl.1.8 on 4.14.2 had its build status changed: internal failure to passing
• conf-ffmpeg.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-ffmpeg.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-freetype.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-ftgl.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-ftgl.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-gd.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-gd.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-gegl.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-gegl.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-gfortran.0 on 4.14.2 had its build status changed: internal failure to passing
• conf-gfortran.0 on 5.3.0 had its build status changed: internal failure to passing
• conf-ghostscript.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-ghostscript.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-glade.2 on 4.14.2 had its build status changed: internal failure to passing
• conf-glade.2 on 5.3.0 had its build status changed: internal failure to passing
• conf-glfw3.2 on 4.14.2 had its build status changed: internal failure to passing
• conf-glfw3.2 on 5.3.0 had its build status changed: internal failure to passing
• conf-glib-2.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-glib-2.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-glpk.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-gmp-paths.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-gmp-paths.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-gmp-powm-sec.4 on 4.14.2 had its build status changed: internal failure to passing
• conf-gmp-powm-sec.4 on 5.3.0 had its build status changed: internal failure to passing
• conf-gmp.5 on 4.14.2 had its build status changed: internal failure to passing
• conf-gmp.5 on 5.3.0 had its build status changed: internal failure to passing
• conf-gnome-icon-theme3.0 on 4.14.2 had its build status changed: internal failure to passing
• conf-gnome-icon-theme3.0 on 5.3.0 had its build status changed: internal failure to passing
• conf-gnomecanvas.2 on 4.14.2 had its build status changed: internal failure to passing
• conf-gnomecanvas.2 on 5.3.0 had its build status changed: internal failure to passing
• conf-gnustep-base.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-gnustep-base.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-gnustep-gui.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-gnustep-gui.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-gnutls.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-gnutls.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-gobject-introspection.1.0 on 4.14.2 had its build status changed: internal failure to passing
• conf-gobject-introspection.1.0 on 5.3.0 had its build status changed: internal failure to passing
• conf-goocanvas2.0 on 4.14.2 had its build status changed: internal failure to passing
• conf-goocanvas2.0 on 5.3.0 had its build status changed: internal failure to passing
• conf-graphviz.0.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-graphviz.0.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-gsl.2 on 4.14.2 had its build status changed: internal failure to passing
• conf-gsl.2 on 5.3.0 had its build status changed: internal failure to passing
• conf-gssapi.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-gstreamer.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-gstreamer.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-gtk2.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-gtk2.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-gtk3.18 on 4.14.2 had its build status changed: internal failure to passing
• conf-gtk3.18 on 5.3.0 had its build status changed: internal failure to passing
• conf-gtksourceview.2 on 4.14.2 had its build status changed: internal failure to passing
• conf-gtksourceview.2 on 5.3.0 had its build status changed: internal failure to passing
• conf-gtksourceview3.0+2 on 4.14.2 had its build status changed: internal failure to passing
• conf-guile.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-guile.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-hg.1.0 on 4.14.2 had its build status changed: internal failure to passing
• conf-hg.1.0 on 5.3.0 had its build status changed: internal failure to passing
• conf-hidapi.0 on 4.14.2 had its build status changed: internal failure to passing
• conf-hidapi.0 on 5.3.0 had its build status changed: internal failure to passing
• conf-jack.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-jack.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-ladspa.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-ladspa.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-lapack.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-libMagickCore.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-libMagickCore.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-libX11.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-libXft.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-libargon2.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-libdrm.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-libevent.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-libfuse.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-libgccjit.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-libgl.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-libglu.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-libgsasl.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-libgsasl.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-libjpeg.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-liblo.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-librsvg2.0 on 4.14.2 had its build status changed: internal failure to passing
• conf-librsvg2.0 on 5.3.0 had its build status changed: internal failure to passing
• conf-lilv.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-ninja.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-nlopt.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-nlopt.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-openbabel.0.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-openbabel.0.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-openblas.0.2.3 on 4.14.2 had its build status changed: internal failure to passing
• conf-openblas.0.2.3 on 5.3.0 had its build status changed: internal failure to passing
• conf-openimageio.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-pango.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-pulseaudio.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-pulseaudio.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-rdkit.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-rdkit.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-rubberband.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-rubberband.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-ruby.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
• conf-ruby.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
• conf-rust-2018.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-rust-2021.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-rust-2024.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-rust-2024.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-rust-wasm.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-samplerate.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-samplerate.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-scdoc.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-sdl-gfx.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-sdl-image.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-sdl-mixer.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-sdl-net.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-sdl-net.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-sdl2-image.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-sdl2-mixer.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-sdl2-net.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-sdl2-net.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-sdl2-ttf.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-sdl2-ttf.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-sdl2.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-sdpa.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-swi-prolog.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-swi-prolog.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-taglib_c.2 on 5.3.0 had its build status changed: internal failure to passing
• containers-data.3.17 on 4.14.2 is now installable. Current state is: passing
• containers-data.3.17 on 5.3.0 is now installable. Current state is: passing
• containers.3.17 on 4.14.2 is now installable. Current state is: passing
• containers.3.17 on 5.3.0 is now installable. Current state is: passing
• coq-lsp.0.2.5+9.1 on 4.14.2 is now installable. Current state is: passing
• coq-lsp.0.2.5+9.1 on 5.3.0 is now installable. Current state is: passing
• coq-waterproof.3.1.0+9.1 on 4.14.2 is now installable. Current state is: passing
• coq-waterproof.3.1.0+9.1 on 5.3.0 is now installable. Current state is: passing
• cryptokit.1.21.1 on 4.14.2 is now installable. Current state is: passing
• cryptokit.1.21.1 on 5.3.0 is now installable. Current state is: passing
• current.0.7.3 on 4.14.2 is now installable. Current state is: passing
• current.0.7.3 on 5.3.0 is now installable. Current state is: passing
• current_docker.0.7.3 on 4.14.2 is now installable. Current state is: passing
• current_docker.0.7.3 on 5.3.0 is now installable. Current state is: passing
• current_examples.0.7.3 on 4.14.2 is now installable. Current state is: passing
• current_examples.0.7.3 on 5.3.0 is now installable. Current state is: passing
• current_git.0.7.3 on 4.14.2 is now installable. Current state is: passing
• current_git.0.7.3 on 5.3.0 is now installable. Current state is: passing
• current_github.0.7.3 on 4.14.2 is now installable. Current state is: passing
• current_github.0.7.3 on 5.3.0 is now installable. Current state is: passing
• current_gitlab.0.7.3 on 4.14.2 is now installable. Current state is: passing
• current_gitlab.0.7.3 on 5.3.0 is now installable. Current state is: passing
• current_rpc.0.7.3 on 4.14.2 is now installable. Current state is: passing
• current_rpc.0.7.3 on 5.3.0 is now installable. Current state is: passing
• current_slack.0.7.3 on 4.14.2 is now installable. Current state is: passing
• current_slack.0.7.3 on 5.3.0 is now installable. Current state is: passing
• current_ssh.0.7.3 on 4.14.2 is now installable. Current state is: passing
• current_ssh.0.7.3 on 5.3.0 is now installable. Current state is: passing
• current_web.0.7.3 on 4.14.2 is now installable. Current state is: passing
• current_web.0.7.3 on 5.3.0 is now installable. Current state is: passing
• dmarc.0.0.1 on 4.14.2 is now installable. Current state is: passing
• dmarc.0.0.1 on 5.3.0 is now installable. Current state is: passing
• dns-certify.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dns-certify.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dns-cli.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dns-cli.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dns-client-lwt.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dns-client-lwt.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dns-client-miou-unix.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dns-client-mirage.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dns-client-mirage.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dns-client.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dns-client.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dns-mirage.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dns-mirage.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dns-resolver.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dns-resolver.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dns-server.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dns-server.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dns-stub.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dns-stub.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dns-tsig.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dns-tsig.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dns.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dns.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dnssec.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dnssec.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dockerfile-cmd.8.3.4 on 4.14.2 is now installable. Current state is: passing
• dockerfile-cmd.8.3.4 on 5.3.0 is now installable. Current state is: passing
• dockerfile-opam.8.3.4 on 4.14.2 is now installable. Current state is: passing
• dockerfile-opam.8.3.4 on 5.3.0 is now installable. Current state is: passing
• dockerfile.8.3.4 on 4.14.2 is now installable. Current state is: passing
• dockerfile.8.3.4 on 5.3.0 is now installable. Current state is: passing
• doi2bib.0.9.0 on 4.14.2 is now installable. Current state is: passing
• doi2bib.0.9.0 on 5.3.0 is now installable. Current state is: passing
• domainpc.0.1 on 5.3.0 is now installable. Current state is: passing
• dune-action-plugin.3.21.0 on 4.14.2 is now installable. Current state is: passing
• dune-action-plugin.3.21.0 on 5.3.0 is now installable. Current state is: passing
• dune-build-info.3.21.0 on 4.14.2 is now installable. Current state is: passing
• dune-build-info.3.21.0 on 5.3.0 is now installable. Current state is: passing
• dune-configurator.3.21.0 on 4.14.2 is now installable. Current state is: passing
• dune-configurator.3.21.0 on 5.3.0 is now installable. Current state is: passing
• dune-glob.3.21.0 on 4.14.2 is now installable. Current state is: passing
• dune-glob.3.21.0 on 5.3.0 is now installable. Current state is: passing
• dune-private-libs.3.21.0 on 4.14.2 is now installable. Current state is: passing
• dune-private-libs.3.21.0 on 5.3.0 is now installable. Current state is: passing
• dune-rpc-lwt.3.21.0 on 4.14.2 is now installable. Current state is: passing
• dune-rpc-lwt.3.21.0 on 5.3.0 is now installable. Current state is: passing
• dune-rpc.3.21.0 on 4.14.2 is now installable. Current state is: passing
• dune-rpc.3.21.0 on 5.3.0 is now installable. Current state is: passing
• dune-site.3.21.0 on 4.14.2 is now installable. Current state is: passing
• dune-site.3.21.0 on 5.3.0 is now installable. Current state is: passing
• dune.3.21.0 on 4.14.2 is now installable. Current state is: passing
• dune.3.21.0 on 5.3.0 is now installable. Current state is: passing
• dyn.3.21.0 on 4.14.2 is now installable. Current state is: passing
• dyn.3.21.0 on 5.3.0 is now installable. Current state is: passing
• elpi.3.4.5 on 4.14.2 is now installable. Current state is: passing
• elpi.3.4.5 on 5.3.0 is now installable. Current state is: passing
• expr.0.7.0 on 4.14.2 is now installable. Current state is: passing
• expr.0.7.0 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-av.1.2.8 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-av.1.2.8 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-avcodec.1.2.8 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-avcodec.1.2.8 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-avdevice.1.2.8 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-avdevice.1.2.8 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-avfilter.1.2.8 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-avfilter.1.2.8 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-avutil.1.2.8 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-avutil.1.2.8 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-swresample.1.2.8 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-swresample.1.2.8 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-swscale.1.2.8 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-swscale.1.2.8 on 5.3.0 is now installable. Current state is: passing
• ffmpeg.1.2.8 on 4.14.2 is now installable. Current state is: passing
• ffmpeg.1.2.8 on 5.3.0 is now installable. Current state is: passing
• fit.1.4.1 on 4.14.2 is now installable. Current state is: passing
• fit.1.4.1 on 5.3.0 is now installable. Current state is: passing
• flux.0.0.1~beta2 on 5.3.0 is now installable. Current state is: passing
• fluxt.0.0.1~beta2 on 5.3.0 is now installable. Current state is: passing
• fmlib.0.6.2 on 4.14.2 is now installable. Current state is: passing
• fmlib.0.6.2 on 5.3.0 is now installable. Current state is: passing
• fmlib_browser.0.6.2 on 4.14.2 is now installable. Current state is: passing
• fmlib_browser.0.6.2 on 5.3.0 is now installable. Current state is: passing
• fmlib_js.0.6.2 on 4.14.2 is now installable. Current state is: passing
• fmlib_js.0.6.2 on 5.3.0 is now installable. Current state is: passing
• fmlib_parse.0.6.2 on 4.14.2 is now installable. Current state is: passing
• fmlib_parse.0.6.2 on 5.3.0 is now installable. Current state is: passing
• fmlib_pretty.0.6.2 on 4.14.2 is now installable. Current state is: passing
• fmlib_pretty.0.6.2 on 5.3.0 is now installable. Current state is: passing
• fmlib_std.0.6.2 on 4.14.2 is now installable. Current state is: passing
• fmlib_std.0.6.2 on 5.3.0 is now installable. Current state is: passing
• frama-c-lannotate.0.2.4 on 5.3.0 had its build status changed: internal failure to passing
• frama-c-metacsl.0.10~beta on 4.14.2 had its build status changed: internal failure to passing
• frama-c.32.0 on 4.14.2 is now installable. Current state is: passing
• frama-c.32.0 on 5.3.0 is now installable. Current state is: passing
• frontmatter_extractor.0.1 on 4.14.2 is now installable. Current state is: passing
• frontmatter_extractor.0.1 on 5.3.0 is now installable. Current state is: passing
• fs-io.3.21.0 on 4.14.2 is now installable. Current state is: passing
• fs-io.3.21.0 on 5.3.0 is now installable. Current state is: passing
• github-data.4.5.1 on 4.14.2 is now installable. Current state is: passing
• github-data.4.5.1 on 5.3.0 is now installable. Current state is: passing
• github-jsoo.4.5.1 on 4.14.2 is now installable. Current state is: passing
• github-jsoo.4.5.1 on 5.3.0 is now installable. Current state is: passing
• github-unix.4.5.1 on 4.14.2 is now installable. Current state is: passing
• github-unix.4.5.1 on 5.3.0 is now installable. Current state is: passing
• github.4.5.1 on 4.14.2 is now installable. Current state is: passing
• github.4.5.1 on 5.3.0 is now installable. Current state is: passing
• html_of_jsx.0.0.7 on 4.14.2 is now installable. Current state is: passing
• html_of_jsx.0.0.7 on 5.3.0 is now installable. Current state is: passing
• http.6.2.1 on 4.14.2 is now installable. Current state is: passing
• http.6.2.1 on 5.3.0 is now installable. Current state is: passing
• huml-cli.0.2.0 on 4.14.2 is now installable. Current state is: passing
• huml-cli.0.2.0 on 5.3.0 is now installable. Current state is: passing
• huml.0.2.0 on 4.14.2 is now installable. Current state is: passing
• huml.0.2.0 on 5.3.0 is now installable. Current state is: passing
• hxd.0.3.6 on 4.14.2 is now installable. Current state is: passing
• hxd.0.3.6 on 5.3.0 is now installable. Current state is: passing
• intel_hex.0.1 on 4.14.2 is now installable. Current state is: passing
• intel_hex.0.1 on 5.3.0 is now installable. Current state is: passing
• json-data-encoding-browser.1.1.1 on 4.14.2 is now installable. Current state is: passing
• json-data-encoding-browser.1.1.1 on 5.3.0 is now installable. Current state is: passing
• json-data-encoding-bson.1.1.1 on 4.14.2 is now installable. Current state is: passing
• json-data-encoding-bson.1.1.1 on 5.3.0 is now installable. Current state is: passing
• json-data-encoding.1.1.1 on 4.14.2 is now installable. Current state is: passing
• json-data-encoding.1.1.1 on 5.3.0 is now installable. Current state is: passing
• jsonrpc.1.25.0 on 4.14.2 is now installable. Current state is: passing
• jsonrpc.1.25.0 on 5.3.0 is now installable. Current state is: passing
• jupyter.3.0.1 on 5.3.0 is now installable. Current state is: passing
• kot.20251212 on 4.14.2 is now installable. Current state is: passing
• kot.20251212 on 5.3.0 is now installable. Current state is: passing
• lablgtk3-sourceview3.3.1.5 on 4.14.2 had its build status changed: internal failure to passing
• lablgtk3.3.1.5-1 on 4.14.2 had its build status changed: internal failure to passing
• lablgtk3.3.1.5-1 on 5.3.0 had its build status changed: internal failure to passing
• labltk.8.06.15 on 4.14.2 had its build status changed: internal failure to passing
• lambda-term.3.3.3 on 4.14.2 is now installable. Current state is: passing
• lambda-term.3.3.3 on 5.3.0 is now installable. Current state is: passing
• libdash.0.3 on 5.3.0 had its build status changed: internal failure to passing
• liblinear.2.47 on 4.14.2 had its build status changed: internal failure to passing
• liblinear.2.47 on 5.3.0 had its build status changed: internal failure to passing
• libsail.0.20.1 on 4.14.2 is now installable. Current state is: passing
• libsail.0.20.1 on 5.3.0 is now installable. Current state is: passing
• lsp.1.25.0 on 4.14.2 is now installable. Current state is: passing
• lsp.1.25.0 on 5.3.0 is now installable. Current state is: passing
• lwt.6.0.0-beta01 on 4.14.2 is now installable. Current state is: passing
• lwt.6.0.0-beta01 on 5.3.0 is now installable. Current state is: passing
• lwt_direct.6.0.0-beta01 on 5.3.0 is now installable. Current state is: passing
• lwt_ppx.6.0.0-beta01 on 4.14.2 is now installable. Current state is: passing
• lwt_ppx.6.0.0-beta01 on 5.3.0 is now installable. Current state is: passing
• lwt_runtime_events.6.0.0-beta01 on 5.3.0 is now installable. Current state is: passing
• mazeppa.0.7.2 on 4.14.2 is now installable. Current state is: passing
• mazeppa.0.7.2 on 5.3.0 is now installable. Current state is: passing
• melange-jest.0.2.0 on 4.14.2 is now installable. Current state is: passing
• melange-jest.0.2.0 on 5.3.0 is now installable. Current state is: passing
• melange-testing-library.0.2.0 on 4.14.2 is now installable. Current state is: passing
• melange-testing-library.0.2.0 on 5.3.0 is now installable. Current state is: passing
• melange-webapi.0.22.0 on 4.14.2 is now installable. Current state is: passing
• melange-webapi.0.22.0 on 5.3.0 is now installable. Current state is: passing
• melange.6.0.1-414 on 4.14.2 is now installable. Current state is: passing
• melange.6.0.1-53 on 5.3.0 is now installable. Current state is: passing
• memcpy.0.3.0 on 4.14.2 is now installable. Current state is: passing
• memcpy.0.3.0 on 5.3.0 is now installable. Current state is: passing
• menhir-lsp.0.2 on 4.14.2 is now installable. Current state is: passing
• menhir-lsp.0.2 on 5.3.0 is now installable. Current state is: passing
• metadata.0.3.2 on 4.14.2 is now installable. Current state is: passing
• metadata.0.3.2 on 5.3.0 is now installable. Current state is: passing
• miou.0.5.1 on 5.3.0 is now installable. Current state is: passing
• mlx.0.11 on 4.14.2 is now installable. Current state is: passing
• mlx.0.11 on 5.3.0 is now installable. Current state is: passing
• multicore-magic-dscheck.2.3.2 on 4.14.2 is now installable. Current state is: passing
• multicore-magic-dscheck.2.3.2 on 5.3.0 is now installable. Current state is: passing
• multicore-magic.2.3.2 on 4.14.2 is now installable. Current state is: passing
• multicore-magic.2.3.2 on 5.3.0 is now installable. Current state is: passing
• neo4j_bolt.0.3.0 on 4.14.2 is now installable. Current state is: passing
• neo4j_bolt.0.3.0 on 5.3.0 is now installable. Current state is: passing
• ocamlc-loc.3.21.0 on 4.14.2 is now installable. Current state is: passing
• ocamlc-loc.3.21.0 on 5.3.0 is now installable. Current state is: passing
• ocamlformat-mlx-lib.0.28.1.1 on 4.14.2 is now installable. Current state is: passing
• ocamlformat-mlx-lib.0.28.1.1 on 5.3.0 is now installable. Current state is: passing
• ocamlformat-mlx.0.28.1.1 on 4.14.2 is now installable. Current state is: passing
• ocamlformat-mlx.0.28.1.1 on 5.3.0 is now installable. Current state is: passing
• ocamlmerlin-mlx.0.11 on 4.14.2 is now installable. Current state is: passing
• ocamlmerlin-mlx.0.11 on 5.3.0 is now installable. Current state is: passing
• opam-build.0.3.0 on 4.14.2 is now installable. Current state is: passing
• opam-build.0.3.0 on 5.3.0 is now installable. Current state is: passing
• opam-check-npm-deps.4.1.0 on 4.14.2 is now installable. Current state is: passing
• opam-check-npm-deps.4.1.0 on 5.3.0 is now installable. Current state is: passing
• opam-test.0.3.0 on 4.14.2 is now installable. Current state is: passing
• opam-test.0.3.0 on 5.3.0 is now installable. Current state is: passing
• ordering.3.21.0 on 4.14.2 is now installable. Current state is: passing
• ordering.3.21.0 on 5.3.0 is now installable. Current state is: passing
• ortools.9.14.0 on 4.14.2 is now installable. Current state is: passing
• ortools.9.14.0 on 5.3.0 is now installable. Current state is: passing
• otp.0.2.2 on 4.14.2 is now installable. Current state is: passing
• otp.0.2.2 on 5.3.0 is now installable. Current state is: passing
• pacomb.1.4.3 on 4.14.2 is now installable. Current state is: passing
• pacomb.1.4.3 on 5.3.0 is now installable. Current state is: passing
• pancake.2.0.1 on 5.3.0 is now installable. Current state is: passing
• pareto.0.3 on 4.14.2 had its build status changed: internal failure to passing
• passage.0.3.2 on 4.14.2 is now installable. Current state is: passing
• passage.0.3.2 on 5.3.0 is now installable. Current state is: passing
• passe.0.1.0 on 4.14.2 is now installable. Current state is: passing
• passe.0.1.0 on 5.3.0 is now installable. Current state is: passing
• polymarket.0.2.0 on 5.3.0 is now installable. Current state is: passing
• posix-base.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-base.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-bindings.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-bindings.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-errno.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-errno.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-getopt.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-getopt.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-math2.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-math2.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-resource.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-resource.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-signal.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-signal.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-socket-unix.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-socket-unix.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-socket.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-socket.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-stat.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-stat.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-time2.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-time2.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-types.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-types.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-uname.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-uname.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-unistd.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-unistd.4.0.1 on 5.3.0 is now installable. Current state is: passing
• ppx_deriving_qcheck.0.9 on 4.14.2 is now installable. Current state is: passing
• ppx_deriving_qcheck.0.9 on 5.3.0 is now installable. Current state is: passing
• ppx_deriving_rpc.10.0.0 on 4.14.2 is now installable. Current state is: passing
• ppx_deriving_rpc.10.0.0 on 5.3.0 is now installable. Current state is: passing
• ppx_parser.0.2.1 on 4.14.2 is now installable. Current state is: passing
• ppx_parser.0.2.1 on 5.3.0 is now installable. Current state is: passing
• ppx_repr.0.8.0 on 4.14.2 is now installable. Current state is: passing
• ppx_repr.0.8.0 on 5.3.0 is now installable. Current state is: passing
• ppx_subliner.0.2.2 on 4.14.2 is now installable. Current state is: passing
• ppx_subliner.0.2.2 on 5.3.0 is now installable. Current state is: passing
• ppx_trace.0.10.1 on 4.14.2 is now installable. Current state is: passing
• ppx_trace.0.10.1 on 5.3.0 is now installable. Current state is: passing
• prometheus-app.1.3 on 4.14.2 is now installable. Current state is: passing
• prometheus-app.1.3 on 5.3.0 is now installable. Current state is: passing
• prometheus.1.3 on 4.14.2 is now installable. Current state is: passing
• prometheus.1.3 on 5.3.0 is now installable. Current state is: passing
• public-suffix.0.0.1 on 4.14.2 is now installable. Current state is: passing
• public-suffix.0.0.1 on 5.3.0 is now installable. Current state is: passing
• pulseaudio.0.1.5 on 5.3.0 had its build status changed: internal failure to passing
• purl.1.0.0 on 4.14.2 is now installable. Current state is: passing
• purl.1.0.0 on 5.3.0 is now installable. Current state is: passing
• qcheck-alcotest.0.91 on 4.14.2 is now installable. Current state is: passing
• qcheck-alcotest.0.91 on 5.3.0 is now installable. Current state is: passing
• qcheck-core.0.91 on 4.14.2 is now installable. Current state is: passing
• qcheck-core.0.91 on 5.3.0 is now installable. Current state is: passing
• qcheck-ounit.0.91 on 4.14.2 is now installable. Current state is: passing
• qcheck-ounit.0.91 on 5.3.0 is now installable. Current state is: passing
• qcheck.0.91 on 4.14.2 is now installable. Current state is: passing
• qcheck.0.91 on 5.3.0 is now installable. Current state is: passing
• qdrant.0.1.0 on 4.14.2 is now installable. Current state is: passing
• qdrant.0.1.0 on 5.3.0 is now installable. Current state is: passing
• quickjs.0.4.2 on 4.14.2 is now installable. Current state is: passing
• quickjs.0.4.2 on 5.3.0 is now installable. Current state is: passing
• reason-react-day-picker.0.1 on 4.14.2 is now installable. Current state is: passing
• reason-react-day-picker.0.1 on 5.3.0 is now installable. Current state is: passing
• reason-react-ppx.0.17.0 on 4.14.2 is now installable. Current state is: passing
• reason-react-ppx.0.17.0 on 5.3.0 is now installable. Current state is: passing
• reason-react.0.17.0 on 4.14.2 is now installable. Current state is: passing
• reason-react.0.17.0 on 5.3.0 is now installable. Current state is: passing
• reason.3.17.3 on 4.14.2 is now installable. Current state is: passing
• reason.3.17.3 on 5.3.0 is now installable. Current state is: passing
• regl.0.1.0 on 4.14.2 is now installable. Current state is: passing
• regl.0.1.0 on 5.3.0 is now installable. Current state is: passing
• repr-bench.0.8.0 on 4.14.2 is now installable. Current state is: passing
• repr-bench.0.8.0 on 5.3.0 is now installable. Current state is: passing
• repr-fuzz.0.8.0 on 4.14.2 is now installable. Current state is: passing
• repr-fuzz.0.8.0 on 5.3.0 is now installable. Current state is: passing
• repr.0.8.0 on 4.14.2 is now installable. Current state is: passing
• repr.0.8.0 on 5.3.0 is now installable. Current state is: passing
• restricted.1.1 on 5.3.0 is now installable. Current state is: passing
• rfsm.2.3 on 5.3.0 is now installable. Current state is: passing
• rizzo.0.3.0 on 5.3.0 is now installable. Current state is: passing
• rocq-prover.meta.1 on 4.14.2 is now installable. Current state is: passing
• rocq-prover.meta.1 on 5.3.0 is now installable. Current state is: passing
• rpclib-html.10.0.0 on 4.14.2 is now installable. Current state is: passing
• rpclib-html.10.0.0 on 5.3.0 is now installable. Current state is: passing
• rpclib-js.10.0.0 on 4.14.2 is now installable. Current state is: passing
• rpclib-js.10.0.0 on 5.3.0 is now installable. Current state is: passing
• rpclib-lwt.10.0.0 on 4.14.2 is now installable. Current state is: passing
• rpclib-lwt.10.0.0 on 5.3.0 is now installable. Current state is: passing
• rpclib.10.0.0 on 4.14.2 is now installable. Current state is: passing
• rpclib.10.0.0 on 5.3.0 is now installable. Current state is: passing
• rtop.3.17.3 on 4.14.2 is now installable. Current state is: passing
• rtop.3.17.3 on 5.3.0 is now installable. Current state is: passing
• sail.0.20.1 on 4.14.2 is now installable. Current state is: passing
• sail.0.20.1 on 5.3.0 is now installable. Current state is: passing
• sail_c_backend.0.20.1 on 4.14.2 is now installable. Current state is: passing
• sail_c_backend.0.20.1 on 5.3.0 is now installable. Current state is: passing
• sail_coq_backend.0.20.1 on 4.14.2 is now installable. Current state is: passing
• sail_coq_backend.0.20.1 on 5.3.0 is now installable. Current state is: passing
• sail_doc_backend.0.20.1 on 4.14.2 is now installable. Current state is: passing
• sail_doc_backend.0.20.1 on 5.3.0 is now installable. Current state is: passing
• sail_latex_backend.0.20.1 on 4.14.2 is now installable. Current state is: passing
• sail_latex_backend.0.20.1 on 5.3.0 is now installable. Current state is: passing
• sail_lean_backend.0.20.1 on 4.14.2 is now installable. Current state is: passing
• sail_lean_backend.0.20.1 on 5.3.0 is now installable. Current state is: passing
• sail_lem_backend.0.20.1 on 4.14.2 is now installable. Current state is: passing
• sail_lem_backend.0.20.1 on 5.3.0 is now installable. Current state is: passing
• sail_maker.0.20.1 on 4.14.2 is now installable. Current state is: passing
• sail_maker.0.20.1 on 5.3.0 is now installable. Current state is: passing
• sail_ocaml_backend.0.20.1 on 4.14.2 is now installable. Current state is: passing
• sail_ocaml_backend.0.20.1 on 5.3.0 is now installable. Current state is: passing
• sail_output.0.20.1 on 4.14.2 is now installable. Current state is: passing
• sail_output.0.20.1 on 5.3.0 is now installable. Current state is: passing
• sail_smt_backend.0.20.1 on 4.14.2 is now installable. Current state is: passing
• sail_smt_backend.0.20.1 on 5.3.0 is now installable. Current state is: passing
• sail_sv_backend.0.20.1 on 4.14.2 is now installable. Current state is: passing
• sail_sv_backend.0.20.1 on 5.3.0 is now installable. Current state is: passing
• secp256k1.0.5.0 on 4.14.2 is now installable. Current state is: passing
• secp256k1.0.5.0 on 5.3.0 is now installable. Current state is: passing
• sel.0.8.0 on 4.14.2 is now installable. Current state is: passing
• sel.0.8.0 on 5.3.0 is now installable. Current state is: passing
• serialport.0.1 on 4.14.2 is now installable. Current state is: passing
• serialport.0.1 on 5.3.0 is now installable. Current state is: passing
• server-reason-react.0.4.1 on 4.14.2 is now installable. Current state is: passing
• server-reason-react.0.4.1 on 5.3.0 is now installable. Current state is: passing
• shakuhachi.0.1.0 on 4.14.2 is now installable. Current state is: passing
• shakuhachi.0.1.0 on 5.3.0 is now installable. Current state is: passing
• shellwords.1.0.0 on 4.14.2 is now installable. Current state is: passing
• shellwords.1.0.0 on 5.3.0 is now installable. Current state is: passing
• slice.0.0.4 on 4.14.2 is now installable. Current state is: passing
• slice.0.0.4 on 5.3.0 is now installable. Current state is: passing
• slipshow.0.8.1 on 4.14.2 is now installable. Current state is: passing
• slipshow.0.8.1 on 5.3.0 is now installable. Current state is: passing
• smtml.0.19.0 on 4.14.2 is now installable. Current state is: passing
• smtml.0.19.0 on 5.3.0 is now installable. Current state is: passing
• stdune.3.21.0 on 4.14.2 is now installable. Current state is: passing
• stdune.3.21.0 on 5.3.0 is now installable. Current state is: passing
• synchronizer.0.2 on 5.3.0 is now installable. Current state is: passing
• syslog-rfc5424.0.2 on 4.14.2 is now installable. Current state is: passing
• syslog-rfc5424.0.2 on 5.3.0 is now installable. Current state is: passing
• testo-diff.0.3.4 on 4.14.2 is now installable. Current state is: passing
• testo-diff.0.3.4 on 5.3.0 is now installable. Current state is: passing
• testo-lwt.0.3.4 on 4.14.2 is now installable. Current state is: passing
• testo-lwt.0.3.4 on 5.3.0 is now installable. Current state is: passing
• testo-util.0.3.4 on 4.14.2 is now installable. Current state is: passing
• testo-util.0.3.4 on 5.3.0 is now installable. Current state is: passing
• testo.0.3.4 on 4.14.2 is now installable. Current state is: passing
• testo.0.3.4 on 5.3.0 is now installable. Current state is: passing
• top-closure.3.21.0 on 4.14.2 is now installable. Current state is: passing
• top-closure.3.21.0 on 5.3.0 is now installable. Current state is: passing
• trace-fuchsia.0.10.1 on 4.14.2 is now installable. Current state is: passing
• trace-fuchsia.0.10.1 on 5.3.0 is now installable. Current state is: passing
• trace-tef.0.10.1 on 4.14.2 is now installable. Current state is: passing
• trace-tef.0.10.1 on 5.3.0 is now installable. Current state is: passing
• trace.0.10.1 on 4.14.2 is now installable. Current state is: passing
• trace.0.10.1 on 5.3.0 is now installable. Current state is: passing
• tyre.1.0 on 4.14.2 is now installable. Current state is: passing
• tyre.1.0 on 5.3.0 is now installable. Current state is: passing
• ufind.0.2.0 on 4.14.2 is now installable. Current state is: passing
• ufind.0.2.0 on 5.3.0 is now installable. Current state is: passing
• vscoq-language-server.2.3.4 on 4.14.2 is now installable. Current state is: passing
• vscoq-language-server.2.3.4 on 5.3.0 is now installable. Current state is: passing
• vsrocq-language-server.2.3.4 on 4.14.2 is now installable. Current state is: passing
• vsrocq-language-server.2.3.4 on 5.3.0 is now installable. Current state is: passing
• why3find.1.3.0 on 4.14.2 is now installable. Current state is: passing
• why3find.1.3.0 on 5.3.0 is now installable. Current state is: passing
• xdg.3.21.0 on 4.14.2 is now installable. Current state is: passing
• xdg.3.21.0 on 5.3.0 is now installable. Current state is: passing
• xdge.1.0.0 on 5.3.0 is now installable. Current state is: passing
• yocaml.2.8.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_cmarkit.2.8.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_eio.2.8.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_git.2.8.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_jingoo.2.8.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_markdown.2.8.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_mustache.2.8.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_omd.2.8.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_otoml.2.8.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_runtime.2.8.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_syndication.2.8.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_unix.2.8.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_yaml.2.8.0 on 5.3.0 is now installable. Current state is: passing