Packages now failing:
Packages now partially failing:
Packages now not available:
- aifad.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- aifad.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- alcotest-js.1.9.0 on 4.14.2 is not available anymore. Previous state was: passing
- alcotest-js.1.9.0 on 5.3.0 is not available anymore. Previous state was: passing
- alcotest-lwt.1.9.0 on 4.14.2 is not available anymore. Previous state was: passing
- alcotest-lwt.1.9.0 on 5.3.0 is not available anymore. Previous state was: passing
- alcotest-mirage.1.9.0 on 4.14.2 is not available anymore. Previous state was: passing
- alcotest-mirage.1.9.0 on 5.3.0 is not available anymore. Previous state was: passing
- alcotest.1.9.0 on 4.14.2 is not available anymore. Previous state was: passing
- alcotest.1.9.0 on 5.3.0 is not available anymore. Previous state was: passing
- arp.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- arp.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- b0.0.0.5 on 4.14.2 is not available anymore. Previous state was: passing
- b0.0.0.5 on 5.3.0 is not available anymore. Previous state was: passing
- batteries.3.9.0 on 4.14.2 is not available anymore. Previous state was: passing
- batteries.3.9.0 on 5.3.0 is not available anymore. Previous state was: passing
- ca-certs-nss.3.115 on 4.14.2 is not available anymore. Previous state was: passing
- ca-certs-nss.3.115 on 5.3.0 is not available anymore. Previous state was: passing
- camlp5.8.03.06 on 4.14.2 is not available anymore. Previous state was: internal failure
- camlp5.8.03.06 on 5.3.0 is not available anymore. Previous state was: internal failure
- chamelon-unix.0.1.2 on 4.14.2 is not available anymore. Previous state was: passing
- chamelon.0.1.2 on 4.14.2 is not available anymore. Previous state was: passing
- charrua-client.2.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- charrua-client.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
- charrua-server.2.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- charrua-server.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
- charrua-unix.2.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- charrua-unix.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
- charrua.2.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- charrua.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
- climate.0.8.4 on 4.14.2 is not available anymore. Previous state was: passing
- climate.0.8.4 on 5.3.0 is not available anymore. Previous state was: passing
- cmdliner.1.3.0 on 4.14.2 is not available anymore. Previous state was: passing
- cmdliner.1.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- coq-core.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- coq-core.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- coq-lsp.0.2.4+9.0 on 4.14.2 is not available anymore. Previous state was: passing
- coq-lsp.0.2.4+9.0 on 5.3.0 is not available anymore. Previous state was: passing
- coq.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- coq.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- coqide-server.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- coqide-server.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- diffast-api.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- diffast-api.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- diffast-cli.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- diffast-cli.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- diffast-core.0.2 on 4.14.2 is not available anymore. Previous state was: internal failure
- diffast-core.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- diffast-etc.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- diffast-etc.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- diffast-git-cli.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- diffast-git-cli.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- diffast-git.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- diffast-git.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- diffast-langs-common.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- diffast-langs-common.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- diffast-langs-cpp-parsing.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- diffast-langs-cpp-parsing.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- diffast-langs-cpp-spec.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- diffast-langs-cpp-spec.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- diffast-langs-cpp.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- diffast-langs-cpp.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- diffast-langs-fortran-parsing.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- diffast-langs-fortran-parsing.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- diffast-langs-fortran-spec.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- diffast-langs-fortran-spec.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- diffast-langs-fortran.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- diffast-langs-fortran.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- diffast-langs-java-parsing.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- diffast-langs-java-parsing.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- diffast-langs-java-spec.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- diffast-langs-java-spec.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- diffast-langs-java.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- diffast-langs-java.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- diffast-langs-python-parsing.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- diffast-langs-python-parsing.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- diffast-langs-python-spec.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- diffast-langs-python-spec.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- diffast-langs-python.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- diffast-langs-python.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- diffast-langs-verilog-parsing.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- diffast-langs-verilog-parsing.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- diffast-langs-verilog-spec.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- diffast-langs-verilog-spec.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- diffast-langs-verilog.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- diffast-langs-verilog.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- diffast-misc.0.1.1 on 4.14.2 is not available anymore. Previous state was: partially failing
- diffast-misc.0.1.1 on 5.3.0 is not available anymore. Previous state was: partially failing
- diffast.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- diffast.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- dns-certify.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dns-certify.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dns-cli.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dns-cli.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dns-client-lwt.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dns-client-lwt.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dns-client-miou-unix.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dns-client-mirage.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dns-client-mirage.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dns-client.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dns-client.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dns-mirage.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dns-mirage.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dns-resolver.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dns-resolver.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dns-server.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dns-server.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dns-stub.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dns-stub.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dns-tsig.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dns-tsig.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dns.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dns.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dnssec.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dnssec.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dockerfile-cmd.8.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- dockerfile-cmd.8.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- dockerfile-opam.8.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- dockerfile-opam.8.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- dockerfile.8.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- dockerfile.8.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- dokeysto.4.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- dokeysto.4.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- dokeysto_camltc.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- dokeysto_lz4.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- dokeysto_lz4.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- domain-name.0.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- domain-name.0.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- dot-merlin-reader.5.5-503 on 5.3.0 is not available anymore. Previous state was: passing
- dunolint-lib.0.0.20250804 on 4.14.2 is not available anymore. Previous state was: passing
- dunolint-lib.0.0.20250804 on 5.3.0 is not available anymore. Previous state was: passing
- elpi.3.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- elpi.3.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- emoji.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- emoji.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- fstar.2025.09.04 on 4.14.2 is not available anymore. Previous state was: passing
- fstar.2025.09.04 on 5.3.0 is not available anymore. Previous state was: passing
- gen_js_api.1.1.5 on 4.14.2 is not available anymore. Previous state was: passing
- gen_js_api.1.1.5 on 5.3.0 is not available anymore. Previous state was: passing
- html_of_jsx.0.0.5 on 4.14.2 is not available anymore. Previous state was: passing
- html_of_jsx.0.0.5 on 5.3.0 is not available anymore. Previous state was: passing
- hugin.1.0.0~alpha0 on 5.3.0 is not available anymore. Previous state was: passing
- hxd.0.3.4 on 4.14.2 is not available anymore. Previous state was: passing
- hxd.0.3.4 on 5.3.0 is not available anymore. Previous state was: passing
- icalendar.0.1.11 on 4.14.2 is not available anymore. Previous state was: passing
- icalendar.0.1.11 on 5.3.0 is not available anymore. Previous state was: passing
- jsonrpc.1.23.0 on 4.14.2 is not available anymore. Previous state was: passing
- jsonrpc.1.23.0 on 5.3.0 is not available anymore. Previous state was: passing
- kaun.1.0.0~alpha0 on 5.3.0 is not available anymore. Previous state was: passing
- libsail.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- libsail.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- lsp.1.23.0 on 4.14.2 is not available anymore. Previous state was: passing
- lsp.1.23.0 on 5.3.0 is not available anymore. Previous state was: passing
- mdx.2.5.0 on 4.14.2 is not available anymore. Previous state was: passing
- mdx.2.5.0 on 5.3.0 is not available anymore. Previous state was: passing
- merlin-lib.5.5-503 on 5.3.0 is not available anymore. Previous state was: passing
- merlin.5.5-503 on 5.3.0 is not available anymore. Previous state was: passing
- miou.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
- mirage-kv-mem.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- mirage-kv-mem.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- mirage-monitoring.0.0.7 on 4.14.2 is not available anymore. Previous state was: passing
- mirage-net-xen.2.1.6 on 4.14.2 is not available anymore. Previous state was: passing
- mirage-net-xen.2.1.6 on 5.3.0 is not available anymore. Previous state was: passing
- mirage-runtime.4.10.1 on 4.14.2 is not available anymore. Previous state was: passing
- mirage-runtime.4.10.1 on 5.3.0 is not available anymore. Previous state was: passing
- mirage.4.10.1 on 4.14.2 is not available anymore. Previous state was: passing
- mirage.4.10.1 on 5.3.0 is not available anymore. Previous state was: passing
- moonpool-io.0.8 on 5.3.0 is not available anymore. Previous state was: passing
- moonpool-lwt.0.8 on 5.3.0 is not available anymore. Previous state was: passing
- ninja_utils.0.9.0 on 4.14.2 is not available anymore. Previous state was: passing
- ninja_utils.0.9.0 on 5.3.0 is not available anymore. Previous state was: passing
- nx-datasets.1.0.0~alpha0 on 5.3.0 is not available anymore. Previous state was: passing
- nx.1.0.0~alpha0 on 5.3.0 is not available anymore. Previous state was: passing
- ocaml-index.5.5-503 on 5.3.0 is not available anymore. Previous state was: passing
- ocaml-lsp-server.1.23.0 on 5.3.0 is not available anymore. Previous state was: passing
- ocaml-version.4.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- ocaml-version.4.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- ocp-indent.1.8.1 on 4.14.2 is not available anymore. Previous state was: passing
- ocp-indent.1.8.1 on 5.3.0 is not available anymore. Previous state was: passing
- odig.0.0.9 on 4.14.2 is not available anymore. Previous state was: passing
- odig.0.0.9 on 5.3.0 is not available anymore. Previous state was: passing
- ojs.1.1.5 on 4.14.2 is not available anymore. Previous state was: passing
- ojs.1.1.5 on 5.3.0 is not available anymore. Previous state was: passing
- opam-check-npm-deps.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- opam-check-npm-deps.4.0.0 on 5.3.0 is not available anymore. Previous state was: failing
- opam-publish.2.6.0 on 4.14.2 is not available anymore. Previous state was: passing
- opam-publish.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
- oplot.0.71 on 4.14.2 is not available anymore. Previous state was: partially failing
- p5scm.0.4.0 on 4.14.2 is not available anymore. Previous state was: internal failure
- pgsolver.4.3 on 4.14.2 is not available anymore. Previous state was: passing
- ppx_expect.v0.16.1 on 4.14.2 is not available anymore. Previous state was: passing
- ppx_expect.v0.16.1 on 5.3.0 is not available anymore. Previous state was: passing
- ppx_import.1.11.0 on 4.14.2 is not available anymore. Previous state was: passing
- ppx_import.1.11.0 on 5.3.0 is not available anymore. Previous state was: passing
- ppx_js_style.v0.17.0 on 5.3.0 is not available anymore. Previous state was: passing
- ppx_minidebug.2.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- ppx_pattern_bind.v0.17.0 on 5.3.0 is not available anymore. Previous state was: passing
- ppx_yojson_conv.v0.17.0 on 5.3.0 is not available anymore. Previous state was: passing
- ppxlib-tools.0.36.0 on 4.14.2 is not available anymore. Previous state was: passing
- ppxlib-tools.0.36.0 on 5.3.0 is not available anymore. Previous state was: passing
- ppxlib.0.37.0~5.4preview on 4.14.2 is not available anymore. Previous state was: passing
- ppxlib.0.37.0~5.4preview on 5.3.0 is not available anymore. Previous state was: passing
- proton.1.0.16 on 4.14.2 is not available anymore. Previous state was: passing
- proton.1.0.16 on 5.3.0 is not available anymore. Previous state was: passing
- qcheck-lin.0.9 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck-lin.0.9 on 5.3.0 is not available anymore. Previous state was: passing
- qcheck-multicoretests-util.0.9 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck-multicoretests-util.0.9 on 5.3.0 is not available anymore. Previous state was: passing
- qcheck-stm.0.9 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck-stm.0.9 on 5.3.0 is not available anymore. Previous state was: passing
- quill.1.0.0~alpha0 on 5.3.0 is not available anymore. Previous state was: passing
- raven.1.0.0~alpha0 on 5.3.0 is not available anymore. Previous state was: passing
- raygui.1.4.0 on 4.14.2 is not available anymore. Previous state was: partially failing
- raygui.1.4.0 on 5.3.0 is not available anymore. Previous state was: partially failing
- raylib.1.4.0 on 4.14.2 is not available anymore. Previous state was: partially failing
- raylib.1.4.0 on 5.3.0 is not available anymore. Previous state was: partially failing
- rocq-core.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- rocq-core.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- rocq-runtime.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- rocq-runtime.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- rocqide.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- rocqide.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- rune.1.0.0~alpha0 on 5.3.0 is not available anymore. Previous state was: passing
- runtime_events_tools.0.3 on 5.3.0 is not available anymore. Previous state was: internal failure
- runtime_events_tools_bare.0.5.2 on 5.3.0 is not available anymore. Previous state was: passing
- sail.0.19.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- sail.0.19.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- sail_c_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- sail_c_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- sail_coq_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- sail_coq_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- sail_doc_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- sail_doc_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- sail_latex_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- sail_latex_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- sail_lean_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- sail_lean_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- sail_lem_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- sail_lem_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- sail_manifest.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- sail_manifest.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- sail_ocaml_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- sail_ocaml_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- sail_output.0.19.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- sail_output.0.19.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- sail_smt_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- sail_smt_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- sail_sv_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- sail_sv_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- sedlex.3.6 on 4.14.2 is not available anymore. Previous state was: passing
- sedlex.3.6 on 5.3.0 is not available anymore. Previous state was: passing
- smtml.0.11.0 on 4.14.2 is not available anymore. Previous state was: passing
- smtml.0.11.0 on 5.3.0 is not available anymore. Previous state was: passing
- sowilo.1.0.0~alpha0 on 5.3.0 is not available anymore. Previous state was: passing
- spoke.0.0.3 on 4.14.2 is not available anymore. Previous state was: passing
- spoke.0.0.3 on 5.3.0 is not available anymore. Previous state was: passing
- visitors.20250212 on 4.14.2 is not available anymore. Previous state was: passing
- visitors.20250212 on 5.3.0 is not available anymore. Previous state was: passing
- vsrocq-language-server.2.3.0 on 4.14.2 is not available anymore. Previous state was: passing
- vsrocq-language-server.2.3.0 on 5.3.0 is not available anymore. Previous state was: passing
Packages now failing with an internal failure:
Packages now passing:
- aifad.2.3.2 on 4.14.2 is now installable. Current state is: passing
- aifad.2.3.2 on 5.3.0 is now installable. Current state is: passing
- alcotest-js.1.9.1 on 4.14.2 is now installable. Current state is: passing
- alcotest-js.1.9.1 on 5.3.0 is now installable. Current state is: passing
- alcotest-lwt.1.9.1 on 4.14.2 is now installable. Current state is: passing
- alcotest-lwt.1.9.1 on 5.3.0 is now installable. Current state is: passing
- alcotest-mirage.1.9.1 on 4.14.2 is now installable. Current state is: passing
- alcotest-mirage.1.9.1 on 5.3.0 is now installable. Current state is: passing
- alcotest.1.9.1 on 4.14.2 is now installable. Current state is: passing
- alcotest.1.9.1 on 5.3.0 is now installable. Current state is: passing
- arp.4.1.0 on 4.14.2 is now installable. Current state is: passing
- arp.4.1.0 on 5.3.0 is now installable. Current state is: passing
- b0.0.0.6 on 4.14.2 is now installable. Current state is: passing
- b0.0.0.6 on 5.3.0 is now installable. Current state is: passing
- batteries.3.10.0 on 4.14.2 is now installable. Current state is: passing
- batteries.3.10.0 on 5.3.0 is now installable. Current state is: passing
- bimage-gtk.0.2.1 on 4.14.2 had its build status changed: internal failure to passing
- binary_tree.1.0 on 4.14.2 had its build status changed: internal failure to passing
- ca-certs-nss.3.117 on 4.14.2 is now installable. Current state is: passing
- ca-certs-nss.3.117 on 5.3.0 is now installable. Current state is: passing
- camlkit-gui.0.3.0 on 4.14.2 had its build status changed: internal failure to passing
- chamelon-unix.0.2.1 on 4.14.2 is now installable. Current state is: passing
- chamelon-unix.0.2.1 on 5.3.0 is now installable. Current state is: passing
- chamelon.0.2.1 on 4.14.2 is now installable. Current state is: passing
- chamelon.0.2.1 on 5.3.0 is now installable. Current state is: passing
- charrua-client.2.1.1 on 4.14.2 is now installable. Current state is: passing
- charrua-client.2.1.1 on 5.3.0 is now installable. Current state is: passing
- charrua-server.2.1.1 on 4.14.2 is now installable. Current state is: passing
- charrua-server.2.1.1 on 5.3.0 is now installable. Current state is: passing
- charrua-unix.2.1.1 on 4.14.2 is now installable. Current state is: passing
- charrua-unix.2.1.1 on 5.3.0 is now installable. Current state is: passing
- charrua.2.1.1 on 4.14.2 is now installable. Current state is: passing
- charrua.2.1.1 on 5.3.0 is now installable. Current state is: passing
- climate.0.8.5 on 4.14.2 is now installable. Current state is: passing
- climate.0.8.5 on 5.3.0 is now installable. Current state is: passing
- cmdliner.2.0.0 on 4.14.2 is now installable. Current state is: passing
- cmdliner.2.0.0 on 5.3.0 is now installable. Current state is: passing
- conf-allegro5.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-antic.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-ao.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-arb.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-asciidoc.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-asciidoc.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-autoconf.0.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-automake.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-automake.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-binaryen.1 on 4.14.2 is now installable. Current state is: passing
- conf-binaryen.1 on 5.3.0 is now installable. Current state is: passing
- conf-bison.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-blas.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-blas.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-boost.1 on 5.3.0 had its build status changed: internal failure to 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-clang-format.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-cmake.1 on 5.3.0 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 5.3.0 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-dssi.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-gcc.1.0 on 4.14.2 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-glade.2 on 5.3.0 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-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-gsl.2 on 4.14.2 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-gtk2.1 on 4.14.2 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-gtksourceview3.0+2 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-libXft.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libbz2.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libbz2.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libclang.15 on 4.14.2 had its build status changed: internal failure to passing
- conf-libclang.15 on 5.3.0 had its build status changed: internal failure to passing
- conf-libdw.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libdw.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libev.4-13 on 5.3.0 had its build status changed: internal failure to passing
- conf-libevent.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-libflac.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libfontconfig.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 5.3.0 had its build status changed: internal failure to passing
- conf-libgl.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-libglu.1 on 5.3.0 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-liblinear-tools.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
- conf-liblinear-tools.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- conf-libmaxminddb.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libmaxminddb.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libmosquitto.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libpcre.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-libpcre.2 on 5.3.0 had its build status changed: internal failure to passing
- conf-libpng.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libpng.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libportmidi.1 on 5.3.0 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-libsamplerate.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-libspeex.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libsvm-tools.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- conf-libtheora.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libuv.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libvorbis.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libwayland.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libwayland.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libxcb-image.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libxcb-image.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libxcb-keysyms.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libxcb-keysyms.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libxcb-shm.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libxcb-shm.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libxcb-xkb.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libxcb.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libxcb.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libxcursor.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libxi.1 on 4.14.2 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 5.3.0 had its build status changed: internal failure to passing
- conf-libxrandr.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libxrandr.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-llvm-static.19 on 4.14.2 had its build status changed: internal failure to passing
- conf-llvm-static.19 on 5.3.0 had its build status changed: internal failure to passing
- conf-llvm.17 on 4.14.2 had its build status changed: internal failure to passing
- conf-llvm.17 on 5.3.0 had its build status changed: internal failure to passing
- conf-mad.2 on 5.3.0 had its build status changed: internal failure to passing
- conf-mariadb.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-mpfr.3 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-mpi.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-nanomsg.0 on 4.14.2 had its build status changed: internal failure to passing
- conf-nanomsg.0 on 5.3.0 had its build status changed: internal failure to passing
- conf-nauty.1.0 on 4.14.2 had its build status changed: internal failure to passing
- conf-nauty.1.0 on 5.3.0 had its build status changed: internal failure to passing
- conf-ncurses.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-ncurses.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-ninja.1 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
- conf-nmap.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- conf-npm.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-ode.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-oniguruma.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-oniguruma.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-openblas.0.2.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-opencc1_1.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-opencc1_1.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-pandoc.0.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-pandoc.0.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-pango.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-perl-ipc-system-simple.3 on 4.14.2 had its build status changed: internal failure to passing
- conf-perl-string-shellquote.3 on 5.3.0 had its build status changed: internal failure to passing
- conf-pixz.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-pixz.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-portaudio.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-portaudio.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-postgresql.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-postgresql.2 on 5.3.0 had its build status changed: internal failure to passing
- conf-povray.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-ppl.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-ppl.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-protoc-dev.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
- conf-protoc-dev.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- conf-protoc.4.4.0 on 4.14.2 had its build status changed: internal failure to passing
- conf-protoc.4.4.0 on 5.3.0 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-python-2-7.1.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-python-2-7.1.2 on 5.3.0 had its build status changed: internal failure to passing
- conf-python-3-7.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
- conf-python-3-7.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- conf-python-3-dev.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-python-3-dev.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-python-3.9.0.0 on 4.14.2 had its build status changed: internal failure to passing
- conf-python-3.9.0.0 on 5.3.0 had its build status changed: internal failure to passing
- conf-radare2.0.1 on 4.14.2 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 4.14.2 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-2021.1 on 5.3.0 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 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 4.14.2 had its build status changed: internal failure to passing
- conf-sdl-gfx.1 on 5.3.0 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-image.1 on 5.3.0 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-sdl-ttf.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-sdl2-image.1 on 4.14.2 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-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.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-sdl2.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-sdpa.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-secp256k1.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-secp256k1.2 on 5.3.0 had its build status changed: internal failure to passing
- conf-sfml2.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-sfml2.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-snappy.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-snappy.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-sndfile.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-sndfile.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-soundtouch.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-soundtouch.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-sqlite3.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-sqlite3.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-srt.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-srt.2 on 5.3.0 had its build status changed: internal failure to passing
- conf-sundials.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-sundials.2 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-sysinfo.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-sysinfo.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-taglib.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-taglib.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-taglib_c.2 on 4.14.2 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
- conf-tcl.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-tcl.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-texlive.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-texlive.2 on 5.3.0 had its build status changed: internal failure to passing
- conf-tk.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-tk.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-unwind.0 on 4.14.2 had its build status changed: internal failure to passing
- conf-unwind.0 on 5.3.0 had its build status changed: internal failure to passing
- conf-vim.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-vim.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-vips.1 on 4.14.2 is now installable. Current state is: passing
- conf-vips.1 on 5.3.0 is now installable. Current state is: passing
- conf-wayland-protocols.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-wayland-protocols.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-wget.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-xen.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-xen.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-xkbcommon.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-xkbcommon.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-zmq.0.1 on 5.3.0 had its build status changed: internal failure to passing
- coq-core.9.1.0 on 4.14.2 is now installable. Current state is: passing
- coq-core.9.1.0 on 5.3.0 is now installable. Current state is: passing
- coq-lsp.0.2.4+9.1 on 4.14.2 is now installable. Current state is: passing
- coq-lsp.0.2.4+9.1 on 5.3.0 is now installable. Current state is: passing
- coq.9.1.0 on 4.14.2 is now installable. Current state is: passing
- coq.9.1.0 on 5.3.0 is now installable. Current state is: passing
- coqide-server.9.1.0 on 4.14.2 is now installable. Current state is: passing
- coqide-server.9.1.0 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
- diffast-api.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast-api.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- diffast-cli.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast-cli.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- diffast-core.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast-core.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- diffast-etc.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast-etc.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- diffast-git-cli.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast-git-cli.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- diffast-git.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast-git.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-common.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-common.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-cpp-parsing-cli.0.2 on 4.14.2 had its build status changed: partially failing to passing
- diffast-langs-cpp-parsing-cli.0.2 on 5.3.0 had its build status changed: partially failing to passing
- diffast-langs-cpp-parsing.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-cpp-parsing.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-cpp-spec.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-cpp-spec.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-cpp.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-cpp.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-fortran-parsing-cli.0.2 on 4.14.2 had its build status changed: partially failing to passing
- diffast-langs-fortran-parsing-cli.0.2 on 5.3.0 had its build status changed: partially failing to passing
- diffast-langs-fortran-parsing.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-fortran-parsing.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-fortran-spec.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-fortran-spec.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-fortran.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-fortran.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-java-parsing-cli.0.2 on 4.14.2 had its build status changed: partially failing to passing
- diffast-langs-java-parsing-cli.0.2 on 5.3.0 had its build status changed: partially failing to passing
- diffast-langs-java-parsing.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-java-parsing.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-java-spec.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-java-spec.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-java.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-java.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-python-parsing-cli.0.2 on 4.14.2 had its build status changed: partially failing to passing
- diffast-langs-python-parsing-cli.0.2 on 5.3.0 had its build status changed: partially failing to passing
- diffast-langs-python-parsing.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-python-parsing.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-python-spec.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-python-spec.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-python.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-python.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-verilog-parsing-cli.0.2 on 4.14.2 had its build status changed: partially failing to passing
- diffast-langs-verilog-parsing-cli.0.2 on 5.3.0 had its build status changed: partially failing to passing
- diffast-langs-verilog-parsing.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-verilog-parsing.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-verilog-spec.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-verilog-spec.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-verilog.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-verilog.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- diffast-misc.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast-misc.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- diffast.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
- diffast.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
- dns-certify.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dns-certify.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dns-cli.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dns-cli.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dns-client-lwt.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dns-client-lwt.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dns-client-miou-unix.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dns-client-mirage.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dns-client-mirage.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dns-client.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dns-client.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dns-mirage.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dns-mirage.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dns-resolver.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dns-resolver.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dns-server.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dns-server.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dns-stub.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dns-stub.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dns-tsig.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dns-tsig.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dns.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dns.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dnssec.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dnssec.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dockerfile-cmd.8.3.3 on 4.14.2 is now installable. Current state is: passing
- dockerfile-cmd.8.3.3 on 5.3.0 is now installable. Current state is: passing
- dockerfile-opam.8.3.3 on 4.14.2 is now installable. Current state is: passing
- dockerfile-opam.8.3.3 on 5.3.0 is now installable. Current state is: passing
- dockerfile.8.3.3 on 4.14.2 is now installable. Current state is: passing
- dockerfile.8.3.3 on 5.3.0 is now installable. Current state is: passing
- dokeysto.4.0.2 on 4.14.2 is now installable. Current state is: passing
- dokeysto.4.0.2 on 5.3.0 is now installable. Current state is: passing
- dokeysto_camltc.4.0.2 on 4.14.2 is now installable. Current state is: passing
- dokeysto_lz4.4.0.2 on 4.14.2 is now installable. Current state is: passing
- dokeysto_lz4.4.0.2 on 5.3.0 is now installable. Current state is: passing
- domain-name.0.5.0 on 4.14.2 is now installable. Current state is: passing
- domain-name.0.5.0 on 5.3.0 is now installable. Current state is: passing
- dot-merlin-reader.5.6-503 on 5.3.0 is now installable. Current state is: passing
- dunolint-lib-base.0.0.20251006 on 5.3.0 is now installable. Current state is: passing
- dunolint-lib.0.0.20251006 on 4.14.2 is now installable. Current state is: passing
- dunolint-lib.0.0.20251006 on 5.3.0 is now installable. Current state is: passing
- elpi.3.4.2 on 4.14.2 is now installable. Current state is: passing
- elpi.3.4.2 on 5.3.0 is now installable. Current state is: passing
- emoji.3.0.1 on 4.14.2 is now installable. Current state is: passing
- emoji.3.0.1 on 5.3.0 is now installable. Current state is: passing
- fadecider.0.7 on 4.14.2 is now installable. Current state is: passing
- fadecider.0.7 on 5.3.0 is now installable. Current state is: passing
- ffmpeg-swresample.1.2.6 on 4.14.2 had its build status changed: internal failure to passing
- fm-simplex-plugin.1.30 on 4.14.2 had its build status changed: partially failing to passing
- fmlib.0.6.0 on 5.3.0 is now installable. Current state is: passing
- fmlib_browser.0.6.0 on 5.3.0 is now installable. Current state is: passing
- fmlib_js.0.6.0 on 5.3.0 is now installable. Current state is: passing
- fmlib_parse.0.6.0 on 5.3.0 is now installable. Current state is: passing
- fmlib_pretty.0.6.0 on 5.3.0 is now installable. Current state is: passing
- fmlib_std.0.6.0 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
- fstar.2025.10.06 on 4.14.2 is now installable. Current state is: passing
- fstar.2025.10.06 on 5.3.0 is now installable. Current state is: passing
- gen_js_api.1.1.6 on 4.14.2 is now installable. Current state is: passing
- gen_js_api.1.1.6 on 5.3.0 is now installable. Current state is: passing
- gl-legacy.0.1.0 on 4.14.2 is now installable. Current state is: passing
- gl-legacy.0.1.0 on 5.3.0 is now installable. Current state is: passing
- handlebars-ml.0.2.0 on 4.14.2 is now installable. Current state is: passing
- handlebars-ml.0.2.0 on 5.3.0 is now installable. Current state is: passing
- html_of_jsx.0.0.6 on 4.14.2 is now installable. Current state is: passing
- html_of_jsx.0.0.6 on 5.3.0 is now installable. Current state is: passing
- hugin.1.0.0~alpha1 on 5.3.0 is now installable. Current state is: passing
- huml-cli.0.1.1 on 4.14.2 is now installable. Current state is: passing
- huml-cli.0.1.1 on 5.3.0 is now installable. Current state is: passing
- huml.0.1.1 on 4.14.2 is now installable. Current state is: passing
- huml.0.1.1 on 5.3.0 is now installable. Current state is: passing
- hxd.0.3.5 on 4.14.2 is now installable. Current state is: passing
- hxd.0.3.5 on 5.3.0 is now installable. Current state is: passing
- icalendar.0.1.13 on 4.14.2 is now installable. Current state is: passing
- icalendar.0.1.13 on 5.3.0 is now installable. Current state is: passing
- incremental_cycles.0.1 on 4.14.2 is now installable. Current state is: passing
- incremental_cycles.0.1 on 5.3.0 is now installable. Current state is: passing
- ipv6-multicast-lwt.0.9 on 4.14.2 had its build status changed: partially failing to passing
- ipv6-multicast.0.9 on 4.14.2 had its build status changed: failing to passing
- jsonrpc.1.24.0 on 4.14.2 is now installable. Current state is: passing
- jsonrpc.1.24.0 on 5.3.0 is now installable. Current state is: passing
- libsail.0.20 on 4.14.2 is now installable. Current state is: passing
- libsail.0.20 on 5.3.0 is now installable. Current state is: passing
- lmdb.1.0 on 5.3.0 had its build status changed: internal failure to passing
- lsp.1.24.0 on 4.14.2 is now installable. Current state is: passing
- lsp.1.24.0 on 5.3.0 is now installable. Current state is: passing
- mdx.2.5.1 on 4.14.2 is now installable. Current state is: passing
- mdx.2.5.1 on 5.3.0 is now installable. Current state is: passing
- merlin-lib.5.6-503 on 5.3.0 is now installable. Current state is: passing
- merlin.5.6-503 on 5.3.0 is now installable. Current state is: passing
- miou.0.5.0 on 5.3.0 is now installable. Current state is: passing
- mirage-kv-mem.4.0.1 on 4.14.2 is now installable. Current state is: passing
- mirage-kv-mem.4.0.1 on 5.3.0 is now installable. Current state is: passing
- mirage-monitoring.0.0.8 on 4.14.2 is now installable. Current state is: passing
- mirage-net-xen.2.1.7 on 4.14.2 is now installable. Current state is: passing
- mirage-net-xen.2.1.7 on 5.3.0 is now installable. Current state is: passing
- mirage-runtime.4.10.2 on 4.14.2 is now installable. Current state is: passing
- mirage-runtime.4.10.2 on 5.3.0 is now installable. Current state is: passing
- mirage.4.10.2 on 4.14.2 is now installable. Current state is: passing
- mirage.4.10.2 on 5.3.0 is now installable. Current state is: passing
- mlsolver.1.5 on 4.14.2 is now installable. Current state is: passing
- mlsolver.1.5 on 5.3.0 is now installable. Current state is: passing
- moonpool-io.0.9 on 5.3.0 is now installable. Current state is: passing
- moonpool-lwt.0.9 on 5.3.0 is now installable. Current state is: passing
- moonpool.0.9 on 5.3.0 is now installable. Current state is: passing
- morbig.0.11.0 on 4.14.2 had its build status changed: failing to passing
- morbig.0.11.0 on 5.3.0 had its build status changed: failing to passing
- mosaique.0.0.1 on 5.3.0 is now installable. Current state is: passing
- ninja_utils.1.0.0 on 4.14.2 is now installable. Current state is: passing
- ninja_utils.1.0.0 on 5.3.0 is now installable. Current state is: passing
- notty-community.0.2.4 on 4.14.2 is now installable. Current state is: passing
- notty-community.0.2.4 on 5.3.0 is now installable. Current state is: passing
- nx-datasets.1.0.0~alpha1 on 5.3.0 is now installable. Current state is: passing
- nx.1.0.0~alpha1 on 5.3.0 is now installable. Current state is: passing
- ocaml-index.5.6-503 on 5.3.0 is now installable. Current state is: passing
- ocaml-lsp-server.1.23.1 on 5.3.0 is now installable. Current state is: passing
- ocaml-version.4.0.3 on 4.14.2 is now installable. Current state is: passing
- ocaml-version.4.0.3 on 5.3.0 is now installable. Current state is: passing
- ocp-indent.1.9.0 on 4.14.2 is now installable. Current state is: passing
- ocp-indent.1.9.0 on 5.3.0 is now installable. Current state is: passing
- ocsipersist-sqlite.2.0.0 on 5.3.0 had its build status changed: internal failure to passing
- odig.0.1.0 on 4.14.2 is now installable. Current state is: passing
- odig.0.1.0 on 5.3.0 is now installable. Current state is: passing
- oenv.0.1.0 on 5.3.0 is now installable. Current state is: passing
- oglsl.0.1.0 on 5.3.0 is now installable. Current state is: passing
- ojs.1.1.6 on 4.14.2 is now installable. Current state is: passing
- ojs.1.1.6 on 5.3.0 is now installable. Current state is: passing
- opam-check-npm-deps.4.0.1 on 4.14.2 is now installable. Current state is: passing
- opam-check-npm-deps.4.0.1 on 5.3.0 is now installable. Current state is: passing
- opam-publish.2.7.0 on 4.14.2 is now installable. Current state is: passing
- opam-publish.2.7.0 on 5.3.0 is now installable. Current state is: passing
- opatch.3.0.1 on 4.14.2 is now installable. Current state is: passing
- opatch.3.0.1 on 5.3.0 is now installable. Current state is: passing
- oplot.0.80 on 4.14.2 is now installable. Current state is: passing
- oplot.0.80 on 5.3.0 is now installable. Current state is: passing
- otp.0.2 on 4.14.2 is now installable. Current state is: passing
- otp.0.2 on 5.3.0 is now installable. Current state is: passing
- pcrc.0.25.2 on 4.14.2 is now installable. Current state is: passing
- pcrc.0.25.2 on 5.3.0 is now installable. Current state is: passing
- pgsolver.4.4 on 4.14.2 is now installable. Current state is: passing
- pgsolver.4.4 on 5.3.0 is now installable. Current state is: passing
- postgresql.5.3.2 on 5.3.0 is now installable. Current state is: passing
- ppx_expect.v0.16.2 on 4.14.2 is now installable. Current state is: passing
- ppx_expect.v0.16.2 on 5.3.0 is now installable. Current state is: passing
- ppx_import.1.12.0 on 4.14.2 is now installable. Current state is: passing
- ppx_import.1.12.0 on 5.3.0 is now installable. Current state is: passing
- ppx_js_style.v0.17.1 on 5.3.0 is now installable. Current state is: passing
- ppx_minidebug.2.4.0 on 5.3.0 is now installable. Current state is: passing
- ppx_pattern_bind.v0.17.1 on 5.3.0 is now installable. Current state is: passing
- ppx_yojson_conv.v0.17.1 on 5.3.0 is now installable. Current state is: passing
- ppxlib-tools.0.37.0 on 4.14.2 is now installable. Current state is: passing
- ppxlib-tools.0.37.0 on 5.3.0 is now installable. Current state is: passing
- ppxlib.0.37.0 on 4.14.2 is now installable. Current state is: passing
- ppxlib.0.37.0 on 5.3.0 is now installable. Current state is: passing
- primavera.1.0.0 on 5.3.0 is now installable. Current state is: passing
- profiler-plugin.1.30 on 4.14.2 had its build status changed: failing to passing
- proton.1.0.17 on 4.14.2 is now installable. Current state is: passing
- proton.1.0.17 on 5.3.0 is now installable. Current state is: passing
- qcheck-lin.0.10 on 4.14.2 is now installable. Current state is: passing
- qcheck-lin.0.10 on 5.3.0 is now installable. Current state is: passing
- qcheck-multicoretests-util.0.10 on 4.14.2 is now installable. Current state is: passing
- qcheck-multicoretests-util.0.10 on 5.3.0 is now installable. Current state is: passing
- qcheck-stm.0.10 on 4.14.2 is now installable. Current state is: passing
- qcheck-stm.0.10 on 5.3.0 is now installable. Current state is: passing
- rdf.1.1.0 on 4.14.2 had its build status changed: internal failure to passing
- rocq-core.9.1.0 on 4.14.2 is now installable. Current state is: passing
- rocq-core.9.1.0 on 5.3.0 is now installable. Current state is: passing
- rocq-devtools.9.1.0 on 4.14.2 is now installable. Current state is: passing
- rocq-devtools.9.1.0 on 5.3.0 is now installable. Current state is: passing
- rocq-runtime.9.1.0 on 4.14.2 is now installable. Current state is: passing
- rocq-runtime.9.1.0 on 5.3.0 is now installable. Current state is: passing
- rocqide.9.1.0 on 4.14.2 is now installable. Current state is: passing
- rocqide.9.1.0 on 5.3.0 is now installable. Current state is: passing
- safemoney.0.3.0 on 4.14.2 had its build status changed: internal failure to passing
- saga.1.0.0~alpha1 on 5.3.0 is now installable. Current state is: passing
- sail.0.20 on 4.14.2 is now installable. Current state is: passing
- sail.0.20 on 5.3.0 is now installable. Current state is: passing
- sail_c_backend.0.20 on 4.14.2 is now installable. Current state is: passing
- sail_c_backend.0.20 on 5.3.0 is now installable. Current state is: passing
- sail_coq_backend.0.20 on 4.14.2 is now installable. Current state is: passing
- sail_coq_backend.0.20 on 5.3.0 is now installable. Current state is: passing
- sail_doc_backend.0.20 on 4.14.2 is now installable. Current state is: passing
- sail_doc_backend.0.20 on 5.3.0 is now installable. Current state is: passing
- sail_latex_backend.0.20 on 4.14.2 is now installable. Current state is: passing
- sail_latex_backend.0.20 on 5.3.0 is now installable. Current state is: passing
- sail_lean_backend.0.20 on 4.14.2 is now installable. Current state is: passing
- sail_lean_backend.0.20 on 5.3.0 is now installable. Current state is: passing
- sail_lem_backend.0.20 on 4.14.2 is now installable. Current state is: passing
- sail_lem_backend.0.20 on 5.3.0 is now installable. Current state is: passing
- sail_manifest.0.20 on 4.14.2 is now installable. Current state is: passing
- sail_manifest.0.20 on 5.3.0 is now installable. Current state is: passing
- sail_ocaml_backend.0.20 on 4.14.2 is now installable. Current state is: passing
- sail_ocaml_backend.0.20 on 5.3.0 is now installable. Current state is: passing
- sail_output.0.20 on 4.14.2 is now installable. Current state is: passing
- sail_output.0.20 on 5.3.0 is now installable. Current state is: passing
- sail_smt_backend.0.20 on 4.14.2 is now installable. Current state is: passing
- sail_smt_backend.0.20 on 5.3.0 is now installable. Current state is: passing
- sail_sv_backend.0.20 on 4.14.2 is now installable. Current state is: passing
- sail_sv_backend.0.20 on 5.3.0 is now installable. Current state is: passing
- scope.1.1 on 5.3.0 had its build status changed: internal failure to passing
- sdl-liquidsoap.3 on 4.14.2 had its build status changed: internal failure to passing
- sedlex.3.7 on 4.14.2 is now installable. Current state is: passing
- sedlex.3.7 on 5.3.0 is now installable. Current state is: passing
- sendmail-mirage.0.12.0 on 5.3.0 had its build status changed: internal failure to passing
- sendmail.0.12.0 on 4.14.2 had its build status changed: internal failure to passing
- session-postgresql-lwt.0.5.0 on 4.14.2 had its build status changed: internal failure to passing
- session-postgresql-lwt.0.5.0 on 5.3.0 had its build status changed: internal failure to passing
- session-postgresql.0.5.0 on 4.14.2 had its build status changed: internal failure to passing
- session-postgresql.0.5.0 on 5.3.0 had its build status changed: internal failure to passing
- setcore.1.0.2 on 4.14.2 had its build status changed: internal failure to passing
- setcore.1.0.2 on 5.3.0 had its build status changed: internal failure to passing
- smtml.0.12.0 on 4.14.2 is now installable. Current state is: passing
- smtml.0.12.0 on 5.3.0 is now installable. Current state is: passing
- spoke.0.0.4 on 4.14.2 is now installable. Current state is: passing
- spoke.0.0.4 on 5.3.0 is now installable. Current state is: passing
- statocaml_changelog.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- synchronizer.0.1 on 5.3.0 is now installable. Current state is: passing
- talon.1.0.0~alpha1 on 5.3.0 is now installable. Current state is: passing
- tcs-lib.0.6 on 4.14.2 is now installable. Current state is: passing
- tcs-lib.0.6 on 5.3.0 is now installable. Current state is: passing
- tezos-base58.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
- tezos-base58.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- tsdl-ttf.0.6 on 4.14.2 had its build status changed: internal failure to passing
- tsdl.1.1.0 on 4.14.2 had its build status changed: internal failure to passing
- visitors.20251010 on 4.14.2 is now installable. Current state is: passing
- visitors.20251010 on 5.3.0 is now installable. Current state is: passing
- vlt.0.2.5 on 4.14.2 had its build status changed: failing to passing
- vlt.0.2.5 on 5.3.0 had its build status changed: failing to passing
- vsrocq-language-server.2.3.1 on 4.14.2 is now installable. Current state is: passing
- vsrocq-language-server.2.3.1 on 5.3.0 is now installable. Current state is: passing
Home|Differences with the last checks|Previous runs