Home|Differences with the last checks|Previous runs

Differences between f39c79b and 747f3dc (git diff)

Packages now failing:

• conf-leveldb.2 on 5.3.0 had its build status changed: internal failure to failing
• mopsa.1.2 on 4.14.2 had its build status changed: passing to failing
• mopsa.1.2 on 5.3.0 had its build status changed: passing to failing

Packages now partially failing:

• cachet-lwt.0.0.4 on 4.14.2 had its build status changed: passing to partially failing
• profiler-plugin.1.30 on 4.14.2 had its build status changed: passing to partially failing
• rescript-syntax.1.0.0 on 4.14.2 had its build status changed: passing to partially failing

Packages now not available:

• atd.3.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• atd.3.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• atdcpp.3.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• atdcpp.3.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• atdd.3.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• atdd.3.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• atdgen-codec-runtime.3.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• atdgen-codec-runtime.3.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• atdgen-runtime.3.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• atdgen-runtime.3.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• atdgen.3.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• atdgen.3.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• atdj.3.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• atdj.3.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• atdpy.3.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• atdpy.3.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• atds.3.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• atds.3.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• atdts.3.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• atdts.3.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• camlpdf.2.8.1 on 4.14.2 is not available anymore. Previous state was: passing
• camlpdf.2.8.1 on 5.3.0 is not available anymore. Previous state was: passing
• chrome-trace.3.21.1 on 4.14.2 is not available anymore. Previous state was: passing
• chrome-trace.3.21.1 on 5.3.0 is not available anymore. Previous state was: passing
• cpdf.2.8.1 on 4.14.2 is not available anymore. Previous state was: passing
• cpdf.2.8.1 on 5.3.0 is not available anymore. Previous state was: passing
• current.0.7.3 on 4.14.2 is not available anymore. Previous state was: passing
• current.0.7.3 on 5.3.0 is not available anymore. Previous state was: passing
• current_docker.0.7.3 on 4.14.2 is not available anymore. Previous state was: passing
• current_docker.0.7.3 on 5.3.0 is not available anymore. Previous state was: passing
• current_examples.0.7.3 on 4.14.2 is not available anymore. Previous state was: passing
• current_examples.0.7.3 on 5.3.0 is not available anymore. Previous state was: passing
• current_git.0.7.3 on 4.14.2 is not available anymore. Previous state was: passing
• current_git.0.7.3 on 5.3.0 is not available anymore. Previous state was: passing
• current_github.0.7.3 on 4.14.2 is not available anymore. Previous state was: passing
• current_github.0.7.3 on 5.3.0 is not available anymore. Previous state was: passing
• current_gitlab.0.7.3 on 4.14.2 is not available anymore. Previous state was: passing
• current_gitlab.0.7.3 on 5.3.0 is not available anymore. Previous state was: passing
• current_rpc.0.7.3 on 4.14.2 is not available anymore. Previous state was: passing
• current_rpc.0.7.3 on 5.3.0 is not available anymore. Previous state was: passing
• current_slack.0.7.3 on 4.14.2 is not available anymore. Previous state was: passing
• current_slack.0.7.3 on 5.3.0 is not available anymore. Previous state was: passing
• current_ssh.0.7.3 on 4.14.2 is not available anymore. Previous state was: passing
• current_ssh.0.7.3 on 5.3.0 is not available anymore. Previous state was: passing
• current_web.0.7.3 on 4.14.2 is not available anymore. Previous state was: passing
• current_web.0.7.3 on 5.3.0 is not available anymore. Previous state was: passing
• dockerfile-cmd.8.3.4 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile-cmd.8.3.4 on 5.3.0 is not available anymore. Previous state was: passing
• dockerfile-opam.8.3.4 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile-opam.8.3.4 on 5.3.0 is not available anymore. Previous state was: passing
• dockerfile.8.3.4 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile.8.3.4 on 5.3.0 is not available anymore. Previous state was: passing
• dune-action-plugin.3.21.1 on 4.14.2 is not available anymore. Previous state was: passing
• dune-action-plugin.3.21.1 on 5.3.0 is not available anymore. Previous state was: passing
• dune-build-info.3.21.1 on 4.14.2 is not available anymore. Previous state was: passing
• dune-build-info.3.21.1 on 5.3.0 is not available anymore. Previous state was: passing
• dune-configurator.3.21.1 on 4.14.2 is not available anymore. Previous state was: passing
• dune-configurator.3.21.1 on 5.3.0 is not available anymore. Previous state was: passing
• dune-glob.3.21.1 on 4.14.2 is not available anymore. Previous state was: passing
• dune-glob.3.21.1 on 5.3.0 is not available anymore. Previous state was: passing
• dune-private-libs.3.21.1 on 4.14.2 is not available anymore. Previous state was: passing
• dune-private-libs.3.21.1 on 5.3.0 is not available anymore. Previous state was: passing
• dune-release.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-release.2.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• dune-rpc-lwt.3.21.1 on 4.14.2 is not available anymore. Previous state was: passing
• dune-rpc-lwt.3.21.1 on 5.3.0 is not available anymore. Previous state was: passing
• dune-rpc.3.21.1 on 4.14.2 is not available anymore. Previous state was: passing
• dune-rpc.3.21.1 on 5.3.0 is not available anymore. Previous state was: passing
• dune-site.3.21.1 on 4.14.2 is not available anymore. Previous state was: passing
• dune-site.3.21.1 on 5.3.0 is not available anymore. Previous state was: passing
• dune.3.21.1 on 4.14.2 is not available anymore. Previous state was: passing
• dune.3.21.1 on 5.3.0 is not available anymore. Previous state was: passing
• dyn.3.21.1 on 4.14.2 is not available anymore. Previous state was: passing
• dyn.3.21.1 on 5.3.0 is not available anymore. Previous state was: passing
• elpi.3.6.1 on 4.14.2 is not available anymore. Previous state was: passing
• elpi.3.6.1 on 5.3.0 is not available anymore. Previous state was: passing
• fehu.1.0.0~alpha2 on 5.3.0 is not available anymore. Previous state was: partially failing
• fs-io.3.21.1 on 4.14.2 is not available anymore. Previous state was: passing
• fs-io.3.21.1 on 5.3.0 is not available anymore. Previous state was: passing
• fstar.2025.12.15 on 4.14.2 is not available anymore. Previous state was: passing
• fstar.2025.12.15 on 5.3.0 is not available anymore. Previous state was: passing
• gospel.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• gospel.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• httpcats.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• hugin.1.0.0~alpha2 on 5.3.0 is not available anymore. Previous state was: passing
• jsonrpc.1.25.0 on 4.14.2 is not available anymore. Previous state was: passing
• jsonrpc.1.25.0 on 5.3.0 is not available anymore. Previous state was: passing
• kaun.1.0.0~alpha2 on 5.3.0 is not available anymore. Previous state was: partially failing
• letsencrypt-app.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• letsencrypt-app.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• letsencrypt-dns.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• letsencrypt-dns.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• letsencrypt-mirage.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• letsencrypt-mirage.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• letsencrypt.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• letsencrypt.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• lsp.1.25.0 on 4.14.2 is not available anymore. Previous state was: passing
• lsp.1.25.0 on 5.3.0 is not available anymore. Previous state was: passing
• melange-fest.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• miou.0.5.4 on 5.3.0 is not available anymore. Previous state was: passing
• mirage-crypto-ec.2.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• mirage-crypto-ec.2.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• mirage-crypto-pk.2.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• mirage-crypto-pk.2.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• mirage-crypto-rng-miou-unix.2.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• mirage-crypto-rng-mirage.2.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• mirage-crypto-rng-mirage.2.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• mirage-crypto-rng-mkernel.2.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• mirage-crypto-rng.2.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• mirage-crypto-rng.2.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• mirage-crypto.2.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• mirage-crypto.2.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• nx.1.0.0~alpha2 on 5.3.0 is not available anymore. Previous state was: passing
• ocaml-protoc.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• ocaml-protoc.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• ocaml-version.4.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• ocaml-version.4.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• ocamlc-loc.3.21.1 on 4.14.2 is not available anymore. Previous state was: passing
• ocamlc-loc.3.21.1 on 5.3.0 is not available anymore. Previous state was: passing
• ocamlformat-lib.0.28.1 on 4.14.2 is not available anymore. Previous state was: passing
• ocamlformat-lib.0.28.1 on 5.3.0 is not available anymore. Previous state was: passing
• ocamlformat-rpc-lib.0.28.1 on 4.14.2 is not available anymore. Previous state was: passing
• ocamlformat-rpc-lib.0.28.1 on 5.3.0 is not available anymore. Previous state was: passing
• ocamlformat.0.28.1 on 4.14.2 is not available anymore. Previous state was: passing
• ocamlformat.0.28.1 on 5.3.0 is not available anymore. Previous state was: passing
• ordering.3.21.1 on 4.14.2 is not available anymore. Previous state was: passing
• ordering.3.21.1 on 5.3.0 is not available anymore. Previous state was: passing
• ortac-core.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• ortac-core.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• ortac-dune.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• ortac-dune.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• ortac-qcheck-stm.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• ortac-qcheck-stm.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• ortac-runtime-qcheck-stm.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• ortac-runtime-qcheck-stm.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• ortac-runtime.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• ortac-runtime.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• ortac-wrapper.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• ortac-wrapper.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• passage.0.3.3 on 4.14.2 is not available anymore. Previous state was: passing
• passage.0.3.3 on 5.3.0 is not available anymore. Previous state was: passing
• pbrt.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• pbrt.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• pbrt_services.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• pbrt_services.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• pbrt_yojson.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• pbrt_yojson.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• ppxlib-tools.0.37.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppxlib-tools.0.37.0 on 5.3.0 is not available anymore. Previous state was: passing
• ppxlib.0.38.0~5.5preview on 4.14.2 is not available anymore. Previous state was: passing
• ppxlib.0.38.0~5.5preview on 5.3.0 is not available anymore. Previous state was: passing
• rune.1.0.0~alpha2 on 5.3.0 is not available anymore. Previous state was: failing
• sowilo.1.0.0~alpha2 on 5.3.0 is not available anymore. Previous state was: partially failing
• spectrum.1.0.0.alpha on 4.14.2 is not available anymore. Previous state was: passing
• spectrum.1.0.0.alpha on 5.3.0 is not available anymore. Previous state was: passing
• spectrum_capabilities.1.0.0.alpha on 4.14.2 is not available anymore. Previous state was: passing
• spectrum_capabilities.1.0.0.alpha on 5.3.0 is not available anymore. Previous state was: passing
• spectrum_palette_ppx.1.0.0.alpha on 4.14.2 is not available anymore. Previous state was: passing
• spectrum_palette_ppx.1.0.0.alpha on 5.3.0 is not available anymore. Previous state was: passing
• spectrum_palettes.1.0.0.alpha on 4.14.2 is not available anymore. Previous state was: passing
• spectrum_palettes.1.0.0.alpha on 5.3.0 is not available anymore. Previous state was: passing
• spectrum_tools.1.0.0.alpha on 4.14.2 is not available anymore. Previous state was: passing
• spectrum_tools.1.0.0.alpha on 5.3.0 is not available anymore. Previous state was: passing
• stdune.3.21.1 on 4.14.2 is not available anymore. Previous state was: passing
• stdune.3.21.1 on 5.3.0 is not available anymore. Previous state was: passing
• talon.1.0.0~alpha2 on 5.3.0 is not available anymore. Previous state was: passing
• tm-grammars.1.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• tm-grammars.1.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• top-closure.3.21.1 on 4.14.2 is not available anymore. Previous state was: passing
• top-closure.3.21.1 on 5.3.0 is not available anymore. Previous state was: passing
• tsdl.1.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• tsdl.1.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• utop.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• utop.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
• wcwidth.1.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• wcwidth.1.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• xapi-backtrace.0.7 on 4.14.2 is not available anymore. Previous state was: passing
• xapi-backtrace.0.7 on 5.3.0 is not available anymore. Previous state was: passing
• xdg.3.21.1 on 4.14.2 is not available anymore. Previous state was: passing
• xdg.3.21.1 on 5.3.0 is not available anymore. Previous state was: passing

Packages now failing with an internal failure:

• conf-mysql.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-tidy.1 on 4.14.2 had its build status changed: failing to internal failure
• systemverilog.0.0.2 on 4.14.2 had its build status changed: passing to internal failure
• systemverilog.0.0.2 on 5.3.0 had its build status changed: passing to internal failure

Packages now passing:

• atd.4.0.0 on 4.14.2 is now installable. Current state is: passing
• atd.4.0.0 on 5.3.0 is now installable. Current state is: passing
• atdcpp.4.0.0 on 4.14.2 is now installable. Current state is: passing
• atdcpp.4.0.0 on 5.3.0 is now installable. Current state is: passing
• atdd.4.0.0 on 4.14.2 is now installable. Current state is: passing
• atdd.4.0.0 on 5.3.0 is now installable. Current state is: passing
• atdgen-codec-runtime.4.0.0 on 4.14.2 is now installable. Current state is: passing
• atdgen-codec-runtime.4.0.0 on 5.3.0 is now installable. Current state is: passing
• atdgen-runtime.4.0.0 on 4.14.2 is now installable. Current state is: passing
• atdgen-runtime.4.0.0 on 5.3.0 is now installable. Current state is: passing
• atdgen.4.0.0 on 4.14.2 is now installable. Current state is: passing
• atdgen.4.0.0 on 5.3.0 is now installable. Current state is: passing
• atdj.4.0.0 on 4.14.2 is now installable. Current state is: passing
• atdj.4.0.0 on 5.3.0 is now installable. Current state is: passing
• atdml.4.0.0 on 4.14.2 is now installable. Current state is: passing
• atdml.4.0.0 on 5.3.0 is now installable. Current state is: passing
• atdpy.4.0.0 on 4.14.2 is now installable. Current state is: passing
• atdpy.4.0.0 on 5.3.0 is now installable. Current state is: passing
• atds.4.0.0 on 4.14.2 is now installable. Current state is: passing
• atds.4.0.0 on 5.3.0 is now installable. Current state is: passing
• atdts.4.0.0 on 4.14.2 is now installable. Current state is: passing
• atdts.4.0.0 on 5.3.0 is now installable. Current state is: passing
• brot.1.0.0~alpha3 on 5.3.0 is now installable. Current state is: passing
• camlpdf.2.9 on 4.14.2 is now installable. Current state is: passing
• camlpdf.2.9 on 5.3.0 is now installable. Current state is: passing
• chrome-trace.3.22.0 on 4.14.2 is now installable. Current state is: passing
• chrome-trace.3.22.0 on 5.3.0 is now installable. Current state is: passing
• conf-gtk2.1 on 5.3.0 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-libxi.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-libxinerama.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-mpfr.3 on 5.3.0 had its build status changed: internal failure to passing
• conf-nmap.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
• cpdf.2.9 on 4.14.2 is now installable. Current state is: passing
• cpdf.2.9 on 5.3.0 is now installable. Current state is: passing
• cubicle.1.2.0 on 4.14.2 had its build status changed: failing to passing
• current.0.7.4 on 4.14.2 is now installable. Current state is: passing
• current.0.7.4 on 5.3.0 is now installable. Current state is: passing
• current_docker.0.7.4 on 4.14.2 is now installable. Current state is: passing
• current_docker.0.7.4 on 5.3.0 is now installable. Current state is: passing
• current_examples.0.7.4 on 4.14.2 is now installable. Current state is: passing
• current_examples.0.7.4 on 5.3.0 is now installable. Current state is: passing
• current_git.0.7.4 on 4.14.2 is now installable. Current state is: passing
• current_git.0.7.4 on 5.3.0 is now installable. Current state is: passing
• current_github.0.7.4 on 4.14.2 is now installable. Current state is: passing
• current_github.0.7.4 on 5.3.0 is now installable. Current state is: passing
• current_gitlab.0.7.4 on 4.14.2 is now installable. Current state is: passing
• current_gitlab.0.7.4 on 5.3.0 is now installable. Current state is: passing
• current_rpc.0.7.4 on 4.14.2 is now installable. Current state is: passing
• current_rpc.0.7.4 on 5.3.0 is now installable. Current state is: passing
• current_slack.0.7.4 on 4.14.2 is now installable. Current state is: passing
• current_slack.0.7.4 on 5.3.0 is now installable. Current state is: passing
• current_ssh.0.7.4 on 4.14.2 is now installable. Current state is: passing
• current_ssh.0.7.4 on 5.3.0 is now installable. Current state is: passing
• current_web.0.7.4 on 4.14.2 is now installable. Current state is: passing
• current_web.0.7.4 on 5.3.0 is now installable. Current state is: passing
• dnsrobot.0.1.0 on 4.14.2 is now installable. Current state is: passing
• dnsrobot.0.1.0 on 5.3.0 is now installable. Current state is: passing
• dockerfile-cmd.8.3.5 on 4.14.2 is now installable. Current state is: passing
• dockerfile-cmd.8.3.5 on 5.3.0 is now installable. Current state is: passing
• dockerfile-opam.8.3.5 on 4.14.2 is now installable. Current state is: passing
• dockerfile-opam.8.3.5 on 5.3.0 is now installable. Current state is: passing
• dockerfile.8.3.5 on 4.14.2 is now installable. Current state is: passing
• dockerfile.8.3.5 on 5.3.0 is now installable. Current state is: passing
• dune-action-plugin.3.22.0 on 4.14.2 is now installable. Current state is: passing
• dune-action-plugin.3.22.0 on 5.3.0 is now installable. Current state is: passing
• dune-action-trace.3.22.0 on 4.14.2 is now installable. Current state is: passing
• dune-action-trace.3.22.0 on 5.3.0 is now installable. Current state is: passing
• dune-ai-context.0.1.2 on 4.14.2 is now installable. Current state is: passing
• dune-ai-context.0.1.2 on 5.3.0 is now installable. Current state is: passing
• dune-build-info.3.22.0 on 4.14.2 is now installable. Current state is: passing
• dune-build-info.3.22.0 on 5.3.0 is now installable. Current state is: passing
• dune-configurator.3.22.0 on 4.14.2 is now installable. Current state is: passing
• dune-configurator.3.22.0 on 5.3.0 is now installable. Current state is: passing
• dune-glob.3.22.0 on 4.14.2 is now installable. Current state is: passing
• dune-glob.3.22.0 on 5.3.0 is now installable. Current state is: passing
• dune-private-libs.3.22.0 on 4.14.2 is now installable. Current state is: passing
• dune-private-libs.3.22.0 on 5.3.0 is now installable. Current state is: passing
• dune-release.2.2.1 on 4.14.2 is now installable. Current state is: passing
• dune-release.2.2.1 on 5.3.0 is now installable. Current state is: passing
• dune-rpc-lwt.3.22.0 on 4.14.2 is now installable. Current state is: passing
• dune-rpc-lwt.3.22.0 on 5.3.0 is now installable. Current state is: passing
• dune-rpc.3.22.0 on 4.14.2 is now installable. Current state is: passing
• dune-rpc.3.22.0 on 5.3.0 is now installable. Current state is: passing
• dune-site.3.22.0 on 4.14.2 is now installable. Current state is: passing
• dune-site.3.22.0 on 5.3.0 is now installable. Current state is: passing
• dune.3.22.0 on 4.14.2 is now installable. Current state is: passing
• dune.3.22.0 on 5.3.0 is now installable. Current state is: passing
• dyn.3.22.0 on 4.14.2 is now installable. Current state is: passing
• dyn.3.22.0 on 5.3.0 is now installable. Current state is: passing
• elpi.3.6.2 on 4.14.2 is now installable. Current state is: passing
• elpi.3.6.2 on 5.3.0 is now installable. Current state is: passing
• fehu.1.0.0~alpha3 on 5.3.0 is now installable. Current state is: passing
• fs-io.3.22.0 on 4.14.2 is now installable. Current state is: passing
• fs-io.3.22.0 on 5.3.0 is now installable. Current state is: passing
• fstar.2026.03.24 on 4.14.2 is now installable. Current state is: passing
• fstar.2026.03.24 on 5.3.0 is now installable. Current state is: passing
• functory.0.6 on 4.14.2 had its build status changed: failing to passing
• gospel.0.3.1 on 4.14.2 is now installable. Current state is: passing
• gospel.0.3.1 on 5.3.0 is now installable. Current state is: passing
• httpcats.0.2.1 on 5.3.0 is now installable. Current state is: passing
• hugin.1.0.0~alpha3 on 5.3.0 is now installable. Current state is: passing
• jsonrpc.1.26.0-5.5~preview on 4.14.2 is now installable. Current state is: passing
• jsonrpc.1.26.0-5.5~preview on 5.3.0 is now installable. Current state is: passing
• jws.0.0.1 on 4.14.2 is now installable. Current state is: passing
• jws.0.0.1 on 5.3.0 is now installable. Current state is: passing
• kaun.1.0.0~alpha3 on 5.3.0 is now installable. Current state is: passing
• letsencrypt-app.2.0.0 on 4.14.2 is now installable. Current state is: passing
• letsencrypt-app.2.0.0 on 5.3.0 is now installable. Current state is: passing
• letsencrypt-dns.2.0.0 on 4.14.2 is now installable. Current state is: passing
• letsencrypt-dns.2.0.0 on 5.3.0 is now installable. Current state is: passing
• letsencrypt-mirage.2.0.0 on 4.14.2 is now installable. Current state is: passing
• letsencrypt-mirage.2.0.0 on 5.3.0 is now installable. Current state is: passing
• letsencrypt.2.0.0 on 4.14.2 is now installable. Current state is: passing
• letsencrypt.2.0.0 on 5.3.0 is now installable. Current state is: passing
• lsp.1.26.0-5.5~preview on 4.14.2 is now installable. Current state is: passing
• lsp.1.26.0-5.5~preview on 5.3.0 is now installable. Current state is: passing
• melange-fest.0.2.0 on 4.14.2 is now installable. Current state is: passing
• melange-fest.0.2.0 on 5.3.0 is now installable. Current state is: passing
• miou.0.5.5 on 5.3.0 is now installable. Current state is: passing
• mirage-crypto-ec.2.1.0 on 4.14.2 is now installable. Current state is: passing
• mirage-crypto-ec.2.1.0 on 5.3.0 is now installable. Current state is: passing
• mirage-crypto-pk.2.1.0 on 4.14.2 is now installable. Current state is: passing
• mirage-crypto-pk.2.1.0 on 5.3.0 is now installable. Current state is: passing
• mirage-crypto-rng-miou-unix.2.1.0 on 5.3.0 is now installable. Current state is: passing
• mirage-crypto-rng-mirage.2.1.0 on 4.14.2 is now installable. Current state is: passing
• mirage-crypto-rng-mirage.2.1.0 on 5.3.0 is now installable. Current state is: passing
• mirage-crypto-rng-mkernel.2.1.0 on 5.3.0 is now installable. Current state is: passing
• mirage-crypto-rng.2.1.0 on 4.14.2 is now installable. Current state is: passing
• mirage-crypto-rng.2.1.0 on 5.3.0 is now installable. Current state is: passing
• mirage-crypto.2.1.0 on 4.14.2 is now installable. Current state is: passing
• mirage-crypto.2.1.0 on 5.3.0 is now installable. Current state is: passing
• nx.1.0.0~alpha3 on 5.3.0 is now installable. Current state is: passing
• ocaml-protoc.4.1 on 4.14.2 is now installable. Current state is: passing
• ocaml-protoc.4.1 on 5.3.0 is now installable. Current state is: passing
• ocaml-version.4.0.4 on 4.14.2 is now installable. Current state is: passing
• ocaml-version.4.0.4 on 5.3.0 is now installable. Current state is: passing
• ocamlc-loc.3.22.0 on 4.14.2 is now installable. Current state is: passing
• ocamlc-loc.3.22.0 on 5.3.0 is now installable. Current state is: passing
• ocamlformat-lib.0.29.0 on 4.14.2 is now installable. Current state is: passing
• ocamlformat-lib.0.29.0 on 5.3.0 is now installable. Current state is: passing
• ocamlformat-rpc-lib.0.29.0 on 4.14.2 is now installable. Current state is: passing
• ocamlformat-rpc-lib.0.29.0 on 5.3.0 is now installable. Current state is: passing
• ocamlformat.0.29.0 on 4.14.2 is now installable. Current state is: passing
• ocamlformat.0.29.0 on 5.3.0 is now installable. Current state is: passing
• ordering.3.22.0 on 4.14.2 is now installable. Current state is: passing
• ordering.3.22.0 on 5.3.0 is now installable. Current state is: passing
• ortac-core.0.8.0 on 4.14.2 is now installable. Current state is: passing
• ortac-core.0.8.0 on 5.3.0 is now installable. Current state is: passing
• ortac-dune.0.8.0 on 4.14.2 is now installable. Current state is: passing
• ortac-dune.0.8.0 on 5.3.0 is now installable. Current state is: passing
• ortac-qcheck-stm.0.8.0 on 4.14.2 is now installable. Current state is: passing
• ortac-qcheck-stm.0.8.0 on 5.3.0 is now installable. Current state is: passing
• ortac-runtime-qcheck-stm.0.8.0 on 4.14.2 is now installable. Current state is: passing
• ortac-runtime-qcheck-stm.0.8.0 on 5.3.0 is now installable. Current state is: passing
• ortac-runtime.0.8.0 on 4.14.2 is now installable. Current state is: passing
• ortac-runtime.0.8.0 on 5.3.0 is now installable. Current state is: passing
• ortac-wrapper.0.8.0 on 4.14.2 is now installable. Current state is: passing
• ortac-wrapper.0.8.0 on 5.3.0 is now installable. Current state is: passing
• parseff.0.3.0 on 5.3.0 is now installable. Current state is: passing
• passage.0.3.4 on 4.14.2 is now installable. Current state is: passing
• passage.0.3.4 on 5.3.0 is now installable. Current state is: passing
• pbrt.4.1 on 4.14.2 is now installable. Current state is: passing
• pbrt.4.1 on 5.3.0 is now installable. Current state is: passing
• pbrt_services.4.1 on 4.14.2 is now installable. Current state is: passing
• pbrt_services.4.1 on 5.3.0 is now installable. Current state is: passing
• pbrt_yojson.4.1 on 4.14.2 is now installable. Current state is: passing
• pbrt_yojson.4.1 on 5.3.0 is now installable. Current state is: passing
• ppxlib-tools.0.38.0 on 4.14.2 is now installable. Current state is: passing
• ppxlib-tools.0.38.0 on 5.3.0 is now installable. Current state is: passing
• ppxlib.0.38.0 on 4.14.2 is now installable. Current state is: passing
• ppxlib.0.38.0 on 5.3.0 is now installable. Current state is: passing
• rune.1.0.0~alpha3 on 5.3.0 is now installable. Current state is: passing
• sowilo.1.0.0~alpha3 on 5.3.0 is now installable. Current state is: passing
• spectrum.1.0.0.alpha2 on 4.14.2 is now installable. Current state is: passing
• spectrum.1.0.0.alpha2 on 5.3.0 is now installable. Current state is: passing
• spectrum_capabilities.1.0.0.alpha2 on 4.14.2 is now installable. Current state is: passing
• spectrum_capabilities.1.0.0.alpha2 on 5.3.0 is now installable. Current state is: passing
• spectrum_palette_ppx.1.0.0.alpha2 on 4.14.2 is now installable. Current state is: passing
• spectrum_palette_ppx.1.0.0.alpha2 on 5.3.0 is now installable. Current state is: passing
• spectrum_palettes.1.0.0.alpha2 on 4.14.2 is now installable. Current state is: passing
• spectrum_palettes.1.0.0.alpha2 on 5.3.0 is now installable. Current state is: passing
• spectrum_tools.1.0.0.alpha2 on 4.14.2 is now installable. Current state is: passing
• spectrum_tools.1.0.0.alpha2 on 5.3.0 is now installable. Current state is: passing
• stdune.3.22.0 on 4.14.2 is now installable. Current state is: passing
• stdune.3.22.0 on 5.3.0 is now installable. Current state is: passing
• talon.1.0.0~alpha3 on 5.3.0 is now installable. Current state is: passing
• tm-grammars.1.1.0 on 4.14.2 is now installable. Current state is: passing
• tm-grammars.1.1.0 on 5.3.0 is now installable. Current state is: passing
• top-closure.3.22.0 on 4.14.2 is now installable. Current state is: passing
• top-closure.3.22.0 on 5.3.0 is now installable. Current state is: passing
• tsdl.1.3.0 on 4.14.2 is now installable. Current state is: passing
• tsdl.1.3.0 on 5.3.0 is now installable. Current state is: passing
• utop.2.17.0 on 4.14.2 is now installable. Current state is: passing
• utop.2.17.0 on 5.3.0 is now installable. Current state is: passing
• wcwidth.1.1.0 on 4.14.2 is now installable. Current state is: passing
• wcwidth.1.1.0 on 5.3.0 is now installable. Current state is: passing
• xapi-backtrace.0.8 on 4.14.2 is now installable. Current state is: passing
• xapi-backtrace.0.8 on 5.3.0 is now installable. Current state is: passing
• xdg.3.22.0 on 4.14.2 is now installable. Current state is: passing
• xdg.3.22.0 on 5.3.0 is now installable. Current state is: passing