Home|Differences with the last checks|Previous runs

Differences between 76bf2ed and 86675af (git diff)

Packages now failing:

• functory.0.6 on 4.14.2 had its build status changed: passing to failing
• profiler-plugin.1.30 on 4.14.2 had its build status changed: passing to failing

Packages now partially failing:

• satML-plugin.1.30 on 4.14.2 had its build status changed: passing to partially failing

Packages now not available:

• aslref.1.0~draft.2 on 4.14.2 is not available anymore. Previous state was: passing
• aslref.1.0~draft.2 on 5.3.0 is not available anymore. Previous state was: passing
• binaryen.0.34.0 on 4.14.2 is not available anymore. Previous state was: passing
• binaryen.0.34.0 on 5.3.0 is not available anymore. Previous state was: passing
• binsec.0.11.0 on 4.14.2 is not available anymore. Previous state was: passing
• binsec.0.11.0 on 5.3.0 is not available anymore. Previous state was: passing
• chrome-trace.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• chrome-trace.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• coq-core.9.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• coq-core.9.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• coqide-server.9.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• coqide-server.9.1.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
• curses.1.0.11 on 4.14.2 is not available anymore. Previous state was: passing
• curses.1.0.11 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.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-action-plugin.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• dune-action-trace.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-action-trace.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• dune-build-info.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-build-info.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• dune-configurator.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-configurator.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• dune-glob.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-glob.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• dune-private-libs.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-private-libs.3.22.0 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.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-rpc-lwt.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• dune-rpc.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-rpc.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• dune-site.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-site.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• dune.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• dyn.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• dyn.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• fs-io.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• fs-io.3.22.0 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
• gendarme-csv.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• gendarme-csv.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• gendarme-ezjsonm.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• gendarme-ezjsonm.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• gendarme-json.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• gendarme-json.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• gendarme-toml.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• gendarme-toml.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• gendarme-yaml.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• gendarme-yaml.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• gendarme-yojson.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• gendarme-yojson.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• gendarme.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• gendarme.0.4.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
• 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
• libbinaryen.125.0.0 on 4.14.2 is not available anymore. Previous state was: internal failure
• libbinaryen.125.0.0 on 5.3.0 is not available anymore. Previous state was: internal failure
• 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
• lwt_eio.0.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• mdx.2.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• mdx.2.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• menhir-lsp.0.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• menhir-lsp.0.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• miou.0.5.4 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.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• ocamlc-loc.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• oniguruma.0.1.2 on 4.14.2 is not available anymore. Previous state was: passing
• oniguruma.0.1.2 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-client-cohttp-eio.0.13 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-client-cohttp-lwt.0.13 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-client-cohttp-lwt.0.13 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-client-ocurl.0.13 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-client-ocurl.0.13 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-cohttp-lwt.0.13 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-cohttp-lwt.0.13 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-logs.0.13 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-logs.0.13 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-lwt.0.13 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-lwt.0.13 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry.0.13 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry.0.13 on 5.3.0 is not available anymore. Previous state was: passing
• ordering.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• ordering.3.22.0 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
• parseff.0.1.0 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
• ppx_deriving_rpc.10.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_deriving_rpc.10.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_marshal.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_marshal.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_marshal_ext.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_marshal_ext.0.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
• restricted.1.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• rocq-core.9.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• rocq-core.9.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• rocq-devtools.9.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• rocq-devtools.9.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• rocq-runtime.9.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• rocq-runtime.9.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• rocqide.9.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• rocqide.9.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• rpclib-html.10.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• rpclib-html.10.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• rpclib-js.10.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• rpclib-js.10.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• rpclib-lwt.10.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• rpclib-lwt.10.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• rpclib.10.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• rpclib.10.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• smtml.0.23.0 on 4.14.2 is not available anymore. Previous state was: passing
• smtml.0.23.0 on 5.3.0 is not available anymore. Previous state was: passing
• 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.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• stdune.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• top-closure.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• top-closure.3.22.0 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
• unidecode.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• unidecode.0.4.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
• xdg.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• xdg.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing

Packages now failing with an internal failure:

• ansicolor.0.5 on 4.14.2 had its build status changed: passing to internal failure
• ansicolor.0.5 on 5.3.0 had its build status changed: passing to internal failure
• bap-taint-propagator.2.5.0 on 4.14.2 had its build status changed: passing to internal failure
• bap-taint.2.5.0 on 4.14.2 had its build status changed: passing to internal failure
• base_quickcheck.v0.17.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libxcb-xkb.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libxinerama.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-r.1.0.0 on 5.3.0 had its build status changed: failing to internal failure
• odoc-depgraph.1.0 on 4.14.2 had its build status changed: passing to internal failure
• odoc-depgraph.1.0 on 5.3.0 had its build status changed: passing to internal failure
• omtl.0.2 on 4.14.2 had its build status changed: passing to internal failure
• omtl.0.2 on 5.3.0 had its build status changed: passing to internal failure
• pxshot.0.1.2 on 4.14.2 had its build status changed: passing to internal failure
• pxshot.0.1.2 on 5.3.0 had its build status changed: passing to internal failure
• salsa20.1.2.0 on 4.14.2 had its build status changed: passing to internal failure
• salsa20.1.2.0 on 5.3.0 had its build status changed: passing to internal failure
• simlog.0.0.4 on 4.14.2 had its build status changed: passing to internal failure
• simlog.0.0.4 on 5.3.0 had its build status changed: passing 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
• xtmpl.1.2.0 on 4.14.2 had its build status changed: passing to internal failure
• xtmpl.1.2.0 on 5.3.0 had its build status changed: passing to internal failure
• xtmpl_js.1.2.0 on 4.14.2 had its build status changed: passing to internal failure
• xtmpl_js.1.2.0 on 5.3.0 had its build status changed: passing to internal failure
• xtmpl_ppx.1.2.0 on 4.14.2 had its build status changed: passing to internal failure
• xtmpl_ppx.1.2.0 on 5.3.0 had its build status changed: passing to internal failure

Packages now passing:

• alcobar.0.3 on 4.14.2 is now installable. Current state is: passing
• alcobar.0.3 on 5.3.0 is now installable. Current state is: passing
• aslref.1.0-EAC1 on 4.14.2 is now installable. Current state is: passing
• aslref.1.0-EAC1 on 5.3.0 is now installable. Current state is: passing
• binaryen.0.35.0 on 4.14.2 is now installable. Current state is: passing
• binaryen.0.35.0 on 5.3.0 is now installable. Current state is: passing
• binsec.0.11.1 on 4.14.2 is now installable. Current state is: passing
• binsec.0.11.1 on 5.3.0 is now installable. Current state is: passing
• chrome-trace.3.22.1 on 4.14.2 is now installable. Current state is: passing
• chrome-trace.3.22.1 on 5.3.0 is now installable. Current state is: passing
• conf-lame.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-lame.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
• coq-core.9.2.0 on 4.14.2 is now installable. Current state is: passing
• coq-core.9.2.0 on 5.3.0 is now installable. Current state is: passing
• coq-waterproof.3.1.0+9.1 on 4.14.2 had its build status changed: internal failure to passing
• coq-waterproof.3.1.0+9.1 on 5.3.0 had its build status changed: internal failure to passing
• coqide-server.9.2.0 on 4.14.2 is now installable. Current state is: passing
• coqide-server.9.2.0 on 5.3.0 is now installable. Current state is: 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
• curses.1.0.12 on 4.14.2 is now installable. Current state is: passing
• curses.1.0.12 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.1 on 4.14.2 is now installable. Current state is: passing
• dune-action-plugin.3.22.1 on 5.3.0 is now installable. Current state is: passing
• dune-action-trace.3.22.1 on 4.14.2 is now installable. Current state is: passing
• dune-action-trace.3.22.1 on 5.3.0 is now installable. Current state is: passing
• dune-build-info.3.22.1 on 4.14.2 is now installable. Current state is: passing
• dune-build-info.3.22.1 on 5.3.0 is now installable. Current state is: passing
• dune-configurator.3.22.1 on 4.14.2 is now installable. Current state is: passing
• dune-configurator.3.22.1 on 5.3.0 is now installable. Current state is: passing
• dune-glob.3.22.1 on 4.14.2 is now installable. Current state is: passing
• dune-glob.3.22.1 on 5.3.0 is now installable. Current state is: passing
• dune-private-libs.3.22.1 on 4.14.2 is now installable. Current state is: passing
• dune-private-libs.3.22.1 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.1 on 4.14.2 is now installable. Current state is: passing
• dune-rpc-lwt.3.22.1 on 5.3.0 is now installable. Current state is: passing
• dune-rpc.3.22.1 on 4.14.2 is now installable. Current state is: passing
• dune-rpc.3.22.1 on 5.3.0 is now installable. Current state is: passing
• dune-site.3.22.1 on 4.14.2 is now installable. Current state is: passing
• dune-site.3.22.1 on 5.3.0 is now installable. Current state is: passing
• dune.3.22.1 on 4.14.2 is now installable. Current state is: passing
• dune.3.22.1 on 5.3.0 is now installable. Current state is: passing
• dyn.3.22.1 on 4.14.2 is now installable. Current state is: passing
• dyn.3.22.1 on 5.3.0 is now installable. Current state is: passing
• fm-simplex-plugin.1.30 on 4.14.2 had its build status changed: partially failing to passing
• fs-io.3.22.1 on 4.14.2 is now installable. Current state is: passing
• fs-io.3.22.1 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
• gendarme-csv.0.4.1 on 4.14.2 is now installable. Current state is: passing
• gendarme-csv.0.4.1 on 5.3.0 is now installable. Current state is: passing
• gendarme-ezjsonm.0.4.1 on 4.14.2 is now installable. Current state is: passing
• gendarme-ezjsonm.0.4.1 on 5.3.0 is now installable. Current state is: passing
• gendarme-json.0.4.1 on 4.14.2 is now installable. Current state is: passing
• gendarme-json.0.4.1 on 5.3.0 is now installable. Current state is: passing
• gendarme-toml.0.4.1 on 4.14.2 is now installable. Current state is: passing
• gendarme-toml.0.4.1 on 5.3.0 is now installable. Current state is: passing
• gendarme-yaml.0.4.1 on 4.14.2 is now installable. Current state is: passing
• gendarme-yaml.0.4.1 on 5.3.0 is now installable. Current state is: passing
• gendarme-yojson.0.4.1 on 4.14.2 is now installable. Current state is: passing
• gendarme-yojson.0.4.1 on 5.3.0 is now installable. Current state is: passing
• gendarme.0.4.1 on 4.14.2 is now installable. Current state is: passing
• gendarme.0.4.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
• 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
• lambdapi.3.0.0 on 4.14.2 had its build status changed: internal failure to passing
• lambdapi.3.0.0 on 5.3.0 had its build status changed: internal failure to passing
• lazy-trie.1.2.0 on 4.14.2 had its build status changed: internal failure to passing
• lazy-trie.1.2.0 on 5.3.0 had its build status changed: internal failure to passing
• libbinaryen.126.0.0 on 4.14.2 is now installable. Current state is: passing
• libbinaryen.126.0.0 on 5.3.0 is now installable. Current state is: passing
• libc.0.0.1 on 5.3.0 had its build status changed: internal failure to passing
• lintcstubs-gen.0.4.7 on 4.14.2 had its build status changed: internal failure to passing
• lintcstubs.0.4.7 on 4.14.2 had its build status changed: internal failure to 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
• lunar.1.0.0 on 5.3.0 is now installable. Current state is: passing
• lwt_eio.0.6 on 5.3.0 is now installable. Current state is: passing
• mdx.2.5.2 on 4.14.2 is now installable. Current state is: passing
• mdx.2.5.2 on 5.3.0 is now installable. Current state is: passing
• menhir-lsp.0.3.0 on 4.14.2 is now installable. Current state is: passing
• menhir-lsp.0.3.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
• 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.1 on 4.14.2 is now installable. Current state is: passing
• ocamlc-loc.3.22.1 on 5.3.0 is now installable. Current state is: passing
• oniguruma.0.2.0 on 4.14.2 is now installable. Current state is: passing
• oniguruma.0.2.0 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-client-cohttp-eio.0.90 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-client-cohttp-lwt.0.90 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-client-cohttp-lwt.0.90 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-client-ocurl-lwt.0.90 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-client-ocurl-lwt.0.90 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-client-ocurl.0.90 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-client-ocurl.0.90 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-client.0.90 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-client.0.90 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-cohttp-lwt.0.90 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-cohttp-lwt.0.90 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-logs.0.90 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-logs.0.90 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-lwt.0.90 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-lwt.0.90 on 5.3.0 is now installable. Current state is: passing
• opentelemetry.0.90 on 4.14.2 is now installable. Current state is: passing
• opentelemetry.0.90 on 5.3.0 is now installable. Current state is: passing
• ordering.3.22.1 on 4.14.2 is now installable. Current state is: passing
• ordering.3.22.1 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
• out-channel-redirect.0.1 on 4.14.2 is now installable. Current state is: passing
• out-channel-redirect.0.1 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.5 on 4.14.2 is now installable. Current state is: passing
• passage.0.3.5 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
• ppx_deriving_rpc.10.2.0 on 4.14.2 is now installable. Current state is: passing
• ppx_deriving_rpc.10.2.0 on 5.3.0 is now installable. Current state is: passing
• ppx_marshal.0.4.1 on 4.14.2 is now installable. Current state is: passing
• ppx_marshal.0.4.1 on 5.3.0 is now installable. Current state is: passing
• ppx_marshal_ext.0.4.1 on 4.14.2 is now installable. Current state is: passing
• ppx_marshal_ext.0.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
• restricted.2.0.0 on 5.3.0 is now installable. Current state is: passing
• rocq-core.9.2.0 on 4.14.2 is now installable. Current state is: passing
• rocq-core.9.2.0 on 5.3.0 is now installable. Current state is: passing
• rocq-devtools.9.2.0 on 4.14.2 is now installable. Current state is: passing
• rocq-devtools.9.2.0 on 5.3.0 is now installable. Current state is: passing
• rocq-runtime.9.2.0 on 4.14.2 is now installable. Current state is: passing
• rocq-runtime.9.2.0 on 5.3.0 is now installable. Current state is: passing
• rocqide.9.2.0 on 4.14.2 is now installable. Current state is: passing
• rocqide.9.2.0 on 5.3.0 is now installable. Current state is: passing
• rpclib-html.10.2.0 on 4.14.2 is now installable. Current state is: passing
• rpclib-html.10.2.0 on 5.3.0 is now installable. Current state is: passing
• rpclib-js.10.2.0 on 4.14.2 is now installable. Current state is: passing
• rpclib-js.10.2.0 on 5.3.0 is now installable. Current state is: passing
• rpclib-lwt.10.2.0 on 4.14.2 is now installable. Current state is: passing
• rpclib-lwt.10.2.0 on 5.3.0 is now installable. Current state is: passing
• rpclib.10.2.0 on 4.14.2 is now installable. Current state is: passing
• rpclib.10.2.0 on 5.3.0 is now installable. Current state is: passing
• sm.0.1.0 on 4.14.2 is now installable. Current state is: passing
• sm.0.1.0 on 5.3.0 is now installable. Current state is: passing
• smtml.0.24.0 on 4.14.2 is now installable. Current state is: passing
• smtml.0.24.0 on 5.3.0 is now installable. Current state is: passing
• snkv.0.1.0 on 4.14.2 is now installable. Current state is: passing
• snkv.0.1.0 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.1 on 4.14.2 is now installable. Current state is: passing
• stdune.3.22.1 on 5.3.0 is now installable. Current state is: passing
• top-closure.3.22.1 on 4.14.2 is now installable. Current state is: passing
• top-closure.3.22.1 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
• unidecode.0.5.0 on 4.14.2 is now installable. Current state is: passing
• unidecode.0.5.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
• xdg.3.22.1 on 4.14.2 is now installable. Current state is: passing
• xdg.3.22.1 on 5.3.0 is now installable. Current state is: passing