Packages now failing:
Packages now partially failing:
Packages now not available:
- MlFront_Cache.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- MlFront_Cache.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- MlFront_Cli.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- MlFront_Cli.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- MlFront_Config.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- MlFront_Config.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- MlFront_Core.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- MlFront_Core.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- MlFront_Errors.2.3.1 on 4.14.2 is not available anymore. Previous state was: partially failing
- MlFront_Errors.2.3.1 on 5.3.0 is not available anymore. Previous state was: partially failing
- MlFront_Logs.2.3.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- MlFront_Logs.2.3.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- MlFront_Manip.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- MlFront_Manip.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- MlFront_Signify.2.3.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- MlFront_Signify.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- MlFront_ZipFile.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- MlFront_ZipFile.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- 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
- albatross.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- albatross.2.4.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: internal failure
- arp.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- arrayjit.0.5.2 on 5.3.0 is not available anymore. Previous state was: passing
- azure-cosmos-db.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
- azure-cosmos-db.0.3.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
- base64.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
- base64.3.5.1 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
- beluga.1.1.2 on 4.14.2 is not available anymore. Previous state was: passing
- beluga.1.1.2 on 5.3.0 is not available anymore. Previous state was: passing
- bibfmt.0.7.6 on 4.14.2 is not available anymore. Previous state was: passing
- bibfmt.0.7.6 on 5.3.0 is not available anymore. Previous state was: passing
- bin.0.0.2 on 4.14.2 is not available anymore. Previous state was: passing
- bin.0.0.2 on 5.3.0 is not available anymore. Previous state was: passing
- binaryen.0.26.0 on 4.14.2 is not available anymore. Previous state was: passing
- binaryen.0.26.0 on 5.3.0 is not available anymore. Previous state was: passing
- bitv.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- bitv.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- bogue.20250224 on 4.14.2 is not available anymore. Previous state was: passing
- bogue.20250224 on 5.3.0 is not available anymore. Previous state was: passing
- boltzgen.0.9.3 on 5.3.0 had its build status changed: failing to not available
- bstr.0.0.2 on 4.14.2 is not available anymore. Previous state was: passing
- bstr.0.0.2 on 5.3.0 is not available anymore. Previous state was: passing
- bytesrw.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- bytesrw.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- ca-certs-nss.3.114 on 4.14.2 is not available anymore. Previous state was: passing
- ca-certs-nss.3.114 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
- catala-format.0.3.0 on 4.14.2 is not available anymore. Previous state was: internal failure
- catala-format.0.3.0 on 5.3.0 is not available anymore. Previous state was: internal failure
- catala.0.10.0 on 4.14.2 is not available anymore. Previous state was: partially failing
- catala.0.8.0 on 4.14.2 is not available anymore. Previous state was: passing
- catala.0.8.0 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: internal failure
- chamelon.0.1.2 on 4.14.2 is not available anymore. Previous state was: internal failure
- charrua-client.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- charrua-client.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- charrua-server.2.0.0 on 4.14.2 is not available anymore. Previous state was: partially failing
- charrua-server.2.0.0 on 5.3.0 is not available anymore. Previous state was: internal failure
- charrua-unix.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- charrua-unix.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- charrua.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- charrua.2.0.0 on 5.3.0 is not available anymore. Previous state was: internal failure
- chrome-trace.3.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- chrome-trace.3.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- climate.0.6.0 on 4.14.2 is not available anymore. Previous state was: passing
- climate.0.6.0 on 5.3.0 is not available anymore. Previous state was: passing
- cmarkit.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
- cmarkit.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- cmdlang-stdlib-runner.0.0.9 on 4.14.2 is not available anymore. Previous state was: passing
- cmdlang-stdlib-runner.0.0.9 on 5.3.0 is not available anymore. Previous state was: passing
- cmdlang-to-climate.0.0.9 on 4.14.2 is not available anymore. Previous state was: passing
- cmdlang-to-climate.0.0.9 on 5.3.0 is not available anymore. Previous state was: passing
- cmdlang-to-cmdliner.0.0.9 on 4.14.2 is not available anymore. Previous state was: passing
- cmdlang-to-cmdliner.0.0.9 on 5.3.0 is not available anymore. Previous state was: passing
- cmdlang.0.0.9 on 4.14.2 is not available anymore. Previous state was: passing
- cmdlang.0.0.9 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
- codept-lib.0.12.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- codept-lib.0.12.1 on 5.3.0 is not available anymore. Previous state was: passing
- codept.0.12.1 on 4.14.2 is not available anymore. Previous state was: passing
- codept.0.12.1 on 5.3.0 is not available anymore. Previous state was: partially failing
- coin.0.1.4 on 4.14.2 is not available anymore. Previous state was: passing
- coin.0.1.4 on 5.3.0 is not available anymore. Previous state was: internal failure
- colombe.0.12.0 on 4.14.2 is not available anymore. Previous state was: partially failing
- colombe.0.12.0 on 5.3.0 is not available anymore. Previous state was: passing
- conex-mirage-crypto.0.11.1 on 4.14.2 is not available anymore. Previous state was: passing
- conex-mirage-crypto.0.11.1 on 5.3.0 is not available anymore. Previous state was: passing
- conex.0.11.1 on 4.14.2 is not available anymore. Previous state was: passing
- conex.0.11.1 on 5.3.0 is not available anymore. Previous state was: passing
- conf-clang.1 on 4.14.2 is not available anymore. Previous state was: passing
- conf-clang.1 on 5.3.0 is not available anymore. Previous state was: passing
- conf-libclang.15 on 4.14.2 is not available anymore. Previous state was: passing
- conf-libclang.15 on 5.3.0 is not available anymore. Previous state was: passing
- conf-libev.4-12 on 4.14.2 is not available anymore. Previous state was: passing
- conf-libev.4-12 on 5.3.0 is not available anymore. Previous state was: passing
- conf-openblas.0.2.2 on 4.14.2 is not available anymore. Previous state was: internal failure
- conf-openblas.0.2.2 on 5.3.0 is not available anymore. Previous state was: internal failure
- config-file.1.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- coq-core.9.0.0 on 4.14.2 is not available anymore. Previous state was: failing
- coq-core.9.0.0 on 5.3.0 is not available anymore. Previous state was: internal failure
- coq-lsp.0.2.3+9.0 on 4.14.2 is not available anymore. Previous state was: partially failing
- coq-lsp.0.2.3+9.0 on 5.3.0 is not available anymore. Previous state was: internal failure
- coq-waterproof.2.2.0+8.20 on 4.14.2 is not available anymore. Previous state was: passing
- coq-waterproof.2.2.0+8.20 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: internal failure
- 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: partially failing
- crowbar.0.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- crowbar.0.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- crypt.1.3 on 4.14.2 is not available anymore. Previous state was: failing
- crypt.1.3 on 5.3.0 is not available anymore. Previous state was: failing
- cryptoverif.2.11 on 4.14.2 is not available anymore. Previous state was: internal failure
- cryptoverif.2.11 on 5.3.0 is not available anymore. Previous state was: internal failure
- ctypes-foreign.0.23.0 on 4.14.2 is not available anymore. Previous state was: passing
- ctypes-foreign.0.23.0 on 5.3.0 is not available anymore. Previous state was: passing
- ctypes.0.23.0 on 4.14.2 is not available anymore. Previous state was: passing
- ctypes.0.23.0 on 5.3.0 is not available anymore. Previous state was: passing
- cudajit.0.7.1 on 4.14.2 is not available anymore. Previous state was: partially failing
- cudajit.0.7.1 on 5.3.0 is not available anymore. Previous state was: partially failing
- current.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
- current.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
- current_docker.0.7.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- current_docker.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
- current_examples.0.7.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- current_examples.0.7.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- current_git.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
- current_git.0.7.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- current_github.0.7.1 on 4.14.2 is not available anymore. Previous state was: partially failing
- current_github.0.7.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- current_gitlab.0.7.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- current_gitlab.0.7.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- current_rpc.0.7.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- current_rpc.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
- current_slack.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
- current_slack.0.7.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- current_ssh.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
- current_ssh.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
- current_web.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
- current_web.0.7.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- dbase4.0.1.5 on 5.3.0 is not available anymore. Previous state was: internal failure
- 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: internal failure
- 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: partially failing
- 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: internal failure
- 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: internal failure
- diffast-langs-fortran-parsing.0.2 on 5.3.0 is not available anymore. Previous state was: internal failure
- diffast-langs-fortran-spec.0.2 on 4.14.2 is not available anymore. Previous state was: internal failure
- diffast-langs-fortran-spec.0.2 on 5.3.0 is not available anymore. Previous state was: internal failure
- 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: internal failure
- 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
- directories.0.6 on 4.14.2 is not available anymore. Previous state was: passing
- directories.0.6 on 5.3.0 is not available anymore. Previous state was: passing
- dkim-bin.0.8.0 on 4.14.2 is not available anymore. Previous state was: passing
- dkim-bin.0.8.0 on 5.3.0 is not available anymore. Previous state was: internal failure
- dkim-lwt-unix.0.8.0 on 4.14.2 is not available anymore. Previous state was: passing
- dkim-lwt-unix.0.8.0 on 5.3.0 is not available anymore. Previous state was: passing
- dkim-mirage.0.8.0 on 4.14.2 is not available anymore. Previous state was: partially failing
- dkim-mirage.0.8.0 on 5.3.0 is not available anymore. Previous state was: passing
- dkim.0.8.0 on 4.14.2 is not available anymore. Previous state was: passing
- dkim.0.8.0 on 5.3.0 is not available anymore. Previous state was: passing
- dkml-c-probe.3.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- dkml-c-probe.3.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- dns-certify.10.2.0 on 4.14.2 is not available anymore. Previous state was: partially failing
- dns-certify.10.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- dns-cli.10.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- dns-cli.10.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- dns-client-lwt.10.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- dns-client-lwt.10.2.0 on 5.3.0 is not available anymore. Previous state was: partially failing
- dns-client-miou-unix.10.2.0 on 5.3.0 is not available anymore. Previous state was: internal failure
- dns-client-mirage.10.2.0 on 4.14.2 is not available anymore. Previous state was: internal failure
- dns-client-mirage.10.2.0 on 5.3.0 is not available anymore. Previous state was: partially failing
- dns-client.10.2.0 on 4.14.2 is not available anymore. Previous state was: internal failure
- dns-client.10.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- dns-mirage.10.2.0 on 4.14.2 is not available anymore. Previous state was: internal failure
- dns-mirage.10.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- dns-resolver.10.2.0 on 4.14.2 is not available anymore. Previous state was: internal failure
- dns-resolver.10.2.0 on 5.3.0 is not available anymore. Previous state was: internal failure
- dns-server.10.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- dns-server.10.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- dns-stub.10.2.0 on 4.14.2 is not available anymore. Previous state was: internal failure
- dns-stub.10.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- dns-tsig.10.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- dns-tsig.10.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- dns.10.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- dns.10.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- dnssec.10.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- dnssec.10.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- dockerfile-cmd.8.2.9 on 4.14.2 is not available anymore. Previous state was: internal failure
- dockerfile-cmd.8.2.9 on 5.3.0 is not available anymore. Previous state was: partially failing
- dockerfile-opam.8.2.9 on 4.14.2 is not available anymore. Previous state was: passing
- dockerfile-opam.8.2.9 on 5.3.0 is not available anymore. Previous state was: passing
- dockerfile.8.2.9 on 4.14.2 is not available anymore. Previous state was: internal failure
- dockerfile.8.2.9 on 5.3.0 is not available anymore. Previous state was: passing
- doi2bib.0.7.6 on 4.14.2 is not available anymore. Previous state was: passing
- doi2bib.0.7.6 on 5.3.0 is not available anymore. Previous state was: partially failing
- 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: partially failing
- 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
- dream-html.3.11.1 on 4.14.2 is not available anymore. Previous state was: passing
- dream-html.3.11.1 on 5.3.0 is not available anymore. Previous state was: passing
- dream_middleware_ext.0.1.0 on 4.14.2 is not available anymore. Previous state was: internal failure
- dream_middleware_ext.0.1.0 on 5.3.0 is not available anymore. Previous state was: partially failing
- dune-action-plugin.3.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- dune-action-plugin.3.19.1 on 5.3.0 is not available anymore. Previous state was: partially failing
- dune-build-info.3.19.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- dune-build-info.3.19.1 on 5.3.0 is not available anymore. Previous state was: partially failing
- dune-configurator.3.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- dune-configurator.3.19.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- dune-glob.3.19.1 on 4.14.2 is not available anymore. Previous state was: partially failing
- dune-glob.3.19.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- dune-private-libs.3.19.1 on 4.14.2 is not available anymore. Previous state was: partially failing
- dune-private-libs.3.19.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- dune-rpc-lwt.3.19.1 on 4.14.2 is not available anymore. Previous state was: partially failing
- dune-rpc-lwt.3.19.1 on 5.3.0 is not available anymore. Previous state was: partially failing
- dune-rpc.3.19.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- dune-rpc.3.19.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- dune-site.3.19.1 on 4.14.2 is not available anymore. Previous state was: partially failing
- dune-site.3.19.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- dune.3.19.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- dune.3.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- dunolint-lib.0.0.20250310 on 5.3.0 is not available anymore. Previous state was: passing
- dyn.3.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- dyn.3.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- earlybird.1.3.3 on 4.14.2 is not available anymore. Previous state was: partially failing
- earlybird.1.3.3 on 5.3.0 is not available anymore. Previous state was: partially failing
- elpi.3.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- elpi.3.0.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: partially failing
- emoji.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- euler.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- euler.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- fd-send-recv.2.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- fd-send-recv.2.0.2 on 5.3.0 is not available anymore. Previous state was: passing
- ffmpeg-av.1.2.5 on 4.14.2 is not available anymore. Previous state was: internal failure
- ffmpeg-av.1.2.5 on 5.3.0 is not available anymore. Previous state was: internal failure
- ffmpeg-avcodec.1.2.5 on 4.14.2 is not available anymore. Previous state was: passing
- ffmpeg-avcodec.1.2.5 on 5.3.0 is not available anymore. Previous state was: internal failure
- ffmpeg-avdevice.1.2.5 on 4.14.2 is not available anymore. Previous state was: internal failure
- ffmpeg-avdevice.1.2.5 on 5.3.0 is not available anymore. Previous state was: passing
- ffmpeg-avfilter.1.2.5 on 4.14.2 is not available anymore. Previous state was: passing
- ffmpeg-avfilter.1.2.5 on 5.3.0 is not available anymore. Previous state was: passing
- ffmpeg-avutil.1.2.5 on 4.14.2 is not available anymore. Previous state was: internal failure
- ffmpeg-avutil.1.2.5 on 5.3.0 is not available anymore. Previous state was: internal failure
- ffmpeg-swresample.1.2.5 on 4.14.2 is not available anymore. Previous state was: internal failure
- ffmpeg-swresample.1.2.5 on 5.3.0 is not available anymore. Previous state was: internal failure
- ffmpeg-swscale.1.2.5 on 4.14.2 is not available anymore. Previous state was: passing
- ffmpeg-swscale.1.2.5 on 5.3.0 is not available anymore. Previous state was: internal failure
- ffmpeg.1.2.5 on 4.14.2 is not available anymore. Previous state was: internal failure
- ffmpeg.1.2.5 on 5.3.0 is not available anymore. Previous state was: internal failure
- fit.1.2.0 on 4.14.2 is not available anymore. Previous state was: partially failing
- fit.1.2.0 on 5.3.0 is not available anymore. Previous state was: internal failure
- fix.20250428 on 4.14.2 is not available anymore. Previous state was: passing
- fix.20250428 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib.0.5.11 on 4.14.2 is not available anymore. Previous state was: passing
- fmlib.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_browser.0.5.11 on 4.14.2 is not available anymore. Previous state was: internal failure
- fmlib_browser.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_js.0.5.11 on 4.14.2 is not available anymore. Previous state was: partially failing
- fmlib_js.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_parse.0.5.11 on 4.14.2 is not available anymore. Previous state was: passing
- fmlib_parse.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_pretty.0.5.11 on 4.14.2 is not available anymore. Previous state was: passing
- fmlib_pretty.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_std.0.5.11 on 4.14.2 is not available anymore. Previous state was: internal failure
- fmlib_std.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
- fpath-base.0.3.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- fpath-sexp0.0.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- fpath-sexp0.0.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- frama-c-metacsl.0.9~beta on 4.14.2 is not available anymore. Previous state was: internal failure
- frama-c-metacsl.0.9~beta on 5.3.0 is not available anymore. Previous state was: internal failure
- frama-c.31.0 on 4.14.2 is not available anymore. Previous state was: internal failure
- frama-c.31.0 on 5.3.0 is not available anymore. Previous state was: passing
- frama-clang.0.0.18~beta on 4.14.2 is not available anymore. Previous state was: internal failure
- frama-clang.0.0.18~beta on 5.3.0 is not available anymore. Previous state was: internal failure
- fstar.2025.06.20 on 4.14.2 is not available anymore. Previous state was: partially failing
- fstar.2025.06.20 on 5.3.0 is not available anymore. Previous state was: passing
- gappa.1.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- gappa.1.4.1 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
- gendarme-json.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
- gendarme-json.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- gendarme-toml.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
- gendarme-toml.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- gendarme-yaml.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
- gendarme-yaml.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- gendarme.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
- gendarme.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- giflib.1.0.2 on 5.3.0 is not available anymore. Previous state was: passing
- github-data.4.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- github-data.4.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- github-jsoo.4.4.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- github-jsoo.4.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- github-unix.4.4.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- github-unix.4.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- github.4.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- github.4.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- goblint-cil.2.0.6 on 4.14.2 is not available anymore. Previous state was: passing
- goblint-cil.2.0.6 on 5.3.0 is not available anymore. Previous state was: internal failure
- h1-lwt-unix.1.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- h1-lwt-unix.1.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- h1.1.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- h1.1.0.0 on 5.3.0 is not available anymore. Previous state was: internal failure
- hol2dk.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- hol2dk.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- html_of_jsx.0.0.4 on 4.14.2 is not available anymore. Previous state was: passing
- html_of_jsx.0.0.4 on 5.3.0 is not available anymore. Previous state was: passing
- hts_shrink.2.1.2 on 4.14.2 is not available anymore. Previous state was: passing
- hts_shrink.2.1.2 on 5.3.0 is not available anymore. Previous state was: passing
- httpcats.0.0.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- hugin.1.0.0~alpha0 on 5.3.0 is not available anymore. Previous state was: internal failure
- hvsock.3.0.0 on 4.14.2 is not available anymore. Previous state was: partially failing
- hxd.0.3.4 on 4.14.2 is not available anymore. Previous state was: partially failing
- hxd.0.3.4 on 5.3.0 is not available anymore. Previous state was: failing
- 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
- iomux.0.3 on 4.14.2 is not available anymore. Previous state was: internal failure
- iomux.0.3 on 5.3.0 is not available anymore. Previous state was: internal failure
- ip2location.8.1.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- ip2location.8.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- jasmin.2025.06.0 on 4.14.2 is not available anymore. Previous state was: partially failing
- jasmin.2025.06.0 on 5.3.0 is not available anymore. Previous state was: failing
- js_of_ocaml-compiler.6.1.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- js_of_ocaml-compiler.6.1.1 on 5.3.0 is not available anymore. Previous state was: failing
- js_of_ocaml-lwt.6.1.1 on 4.14.2 is not available anymore. Previous state was: partially failing
- js_of_ocaml-lwt.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- js_of_ocaml-ppx.6.1.1 on 4.14.2 is not available anymore. Previous state was: partially failing
- js_of_ocaml-ppx.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- js_of_ocaml-ppx_deriving_json.6.1.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- js_of_ocaml-ppx_deriving_json.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- js_of_ocaml-toplevel.6.1.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- js_of_ocaml-toplevel.6.1.1 on 5.3.0 is not available anymore. Previous state was: partially failing
- js_of_ocaml-tyxml.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- js_of_ocaml-tyxml.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- js_of_ocaml.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- js_of_ocaml.6.1.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- 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: partially failing
- lablgtk3.3.1.5 on 4.14.2 is not available anymore. Previous state was: internal failure
- lablgtk3.3.1.5 on 5.3.0 is not available anymore. Previous state was: internal failure
- ldap.2.5.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- libbinaryen.121.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- libbinaryen.121.0.0 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
- liquid_interpreter.0.1.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- liquid_ml.0.1.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- liquid_parser.0.1.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- liquid_std.0.1.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- liquid_syntax.0.1.2 on 4.14.2 is not available anymore. Previous state was: partially failing
- liquidsoap-js.2.3.3 on 4.14.2 is not available anymore. Previous state was: passing
- liquidsoap-js.2.3.3 on 5.3.0 is not available anymore. Previous state was: passing
- liquidsoap-lang.2.3.3 on 4.14.2 is not available anymore. Previous state was: passing
- liquidsoap-lang.2.3.3 on 5.3.0 is not available anymore. Previous state was: passing
- liquidsoap-mode.2.3.3 on 4.14.2 is not available anymore. Previous state was: passing
- liquidsoap-mode.2.3.3 on 5.3.0 is not available anymore. Previous state was: passing
- liquidsoap.2.3.3 on 4.14.2 is not available anymore. Previous state was: passing
- liquidsoap.2.3.3 on 5.3.0 is not available anymore. Previous state was: passing
- logs.0.9.0 on 4.14.2 is not available anymore. Previous state was: passing
- logs.0.9.0 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
- lun.0.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- lun.0.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- lwt_ppx.5.9.1 on 4.14.2 is not available anymore. Previous state was: passing
- lwt_ppx.5.9.1 on 5.3.0 is not available anymore. Previous state was: passing
- mazeppa.0.5.2 on 4.14.2 is not available anymore. Previous state was: internal failure
- mazeppa.0.5.2 on 5.3.0 is not available anymore. Previous state was: internal failure
- mdx.2.5.0 on 4.14.2 is not available anymore. Previous state was: internal failure
- mdx.2.5.0 on 5.3.0 is not available anymore. Previous state was: passing
- melange-fest.0.1.0 on 5.3.0 had its build status changed: passing to not available
- melange-fetch.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- melange-fetch.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
- melange-jest.0.1.1 on 5.3.0 had its build status changed: partially failing to not available
- melange-moment.0.4.0 on 5.3.0 had its build status changed: passing to not available
- memprof-limits.0.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- menhir.20240715 on 4.14.2 is not available anymore. Previous state was: failing
- menhir.20240715 on 5.3.0 is not available anymore. Previous state was: passing
- menhirCST.20240715 on 4.14.2 is not available anymore. Previous state was: passing
- menhirCST.20240715 on 5.3.0 is not available anymore. Previous state was: passing
- menhirLib.20240715 on 4.14.2 is not available anymore. Previous state was: passing
- menhirLib.20240715 on 5.3.0 is not available anymore. Previous state was: passing
- menhirSdk.20240715 on 4.14.2 is not available anymore. Previous state was: passing
- menhirSdk.20240715 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: partially failing
- merlin.5.5-503 on 5.3.0 is not available anymore. Previous state was: internal failure
- miou.0.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- mirage-crypto-ec.2.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- mirage-crypto-ec.2.0.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- mirage-crypto-pk.2.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- mirage-crypto-pk.2.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- mirage-crypto-rng-miou-unix.2.0.1 on 5.3.0 is not available anymore. Previous state was: partially failing
- mirage-crypto-rng-mirage.2.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- mirage-crypto-rng-mirage.2.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- mirage-crypto-rng.2.0.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- mirage-crypto-rng.2.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- mirage-crypto.2.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- mirage-crypto.2.0.1 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: partially failing
- mirage-monitoring.0.0.7 on 4.14.2 is not available anymore. Previous state was: internal failure
- mirage-mtime.5.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- mirage-mtime.5.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- mirage-net-xen.2.1.5 on 4.14.2 is not available anymore. Previous state was: passing
- mirage-net-xen.2.1.5 on 5.3.0 is not available anymore. Previous state was: internal failure
- mirage-ptime.5.0.0 on 4.14.2 is not available anymore. Previous state was: internal failure
- mirage-ptime.5.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- mirage-runtime.4.9.0 on 4.14.2 is not available anymore. Previous state was: passing
- mirage-runtime.4.9.0 on 5.3.0 is not available anymore. Previous state was: passing
- mirage-sleep.4.0.0 on 4.14.2 is not available anymore. Previous state was: partially failing
- mirage-sleep.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- mirage.4.9.0 on 4.14.2 is not available anymore. Previous state was: partially failing
- mirage.4.9.0 on 5.3.0 is not available anymore. Previous state was: passing
- monolith.20250314 on 4.14.2 is not available anymore. Previous state was: passing
- monolith.20250314 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
- mrmime.0.7.0 on 4.14.2 is not available anymore. Previous state was: passing
- mrmime.0.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- multipart_form-cohttp-lwt.0.6.0 on 4.14.2 is not available anymore. Previous state was: internal failure
- multipart_form-cohttp-lwt.0.6.0 on 5.3.0 is not available anymore. Previous state was: passing
- multipart_form-eio.0.6.0 on 5.3.0 is not available anymore. Previous state was: internal failure
- multipart_form-lwt.0.6.0 on 4.14.2 is not available anymore. Previous state was: passing
- multipart_form-lwt.0.6.0 on 5.3.0 is not available anymore. Previous state was: passing
- multipart_form.0.6.0 on 4.14.2 is not available anymore. Previous state was: passing
- multipart_form.0.6.0 on 5.3.0 is not available anymore. Previous state was: passing
- neural_nets_lib.0.5.2 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: internal failure
- ocaml-lsp-server.1.23.0 on 5.3.0 is not available anymore. Previous state was: internal failure
- ocaml-protoc-plugin.6.1.0 on 4.14.2 is not available anymore. Previous state was: partially failing
- ocaml-protoc-plugin.6.1.0 on 5.3.0 is not available anymore. Previous state was: passing
- ocaml-protoc.3.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- ocaml-protoc.3.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- ocaml-sat-solvers.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
- ocaml-solo5.1.1.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
- ocamlc-loc.3.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- ocamlc-loc.3.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- ocamlformat-lib.0.27.0 on 4.14.2 is not available anymore. Previous state was: partially failing
- ocamlformat-lib.0.27.0 on 5.3.0 is not available anymore. Previous state was: internal failure
- ocamlformat-rpc-lib.0.27.0 on 4.14.2 is not available anymore. Previous state was: passing
- ocamlformat-rpc-lib.0.27.0 on 5.3.0 is not available anymore. Previous state was: passing
- ocamlformat.0.27.0 on 4.14.2 is not available anymore. Previous state was: internal failure
- ocamlformat.0.27.0 on 5.3.0 is not available anymore. Previous state was: partially failing
- ocamlmod.0.0.9 on 4.14.2 is not available anymore. Previous state was: passing
- ocf.0.9.0 on 4.14.2 is not available anymore. Previous state was: passing
- ocf.0.9.0 on 5.3.0 is not available anymore. Previous state was: passing
- ocf_ppx.0.9.0 on 4.14.2 is not available anymore. Previous state was: passing
- ocf_ppx.0.9.0 on 5.3.0 is not available anymore. Previous state was: internal failure
- 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: passing
- opam-client.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-client.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- opam-compiler.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- opam-compiler.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- opam-core.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-core.2.4.1 on 5.3.0 is not available anymore. Previous state was: partially failing
- opam-devel.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-devel.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- opam-format.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-format.2.4.1 on 5.3.0 is not available anymore. Previous state was: internal failure
- opam-installer.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-installer.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- opam-publish.2.5.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- opam-publish.2.5.1 on 5.3.0 is not available anymore. Previous state was: passing
- opam-repository.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-repository.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- opam-solver.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-solver.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- opam-state.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-state.2.4.1 on 5.3.0 is not available anymore. Previous state was: partially failing
- opentelemetry-client-cohttp-lwt.0.11.2 on 4.14.2 is not available anymore. Previous state was: passing
- opentelemetry-client-cohttp-lwt.0.11.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- opentelemetry-client-ocurl.0.11.2 on 4.14.2 is not available anymore. Previous state was: passing
- opentelemetry-client-ocurl.0.11.2 on 5.3.0 is not available anymore. Previous state was: passing
- opentelemetry-cohttp-lwt.0.11.2 on 4.14.2 is not available anymore. Previous state was: passing
- opentelemetry-cohttp-lwt.0.11.2 on 5.3.0 is not available anymore. Previous state was: passing
- opentelemetry-lwt.0.11.2 on 4.14.2 is not available anymore. Previous state was: internal failure
- opentelemetry-lwt.0.11.2 on 5.3.0 is not available anymore. Previous state was: passing
- opentelemetry.0.11.2 on 4.14.2 is not available anymore. Previous state was: passing
- opentelemetry.0.11.2 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: internal failure
- oranger.2.0.4 on 4.14.2 is not available anymore. Previous state was: failing
- oranger.2.0.4 on 5.3.0 is not available anymore. Previous state was: internal failure
- ordering.3.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- ordering.3.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- ortac-core.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
- ortac-core.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
- ortac-dune.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
- ortac-dune.0.7.1 on 5.3.0 is not available anymore. Previous state was: partially failing
- ortac-qcheck-stm.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
- ortac-qcheck-stm.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
- ortac-runtime-qcheck-stm.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
- ortac-runtime-qcheck-stm.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
- ortac-runtime.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
- ortac-runtime.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
- ortac-wrapper.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
- ortac-wrapper.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
- p5scm.0.4.0 on 4.14.2 is not available anymore. Previous state was: internal failure
- pageantty.0.0.2 on 4.14.2 is not available anymore. Previous state was: passing
- pageantty.0.0.2 on 5.3.0 is not available anymore. Previous state was: passing
- pancake.2.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- patch.3.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- patch.3.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- pbrt.3.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- pbrt.3.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- pbrt_services.3.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- pbrt_services.3.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- pbrt_yojson.3.1.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- pbrt_yojson.3.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- pcre2.8.0.3 on 4.14.2 is not available anymore. Previous state was: passing
- pcre2.8.0.3 on 5.3.0 is not available anymore. Previous state was: passing
- pgsolver.4.3 on 4.14.2 is not available anymore. Previous state was: passing
- portmidi.0.1 on 4.14.2 is not available anymore. Previous state was: failing
- pplumbing.0.0.14 on 4.14.2 is not available anymore. Previous state was: passing
- pplumbing.0.0.14 on 5.3.0 is not available anymore. Previous state was: passing
- ppx_deriving_encoding.0.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- ppx_deriving_encoding.0.4.1 on 5.3.0 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: internal failure
- ppx_expect_nobase.v0.17.2.2 on 4.14.2 is not available anymore. Previous state was: passing
- ppx_expect_nobase.v0.17.2.2 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_interact.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- ppx_interact.0.1.1 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_jsobject_conv.0.10.0 on 4.14.2 is not available anymore. Previous state was: partially failing
- ppx_jsobject_conv.0.10.0 on 5.3.0 is not available anymore. Previous state was: passing
- ppx_lun.0.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- ppx_lun.0.0.1 on 5.3.0 is not available anymore. Previous state was: partially failing
- ppx_marshal.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
- ppx_marshal.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- ppx_marshal_ext.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
- ppx_marshal_ext.0.3.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_protocol_conv.5.2.2 on 4.14.2 is not available anymore. Previous state was: passing
- ppx_protocol_conv.5.2.2 on 5.3.0 is not available anymore. Previous state was: internal failure
- ppx_protocol_conv_jsonm.5.2.2 on 4.14.2 is not available anymore. Previous state was: passing
- ppx_protocol_conv_jsonm.5.2.2 on 5.3.0 is not available anymore. Previous state was: internal failure
- ppx_protocol_conv_msgpack.5.2.2 on 4.14.2 is not available anymore. Previous state was: passing
- ppx_protocol_conv_msgpack.5.2.2 on 5.3.0 is not available anymore. Previous state was: internal failure
- ppx_protocol_conv_xml_light.5.2.2 on 4.14.2 is not available anymore. Previous state was: passing
- ppx_protocol_conv_xml_light.5.2.2 on 5.3.0 is not available anymore. Previous state was: internal failure
- ppx_protocol_conv_xmlm.5.2.2 on 4.14.2 is not available anymore. Previous state was: passing
- ppx_protocol_conv_xmlm.5.2.2 on 5.3.0 is not available anymore. Previous state was: passing
- ppx_protocol_conv_yaml.5.2.2 on 4.14.2 is not available anymore. Previous state was: internal failure
- ppx_protocol_conv_yaml.5.2.2 on 5.3.0 is not available anymore. Previous state was: partially failing
- 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
- prettym.0.0.3 on 4.14.2 is not available anymore. Previous state was: passing
- prettym.0.0.3 on 5.3.0 is not available anymore. Previous state was: passing
- progress.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
- progress.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
- protocol-9p-tool.2.0.2 on 4.14.2 is not available anymore. Previous state was: passing
- protocol-9p-unix.2.0.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- protocol-9p-unix.2.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- protocol-9p-unix.2.0.2 on 4.14.2 is not available anymore. Previous state was: passing
- protocol-9p.2.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- protocol-9p.2.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- protocol-9p.2.0.2 on 4.14.2 is not available anymore. Previous state was: internal failure
- pure-html.3.11.1 on 4.14.2 is not available anymore. Previous state was: passing
- pure-html.3.11.1 on 5.3.0 is not available anymore. Previous state was: passing
- pyml.20231101 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck-alcotest.0.26 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck-alcotest.0.26 on 5.3.0 is not available anymore. Previous state was: passing
- qcheck-core.0.26 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck-core.0.26 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-ounit.0.26 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck-ounit.0.26 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
- qcheck.0.26 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck.0.26 on 5.3.0 is not available anymore. Previous state was: passing
- qcow-stream.0.12.1 on 4.14.2 is not available anymore. Previous state was: passing
- qcow-stream.0.12.1 on 5.3.0 is not available anymore. Previous state was: passing
- qcow-tool.0.12.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- qcow-types.0.12.1 on 4.14.2 is not available anymore. Previous state was: passing
- qcow-types.0.12.1 on 5.3.0 is not available anymore. Previous state was: partially failing
- qcow.0.12.1 on 4.14.2 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
- re.1.13.2 on 4.14.2 is not available anymore. Previous state was: passing
- re.1.13.2 on 5.3.0 is not available anymore. Previous state was: passing
- reason-react-ppx.0.15.0 on 4.14.2 is not available anymore. Previous state was: passing
- reason-react-ppx.0.15.0 on 5.3.0 is not available anymore. Previous state was: passing
- reason-react.0.15.0 on 4.14.2 is not available anymore. Previous state was: passing
- reason-react.0.15.0 on 5.3.0 is not available anymore. Previous state was: passing
- reason.3.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- reason.3.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- received.0.11.0 on 4.14.2 is not available anymore. Previous state was: passing
- received.0.11.0 on 5.3.0 is not available anymore. Previous state was: passing
- rfsm.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- 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
- rosetta.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
- rosetta.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- rpmfile.0.5.0 on 4.14.2 is not available anymore. Previous state was: passing
- rpmfile.0.5.0 on 5.3.0 is not available anymore. Previous state was: passing
- rtop.3.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- rtop.3.16.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: passing
- 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: passing
- 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: passing
- sail_c_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- sail_coq_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- sail_coq_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- sail_doc_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- 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: passing
- sail_latex_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- sail_lean_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- sail_lean_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- sail_lem_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- sail_lem_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- 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: partially failing
- sail_output.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- 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: passing
- salto-analyzer.0.1 on 4.14.2 is not available anymore. Previous state was: internal failure
- saltoIL.0.1.11 on 4.14.2 is not available anymore. Previous state was: passing
- 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
- sendmail-lwt.0.12.0 on 4.14.2 is not available anymore. Previous state was: passing
- sendmail-lwt.0.12.0 on 5.3.0 is not available anymore. Previous state was: passing
- sendmail-miou-unix.0.12.0 on 5.3.0 is not available anymore. Previous state was: passing
- sendmail-mirage.0.12.0 on 4.14.2 is not available anymore. Previous state was: passing
- sendmail-mirage.0.12.0 on 5.3.0 is not available anymore. Previous state was: passing
- sendmail.0.12.0 on 4.14.2 is not available anymore. Previous state was: passing
- sendmail.0.12.0 on 5.3.0 is not available anymore. Previous state was: passing
- slice.0.0.2 on 4.14.2 is not available anymore. Previous state was: passing
- slice.0.0.2 on 5.3.0 is not available anymore. Previous state was: passing
- slipshow.0.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- slipshow.0.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- smtml.0.8.0 on 4.14.2 is not available anymore. Previous state was: internal failure
- smtml.0.8.0 on 5.3.0 is not available anymore. Previous state was: internal failure
- snf_mcp.0.2.0 on 5.3.0 is not available anymore. Previous state was: partially failing
- solo5.0.9.2 on 4.14.2 is not available anymore. Previous state was: internal failure
- solo5.0.9.2 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
- stdcompat.20.1 on 4.14.2 is not available anymore. Previous state was: passing
- stdune.3.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- stdune.3.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- terminal.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
- terminal.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
- testo-diff.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- testo-diff.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
- testo-lwt.0.1.0 on 4.14.2 is not available anymore. Previous state was: partially failing
- testo-lwt.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
- testo-util.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- testo-util.0.1.0 on 5.3.0 is not available anymore. Previous state was: internal failure
- testo.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- testo.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
- tezt.4.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- tezt.4.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- tls-eio.2.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- tls-lwt.2.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- tls-lwt.2.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- tls-miou-unix.2.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- tls-mirage.2.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- tls-mirage.2.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- tls.2.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- tls.2.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- topkg-care.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- topkg-care.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
- topkg.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- topkg.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
- tsdl.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- tsdl.1.1.0 on 5.3.0 is not available anymore. Previous state was: internal failure
- unikraft-musl.0.18.0 on 4.14.2 is not available anymore. Previous state was: passing
- unikraft-musl.0.18.0 on 5.3.0 is not available anymore. Previous state was: passing
- unionFind.20220122 on 4.14.2 is not available anymore. Previous state was: passing
- unionFind.20220122 on 5.3.0 is not available anymore. Previous state was: passing
- unison-gui.2.53.7 on 4.14.2 is not available anymore. Previous state was: passing
- unison-gui.2.53.7 on 5.3.0 is not available anymore. Previous state was: passing
- unison.2.53.7 on 4.14.2 is not available anymore. Previous state was: passing
- unison.2.53.7 on 5.3.0 is not available anymore. Previous state was: passing
- uspf-lwt.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- uspf-lwt.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
- uspf-mirage.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- uspf-mirage.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
- uspf.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- uspf.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
- uucd.16.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- uucd.16.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- uucp.16.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- uucp.16.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- uunf.16.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- uunf.16.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- uuseg.16.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- uuseg.16.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- uuuu.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
- uuuu.0.3.0 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
- volgo-base.0.0.18 on 5.3.0 is not available anymore. Previous state was: passing
- volgo-git-backend.0.0.18 on 4.14.2 is not available anymore. Previous state was: passing
- volgo-git-backend.0.0.18 on 5.3.0 is not available anymore. Previous state was: passing
- volgo-git-eio.0.0.18 on 5.3.0 is not available anymore. Previous state was: partially failing
- volgo-hg-backend.0.0.18 on 4.14.2 is not available anymore. Previous state was: passing
- volgo-hg-backend.0.0.18 on 5.3.0 is not available anymore. Previous state was: passing
- volgo-hg-eio.0.0.18 on 5.3.0 is not available anymore. Previous state was: passing
- volgo.0.0.18 on 4.14.2 is not available anymore. Previous state was: passing
- volgo.0.0.18 on 5.3.0 is not available anymore. Previous state was: passing
- vscoq-language-server.2.2.6 on 4.14.2 is not available anymore. Previous state was: partially failing
- vscoq-language-server.2.2.6 on 5.3.0 is not available anymore. Previous state was: passing
- wasm_of_ocaml-compiler.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- wasm_of_ocaml-compiler.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- why3-coq.1.8.1 on 4.14.2 is not available anymore. Previous state was: passing
- why3-coq.1.8.1 on 5.3.0 is not available anymore. Previous state was: passing
- why3-ide.1.8.1 on 4.14.2 is not available anymore. Previous state was: passing
- why3-ide.1.8.1 on 5.3.0 is not available anymore. Previous state was: passing
- why3.1.8.1 on 4.14.2 is not available anymore. Previous state was: passing
- why3.1.8.1 on 5.3.0 is not available anymore. Previous state was: passing
- why3find.1.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- why3find.1.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- xdg.3.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- xdg.3.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- xedbindings.0.9 on 4.14.2 is not available anymore. Previous state was: passing
- xedbindings.0.9 on 5.3.0 is not available anymore. Previous state was: passing
- xenstore_transport.1.3.0 on 4.14.2 is not available anymore. Previous state was: passing
- xenstore_transport.1.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- xtmpl.1.1.0 on 4.14.2 is not available anymore. Previous state was: internal failure
- xtmpl.1.1.0 on 5.3.0 is not available anymore. Previous state was: internal failure
- xtmpl_js.1.1.0 on 4.14.2 is not available anymore. Previous state was: internal failure
- xtmpl_js.1.1.0 on 5.3.0 is not available anymore. Previous state was: internal failure
- xtmpl_ppx.1.1.0 on 4.14.2 is not available anymore. Previous state was: internal failure
- xtmpl_ppx.1.1.0 on 5.3.0 is not available anymore. Previous state was: internal failure
- yocaml.2.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_cmarkit.2.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_eio.2.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_git.2.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_jingoo.2.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_mustache.2.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_omd.2.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_otoml.2.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_runtime.2.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_syndication.2.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_unix.2.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_yaml.2.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- zanuda.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
Packages now failing with an internal failure:
Packages now passing:
- ISO3166.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- MlFront_Cache.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Cache.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_Cli.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Cli.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_Codept.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Codept.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_Config.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Config.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_Core.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Core.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_Errors.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Errors.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_Exec.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Exec.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_Logs.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Logs.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_Manip.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Manip.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_Signify.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Signify.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_Thunk.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Thunk.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_Tools.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Tools.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_ZipFile.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_ZipFile.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- OCADml.0.6.0 on 5.3.0 had its build status changed: internal failure to passing
- OSCADml.0.2.3 on 4.14.2 had its build status changed: internal failure to passing
- OSCADml.0.2.3 on 5.3.0 had its build status changed: internal failure to passing
- SZXX.3.0.4 on 4.14.2 had its build status changed: internal failure to passing
- SZXX.4.2.0 on 5.3.0 had its build status changed: partially failing to passing
- abella.2.0.8 on 4.14.2 had its build status changed: internal failure to passing
- abstract_algebra.v0.16.0 on 4.14.2 had its build status changed: internal failure to passing
- accessor_async.v0.16.0 on 4.14.2 had its build status changed: internal failure to passing
- acgtk.2.1.0 on 4.14.2 had its build status changed: internal failure to passing
- acgtk.2.1.0 on 5.3.0 had its build status changed: internal failure to passing
- acgtk.2.2.0 on 5.3.0 is now installable. Current state is: passing
- acp4.1.0.1 on 4.14.2 had its build status changed: partially failing to passing
- acp4.1.1.0 on 5.3.0 is now installable. Current state is: passing
- acpc.1.2.3 on 4.14.2 had its build status changed: internal failure to passing
- acpc.2.0.0 on 5.3.0 had its build status changed: internal failure to passing
- activitypub.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- activitypub.0.1.0 on 5.3.0 had its build status changed: partially failing to passing
- activitypub_client.0.1.0 on 5.3.0 had its build status changed: partially failing to 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
- albatross.2.6.1 on 4.14.2 is now installable. Current state is: passing
- albatross.2.6.1 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
- alice.0.1.1 on 5.3.0 is now installable. Current state is: passing
- alt-ergo-lib.2.6.2 on 4.14.2 had its build status changed: internal failure to passing
- alt-ergo-parsers.2.6.2 on 4.14.2 had its build status changed: partially failing to passing
- alt-ergo-parsers.2.6.2 on 5.3.0 had its build status changed: partially failing to passing
- alt-ergo-plugin-ab-why3.2.6.2 on 5.3.0 had its build status changed: internal failure to passing
- alt-ergo.2.6.2 on 5.3.0 had its build status changed: partially failing to passing
- altgr-ergo.2.4.3 on 4.14.2 had its build status changed: internal failure to passing
- altgr-ergo.2.4.3 on 5.3.0 had its build status changed: internal failure to passing
- ambient-context-eio.0.1.0 on 5.3.0 had its build status changed: internal failure to passing
- ambient-context-lwt.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- amqp-client.2.3.0 on 5.3.0 had its build status changed: internal failure to passing
- anders.1.1.1 on 4.14.2 had its build status changed: internal failure to passing
- anders.1.1.1 on 5.3.0 had its build status changed: internal failure to passing
- angstrom-lwt-unix.0.16.1 on 4.14.2 had its build status changed: internal failure to passing
- angstrom-unix.0.16.1 on 4.14.2 had its build status changed: internal failure to passing
- ansi-parse.0.4.0 on 5.3.0 had its build status changed: internal failure to passing
- ansi.0.7.0 on 5.3.0 had its build status changed: internal failure to passing
- ansifmt.0.3.0 on 5.3.0 had its build status changed: internal failure to passing
- ansifmt.2.0.0 on 5.3.0 is now installable. Current state is: passing
- anthropic.0.1.0 on 5.3.0 had its build status changed: partially failing to passing
- anycache-lwt.0.7.4 on 4.14.2 had its build status changed: internal failure to passing
- ao.0.2.4 on 4.14.2 had its build status changed: internal failure to passing
- ao.0.2.4 on 5.3.0 had its build status changed: internal failure to passing
- apron.v0.9.15 on 5.3.0 had its build status changed: internal failure to passing
- archi.0.2.0 on 4.14.2 had its build status changed: internal failure to passing
- arg-complete.0.2.1 on 4.14.2 had its build status changed: internal failure to passing
- argsh.0.1.0 on 4.14.2 had its build status changed: internal failure to 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
- atdpy.2.16.0 on 4.14.2 had its build status changed: partially failing to passing
- atds.2.16.0 on 4.14.2 had its build status changed: partially failing to passing
- atds.2.16.0 on 5.3.0 had its build status changed: partially failing to passing
- avro-simple.0.1 on 5.3.0 is now installable. Current state is: passing
- aws-ec2.1.2 on 4.14.2 had its build status changed: partially failing to passing
- azure-cosmos-db.0.3.2 on 4.14.2 is now installable. Current state is: passing
- azure-cosmos-db.0.3.2 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
- bap-beagle.2.5.0 on 4.14.2 had its build status changed: partially failing to passing
- bap-byteweight.2.5.0 on 4.14.2 had its build status changed: partially failing to passing
- base64.3.5.2 on 4.14.2 is now installable. Current state is: passing
- base64.3.5.2 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
- beluga.1.1.3 on 4.14.2 is now installable. Current state is: passing
- beluga.1.1.3 on 5.3.0 is now installable. Current state is: passing
- bibfmt.0.7.9 on 4.14.2 is now installable. Current state is: passing
- bibfmt.0.7.9 on 5.3.0 is now installable. Current state is: passing
- bin.0.0.3 on 4.14.2 is now installable. Current state is: passing
- bin.0.0.3 on 5.3.0 is now installable. Current state is: passing
- binaryen.0.34.0 on 4.14.2 is now installable. Current state is: passing
- binaryen.0.34.0 on 5.3.0 is now installable. Current state is: passing
- bitv.2.1 on 4.14.2 is now installable. Current state is: passing
- bitv.2.1 on 5.3.0 is now installable. Current state is: passing
- bitvec.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bjack.0.1.6 on 4.14.2 had its build status changed: internal failure to passing
- bjack.0.1.6 on 5.3.0 had its build status changed: internal failure to passing
- bls12-381-js-gen.0.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bls12-381-js-gen.0.5.0 on 5.3.0 had its build status changed: internal failure to passing
- bls12-381-js.0.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bls12-381-js.0.5.0 on 5.3.0 had its build status changed: internal failure to passing
- bls12-381-legacy.0.4.4 on 4.14.2 had its build status changed: internal failure to passing
- bls12-381-signature.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
- bogue.20250815 on 4.14.2 is now installable. Current state is: passing
- bogue.20250815 on 5.3.0 is now installable. Current state is: passing
- bst.7.1.0 on 4.14.2 had its build status changed: internal failure to passing
- bstr.0.0.3 on 4.14.2 is now installable. Current state is: passing
- bstr.0.0.3 on 5.3.0 is now installable. Current state is: passing
- bytesrw.0.3.0 on 4.14.2 is now installable. Current state is: passing
- bytesrw.0.3.0 on 5.3.0 is now installable. Current state is: passing
- ca-certs-nss.3.118 on 4.14.2 is now installable. Current state is: passing
- ca-certs-nss.3.118 on 5.3.0 is now installable. Current state is: passing
- ca-certs.1.0.1 on 4.14.2 had its build status changed: internal failure to passing
- ca-certs.1.0.1 on 5.3.0 had its build status changed: partially failing to passing
- cachet-lwt.0.0.2 on 4.14.2 had its build status changed: internal failure to passing
- cachet-solo5.0.0.2 on 5.3.0 had its build status changed: partially failing to passing
- cactus.1.0.0 on 4.14.2 had its build status changed: partially failing to passing
- cactus.1.0.0 on 5.3.0 had its build status changed: partially failing to passing
- cairn.2.0 on 5.3.0 had its build status changed: internal failure to passing
- cairo2-gtk.0.6.5 on 4.14.2 had its build status changed: internal failure to passing
- cairo2-gtk.0.6.5 on 5.3.0 had its build status changed: internal failure to passing
- cairo2-pango.0.6.5 on 4.14.2 had its build status changed: internal failure to passing
- cairo2-pango.0.6.5 on 5.3.0 had its build status changed: internal failure to passing
- cairo2.0.6.5 on 5.3.0 had its build status changed: internal failure to passing
- caisar-ir.0.2 on 5.3.0 had its build status changed: internal failure to passing
- caisar.4.0 on 4.14.2 had its build status changed: partially failing to passing
- calculon-redis.0.6 on 4.14.2 had its build status changed: internal failure to passing
- calendar.3.0.0 on 4.14.2 had its build status changed: internal failure to passing
- calli.0.2 on 5.3.0 had its build status changed: internal failure to passing
- camelsnakekebab.0.4 on 5.3.0 had its build status changed: partially failing to passing
- camlkit-gui.0.3.0 on 4.14.2 had its build status changed: internal failure to passing
- camlkit-gui.0.3.0 on 5.3.0 had its build status changed: internal failure to passing
- camlkit.0.3.0 on 5.3.0 had its build status changed: internal failure to passing
- camlp5-buildscripts.0.06 on 5.3.0 had its build status changed: partially failing to passing
- camlrack.0.10.1 on 5.3.0 had its build status changed: internal failure to passing
- camomile.2.0.0 on 4.14.2 had its build status changed: internal failure to passing
- camomile.2.0.0 on 5.3.0 had its build status changed: internal failure to passing
- canary.0.0.1 on 5.3.0 had its build status changed: partially failing to passing
- caper.0.9 on 4.14.2 had its build status changed: internal failure to passing
- capitalization.v0.17.0 on 5.3.0 had its build status changed: internal failure to passing
- capnp-rpc-net.1.2.4 on 4.14.2 had its build status changed: internal failure to passing
- capnp-rpc-unix.1.2.4 on 4.14.2 had its build status changed: internal failure to passing
- capnp-rpc-unix.2.1 on 5.3.0 had its build status changed: internal failure to passing
- capnp-rpc.2.1 on 5.3.0 had its build status changed: internal failure to passing
- caqti-driver-mariadb.2.2.4 on 4.14.2 had its build status changed: internal failure to passing
- caqti-driver-mariadb.2.2.4 on 5.3.0 had its build status changed: internal failure to passing
- caqti-driver-pgx.2.2.4 on 4.14.2 had its build status changed: internal failure to passing
- caqti-driver-pgx.2.2.4 on 5.3.0 had its build status changed: internal failure to passing
- caqti-driver-postgresql.2.2.4 on 4.14.2 had its build status changed: internal failure to passing
- caqti-driver-postgresql.2.2.4 on 5.3.0 had its build status changed: internal failure to passing
- caqti-driver-sqlite3.2.2.4 on 4.14.2 had its build status changed: internal failure to passing
- caqti-driver-sqlite3.2.2.4 on 5.3.0 had its build status changed: internal failure to passing
- caqti-dynload.2.0.1 on 4.14.2 had its build status changed: internal failure to passing
- caqti-dynload.2.0.1 on 5.3.0 had its build status changed: internal failure to passing
- caqti-eio.2.2.4 on 5.3.0 had its build status changed: internal failure to passing
- caqti-lwt.2.2.4 on 4.14.2 had its build status changed: partially failing to passing
- caqti-lwt.2.2.4 on 5.3.0 had its build status changed: internal failure to passing
- caqti-miou.2.2.4 on 5.3.0 had its build status changed: internal failure to passing
- caqti-mirage.2.2.4 on 4.14.2 had its build status changed: partially failing to passing
- caqti-mirage.2.2.4 on 5.3.0 had its build status changed: internal failure to passing
- caqti-tls.2.1.2 on 4.14.2 had its build status changed: internal failure to passing
- caqti-tls.2.1.2 on 5.3.0 had its build status changed: internal failure to passing
- caqti-type-calendar.2.0.1 on 4.14.2 had its build status changed: internal failure to passing
- caqti-type-calendar.2.0.1 on 5.3.0 had its build status changed: partially failing to passing
- caqti.2.2.4 on 4.14.2 had its build status changed: internal failure to passing
- caqti.2.2.4 on 5.3.0 had its build status changed: partially failing to passing
- carray.0.0.2 on 4.14.2 had its build status changed: internal failure to passing
- carton-git.0.7.2 on 5.3.0 had its build status changed: internal failure to passing
- carton-lwt.1.1.0 on 4.14.2 had its build status changed: internal failure to passing
- carton.1.1.0 on 5.3.0 had its build status changed: internal failure to passing
- catala-format.1.0.0 on 4.14.2 is now installable. Current state is: passing
- catala-format.1.0.0 on 5.3.0 is now installable. Current state is: passing
- catala-lsp.1.0.0 on 4.14.2 is now installable. Current state is: passing
- catala-lsp.1.0.0 on 5.3.0 is now installable. Current state is: passing
- catala.1.0.0 on 4.14.2 is now installable. Current state is: passing
- catala.1.0.0 on 5.3.0 is now installable. Current state is: passing
- catapult-client.0.2 on 4.14.2 had its build status changed: internal failure to passing
- catapult-daemon.0.2 on 4.14.2 had its build status changed: internal failure to passing
- ccbg.0.1 on 4.14.2 had its build status changed: internal failure to passing
- ccbg.0.1 on 5.3.0 had its build status changed: partially failing to passing
- cconv.0.5 on 4.14.2 had its build status changed: internal failure to passing
- cfgen.1.0 on 4.14.2 had its build status changed: partially failing to passing
- cfml.20220112 on 5.3.0 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
- charInfo_width.2.0.0 on 5.3.0 had its build status changed: internal failure to 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
- charset.0.2.0 on 5.3.0 had its build status changed: partially failing to passing
- chartjs-annotation.0.2.2 on 5.3.0 had its build status changed: internal failure to passing
- chartjs-colorschemes.0.2.2 on 4.14.2 had its build status changed: internal failure to passing
- chartjs-datalabels.0.2.2 on 4.14.2 had its build status changed: internal failure to passing
- chartjs-streaming.0.2.2 on 4.14.2 had its build status changed: internal failure to passing
- chartjs.0.2.2 on 5.3.0 had its build status changed: partially failing to passing
- chess_com_api.1.0.1 on 4.14.2 is now installable. Current state is: passing
- chess_com_api.1.0.1 on 5.3.0 is now installable. Current state is: passing
- chrome-trace.3.20.2 on 4.14.2 is now installable. Current state is: passing
- chrome-trace.3.20.2 on 5.3.0 is now installable. Current state is: passing
- cinaps.v0.15.1 on 5.3.0 had its build status changed: internal failure to passing
- class_group_vdf.0.0.5 on 4.14.2 had its build status changed: internal failure to passing
- claudius.1.2.1 on 5.3.0 is now installable. Current state is: passing
- climate.0.9.0 on 4.14.2 is now installable. Current state is: passing
- climate.0.9.0 on 5.3.0 is now installable. Current state is: passing
- clz.0.1.0 on 5.3.0 had its build status changed: internal failure to passing
- cmarker.0.3.0 on 4.14.2 had its build status changed: partially failing to passing
- cmarker.0.3.0 on 5.3.0 had its build status changed: internal failure to passing
- cmarkit.0.4.0 on 4.14.2 is now installable. Current state is: passing
- cmarkit.0.4.0 on 5.3.0 is now installable. Current state is: passing
- cmdlang-cmdliner-err-runner.0.0.16 on 4.14.2 is now installable. Current state is: passing
- cmdlang-cmdliner-err-runner.0.0.16 on 5.3.0 is now installable. Current state is: passing
- cmdlang-stdlib-runner.0.0.10 on 4.14.2 is now installable. Current state is: passing
- cmdlang-stdlib-runner.0.0.10 on 5.3.0 is now installable. Current state is: passing
- cmdlang-to-climate.0.0.10 on 4.14.2 is now installable. Current state is: passing
- cmdlang-to-climate.0.0.10 on 5.3.0 is now installable. Current state is: passing
- cmdlang-to-cmdliner.0.0.10 on 4.14.2 is now installable. Current state is: passing
- cmdlang-to-cmdliner.0.0.10 on 5.3.0 is now installable. Current state is: passing
- cmdlang.0.0.10 on 4.14.2 is now installable. Current state is: passing
- cmdlang.0.0.10 on 5.3.0 is now installable. Current state is: passing
- cmdliner-stdlib.1.0.1 on 5.3.0 had its build status changed: partially failing to passing
- cmdliner.2.1.0 on 4.14.2 is now installable. Current state is: passing
- cmdliner.2.1.0 on 5.3.0 is now installable. Current state is: passing
- coap-core.0.1.0 on 5.3.0 had its build status changed: internal failure to passing
- coap.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- coccinelle.1.3.0 on 5.3.0 had its build status changed: not available to passing
- codept-lib.0.12.2 on 4.14.2 is now installable. Current state is: passing
- codept-lib.0.12.2 on 5.3.0 is now installable. Current state is: passing
- codept.0.12.2 on 4.14.2 is now installable. Current state is: passing
- codept.0.12.2 on 5.3.0 is now installable. Current state is: passing
- cohttp-lwt-jsoo.6.1.1 on 4.14.2 had its build status changed: partially failing to passing
- cohttp-lwt-jsoo.6.1.1 on 5.3.0 had its build status changed: internal failure to passing
- cohttp-lwt-unix.6.1.1 on 5.3.0 had its build status changed: internal failure to passing
- cohttp-lwt.6.1.1 on 4.14.2 had its build status changed: internal failure to passing
- cohttp-lwt.6.1.1 on 5.3.0 had its build status changed: internal failure to passing
- cohttp-mirage.6.1.1 on 4.14.2 had its build status changed: internal failure to passing
- cohttp-mirage.6.1.1 on 5.3.0 had its build status changed: internal failure to passing
- cohttp-server-lwt-unix.6.1.1 on 5.3.0 had its build status changed: internal failure to passing
- cohttp-top.6.1.1 on 5.3.0 had its build status changed: internal failure to passing
- coin.0.1.5 on 4.14.2 is now installable. Current state is: passing
- coin.0.1.5 on 5.3.0 is now installable. Current state is: passing
- colombe.0.12.1 on 4.14.2 is now installable. Current state is: passing
- colombe.0.12.1 on 5.3.0 is now installable. Current state is: passing
- comby-semantic.1.7.0 on 4.14.2 had its build status changed: partially failing to passing
- conan-database.0.0.6 on 5.3.0 had its build status changed: failing to passing
- conduit-lwt-unix.8.0.0 on 4.14.2 had its build status changed: partially failing to passing
- conduit-lwt.8.0.0 on 5.3.0 had its build status changed: internal failure to passing
- conex-mirage-crypto.1.0.0 on 4.14.2 is now installable. Current state is: passing
- conex-mirage-crypto.1.0.0 on 5.3.0 is now installable. Current state is: passing
- conex.1.0.0 on 4.14.2 is now installable. Current state is: passing
- conex.1.0.0 on 5.3.0 is now installable. Current state is: passing
- conf-adwaita-icon-theme.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-adwaita-icon-theme.2 on 5.3.0 had its build status changed: internal failure to passing
- conf-allegro5.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-allegro5.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-antic.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-arb.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-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-blas.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-boost.1 on 4.14.2 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-clang.2 on 4.14.2 is now installable. Current state is: passing
- conf-clang.2 on 5.3.0 is now installable. Current state is: passing
- conf-cmake.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-efl.1.8 on 5.3.0 had its build status changed: internal failure to passing
- conf-g++.1.0 on 5.3.0 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-gcc.1.0 on 5.3.0 had its build status changed: internal failure to passing
- conf-libclang.21 on 4.14.2 is now installable. Current state is: passing
- conf-libclang.21 on 5.3.0 is now installable. Current state is: passing
- conf-libdrm.1 on 5.3.0 is now installable. Current state is: passing
- conf-libev.4-13 on 4.14.2 is now installable. Current state is: passing
- conf-libev.4-13 on 5.3.0 is now installable. Current state is: passing
- conf-libgl.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libmpg123.1 on 4.14.2 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-shm.1 on 4.14.2 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-libxrandr.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-lilv.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-llvm-shared.19 on 5.3.0 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 5.3.0 had its build status changed: internal failure to passing
- conf-mad.2 on 4.14.2 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-mpi.1 on 4.14.2 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-mysql.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-mysql.1 on 5.3.0 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 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-npm.1 on 5.3.0 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-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-openimageio.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-pango.1 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-plplot.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-plplot.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 4.14.2 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-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-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-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-radare2.0.1 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-2021.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-rust.0.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-rust.0.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 5.3.0 had its build status changed: internal failure to passing
- conf-sdl-mixer.1 on 4.14.2 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-sdl-ttf.1 on 5.3.0 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-mixer.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-secp256k1.2 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-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-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-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-wget.1 on 5.3.0 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-zig.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-zig.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
- config-file.1.2.2 on 4.14.2 is now installable. Current state is: passing
- config-file.1.2.2 on 5.3.0 is now installable. Current state is: passing
- containers-data.3.16 on 5.3.0 had its build status changed: failing to passing
- containers-thread.3.12 on 4.14.2 had its build status changed: internal failure to passing
- containers.3.16 on 5.3.0 had its build status changed: internal failure to passing
- cookie.0.1.8 on 4.14.2 had its build status changed: internal failure to passing
- cookies.1.0.0 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-serapi.8.20.0+0.20.0 on 5.3.0 had its build status changed: internal failure to passing
- coq-stdlib.9.0.0 on 5.3.0 had its build status changed: partially failing to passing
- coq-waterproof.3.1.0+9.0 on 4.14.2 is now installable. Current state is: passing
- coq-waterproof.3.1.0+9.0 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
- coqide.8.20.1 on 4.14.2 had its build status changed: internal failure to passing
- coqide.8.20.1 on 5.3.0 had its build status changed: internal failure to passing
- cosovo.3 on 4.14.2 had its build status changed: partially failing to passing
- cpuid.0.1.2 on 5.3.0 had its build status changed: internal failure to passing
- crc.2.2.0 on 4.14.2 had its build status changed: internal failure to passing
- crc.2.2.0 on 5.3.0 had its build status changed: partially failing to passing
- crlibm.0.5.1 on 5.3.0 had its build status changed: internal failure to passing
- crockford.1.0.0 on 4.14.2 is now installable. Current state is: passing
- crockford.1.0.0 on 5.3.0 is now installable. Current state is: passing
- crowbar.0.2.2 on 4.14.2 is now installable. Current state is: passing
- crowbar.0.2.2 on 5.3.0 is now installable. Current state is: passing
- crypt.2.1 on 4.14.2 is now installable. Current state is: passing
- crypt.2.1 on 5.3.0 is now installable. Current state is: passing
- cryptodbm.0.84.2 on 4.14.2 had its build status changed: partially failing to passing
- cryptokit.1.20 on 4.14.2 had its build status changed: internal failure to passing
- cryptokit.1.20 on 5.3.0 had its build status changed: partially failing to passing
- cryptoverif.2.12 on 4.14.2 is now installable. Current state is: passing
- cryptoverif.2.12 on 5.3.0 is now installable. Current state is: passing
- css-parser.0.2.5 on 4.14.2 had its build status changed: partially failing to passing
- css.0.3.0 on 4.14.2 had its build status changed: internal failure to passing
- css.0.4.0 on 5.3.0 is now installable. Current state is: passing
- cstruct-sexp.6.2.0 on 4.14.2 had its build status changed: partially failing to passing
- cstruct-unix.6.2.0 on 5.3.0 had its build status changed: internal failure to passing
- csv-lwt.2.4 on 4.14.2 had its build status changed: internal failure to passing
- csvtool.2.4 on 4.14.2 had its build status changed: partially failing to passing
- ctypes-build.0.0.2 on 5.3.0 had its build status changed: internal failure to passing
- ctypes-foreign.0.24.0 on 4.14.2 is now installable. Current state is: passing
- ctypes-foreign.0.24.0 on 5.3.0 is now installable. Current state is: passing
- ctypes-zarith.0.2.0 on 4.14.2 had its build status changed: internal failure to passing
- ctypes.0.24.0 on 4.14.2 is now installable. Current state is: passing
- ctypes.0.24.0 on 5.3.0 is now installable. Current state is: passing
- cudd.0.1.3 on 4.14.2 is now installable. Current state is: passing
- cudd.0.1.3 on 5.3.0 is now installable. Current state is: passing
- cudf.0.10 on 4.14.2 had its build status changed: internal failure to passing
- cumulus.0.0.1 on 5.3.0 had its build status changed: internal failure to passing
- curl_lwt.0.10.0 on 4.14.2 had its build status changed: internal failure to passing
- current-web-pipelines.0.1 on 4.14.2 had its build status changed: internal failure to passing
- current-web-pipelines.0.1 on 5.3.0 had its build status changed: internal failure to passing
- current.0.7.2 on 4.14.2 is now installable. Current state is: passing
- current.0.7.2 on 5.3.0 is now installable. Current state is: passing
- current_docker.0.7.2 on 4.14.2 is now installable. Current state is: passing
- current_docker.0.7.2 on 5.3.0 is now installable. Current state is: passing
- current_examples.0.7.2 on 4.14.2 is now installable. Current state is: passing
- current_examples.0.7.2 on 5.3.0 is now installable. Current state is: passing
- current_git.0.7.2 on 4.14.2 is now installable. Current state is: passing
- current_git.0.7.2 on 5.3.0 is now installable. Current state is: passing
- current_github.0.7.2 on 4.14.2 is now installable. Current state is: passing
- current_github.0.7.2 on 5.3.0 is now installable. Current state is: passing
- current_gitlab.0.7.2 on 4.14.2 is now installable. Current state is: passing
- current_gitlab.0.7.2 on 5.3.0 is now installable. Current state is: passing
- current_ocluster.0.3.0 on 5.3.0 had its build status changed: partially failing to passing
- current_rpc.0.7.2 on 4.14.2 is now installable. Current state is: passing
- current_rpc.0.7.2 on 5.3.0 is now installable. Current state is: passing
- current_slack.0.7.2 on 4.14.2 is now installable. Current state is: passing
- current_slack.0.7.2 on 5.3.0 is now installable. Current state is: passing
- current_ssh.0.7.2 on 4.14.2 is now installable. Current state is: passing
- current_ssh.0.7.2 on 5.3.0 is now installable. Current state is: passing
- current_web.0.7.2 on 4.14.2 is now installable. Current state is: passing
- current_web.0.7.2 on 5.3.0 is now installable. Current state is: passing
- daft.0.0.3 on 4.14.2 had its build status changed: partially failing to passing
- dap.1.0.6 on 5.3.0 had its build status changed: internal failure to passing
- data-encoding.1.0.1 on 4.14.2 had its build status changed: partially failing to passing
- datalog.0.7 on 4.14.2 had its build status changed: internal failure to passing
- dates_calc.0.0.10 on 4.14.2 had its build status changed: partially failing to passing
- daypack-lib.0.0.6 on 5.3.0 had its build status changed: partially failing to passing
- dbase4.0.2.0 on 5.3.0 is now installable. Current state is: passing
- dblp.0.1.1 on 4.14.2 had its build status changed: internal failure to passing
- decoders-cbor.1.0.0 on 4.14.2 had its build status changed: partially failing to passing
- dedukti.2.7 on 4.14.2 had its build status changed: internal failure to passing
- diffable.v0.16.0 on 4.14.2 had its build status changed: internal failure to passing
- diffast-api.0.3.6 on 4.14.2 is now installable. Current state is: passing
- diffast-api.0.3.6 on 5.3.0 is now installable. Current state is: passing
- diffast-cli.0.3.6 on 4.14.2 is now installable. Current state is: passing
- diffast-cli.0.3.6 on 5.3.0 is now installable. Current state is: passing
- diffast-core.0.3.6 on 4.14.2 is now installable. Current state is: passing
- diffast-core.0.3.6 on 5.3.0 is now installable. Current state is: passing
- diffast-etc.0.3.6 on 4.14.2 is now installable. Current state is: passing
- diffast-etc.0.3.6 on 5.3.0 is now installable. Current state is: passing
- diffast-git-cli.0.3.6 on 4.14.2 is now installable. Current state is: passing
- diffast-git-cli.0.3.6 on 5.3.0 is now installable. Current state is: passing
- diffast-git.0.3.6 on 4.14.2 is now installable. Current state is: passing
- diffast-git.0.3.6 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-common.0.3.6 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-common.0.3.6 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.6 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-cpp-parsing.0.3.6 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-cpp-spec.0.3.6 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-cpp-spec.0.3.6 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-cpp.0.3.6 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-cpp.0.3.6 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.6 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-fortran-parsing.0.3.6 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-fortran-spec.0.3.6 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-fortran-spec.0.3.6 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-fortran.0.3.6 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-fortran.0.3.6 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.6 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-java-parsing.0.3.6 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-java-spec.0.3.6 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-java-spec.0.3.6 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-java.0.3.6 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-java.0.3.6 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.6 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-python-parsing.0.3.6 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-python-spec.0.3.6 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-python-spec.0.3.6 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-python.0.3.6 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-python.0.3.6 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.6 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-verilog-parsing.0.3.6 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-verilog-spec.0.3.6 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-verilog-spec.0.3.6 on 5.3.0 is now installable. Current state is: passing
- diffast-langs-verilog.0.3.6 on 4.14.2 is now installable. Current state is: passing
- diffast-langs-verilog.0.3.6 on 5.3.0 is now installable. Current state is: passing
- diffast-misc.0.3.6 on 4.14.2 is now installable. Current state is: passing
- diffast-misc.0.3.6 on 5.3.0 is now installable. Current state is: passing
- diffast.0.3.6 on 4.14.2 is now installable. Current state is: passing
- diffast.0.3.6 on 5.3.0 is now installable. Current state is: passing
- directories.0.7 on 4.14.2 is now installable. Current state is: passing
- directories.0.7 on 5.3.0 is now installable. Current state is: passing
- dkim-bin.0.9.0 on 4.14.2 is now installable. Current state is: passing
- dkim-bin.0.9.0 on 5.3.0 is now installable. Current state is: passing
- dkim-lwt-unix.0.9.0 on 4.14.2 is now installable. Current state is: passing
- dkim-lwt-unix.0.9.0 on 5.3.0 is now installable. Current state is: passing
- dkim-mirage.0.9.0 on 4.14.2 is now installable. Current state is: passing
- dkim-mirage.0.9.0 on 5.3.0 is now installable. Current state is: passing
- dkim.0.9.0 on 4.14.2 is now installable. Current state is: passing
- dkim.0.9.0 on 5.3.0 is now installable. Current state is: passing
- dkml-c-probe.3.2.0 on 4.14.2 is now installable. Current state is: passing
- dkml-c-probe.3.2.0 on 5.3.0 is now installable. Current state is: passing
- dkml-dune-dsl-show.0.1.4 on 5.3.0 had its build status changed: internal failure to passing
- dkml-install.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- dkml-install.0.1.0 on 5.3.0 had its build status changed: partially failing to passing
- dkml-workflows.1.2.0 on 4.14.2 had its build status changed: partially failing to passing
- dkml-workflows.1.2.0 on 5.3.0 had its build status changed: internal failure to 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
- docfd.3.0.0 on 5.3.0 had its build status changed: internal failure to passing
- docker_hub.0.2.0 on 5.3.0 had its build status changed: internal failure to 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
- docteur-solo5.0.0.7 on 4.14.2 had its build status changed: internal failure to passing
- docteur.0.0.7 on 4.14.2 had its build status changed: internal failure to passing
- docteur.0.0.7 on 5.3.0 had its build status changed: partially failing to passing
- doculib.1.3.5 on 4.14.2 had its build status changed: internal failure to passing
- doculib.1.3.5 on 5.3.0 had its build status changed: internal failure to passing
- doi2bib.0.7.9 on 4.14.2 is now installable. Current state is: passing
- doi2bib.0.7.9 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
- dolmen_bin.0.10 on 4.14.2 had its build status changed: internal failure to passing
- dolmen_bin.0.10 on 5.3.0 had its build status changed: internal failure to passing
- dolmen_lsp.0.10 on 4.14.2 had its build status changed: internal failure to passing
- dolmen_model.0.10 on 4.14.2 had its build status changed: internal failure to passing
- dolog.6.0.0 on 5.3.0 had its build status changed: partially failing to passing
- domain-local-await.1.0.1 on 5.3.0 had its build status changed: failing to 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
- domain_shims.0.1.0 on 5.3.0 had its build status changed: internal failure to passing
- domainslib.0.5.2 on 5.3.0 had its build status changed: internal failure to passing
- dose3.7.0.0 on 4.14.2 had its build status changed: internal failure to passing
- dose3.7.0.0 on 5.3.0 had its build status changed: internal failure to passing
- dot-merlin-reader.4.19-414 on 4.14.2 had its build status changed: internal failure to passing
- dot-merlin-reader.5.6-503 on 5.3.0 is now installable. Current state is: passing
- dotenv.0.0.3 on 5.3.0 had its build status changed: internal failure to passing
- dream-accept.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- dream-accept.0.1.0 on 5.3.0 had its build status changed: partially failing to passing
- dream-cli.0.2.0 on 4.14.2 had its build status changed: internal failure to passing
- dream-encoding.0.3.0 on 4.14.2 had its build status changed: internal failure to passing
- dream-encoding.0.3.0 on 5.3.0 had its build status changed: internal failure to passing
- dream-html.3.11.2 on 4.14.2 is now installable. Current state is: passing
- dream-html.3.11.2 on 5.3.0 is now installable. Current state is: passing
- dream-htmx.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- dream-httpaf.1.0.0~alpha4 on 5.3.0 had its build status changed: internal failure to passing
- dream-inertia.0.0.1 on 4.14.2 had its build status changed: partially failing to passing
- dream-inertia.0.0.1 on 5.3.0 had its build status changed: internal failure to passing
- dream-serve.1.0.1 on 5.3.0 had its build status changed: partially failing to passing
- dream.1.0.0~alpha8 on 5.3.0 had its build status changed: partially failing to passing
- dream_middleware_ext.0.1.1 on 4.14.2 is now installable. Current state is: passing
- dream_middleware_ext.0.1.1 on 5.3.0 is now installable. Current state is: passing
- drom_lib.0.8.0 on 4.14.2 had its build status changed: internal failure to passing
- dropbox.0.2 on 4.14.2 had its build status changed: internal failure to passing
- dropbox.0.2 on 5.3.0 had its build status changed: internal failure to passing
- dropbox_lwt_unix.0.2 on 5.3.0 had its build status changed: partially failing to passing
- dscheck.0.5.0 on 4.14.2 had its build status changed: internal failure to passing
- dtc-pb.1.0 on 4.14.2 had its build status changed: internal failure to passing
- dtoa.0.3.3 on 5.3.0 had its build status changed: partially failing to passing
- dune-action-plugin.3.20.2 on 4.14.2 is now installable. Current state is: passing
- dune-action-plugin.3.20.2 on 5.3.0 is now installable. Current state is: passing
- dune-build-info.3.20.2 on 4.14.2 is now installable. Current state is: passing
- dune-build-info.3.20.2 on 5.3.0 is now installable. Current state is: passing
- dune-cargo-build.0.2.2 on 4.14.2 had its build status changed: internal failure to passing
- dune-compiledb.0.6.0 on 5.3.0 had its build status changed: internal failure to passing
- dune-configurator.3.20.2 on 4.14.2 is now installable. Current state is: passing
- dune-configurator.3.20.2 on 5.3.0 is now installable. Current state is: passing
- dune-deps.1.5.0 on 5.3.0 had its build status changed: partially failing to passing
- dune-glob.3.20.2 on 4.14.2 is now installable. Current state is: passing
- dune-glob.3.20.2 on 5.3.0 is now installable. Current state is: passing
- dune-private-libs.3.20.2 on 4.14.2 is now installable. Current state is: passing
- dune-private-libs.3.20.2 on 5.3.0 is now installable. Current state is: passing
- dune-release.2.1.0 on 4.14.2 had its build status changed: internal failure to passing
- dune-release.2.1.0 on 5.3.0 had its build status changed: internal failure to passing
- dune-rpc-lwt.3.20.2 on 4.14.2 is now installable. Current state is: passing
- dune-rpc-lwt.3.20.2 on 5.3.0 is now installable. Current state is: passing
- dune-rpc.3.20.2 on 4.14.2 is now installable. Current state is: passing
- dune-rpc.3.20.2 on 5.3.0 is now installable. Current state is: passing
- dune-secondary.3.16.0 on 4.14.2 had its build status changed: internal failure to passing
- dune-secondary.3.16.0 on 5.3.0 had its build status changed: internal failure to passing
- dune-site.3.20.2 on 4.14.2 is now installable. Current state is: passing
- dune-site.3.20.2 on 5.3.0 is now installable. Current state is: passing
- dune.3.20.2 on 4.14.2 is now installable. Current state is: passing
- dune.3.20.2 on 5.3.0 is now installable. Current state is: passing
- dune_deps_extra.0.1 on 4.14.2 had its build status changed: internal failure to 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
- dyn.3.20.2 on 4.14.2 is now installable. Current state is: passing
- dyn.3.20.2 on 5.3.0 is now installable. Current state is: passing
- dypgen.0.2.1 on 4.14.2 had its build status changed: internal failure to passing
- earlybird.1.3.4 on 4.14.2 is now installable. Current state is: passing
- earlybird.1.3.4 on 5.3.0 is now installable. Current state is: passing
- easy-format.1.3.4 on 5.3.0 had its build status changed: partially failing to passing
- echo.0.0.5 on 5.3.0 had its build status changed: internal failure to passing
- ego.0.0.6 on 4.14.2 had its build status changed: partially failing to passing
- eio-ssl.0.3.0 on 5.3.0 had its build status changed: internal failure to passing
- eio-trace.0.4 on 5.3.0 had its build status changed: internal failure to passing
- eio.1.3 on 5.3.0 had its build status changed: internal failure to passing
- eliom.11.1.1 on 4.14.2 had its build status changed: internal failure to passing
- elm_playground_native.0.1.7 on 4.14.2 had its build status changed: internal failure to passing
- elm_playground_web.0.1.7 on 4.14.2 had its build status changed: partially failing to passing
- elpi.3.4.3 on 4.14.2 is now installable. Current state is: passing
- elpi.3.4.3 on 5.3.0 is now installable. Current state is: passing
- emile.1.1 on 5.3.0 had its build status changed: internal failure to 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
- encore.0.8.1 on 4.14.2 had its build status changed: partially failing to passing
- epictetus.3.1.1 on 4.14.2 had its build status changed: internal failure to passing
- epictetus.3.1.1 on 5.3.0 had its build status changed: internal failure to passing
- eqaf-cstruct.0.10 on 4.14.2 had its build status changed: internal failure to passing
- equinoxe-hlc.0.2.0 on 4.14.2 had its build status changed: internal failure to passing
- equinoxe.0.2.0 on 4.14.2 had its build status changed: partially failing to passing
- errpy.0.0.10 on 4.14.2 had its build status changed: internal failure to passing
- euler.0.3 on 5.3.0 had its build status changed: not available to passing
- expr.0.5.2 on 4.14.2 is now installable. Current state is: passing
- expr.0.5.2 on 5.3.0 is now installable. Current state is: passing
- extism.1.4.0 on 5.3.0 had its build status changed: partially failing to passing
- ez_pgocaml.1.0.0 on 5.3.0 had its build status changed: partially failing to passing
- ezcurl-lwt.0.2.4 on 5.3.0 had its build status changed: partially failing to passing
- ezjs_ace.0.1.1 on 5.3.0 had its build status changed: internal failure to passing
- ezjs_blockies.0.1.1 on 5.3.0 had its build status changed: internal failure to passing
- ezjs_cleave.0.1.1 on 4.14.2 had its build status changed: partially failing to passing
- ezjs_cleave.0.1.1 on 5.3.0 had its build status changed: failing to passing
- ezjs_cytoscape.0.1 on 5.3.0 had its build status changed: partially failing to passing
- ezjs_d3pie.0.1 on 4.14.2 had its build status changed: partially failing to passing
- ezjs_extension.0.2 on 5.3.0 had its build status changed: internal failure to passing
- ezjs_odometer.0.1 on 5.3.0 had its build status changed: internal failure to 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
- faraday-lwt-unix.0.8.2 on 4.14.2 had its build status changed: partially failing to passing
- faraday-lwt.0.8.2 on 5.3.0 had its build status changed: internal failure to passing
- faraday.0.8.2 on 4.14.2 had its build status changed: partially failing to passing
- farfadet.0.3 on 5.3.0 had its build status changed: partially failing to passing
- farith.0.1 on 4.14.2 had its build status changed: internal failure to passing
- fasmifra.1.1.0 on 4.14.2 had its build status changed: internal failure to passing
- fasmifra.1.1.0 on 5.3.0 had its build status changed: internal failure to passing
- fasmifra.2.1.0 on 5.3.0 had its build status changed: internal failure to passing
- fast_bitvector.0.1.2.2 on 5.3.0 had its build status changed: partially failing to passing
- fat-filesystem.0.15.1 on 4.14.2 had its build status changed: partially failing to passing
- fd-send-recv.2.0.3 on 4.14.2 is now installable. Current state is: passing
- fd-send-recv.2.0.3 on 5.3.0 is now installable. Current state is: passing
- ff-pbt.0.6.2 on 4.14.2 had its build status changed: internal failure to passing
- ff-sig.0.6.2 on 4.14.2 had its build status changed: partially failing to passing
- ffmpeg-av.1.2.7 on 4.14.2 is now installable. Current state is: passing
- ffmpeg-av.1.2.7 on 5.3.0 is now installable. Current state is: passing
- ffmpeg-avcodec.1.2.7 on 4.14.2 is now installable. Current state is: passing
- ffmpeg-avcodec.1.2.7 on 5.3.0 is now installable. Current state is: passing
- ffmpeg-avdevice.1.2.7 on 4.14.2 is now installable. Current state is: passing
- ffmpeg-avdevice.1.2.7 on 5.3.0 is now installable. Current state is: passing
- ffmpeg-avfilter.1.2.7 on 4.14.2 is now installable. Current state is: passing
- ffmpeg-avfilter.1.2.7 on 5.3.0 is now installable. Current state is: passing
- ffmpeg-avutil.1.2.7 on 4.14.2 is now installable. Current state is: passing
- ffmpeg-avutil.1.2.7 on 5.3.0 is now installable. Current state is: passing
- ffmpeg-swresample.1.2.7 on 4.14.2 is now installable. Current state is: passing
- ffmpeg-swresample.1.2.7 on 5.3.0 is now installable. Current state is: passing
- ffmpeg-swscale.1.2.7 on 4.14.2 is now installable. Current state is: passing
- ffmpeg-swscale.1.2.7 on 5.3.0 is now installable. Current state is: passing
- ffmpeg.1.2.7 on 4.14.2 is now installable. Current state is: passing
- ffmpeg.1.2.7 on 5.3.0 is now installable. Current state is: passing
- fiat-p256.0.2.3 on 4.14.2 had its build status changed: internal failure to passing
- fiat-p256.0.2.3 on 5.3.0 had its build status changed: internal failure to passing
- fiber-lwt.3.7.0 on 4.14.2 had its build status changed: partially failing to passing
- fiber-lwt.3.7.0 on 5.3.0 had its build status changed: internal failure to passing
- fiber.3.7.0 on 4.14.2 had its build status changed: partially failing to passing
- fiber.3.7.0 on 5.3.0 had its build status changed: partially failing to passing
- fieldslib.v0.17.0 on 5.3.0 had its build status changed: internal failure to passing
- file-rewriter.0.0.3 on 5.3.0 had its build status changed: internal failure to passing
- fileutils.0.6.6 on 5.3.0 had its build status changed: internal failure to passing
- fit.1.4.0 on 4.14.2 is now installable. Current state is: passing
- fit.1.4.0 on 5.3.0 is now installable. Current state is: passing
- fix.20250919 on 4.14.2 is now installable. Current state is: passing
- fix.20250919 on 5.3.0 is now installable. Current state is: passing
- flac.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
- flac.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- flatunionfind.20241210 on 4.14.2 had its build status changed: internal failure to passing
- flatunionfind.20241210 on 5.3.0 had its build status changed: internal failure to passing
- float_option.0.0.3 on 5.3.0 had its build status changed: internal failure to passing
- flow_parser.0.229.1 on 4.14.2 had its build status changed: internal failure to passing
- flux.0.0.1~beta1 on 5.3.0 is now installable. Current state is: passing
- fluxt.0.0.1~beta1 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: failing to passing
- fmlib.0.6.1 on 4.14.2 is now installable. Current state is: passing
- fmlib.0.6.1 on 5.3.0 is now installable. Current state is: passing
- fmlib_browser.0.6.1 on 4.14.2 is now installable. Current state is: passing
- fmlib_browser.0.6.1 on 5.3.0 is now installable. Current state is: passing
- fmlib_js.0.6.1 on 4.14.2 is now installable. Current state is: passing
- fmlib_js.0.6.1 on 5.3.0 is now installable. Current state is: passing
- fmlib_parse.0.6.1 on 4.14.2 is now installable. Current state is: passing
- fmlib_parse.0.6.1 on 5.3.0 is now installable. Current state is: passing
- fmlib_pretty.0.6.1 on 4.14.2 is now installable. Current state is: passing
- fmlib_pretty.0.6.1 on 5.3.0 is now installable. Current state is: passing
- fmlib_std.0.6.1 on 4.14.2 is now installable. Current state is: passing
- fmlib_std.0.6.1 on 5.3.0 is now installable. Current state is: passing
- fontforge-of-ocaml.1.1.0 on 5.3.0 had its build status changed: not available to passing
- forester.5.0 on 5.3.0 had its build status changed: partially failing to passing
- fpath-base.0.4.0 on 5.3.0 is now installable. Current state is: passing
- fpath-sexp0.0.4.0 on 4.14.2 is now installable. Current state is: passing
- fpath-sexp0.0.4.0 on 5.3.0 is now installable. Current state is: passing
- frama-c-lannotate.0.2.4 on 4.14.2 had its build status changed: internal failure to passing
- frama-c-luncov.0.2.4 on 4.14.2 had its build status changed: partially failing to passing
- frama-c-metacsl.0.10~beta on 5.3.0 is now installable. Current state is: passing
- frama-c.32.0~beta on 4.14.2 is now installable. Current state is: passing
- fred.0.1.0 on 5.3.0 had its build status changed: internal failure to passing
- fsevents-lwt.0.3.0 on 5.3.0 had its build status changed: partially failing to passing
- fsml.0.3.0 on 4.14.2 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
- functory.0.6 on 4.14.2 had its build status changed: failing to passing
- gappa.1.6.0 on 4.14.2 is now installable. Current state is: passing
- gappa.1.6.0 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
- gendarme-csv.0.4.0 on 4.14.2 is now installable. Current state is: passing
- gendarme-csv.0.4.0 on 5.3.0 is now installable. Current state is: passing
- gendarme-ezjsonm.0.4.0 on 4.14.2 is now installable. Current state is: passing
- gendarme-ezjsonm.0.4.0 on 5.3.0 is now installable. Current state is: passing
- gendarme-json.0.4.0 on 4.14.2 is now installable. Current state is: passing
- gendarme-json.0.4.0 on 5.3.0 is now installable. Current state is: passing
- gendarme-toml.0.4.0 on 4.14.2 is now installable. Current state is: passing
- gendarme-toml.0.4.0 on 5.3.0 is now installable. Current state is: passing
- gendarme-yaml.0.4.0 on 4.14.2 is now installable. Current state is: passing
- gendarme-yaml.0.4.0 on 5.3.0 is now installable. Current state is: passing
- gendarme-yojson.0.4.0 on 4.14.2 is now installable. Current state is: passing
- gendarme-yojson.0.4.0 on 5.3.0 is now installable. Current state is: passing
- gendarme.0.4.0 on 4.14.2 is now installable. Current state is: passing
- gendarme.0.4.0 on 5.3.0 is now installable. Current state is: passing
- giflib.1.1.0 on 5.3.0 is now installable. Current state is: passing
- git-net.0.2.0 on 5.3.0 had its build status changed: partially failing to passing
- git-paf.3.18.0 on 4.14.2 had its build status changed: partially failing to passing
- github-data.4.5.0 on 4.14.2 is now installable. Current state is: passing
- github-data.4.5.0 on 5.3.0 is now installable. Current state is: passing
- github-hooks-unix.0.5.0 on 4.14.2 had its build status changed: partially failing to passing
- github-hooks-unix.0.5.0 on 5.3.0 had its build status changed: partially failing to passing
- github-hooks.0.5.0 on 5.3.0 had its build status changed: partially failing to passing
- github-jsoo.4.5.0 on 4.14.2 is now installable. Current state is: passing
- github-jsoo.4.5.0 on 5.3.0 is now installable. Current state is: passing
- github-unix.4.5.0 on 4.14.2 is now installable. Current state is: passing
- github-unix.4.5.0 on 5.3.0 is now installable. Current state is: passing
- github.4.5.0 on 4.14.2 is now installable. Current state is: passing
- github.4.5.0 on 5.3.0 is now installable. Current state is: passing
- gitlab-jsoo.0.1.8 on 4.14.2 had its build status changed: partially failing to passing
- gitlab-jsoo.0.1.8 on 5.3.0 had its build status changed: partially failing to passing
- gitlab.0.1.8 on 4.14.2 had its build status changed: partially failing to 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
- gluten-mirage.0.5.2 on 4.14.2 had its build status changed: internal failure to passing
- gnuplot.0.7 on 5.3.0 had its build status changed: internal failure to passing
- goblint-cil.2.0.9 on 4.14.2 is now installable. Current state is: passing
- goblint-cil.2.0.9 on 5.3.0 is now installable. Current state is: passing
- goblint.2.1.0 on 4.14.2 had its build status changed: internal failure to passing
- gospel.0.3.0 on 4.14.2 had its build status changed: partially failing to passing
- gospel.0.3.0 on 5.3.0 had its build status changed: internal failure to passing
- gptar.1.0.0 on 4.14.2 had its build status changed: partially failing to passing
- gptar.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- grain_dypgen.0.2.1 on 4.14.2 had its build status changed: partially failing to passing
- graphics.5.2.0 on 5.3.0 had its build status changed: internal failure to passing
- graphlib.2.5.0 on 4.14.2 had its build status changed: partially failing to passing
- graphql-async.0.14.0 on 4.14.2 had its build status changed: internal failure to passing
- graphql-cohttp.0.14.0 on 4.14.2 had its build status changed: partially failing to passing
- graphql-cohttp.0.14.0 on 5.3.0 had its build status changed: internal failure to passing
- graphql.0.14.0 on 4.14.2 had its build status changed: partially failing to passing
- graphql_jsoo_client.0.1.1 on 4.14.2 had its build status changed: internal failure to passing
- graphql_ppx.1.2.2 on 4.14.2 had its build status changed: internal failure to passing
- graphql_ppx.1.2.2 on 5.3.0 had its build status changed: failing to passing
- graphv_font_js.0.1.1 on 4.14.2 had its build status changed: partially failing to passing
- graphv_gles2.0.1.1 on 5.3.0 had its build status changed: partially failing to passing
- graphv_webgl.0.1.1 on 4.14.2 had its build status changed: internal failure to passing
- graphv_webgl_impl.0.1.1 on 4.14.2 had its build status changed: internal failure to passing
- grpc.0.2.0 on 5.3.0 had its build status changed: partially failing to passing
- gstreamer.0.3.1 on 4.14.2 had its build status changed: internal failure to passing
- gstreamer.0.3.1 on 5.3.0 had its build status changed: internal failure to passing
- guardian.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- gufo.0.1.2 on 4.14.2 had its build status changed: internal failure to passing
- h1-lwt-unix.1.1.0 on 4.14.2 is now installable. Current state is: passing
- h1-lwt-unix.1.1.0 on 5.3.0 is now installable. Current state is: passing
- h1.1.1.0 on 4.14.2 is now installable. Current state is: passing
- h1.1.1.0 on 5.3.0 is now installable. Current state is: passing
- h2-eio.0.13.0 on 5.3.0 had its build status changed: internal failure to passing
- h2-mirage.0.13.0 on 5.3.0 had its build status changed: partially failing to passing
- handlebars-ml.0.3.0 on 4.14.2 is now installable. Current state is: passing
- handlebars-ml.0.3.0 on 5.3.0 is now installable. Current state is: passing
- happy-eyeballs-lwt.2.0.1 on 4.14.2 had its build status changed: internal failure to passing
- happy-eyeballs.2.0.1 on 4.14.2 had its build status changed: internal failure to passing
- hardcaml_fixed_point.v0.16.0 on 4.14.2 had its build status changed: internal failure to passing
- hol2dk.2.1.0 on 4.14.2 is now installable. Current state is: passing
- hol2dk.2.1.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
- hts_shrink.3.0.1 on 4.14.2 had its build status changed: internal failure to passing
- hts_shrink.3.0.1 on 5.3.0 had its build status changed: not available to passing
- http-cookie.4.3.0 on 4.14.2 had its build status changed: internal failure to passing
- http-multipart-formdata.3.1.0 on 4.14.2 had its build status changed: internal failure to passing
- http-multipart-formdata.3.1.0 on 5.3.0 had its build status changed: internal failure to passing
- httpaf_caged.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- httpcats.0.1.0 on 5.3.0 is now installable. Current state is: passing
- httph.0.1 on 4.14.2 had its build status changed: partially failing to passing
- httph.0.1 on 5.3.0 had its build status changed: internal failure to passing
- httpun-lwt.0.2.0 on 4.14.2 had its build status changed: internal failure to passing
- httpun-lwt.0.2.0 on 5.3.0 had its build status changed: internal failure to passing
- httpun-mirage.0.2.0 on 5.3.0 had its build status changed: internal failure to passing
- httpun-ws-lwt-unix.0.2.0 on 4.14.2 had its build status changed: internal failure to passing
- httpun-ws-lwt.0.2.0 on 5.3.0 had its build status changed: partially failing to passing
- httpun-ws-mirage.0.2.0 on 4.14.2 had its build status changed: internal failure to passing
- httpun.0.2.0 on 4.14.2 had its build status changed: internal failure to passing
- httpun.0.2.0 on 5.3.0 had its build status changed: internal failure to passing
- hugin.1.0.0~alpha2 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
- hurl.0.0.1~beta1 on 5.3.0 is now installable. Current state is: passing
- hvsock.3.1.0 on 4.14.2 is now installable. Current state is: passing
- hvsock.3.1.0 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
- i3ipc.0.4 on 4.14.2 had its build status changed: internal failure to passing
- i3ipc.0.4 on 5.3.0 had its build status changed: internal failure to 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
- idds.0.2 on 4.14.2 had its build status changed: internal failure to passing
- imagelib.20221222 on 5.3.0 had its build status changed: internal failure to passing
- incr_dom.v0.16.0 on 4.14.2 had its build status changed: partially failing to passing
- incr_dom_interactive.v0.16.0 on 4.14.2 had its build status changed: internal failure to passing
- incr_dom_partial_render.v0.16.0 on 4.14.2 had its build status changed: internal failure to passing
- incr_map.v0.16.0 on 4.14.2 had its build status changed: partially failing to passing
- incremental.v0.16.1 on 4.14.2 had its build status changed: internal failure to 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
- indentation_buffer.v0.16.0 on 4.14.2 had its build status changed: internal failure to passing
- index-bench.1.6.2 on 4.14.2 had its build status changed: internal failure to passing
- index-bench.1.6.2 on 5.3.0 had its build status changed: internal failure to passing
- influxdb-lwt.0.3.0 on 5.3.0 had its build status changed: internal failure to passing
- influxdb.0.3.0 on 4.14.2 had its build status changed: partially failing to passing
- influxdb.0.3.0 on 5.3.0 had its build status changed: internal failure to passing
- inifiles.2.0 on 4.14.2 is now installable. Current state is: passing
- inifiles.2.0 on 5.3.0 is now installable. Current state is: passing
- inquire.0.3.1 on 5.3.0 had its build status changed: internal failure to passing
- intPQueue.20250925 on 4.14.2 is now installable. Current state is: passing
- intPQueue.20250925 on 5.3.0 is now installable. Current state is: passing
- interface-prime.0.1 on 4.14.2 had its build status changed: internal failure to passing
- interval-map.0.2.0 on 4.14.2 had its build status changed: internal failure to passing
- inuit.0.3 on 5.3.0 had its build status changed: internal failure to passing
- io-page.3.0.0 on 4.14.2 had its build status changed: internal failure to passing
- iomux.0.4 on 4.14.2 is now installable. Current state is: passing
- iomux.0.4 on 5.3.0 is now installable. Current state is: passing
- iostream-camlzip.0.3 on 4.14.2 had its build status changed: internal failure to passing
- iostream-camlzip.0.3 on 5.3.0 had its build status changed: internal failure to passing
- iostream.0.3 on 4.14.2 had its build status changed: internal failure to passing
- ip2location.8.2.0 on 4.14.2 is now installable. Current state is: passing
- ip2location.8.2.0 on 5.3.0 is now installable. Current state is: passing
- ip2locationio.1.1.0 on 4.14.2 had its build status changed: internal failure to passing
- ipaddr-sexp.5.6.1 on 5.3.0 had its build status changed: internal failure to passing
- ipv6-multicast-lwt.0.9 on 4.14.2 had its build status changed: internal failure to passing
- ipv6-multicast.0.9 on 4.14.2 had its build status changed: failing to passing
- irc-client-lwt-ssl.0.7.1 on 5.3.0 had its build status changed: partially failing to passing
- irc-client-lwt.0.7.1 on 4.14.2 had its build status changed: partially failing to passing
- irc-client-tls.0.7.1 on 4.14.2 had its build status changed: internal failure to passing
- irc-client.0.7.1 on 5.3.0 had its build status changed: internal failure to passing
- iri.1.1.0 on 5.3.0 had its build status changed: internal failure to passing
- irmin-bench.3.11.0 on 4.14.2 had its build status changed: internal failure to passing
- irmin-bench.3.11.0 on 5.3.0 had its build status changed: internal failure to passing
- irmin-chunk.3.11.0 on 4.14.2 had its build status changed: partially failing to passing
- irmin-cli.3.11.0 on 4.14.2 had its build status changed: partially failing to passing
- irmin-client.3.11.0 on 4.14.2 had its build status changed: internal failure to passing
- irmin-client.3.11.0 on 5.3.0 had its build status changed: internal failure to passing
- irmin-containers.3.11.0 on 5.3.0 had its build status changed: partially failing to passing
- irmin-fs.3.11.0 on 4.14.2 had its build status changed: internal failure to passing
- irmin-git.3.11.0 on 4.14.2 had its build status changed: partially failing to passing
- irmin-graphql.3.11.0 on 5.3.0 had its build status changed: partially failing to passing
- irmin-mirage-graphql.3.11.0 on 5.3.0 had its build status changed: partially failing to passing
- irmin-mirage.3.11.0 on 4.14.2 had its build status changed: internal failure to passing
- irmin-pack.3.11.0 on 5.3.0 had its build status changed: failing to passing
- irmin-test.3.11.0 on 4.14.2 had its build status changed: internal failure to passing
- irmin-test.3.11.0 on 5.3.0 had its build status changed: internal failure to passing
- irmin-unix.2.10.2 on 4.14.2 had its build status changed: partially failing to passing
- iter.1.9 on 4.14.2 had its build status changed: partially failing to passing
- jekyll-format.0.3.4 on 5.3.0 had its build status changed: internal failure to passing
- jext.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- jose.0.10.0 on 4.14.2 had its build status changed: internal failure to passing
- js_of_ocaml-compiler.6.2.0 on 4.14.2 is now installable. Current state is: passing
- js_of_ocaml-compiler.6.2.0 on 5.3.0 is now installable. Current state is: passing
- js_of_ocaml-lwt.6.2.0 on 4.14.2 is now installable. Current state is: passing
- js_of_ocaml-lwt.6.2.0 on 5.3.0 is now installable. Current state is: passing
- js_of_ocaml-ocamlbuild.5.0 on 4.14.2 had its build status changed: partially failing to passing
- js_of_ocaml-ppx.6.2.0 on 4.14.2 is now installable. Current state is: passing
- js_of_ocaml-ppx.6.2.0 on 5.3.0 is now installable. Current state is: passing
- js_of_ocaml-ppx_deriving_json.6.2.0 on 4.14.2 is now installable. Current state is: passing
- js_of_ocaml-ppx_deriving_json.6.2.0 on 5.3.0 is now installable. Current state is: passing
- js_of_ocaml-toplevel.6.2.0 on 4.14.2 is now installable. Current state is: passing
- js_of_ocaml-toplevel.6.2.0 on 5.3.0 is now installable. Current state is: passing
- js_of_ocaml-tyxml.6.2.0 on 4.14.2 is now installable. Current state is: passing
- js_of_ocaml-tyxml.6.2.0 on 5.3.0 is now installable. Current state is: passing
- js_of_ocaml.6.2.0 on 4.14.2 is now installable. Current state is: passing
- js_of_ocaml.6.2.0 on 5.3.0 is now installable. Current state is: passing
- json-data-encoding-browser.1.0.1 on 4.14.2 had its build status changed: internal failure to passing
- jsonaf.v0.16.0 on 4.14.2 had its build status changed: internal failure to passing
- jsonfeed.1.1.0 on 5.3.0 is now installable. Current state is: passing
- jsonoo.0.3.0 on 4.14.2 had its build status changed: internal failure 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
- jsonschema.0.1.0 on 5.3.0 had its build status changed: internal failure to passing
- jsoo-react.0.1 on 4.14.2 had its build status changed: partially failing to passing
- jsoo_broadcastchannel.2.0.0 on 4.14.2 had its build status changed: partially failing to passing
- jsoo_broadcastchannel.2.0.0 on 5.3.0 had its build status changed: partially failing to passing
- jsoo_storage.1.0.1 on 5.3.0 had its build status changed: internal failure to passing
- jupyter-archimedes.2.7.3 on 4.14.2 had its build status changed: internal failure to passing
- jupyter-kernel.0.8 on 5.3.0 had its build status changed: partially failing to passing
- kappa-agents.4.1.3 on 4.14.2 had its build status changed: internal failure to passing
- kappa-library.4.1.3 on 4.14.2 had its build status changed: partially failing to passing
- kdf.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
- ke.0.6 on 4.14.2 had its build status changed: internal failure to passing
- kicadsch.0.9.0 on 4.14.2 had its build status changed: internal failure to passing
- kittyimg.0.1 on 4.14.2 had its build status changed: internal failure to passing
- kmt.0.1 on 4.14.2 had its build status changed: internal failure to passing
- knights_tour.0.0.5 on 5.3.0 had its build status changed: internal failure to passing
- knights_tour.0.0.6 on 5.3.0 is now installable. Current state is: passing
- lablgtk3-goocanvas2.3.1.5 on 5.3.0 had its build status changed: internal failure to passing
- lablgtk3-gtkspell3.3.1.5 on 4.14.2 had its build status changed: internal failure to passing
- lablgtk3-gtkspell3.3.1.5 on 5.3.0 had its build status changed: internal failure to passing
- labltk.8.06.15 on 5.3.0 had its build status changed: internal failure to passing
- lambda.0.1.7 on 5.3.0 had its build status changed: partially failing to passing
- lazy-trie.1.2.0 on 5.3.0 had its build status changed: internal failure to passing
- ldap.2.5.2 on 4.14.2 is now installable. Current state is: passing
- ldap.2.5.2 on 5.3.0 is now installable. Current state is: passing
- ldp.0.5.0 on 4.14.2 had its build status changed: partially failing to passing
- ldp_js.0.5.0 on 4.14.2 had its build status changed: partially failing to passing
- ldp_js.0.5.0 on 5.3.0 had its build status changed: partially failing to passing
- ldp_tls.0.5.0 on 4.14.2 had its build status changed: internal failure to passing
- ldp_tls.0.5.0 on 5.3.0 had its build status changed: partially failing to passing
- leaflet.0.2 on 4.14.2 had its build status changed: internal failure to passing
- leaflet.0.2 on 5.3.0 had its build status changed: partially failing to passing
- ledgerwallet-tezos.0.4.1 on 4.14.2 had its build status changed: internal failure to passing
- ledgerwallet.0.4.1 on 5.3.0 had its build status changed: internal failure to passing
- libabsolute.0.1 on 5.3.0 had its build status changed: partially failing to passing
- libbinaryen.124.0.1 on 4.14.2 is now installable. Current state is: passing
- libbinaryen.124.0.1 on 5.3.0 is now installable. Current state is: passing
- libirmin.3.11.0 on 5.3.0 had its build status changed: partially failing to 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
- lichess_api.1.0.1 on 4.14.2 is now installable. Current state is: passing
- lichess_api.1.0.1 on 5.3.0 is now installable. Current state is: passing
- links-mysql.0.9.8 on 5.3.0 had its build status changed: partially failing to passing
- links-postgresql.0.9.8 on 5.3.0 had its build status changed: internal failure to passing
- links-sqlite3.0.9.8 on 5.3.0 had its build status changed: partially failing to passing
- links.0.9.8 on 5.3.0 had its build status changed: partially failing to passing
- linol-eio.0.10 on 5.3.0 had its build status changed: partially failing to passing
- linol-lwt.0.10 on 4.14.2 had its build status changed: partially failing to passing
- linol-lwt.0.10 on 5.3.0 had its build status changed: partially failing to passing
- linol.0.10 on 4.14.2 had its build status changed: failing to passing
- linol.0.10 on 5.3.0 had its build status changed: failing to passing
- linwrap.9.2.0 on 5.3.0 is now installable. Current state is: passing
- liquidsoap-js.2.4.0 on 4.14.2 is now installable. Current state is: passing
- liquidsoap-js.2.4.0 on 5.3.0 is now installable. Current state is: passing
- liquidsoap-lang.2.4.0 on 4.14.2 is now installable. Current state is: passing
- liquidsoap-lang.2.4.0 on 5.3.0 is now installable. Current state is: passing
- liquidsoap-mode.2.4.0 on 4.14.2 is now installable. Current state is: passing
- liquidsoap-mode.2.4.0 on 5.3.0 is now installable. Current state is: passing
- liquidsoap.2.4.0 on 4.14.2 is now installable. Current state is: passing
- liquidsoap.2.4.0 on 5.3.0 is now installable. Current state is: passing
- llvm.19-static on 5.3.0 had its build status changed: internal failure to passing
- logs.0.10.0 on 4.14.2 is now installable. Current state is: passing
- logs.0.10.0 on 5.3.0 is now installable. Current state is: passing
- logtk.1.6 on 4.14.2 had its build status changed: internal failure to passing
- lp-glpk-js.0.5.0 on 5.3.0 had its build status changed: partially failing to passing
- lru_cache.0.4.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
- lt-code.0.1.1 on 5.3.0 had its build status changed: internal failure to passing
- lua_parser.1.0.2 on 5.3.0 had its build status changed: partially failing to passing
- lucid.0.1.5 on 5.3.0 had its build status changed: internal failure to passing
- lun.0.0.2 on 4.14.2 is now installable. Current state is: passing
- lun.0.0.2 on 5.3.0 is now installable. Current state is: passing
- lustre-v6.6.107.1 on 4.14.2 had its build status changed: partially failing to passing
- lwt-canceler.0.3 on 5.3.0 had its build status changed: partially failing to passing
- lwt-exit.1.0 on 5.3.0 had its build status changed: internal failure to passing
- lwt-parallel.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
- lwt-parallel.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- lwt-pipe.0.1 on 4.14.2 had its build status changed: internal failure to passing
- lwt-watcher.0.2 on 4.14.2 had its build status changed: partially failing to passing
- lwt.6.0.0~alpha00 on 4.14.2 had its build status changed: internal failure to passing
- lwt.6.0.0~alpha00 on 5.3.0 had its build status changed: internal failure to passing
- lwt_eio.0.5.1 on 5.3.0 had its build status changed: internal failure to passing
- lwt_log.1.1.2 on 4.14.2 had its build status changed: partially failing to passing
- lwt_ppx.5.9.2 on 4.14.2 is now installable. Current state is: passing
- lwt_ppx.5.9.2 on 5.3.0 is now installable. Current state is: passing
- lwt_react.1.2.0 on 4.14.2 had its build status changed: internal failure to passing
- lwt_retry.5.9.0 on 4.14.2 had its build status changed: internal failure to passing
- lwt_ssl.1.2.0 on 4.14.2 had its build status changed: internal failure to passing
- lz4.1.3.0 on 5.3.0 had its build status changed: internal failure to passing
- m_tree.0.1 on 4.14.2 had its build status changed: internal failure to passing
- macaddr-sexp.5.6.1 on 4.14.2 had its build status changed: internal failure to passing
- macaddr-sexp.5.6.1 on 5.3.0 had its build status changed: partially failing to passing
- macaddr.5.6.1 on 4.14.2 had its build status changed: partially failing to passing
- macaque.0.8 on 4.14.2 had its build status changed: internal failure to passing
- macaroons.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- mad.0.5.3 on 5.3.0 had its build status changed: internal failure to passing
- magic-mime.1.3.1 on 5.3.0 had its build status changed: partially failing to passing
- make-random.0.1 on 4.14.2 had its build status changed: internal failure to passing
- mariadb.1.3.0 on 4.14.2 had its build status changed: internal failure to passing
- mariadb.1.3.0 on 5.3.0 had its build status changed: internal failure to passing
- markdown.0.2.1 on 4.14.2 had its build status changed: partially failing to passing
- markdown.0.2.1 on 5.3.0 had its build status changed: partially failing to passing
- markup-lwt.0.5.0 on 5.3.0 had its build status changed: internal failure to passing
- mastodon-archive-viewer.0.4.0 on 4.14.2 had its build status changed: internal failure to passing
- mastodon-archive-viewer.0.4.0 on 5.3.0 had its build status changed: internal failure to passing
- matplotlib.0.2 on 4.14.2 had its build status changed: partially failing to passing
- matplotlib.0.2 on 5.3.0 had its build status changed: not available to passing
- mazeppa.0.7.0 on 4.14.2 is now installable. Current state is: passing
- mazeppa.0.7.0 on 5.3.0 is now installable. Current state is: passing
- mc2.0.1 on 4.14.2 had its build status changed: internal failure to passing
- mc2.0.1 on 5.3.0 had its build status changed: internal failure to 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
- mehari-eio-unix.0.1 on 5.3.0 had its build status changed: internal failure to passing
- mehari-lwt-unix.0.4 on 5.3.0 had its build status changed: internal failure to passing
- mehari-mirage.0.4 on 4.14.2 had its build status changed: partially failing to passing
- mehari.0.4 on 5.3.0 had its build status changed: partially failing to passing
- mel-bastet.1.0.0 on 5.3.0 is now installable. Current state is: passing
- melange-atdgen-codec-runtime.3.0.1 on 4.14.2 had its build status changed: internal failure to passing
- melange-atdgen-codec-runtime.3.0.1 on 5.3.0 had its build status changed: partially failing to passing
- melange-fetch.0.2.0 on 4.14.2 is now installable. Current state is: passing
- melange-fetch.0.2.0 on 5.3.0 is now installable. Current state is: passing
- melange-jest.0.1.1 on 4.14.2 had its build status changed: partially failing to passing
- melange-json-native.2.0.0 on 4.14.2 had its build status changed: partially failing to passing
- melange-json.2.0.0 on 4.14.2 had its build status changed: partially failing to passing
- melange-json.2.0.0 on 5.3.0 had its build status changed: internal failure to passing
- melange-moment.0.4.0 on 4.14.2 had its build status changed: internal failure to passing
- melange-radix-icons.0.0.1 on 5.3.0 had its build status changed: internal failure to passing
- melange-recharts.4.0.3 on 4.14.2 had its build status changed: partially failing to passing
- melange-testing-library.0.1.0 on 5.3.0 had its build status changed: internal failure to passing
- melange-webapi.0.21.0 on 4.14.2 had its build status changed: partially failing to passing
- melange.5.1.0-414 on 4.14.2 had its build status changed: internal failure to passing
- memgraph_kitty.1.0 on 4.14.2 had its build status changed: partially failing to passing
- memo.0.2 on 4.14.2 had its build status changed: internal failure to passing
- memprof-limits.0.3.0 on 4.14.2 is now installable. Current state is: passing
- memprof-limits.0.3.0 on 5.3.0 is now installable. Current state is: passing
- memtrace.0.2.3 on 4.14.2 had its build status changed: internal failure to passing
- menhir-secondary.20231231 on 4.14.2 had its build status changed: failing to passing
- menhir.20250912 on 4.14.2 is now installable. Current state is: passing
- menhir.20250912 on 5.3.0 is now installable. Current state is: passing
- menhirCST.20250912 on 4.14.2 is now installable. Current state is: passing
- menhirCST.20250912 on 5.3.0 is now installable. Current state is: passing
- menhirLib.20250912 on 4.14.2 is now installable. Current state is: passing
- menhirLib.20250912 on 5.3.0 is now installable. Current state is: passing
- menhirSdk.20250912 on 4.14.2 is now installable. Current state is: passing
- menhirSdk.20250912 on 5.3.0 is now installable. Current state is: passing
- merge-fmt.0.4 on 5.3.0 had its build status changed: internal failure to passing
- merlin-extend.0.6.2 on 4.14.2 had its build status changed: partially failing to passing
- merlin-extend.0.6.2 on 5.3.0 had its build status changed: internal failure to passing
- merlin-lib.5.6-503 on 5.3.0 is now installable. Current state is: passing
- merlin.4.19-414 on 4.14.2 had its build status changed: partially failing to passing
- merlin.5.6-503 on 5.3.0 is now installable. Current state is: passing
- mesh-easymesh.0.9.5 on 4.14.2 had its build status changed: internal failure to passing
- metadb.1.0.2 on 5.3.0 had its build status changed: internal failure to passing
- metapp.0.4.4 on 5.3.0 had its build status changed: not available to passing
- metaquot.0.5.2 on 4.14.2 had its build status changed: internal failure to passing
- metaquot.0.6.0 on 5.3.0 is now installable. Current state is: passing
- metrics-lwt.0.5.0 on 4.14.2 had its build status changed: internal failure to passing
- metrics-unix.0.5.0 on 4.14.2 had its build status changed: internal failure to passing
- metrics-unix.0.5.0 on 5.3.0 had its build status changed: internal failure to passing
- mew.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- mew.0.1.0 on 5.3.0 had its build status changed: internal failure to passing
- mew_vi.0.5.0 on 4.14.2 had its build status changed: internal failure to passing
- middleware.0.0.1 on 4.14.2 had its build status changed: internal failure to passing
- mikmatch.1.0.9 on 5.3.0 had its build status changed: internal failure to passing
- mimic.0.0.9 on 4.14.2 had its build status changed: internal failure to passing
- mimic.0.0.9 on 5.3.0 had its build status changed: internal failure to passing
- minicaml.0.3.1 on 5.3.0 had its build status changed: internal failure to passing
- minicli.5.0.2 on 4.14.2 had its build status changed: internal failure to passing
- minima-theme.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
- miou.0.5.0 on 5.3.0 is now installable. Current state is: passing
- mirage-block-combinators.3.0.2 on 4.14.2 had its build status changed: internal failure to passing
- mirage-block-lwt.1.2.0 on 4.14.2 had its build status changed: internal failure to passing
- mirage-block-lwt.1.2.0 on 5.3.0 had its build status changed: partially failing to passing
- mirage-block-partition.0.2.0 on 4.14.2 had its build status changed: internal failure to passing
- mirage-block-partition.0.2.0 on 5.3.0 had its build status changed: internal failure to passing
- mirage-block-ramdisk.0.6 on 5.3.0 had its build status changed: internal failure to passing
- mirage-block-solo5.0.8.1 on 4.14.2 had its build status changed: internal failure to passing
- mirage-block-unikraft.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- mirage-block-xen.2.1.3 on 5.3.0 had its build status changed: internal failure to passing
- mirage-block.3.0.2 on 5.3.0 had its build status changed: internal failure to passing
- mirage-bootvar.1.0.1 on 5.3.0 had its build status changed: partially failing to passing
- mirage-channel-lwt.3.2.0 on 5.3.0 had its build status changed: partially failing to passing
- mirage-console-lwt.2.4.3 on 4.14.2 had its build status changed: partially failing to passing
- mirage-console-lwt.2.4.3 on 5.3.0 had its build status changed: partially failing to passing
- mirage-console.2.4.3 on 4.14.2 had its build status changed: partially failing to passing
- mirage-crypto-ec.2.0.2 on 4.14.2 is now installable. Current state is: passing
- mirage-crypto-ec.2.0.2 on 5.3.0 is now installable. Current state is: passing
- mirage-crypto-pk.2.0.2 on 4.14.2 is now installable. Current state is: passing
- mirage-crypto-pk.2.0.2 on 5.3.0 is now installable. Current state is: passing
- mirage-crypto-rng-miou-unix.2.0.2 on 5.3.0 is now installable. Current state is: passing
- mirage-crypto-rng-mirage.2.0.2 on 4.14.2 is now installable. Current state is: passing
- mirage-crypto-rng-mirage.2.0.2 on 5.3.0 is now installable. Current state is: passing
- mirage-crypto-rng.2.0.2 on 4.14.2 is now installable. Current state is: passing
- mirage-crypto-rng.2.0.2 on 5.3.0 is now installable. Current state is: passing
- mirage-crypto.2.0.2 on 4.14.2 is now installable. Current state is: passing
- mirage-crypto.2.0.2 on 5.3.0 is now installable. Current state is: passing
- mirage-device.2.0.0 on 5.3.0 had its build status changed: partially failing to passing
- mirage-fs.4.0.0 on 4.14.2 had its build status changed: internal failure to passing
- mirage-fs.4.0.0 on 5.3.0 had its build status changed: internal failure to 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-kv-unix.3.0.1 on 5.3.0 had its build status changed: partially failing to passing
- mirage-monitoring.0.0.8 on 4.14.2 is now installable. Current state is: passing
- mirage-mtime.5.2.0 on 4.14.2 is now installable. Current state is: passing
- mirage-mtime.5.2.0 on 5.3.0 is now installable. Current state is: passing
- mirage-nat.3.0.2 on 4.14.2 had its build status changed: internal failure to passing
- mirage-net-unikraft.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- mirage-net-unix.3.0.0 on 4.14.2 had its build status changed: internal failure to 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-profile.0.9.1 on 4.14.2 had its build status changed: internal failure to passing
- mirage-protocols-lwt.3.1.0 on 5.3.0 had its build status changed: internal failure to passing
- mirage-ptime.5.2.0 on 4.14.2 is now installable. Current state is: passing
- mirage-ptime.5.2.0 on 5.3.0 is now installable. Current state is: passing
- mirage-qubes-ipv4.2.0.0 on 5.3.0 had its build status changed: internal failure to passing
- mirage-runtime.4.10.4 on 4.14.2 is now installable. Current state is: passing
- mirage-runtime.4.10.4 on 5.3.0 is now installable. Current state is: passing
- mirage-sleep.4.1.0 on 4.14.2 is now installable. Current state is: passing
- mirage-sleep.4.1.0 on 5.3.0 is now installable. Current state is: passing
- mirage-solo5.0.10.0 on 4.14.2 had its build status changed: internal failure to passing
- mirage-time-unix.3.0.0 on 4.14.2 had its build status changed: internal failure to passing
- mirage-time-unix.3.0.0 on 5.3.0 had its build status changed: partially failing to passing
- mirage-time.3.0.0 on 4.14.2 had its build status changed: internal failure to passing
- mirage-types-lwt.3.6.0 on 4.14.2 had its build status changed: internal failure to passing
- mirage-unikraft.1.0.0 on 5.3.0 had its build status changed: partially failing to passing
- mirage-xen.9.0.0 on 4.14.2 had its build status changed: internal failure to passing
- mirage.4.10.4 on 4.14.2 is now installable. Current state is: passing
- mirage.4.10.4 on 5.3.0 is now installable. Current state is: passing
- mjson.0.2.1 on 5.3.0 had its build status changed: partially failing to passing
- mkaudio.1.1.4 on 4.14.2 had its build status changed: partially failing to passing
- mlcuddidl.3.0.8 on 4.14.2 had its build status changed: failing to passing
- mlcuddidl.3.0.8 on 5.3.0 had its build status changed: not available to passing
- mlfenv.1.0.0 on 5.3.0 had its build status changed: partially failing to passing
- mlgmpidl.1.2.15-1 on 5.3.0 had its build status changed: internal failure to passing
- mlgpx.1.0.0 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
- mm.0.8.6 on 4.14.2 had its build status changed: internal failure to passing
- module-graph.0.2.0 on 4.14.2 had its build status changed: internal failure to passing
- molenc.16.13.0 on 4.14.2 had its build status changed: internal failure to passing
- molenc.17.0.1 on 5.3.0 is now installable. Current state is: passing
- monaco_jsoo.1.0.1 on 4.14.2 had its build status changed: internal failure to passing
- monads.2.5.0 on 4.14.2 had its build status changed: partially failing to passing
- monolith.20250922 on 4.14.2 is now installable. Current state is: passing
- monolith.20250922 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.10 on 5.3.0 is now installable. Current state is: passing
- moonpool.0.10 on 5.3.0 is now installable. Current state is: passing
- mopsa.1.2 on 4.14.2 had its build status changed: internal failure to passing
- mopsa.1.2 on 5.3.0 had its build status changed: internal failure to 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
- moss.0.1.1 on 4.14.2 had its build status changed: internal failure to passing
- mpris-clients.0.2.0 on 4.14.2 had its build status changed: partially failing to passing
- mpris-clients.0.2.0 on 5.3.0 had its build status changed: internal failure to passing
- mqtt.0.2.2 on 5.3.0 had its build status changed: internal failure to passing
- mrmime.0.7.1 on 4.14.2 is now installable. Current state is: passing
- mrmime.0.7.1 on 5.3.0 is now installable. Current state is: passing
- msgpck.1.7 on 5.3.0 had its build status changed: partially failing to passing
- mstruct.1.4.0 on 4.14.2 had its build status changed: internal failure to passing
- mula.0.1.2 on 4.14.2 had its build status changed: partially failing to passing
- multibase.0.1.0 on 5.3.0 had its build status changed: internal failure to passing
- multicont.1.0.3 on 5.3.0 had its build status changed: failing to passing
- multicore-magic.2.3.1 on 4.14.2 had its build status changed: partially failing to passing
- multipart-form-data.0.3.0 on 5.3.0 had its build status changed: partially failing to passing
- multipart_form-cohttp-lwt.0.7.0 on 4.14.2 is now installable. Current state is: passing
- multipart_form-cohttp-lwt.0.7.0 on 5.3.0 is now installable. Current state is: passing
- multipart_form-eio.0.7.0 on 5.3.0 is now installable. Current state is: passing
- multipart_form-lwt.0.7.0 on 4.14.2 is now installable. Current state is: passing
- multipart_form-lwt.0.7.0 on 5.3.0 is now installable. Current state is: passing
- multipart_form-miou.0.7.0 on 5.3.0 is now installable. Current state is: passing
- multipart_form.0.7.0 on 4.14.2 is now installable. Current state is: passing
- multipart_form.0.7.0 on 5.3.0 is now installable. Current state is: passing
- mustache.3.3.0 on 4.14.2 had its build status changed: partially failing to passing
- mutaml.0.3 on 5.3.0 had its build status changed: internal failure to passing
- mvar.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
- mwt.0.1.0 on 5.3.0 had its build status changed: internal failure to passing
- mysql_protocol.3.0.3 on 4.14.2 had its build status changed: partially failing to passing
- naboris.0.1.3 on 5.3.0 had its build status changed: internal failure to passing
- nacc.1.0 on 5.3.0 had its build status changed: internal failure to passing
- nanosvg_text.0.1 on 5.3.0 had its build status changed: partially failing to passing
- nbd-unix.6.0.1 on 4.14.2 had its build status changed: internal failure to passing
- nbd-unix.6.0.1 on 5.3.0 had its build status changed: internal failure to passing
- nbd.6.0.1 on 4.14.2 had its build status changed: partially failing to 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
- nloge.0.0.2 on 5.3.0 had its build status changed: internal failure to passing
- nmea.0.1.5 on 4.14.2 had its build status changed: partially failing to passing
- nocrypto.0.5.4-2 on 4.14.2 had its build status changed: internal failure to passing
- non_empty_list.0.1 on 4.14.2 had its build status changed: partially failing to passing
- nosetup.0.8.1 on 4.14.2 had its build status changed: internal failure to passing
- not-ocamlfind.0.14 on 4.14.2 had its build status changed: partially failing to 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
- np.np1.19-0.3.1 on 5.3.0 had its build status changed: not available to passing
- nproc.0.5.1 on 4.14.2 had its build status changed: internal failure to passing
- nsq.0.5.3 on 4.14.2 had its build status changed: partially failing to passing
- nuscr.2.1.1 on 4.14.2 had its build status changed: partially failing to passing
- nuscr.2.1.1 on 5.3.0 had its build status changed: internal failure to passing
- nx-datasets.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: passing
- nx.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: passing
- obelisk.0.8.1 on 5.3.0 had its build status changed: partially failing to passing
- obuilder.0.6.0 on 4.14.2 had its build status changed: internal failure to passing
- obuilder.0.6.0 on 5.3.0 had its build status changed: partially failing to passing
- obus.1.2.5 on 4.14.2 had its build status changed: failing to passing
- ocal.0.2.2 on 5.3.0 had its build status changed: partially failing to passing
- ocaml-basics.0.3.0 on 4.14.2 had its build status changed: internal failure to 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-migrate-parsetree.2.4.0 on 4.14.2 had its build status changed: partially failing to passing
- ocaml-monadic.0.5 on 4.14.2 had its build status changed: internal failure to passing
- ocaml-protoc-plugin.6.2.0 on 4.14.2 is now installable. Current state is: passing
- ocaml-protoc-plugin.6.2.0 on 5.3.0 is now installable. Current state is: passing
- ocaml-protoc.4.0 on 4.14.2 is now installable. Current state is: passing
- ocaml-protoc.4.0 on 5.3.0 is now installable. Current state is: passing
- ocaml-sat-solvers.0.8 on 4.14.2 is now installable. Current state is: passing
- ocaml-sat-solvers.0.8 on 5.3.0 is now installable. Current state is: passing
- ocaml-solo5.1.2.0 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
- ocamlc-loc.3.20.2 on 4.14.2 is now installable. Current state is: passing
- ocamlc-loc.3.20.2 on 5.3.0 is now installable. Current state is: passing
- ocamlcodoc.1.0.1 on 5.3.0 had its build status changed: not available to passing
- ocamldap.transition on 5.3.0 had its build status changed: not available to passing
- ocamleditor.1.16.0-ocaml414 on 4.14.2 had its build status changed: internal failure to passing
- ocamlformat-lib.0.28.1 on 4.14.2 is now installable. Current state is: passing
- ocamlformat-lib.0.28.1 on 5.3.0 is now installable. Current state is: passing
- ocamlformat-mlx-lib.0.27.0.1 on 4.14.2 had its build status changed: partially failing to passing
- ocamlformat-rpc-lib.0.28.1 on 4.14.2 is now installable. Current state is: passing
- ocamlformat-rpc-lib.0.28.1 on 5.3.0 is now installable. Current state is: passing
- ocamlformat.0.28.1 on 4.14.2 is now installable. Current state is: passing
- ocamlformat.0.28.1 on 5.3.0 is now installable. Current state is: passing
- ocamlgraph.2.2.0 on 5.3.0 had its build status changed: internal failure to passing
- ocamlgraph_gtk.2.2.0 on 4.14.2 had its build status changed: internal failure to passing
- ocamlgraph_gtk.2.2.0 on 5.3.0 had its build status changed: internal failure to passing
- ocamlmod.0.1.1 on 4.14.2 is now installable. Current state is: passing
- ocamlmod.0.1.1 on 5.3.0 is now installable. Current state is: passing
- ocephes.0.8.2 on 4.14.2 had its build status changed: internal failure to passing
- ocf.1.0.0 on 4.14.2 is now installable. Current state is: passing
- ocf.1.0.0 on 5.3.0 is now installable. Current state is: passing
- ocf_ppx.1.0.0 on 4.14.2 is now installable. Current state is: passing
- ocf_ppx.1.0.0 on 5.3.0 is now installable. Current state is: passing
- ocluster-worker.0.3.0 on 4.14.2 had its build status changed: partially failing to passing
- ocluster.0.3.0 on 4.14.2 had its build status changed: internal failure to passing
- ocp-browser.1.4.0 on 5.3.0 had its build status changed: internal failure to 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
- ocsigen-start.7.1.0 on 4.14.2 had its build status changed: partially failing to passing
- ocsigenserver.6.0.0 on 4.14.2 had its build status changed: partially failing to passing
- ocsigenserver.6.0.0 on 5.3.0 had its build status changed: internal failure to passing
- ocsipersist-dbm.2.0.0 on 4.14.2 had its build status changed: internal failure to passing
- ocsipersist-dbm.2.0.0 on 5.3.0 had its build status changed: failing to passing
- ocsipersist-pgsql-config.2.0.0 on 5.3.0 had its build status changed: internal failure to passing
- ocsipersist-pgsql.2.0.0 on 5.3.0 had its build status changed: partially failing to passing
- ocsipersist-sqlite.2.0.0 on 5.3.0 had its build status changed: internal failure to passing
- octez-distributed-lwt-internal.20.1 on 4.14.2 had its build status changed: internal failure to passing
- octez-distributed-lwt-internal.20.1 on 5.3.0 had its build status changed: internal failure to passing
- ocue.0.1.0 on 4.14.2 is now installable. Current state is: passing
- ocue.0.1.0 on 5.3.0 is now installable. Current state is: 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
- ojs_base.0.9.0 on 5.3.0 is now installable. Current state is: passing
- ojs_base_all.0.9.0 on 5.3.0 is now installable. Current state is: passing
- ojs_base_ppx.0.8.0 on 5.3.0 had its build status changed: partially failing to passing
- ojs_base_ppx.0.9.0 on 5.3.0 is now installable. Current state is: passing
- ojs_ed.0.8.0 on 4.14.2 had its build status changed: partially failing to passing
- ojs_ed.0.9.0 on 5.3.0 is now installable. Current state is: passing
- ojs_filetree.0.9.0 on 5.3.0 is now installable. Current state is: passing
- ojs_list.0.9.0 on 5.3.0 is now installable. Current state is: passing
- omlr.1.0.3 on 5.3.0 had its build status changed: internal failure to passing
- opam-0install.0.5.1 on 5.3.0 had its build status changed: partially failing to passing
- opam-build.0.2.6 on 4.14.2 is now installable. Current state is: passing
- opam-build.0.2.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-client.2.5.0 on 4.14.2 is now installable. Current state is: passing
- opam-client.2.5.0 on 5.3.0 is now installable. Current state is: passing
- opam-compiler.0.2.1 on 4.14.2 is now installable. Current state is: passing
- opam-compiler.0.2.1 on 5.3.0 is now installable. Current state is: passing
- opam-core.2.5.0 on 4.14.2 is now installable. Current state is: passing
- opam-core.2.5.0 on 5.3.0 is now installable. Current state is: passing
- opam-devel.2.5.0 on 4.14.2 is now installable. Current state is: passing
- opam-devel.2.5.0 on 5.3.0 is now installable. Current state is: passing
- opam-file-format.2.2.0 on 5.3.0 had its build status changed: internal failure to passing
- opam-format.2.5.0 on 4.14.2 is now installable. Current state is: passing
- opam-format.2.5.0 on 5.3.0 is now installable. Current state is: passing
- opam-installer.2.5.0 on 4.14.2 is now installable. Current state is: passing
- opam-installer.2.5.0 on 5.3.0 is now installable. Current state is: passing
- opam-package-upgrade.0.2 on 4.14.2 had its build status changed: internal failure to passing
- opam-publish.2.7.1 on 4.14.2 is now installable. Current state is: passing
- opam-publish.2.7.1 on 5.3.0 is now installable. Current state is: passing
- opam-repository.2.5.0 on 4.14.2 is now installable. Current state is: passing
- opam-repository.2.5.0 on 5.3.0 is now installable. Current state is: passing
- opam-solver.2.5.0 on 4.14.2 is now installable. Current state is: passing
- opam-solver.2.5.0 on 5.3.0 is now installable. Current state is: passing
- opam-spin.0.8.3 on 4.14.2 had its build status changed: partially failing to passing
- opam-state.2.5.0 on 4.14.2 is now installable. Current state is: passing
- opam-state.2.5.0 on 5.3.0 is now installable. Current state is: passing
- opam-test.0.2.6 on 4.14.2 is now installable. Current state is: passing
- opam-test.0.2.6 on 5.3.0 is now installable. Current state is: passing
- opatch.3.1.0 on 4.14.2 is now installable. Current state is: passing
- opatch.3.1.0 on 5.3.0 is now installable. Current state is: passing
- openQASM.0.4.0 on 4.14.2 had its build status changed: partially failing to passing
- openapi_router.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- opencage.1.0.5 on 4.14.2 is now installable. Current state is: passing
- opencage.1.0.5 on 5.3.0 is now installable. Current state is: passing
- openstellina.0.0.3 on 4.14.2 had its build status changed: internal failure to passing
- openstellina.0.0.3 on 5.3.0 had its build status changed: internal failure to passing
- opentelemetry-client-cohttp-eio.0.12 on 5.3.0 is now installable. Current state is: passing
- opentelemetry-client-cohttp-lwt.0.12 on 4.14.2 is now installable. Current state is: passing
- opentelemetry-client-cohttp-lwt.0.12 on 5.3.0 is now installable. Current state is: passing
- opentelemetry-client-ocurl.0.12 on 4.14.2 is now installable. Current state is: passing
- opentelemetry-client-ocurl.0.12 on 5.3.0 is now installable. Current state is: passing
- opentelemetry-cohttp-lwt.0.12 on 4.14.2 is now installable. Current state is: passing
- opentelemetry-cohttp-lwt.0.12 on 5.3.0 is now installable. Current state is: passing
- opentelemetry-logs.0.12 on 4.14.2 is now installable. Current state is: passing
- opentelemetry-logs.0.12 on 5.3.0 is now installable. Current state is: passing
- opentelemetry-lwt.0.12 on 4.14.2 is now installable. Current state is: passing
- opentelemetry-lwt.0.12 on 5.3.0 is now installable. Current state is: passing
- opentelemetry.0.12 on 4.14.2 is now installable. Current state is: passing
- opentelemetry.0.12 on 5.3.0 is now installable. Current state is: passing
- opine.0.1.3 on 5.3.0 had its build status changed: partially failing to passing
- opium-graphql.0.20.0 on 4.14.2 had its build status changed: partially failing to passing
- opium.0.20.0 on 4.14.2 had its build status changed: partially failing to passing
- oplot.0.85 on 4.14.2 is now installable. Current state is: passing
- oplot.0.85 on 5.3.0 is now installable. Current state is: passing
- opus.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- order-i3-xfce.0.1 on 4.14.2 had its build status changed: partially failing to passing
- ordering.3.20.2 on 4.14.2 is now installable. Current state is: passing
- ordering.3.20.2 on 5.3.0 is now installable. Current state is: passing
- orec.1.0.1 on 4.14.2 had its build status changed: internal failure to passing
- orf.1.0.1 on 5.3.0 is now installable. Current state is: passing
- orgeat.0.0.1 on 5.3.0 had its build status changed: internal failure to passing
- orm.0.7.1 on 4.14.2 had its build status changed: internal failure to passing
- orsvm_e1071.4.0.0 on 4.14.2 had its build status changed: internal failure to passing
- orsvm_e1071.4.0.0 on 5.3.0 had its build status changed: internal failure to passing
- ortac-core.0.7.2 on 4.14.2 is now installable. Current state is: passing
- ortac-core.0.7.2 on 5.3.0 is now installable. Current state is: passing
- ortac-dune.0.7.2 on 4.14.2 is now installable. Current state is: passing
- ortac-dune.0.7.2 on 5.3.0 is now installable. Current state is: passing
- ortac-qcheck-stm.0.7.2 on 4.14.2 is now installable. Current state is: passing
- ortac-qcheck-stm.0.7.2 on 5.3.0 is now installable. Current state is: passing
- ortac-runtime-qcheck-stm.0.7.2 on 4.14.2 is now installable. Current state is: passing
- ortac-runtime-qcheck-stm.0.7.2 on 5.3.0 is now installable. Current state is: passing
- ortac-runtime.0.7.2 on 4.14.2 is now installable. Current state is: passing
- ortac-runtime.0.7.2 on 5.3.0 is now installable. Current state is: passing
- ortac-wrapper.0.7.2 on 4.14.2 is now installable. Current state is: passing
- ortac-wrapper.0.7.2 on 5.3.0 is now installable. Current state is: passing
- orthologic-coq.0.9.1 on 5.3.0 had its build status changed: internal failure to passing
- osbx.1.2.4 on 4.14.2 had its build status changed: internal failure to passing
- osh.0.1 on 4.14.2 had its build status changed: internal failure to passing
- oskel.0.3.0 on 4.14.2 had its build status changed: partially failing to passing
- oskel.0.3.0 on 5.3.0 had its build status changed: internal failure to passing
- otaglibc.0.1.0 on 4.14.2 is now installable. Current state is: passing
- otaglibc.0.1.0 on 5.3.0 is now installable. Current state is: passing
- otoggl.0.3.2 on 4.14.2 had its build status changed: partially failing to passing
- ounit-lwt.2.2.7 on 5.3.0 had its build status changed: internal failure to passing
- ounit.2.2.7 on 4.14.2 had its build status changed: internal failure to passing
- owl-ode-base.0.5.0 on 5.3.0 had its build status changed: internal failure to passing
- owork.0.1.1 on 4.14.2 had its build status changed: internal failure to passing
- owork.0.1.1 on 5.3.0 had its build status changed: partially failing to passing
- ozulip.0.1 on 4.14.2 had its build status changed: internal failure to passing
- ozulip.0.1 on 5.3.0 had its build status changed: partially failing to passing
- pa_ppx_parsetree.0.02 on 4.14.2 had its build status changed: internal failure to passing
- paf-cohttp.0.8.0 on 5.3.0 had its build status changed: internal failure to passing
- pageantty.0.0.3 on 4.14.2 is now installable. Current state is: passing
- pageantty.0.0.3 on 5.3.0 is now installable. Current state is: passing
- pandoc.0.2.1 on 4.14.2 had its build status changed: internal failure to passing
- pandoc.0.2.1 on 5.3.0 had its build status changed: partially failing to passing
- parsexp.v0.16.0 on 5.3.0 had its build status changed: internal failure to passing
- parsley.0.0.1 on 5.3.0 had its build status changed: partially failing to passing
- patch.3.1.0 on 4.14.2 is now installable. Current state is: passing
- patch.3.1.0 on 5.3.0 is now installable. Current state is: passing
- path_glob.0.3 on 4.14.2 had its build status changed: internal failure to passing
- pbkdf.1.2.0 on 4.14.2 had its build status changed: partially failing to passing
- pbrt.4.0 on 4.14.2 is now installable. Current state is: passing
- pbrt.4.0 on 5.3.0 is now installable. Current state is: passing
- pbrt_services.4.0 on 4.14.2 is now installable. Current state is: passing
- pbrt_services.4.0 on 5.3.0 is now installable. Current state is: passing
- pbrt_yojson.4.0 on 4.14.2 is now installable. Current state is: passing
- pbrt_yojson.4.0 on 5.3.0 is now installable. Current state is: passing
- pci-db.0.3.0 on 4.14.2 had its build status changed: internal failure to 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
- pcre2.8.0.4 on 4.14.2 is now installable. Current state is: passing
- pcre2.8.0.4 on 5.3.0 is now installable. Current state is: passing
- pds.5.42 on 4.14.2 had its build status changed: partially failing to passing
- pds.5.42 on 5.3.0 had its build status changed: partially failing to passing
- petrol.1.2.0 on 4.14.2 had its build status changed: internal failure to passing
- pgn_parser.1.0.1 on 4.14.2 is now installable. Current state is: passing
- pgn_parser.1.0.1 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
- pgx_lwt_mirage.2.2 on 5.3.0 had its build status changed: partially failing to passing
- pgx_lwt_unix.2.2 on 5.3.0 had its build status changed: partially failing to passing
- pgx_value_core.2.2 on 4.14.2 had its build status changed: internal failure to passing
- picos_io_cohttp.0.6.0 on 4.14.2 had its build status changed: internal failure to passing
- pkcs11-driver.1.0.1 on 4.14.2 had its build status changed: internal failure to passing
- plato.1.1.3 on 5.3.0 had its build status changed: not available to passing
- plist-xml-lwt.0.3.0 on 4.14.2 had its build status changed: partially failing to passing
- plist-xml.0.5.1 on 5.3.0 had its build status changed: partially failing to passing
- plotkicadsch.0.9.0 on 4.14.2 had its build status changed: partially failing to passing
- plotkicadsch.0.9.0 on 5.3.0 had its build status changed: partially failing to passing
- plotly.1.0.0 on 4.14.2 had its build status changed: partially failing to passing
- plotly.1.0.0 on 5.3.0 had its build status changed: not available to passing
- plplot.5.12.1 on 4.14.2 had its build status changed: internal failure to passing
- plplot.5.12.1 on 5.3.0 had its build status changed: internal failure to passing
- poll.0.3.1 on 5.3.0 had its build status changed: internal failure to passing
- polynomial.0.4.0 on 5.3.0 had its build status changed: internal failure to passing
- popper.0.1.1 on 5.3.0 had its build status changed: internal failure to passing
- portaudio.0.2.3 on 4.14.2 had its build status changed: internal failure to passing
- posix-base.2.2.0 on 5.3.0 had its build status changed: internal failure to passing
- posix-socket-unix.3.0.0 on 5.3.0 had its build status changed: internal failure to passing
- posix-socket.3.0.0 on 4.14.2 had its build status changed: internal failure to passing
- posix-socket.3.0.0 on 5.3.0 had its build status changed: internal failure to passing
- posix-types.2.2.0 on 5.3.0 had its build status changed: partially failing to passing
- posix-uname.2.2.0 on 4.14.2 had its build status changed: partially failing to passing
- posix-uname.2.2.0 on 5.3.0 had its build status changed: internal failure to passing
- posixat.v0.17.0 on 5.3.0 had its build status changed: internal failure to passing
- postgresql.5.3.2 on 5.3.0 is now installable. Current state is: passing
- pplumbing-err.0.0.16 on 4.14.2 is now installable. Current state is: passing
- pplumbing-err.0.0.16 on 5.3.0 is now installable. Current state is: passing
- pplumbing-log-cli.0.0.16 on 4.14.2 is now installable. Current state is: passing
- pplumbing-log-cli.0.0.16 on 5.3.0 is now installable. Current state is: passing
- pplumbing-log.0.0.16 on 4.14.2 is now installable. Current state is: passing
- pplumbing-log.0.0.16 on 5.3.0 is now installable. Current state is: passing
- pplumbing-pp-tty.0.0.16 on 4.14.2 is now installable. Current state is: passing
- pplumbing-pp-tty.0.0.16 on 5.3.0 is now installable. Current state is: passing
- pplumbing.0.0.16 on 4.14.2 is now installable. Current state is: passing
- pplumbing.0.0.16 on 5.3.0 is now installable. Current state is: passing
- pprint.20230830 on 4.14.2 had its build status changed: internal failure to passing
- ppx_accessor.v0.14.0 on 4.14.2 had its build status changed: partially failing to passing
- ppx_assert.v0.16.0 on 5.3.0 had its build status changed: internal failure to passing
- ppx_assert.v0.17.0 on 5.3.0 had its build status changed: internal failure to passing
- ppx_bap.v0.14.0 on 4.14.2 had its build status changed: internal failure to passing
- ppx_bench.v0.17.1 on 5.3.0 had its build status changed: internal failure to passing
- ppx_compare.v0.17.0 on 5.3.0 had its build status changed: internal failure to passing
- ppx_const.2.0.1 on 5.3.0 had its build status changed: internal failure to passing
- ppx_css.v0.15.1 on 4.14.2 had its build status changed: partially failing to passing
- ppx_derivers.1.2.1 on 4.14.2 had its build status changed: internal failure to passing
- ppx_deriving_cmdliner.0.6.0 on 4.14.2 had its build status changed: internal failure to passing
- ppx_deriving_encoding.0.4.2 on 4.14.2 is now installable. Current state is: passing
- ppx_deriving_encoding.0.4.2 on 5.3.0 is now installable. Current state is: passing
- ppx_deriving_hardcaml.v0.16.0 on 4.14.2 had its build status changed: internal failure to passing
- ppx_deriving_jsont.0.1.1 on 4.14.2 is now installable. Current state is: passing
- ppx_deriving_jsont.0.1.1 on 5.3.0 is now installable. Current state is: passing
- ppx_deriving_jsoo.0.3 on 5.3.0 had its build status changed: partially failing to passing
- ppx_deriving_madcast.0.2 on 5.3.0 had its build status changed: partially failing to passing
- ppx_deriving_popper.0.1.1 on 4.14.2 had its build status changed: partially failing to passing
- ppx_deriving_protocol.0.8.1 on 4.14.2 had its build status changed: partially failing to passing
- ppx_deriving_protocol.0.8.1 on 5.3.0 had its build status changed: internal failure to passing
- ppx_deriving_variant_string.1.0.1 on 5.3.0 had its build status changed: partially failing to passing
- ppx_disable_unused_warnings.v0.16.0 on 4.14.2 had its build status changed: internal failure to passing
- ppx_disable_unused_warnings.v0.16.0 on 5.3.0 had its build status changed: internal failure to passing
- ppx_disable_unused_warnings.v0.17.0 on 5.3.0 had its build status changed: internal failure to passing
- ppx_distr_guards.0.3 on 5.3.0 had its build status changed: internal failure to 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_expect.v0.17.3 on 5.3.0 had its build status changed: partially failing to passing
- ppx_expect_nobase.v0.17.3.0 on 4.14.2 is now installable. Current state is: passing
- ppx_expect_nobase.v0.17.3.0 on 5.3.0 is now installable. Current state is: passing
- ppx_fail.v0.14.0 on 4.14.2 had its build status changed: partially failing to passing
- ppx_fields_conv.v0.17.0 on 5.3.0 had its build status changed: internal failure to passing
- ppx_format.1.0 on 4.14.2 is now installable. Current state is: passing
- ppx_format.1.0 on 5.3.0 is now installable. Current state is: passing
- ppx_fun.0.0.9 on 5.3.0 had its build status changed: partially failing to passing
- ppx_gen_rec.2.0.0 on 4.14.2 had its build status changed: partially failing to passing
- ppx_gen_rec.2.0.0 on 5.3.0 had its build status changed: internal failure to passing
- ppx_globalize.v0.17.2 on 5.3.0 had its build status changed: internal failure to passing
- ppx_hash.v0.17.0 on 5.3.0 had its build status changed: internal failure to passing
- ppx_here.v0.16.0 on 5.3.0 had its build status changed: internal failure to 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_interact.0.2.0 on 4.14.2 is now installable. Current state is: passing
- ppx_interact.0.2.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_jsobject_conv.0.21.1 on 4.14.2 is now installable. Current state is: passing
- ppx_jsobject_conv.0.21.1 on 5.3.0 is now installable. Current state is: passing
- ppx_jsonaf_conv.v0.16.0 on 4.14.2 had its build status changed: internal failure to passing
- ppx_log.v0.16.0 on 4.14.2 had its build status changed: partially failing to passing
- ppx_lun.0.0.2 on 4.14.2 is now installable. Current state is: passing
- ppx_lun.0.0.2 on 5.3.0 is now installable. Current state is: passing
- ppx_marshal.0.4.0 on 4.14.2 is now installable. Current state is: passing
- ppx_marshal.0.4.0 on 5.3.0 is now installable. Current state is: passing
- ppx_marshal_ext.0.4.0 on 4.14.2 is now installable. Current state is: passing
- ppx_marshal_ext.0.4.0 on 5.3.0 is now installable. Current state is: passing
- ppx_matches.0.1.0 on 4.14.2 is now installable. Current state is: passing
- ppx_minidebug.3.0.0 on 5.3.0 is now installable. Current state is: passing
- ppx_module_timer.v0.16.0 on 4.14.2 had its build status changed: internal failure to passing
- ppx_module_timer.v0.16.0 on 5.3.0 had its build status changed: internal failure to passing
- ppx_module_timer.v0.17.0 on 5.3.0 had its build status changed: internal failure to passing
- ppx_monad.0.2.0 on 4.14.2 had its build status changed: internal failure to passing
- ppx_mysql.1.1.3 on 4.14.2 had its build status changed: internal failure to passing
- ppx_optcomp.v0.17.1 on 5.3.0 had its build status changed: partially failing to passing
- ppx_optint.0.2.0 on 4.14.2 had its build status changed: internal failure to passing
- ppx_parser.0.2.0 on 5.3.0 had its build status changed: partially failing to passing
- ppx_pattern_bind.v0.16.0 on 4.14.2 had its build status changed: internal failure to passing
- ppx_pattern_bind.v0.17.1 on 5.3.0 is now installable. Current state is: passing
- ppx_protocol_conv.5.2.3 on 4.14.2 is now installable. Current state is: passing
- ppx_protocol_conv.5.2.3 on 5.3.0 is now installable. Current state is: passing
- ppx_protocol_conv_json.5.2.2 on 4.14.2 had its build status changed: partially failing to passing
- ppx_protocol_conv_json.5.2.3 on 5.3.0 is now installable. Current state is: passing
- ppx_protocol_conv_jsonm.5.2.3 on 4.14.2 is now installable. Current state is: passing
- ppx_protocol_conv_jsonm.5.2.3 on 5.3.0 is now installable. Current state is: passing
- ppx_protocol_conv_msgpack.5.2.3 on 4.14.2 is now installable. Current state is: passing
- ppx_protocol_conv_msgpack.5.2.3 on 5.3.0 is now installable. Current state is: passing
- ppx_protocol_conv_xml_light.5.2.3 on 4.14.2 is now installable. Current state is: passing
- ppx_protocol_conv_xml_light.5.2.3 on 5.3.0 is now installable. Current state is: passing
- ppx_protocol_conv_xmlm.5.2.3 on 4.14.2 is now installable. Current state is: passing
- ppx_protocol_conv_xmlm.5.2.3 on 5.3.0 is now installable. Current state is: passing
- ppx_protocol_conv_yaml.5.2.3 on 4.14.2 is now installable. Current state is: passing
- ppx_protocol_conv_yaml.5.2.3 on 5.3.0 is now installable. Current state is: passing
- ppx_pyformat.0.1.2 on 5.3.0 had its build status changed: internal failure to passing
- ppx_python.v0.16.0 on 4.14.2 had its build status changed: partially failing to passing
- ppx_python.v0.16.0 on 5.3.0 had its build status changed: not available to passing
- ppx_python.v0.17.0 on 5.3.0 is now installable. Current state is: passing
- ppx_rapper_lwt.3.1.0 on 4.14.2 had its build status changed: internal failure to passing
- ppx_regexp.0.5.1 on 4.14.2 had its build status changed: partially failing to passing
- ppx_repr.0.7.0 on 4.14.2 had its build status changed: internal failure to passing
- ppx_sexp_conv.v0.16.0 on 5.3.0 had its build status changed: partially failing to passing
- ppx_sexp_conv.v0.17.1 on 5.3.0 had its build status changed: partially failing to passing
- ppx_sexp_message.v0.16.0 on 5.3.0 had its build status changed: partially failing to passing
- ppx_sexp_message.v0.17.0 on 5.3.0 had its build status changed: internal failure to passing
- ppx_show.0.2.1 on 5.3.0 had its build status changed: not available to passing
- ppx_stable.v0.16.0 on 5.3.0 had its build status changed: internal failure to passing
- ppx_stable_witness.v0.16.0 on 4.14.2 had its build status changed: internal failure to passing
- ppx_stable_witness.v0.17.0 on 5.3.0 had its build status changed: internal failure to passing
- ppx_string.v0.16.0 on 4.14.2 had its build status changed: partially failing to passing
- ppx_string.v0.16.0 on 5.3.0 had its build status changed: internal failure to passing
- ppx_string_conv.v0.17.0 on 5.3.0 had its build status changed: internal failure to passing
- ppx_string_interpolation.1.1.0 on 4.14.2 had its build status changed: internal failure to passing
- ppx_trace.0.10 on 5.3.0 had its build status changed: failing to passing
- ppx_ts.0.1.6 on 4.14.2 had its build status changed: internal failure to passing
- ppx_ts.0.1.6 on 5.3.0 had its build status changed: partially failing to passing
- ppx_tydi.v0.17.1 on 5.3.0 had its build status changed: internal failure to passing
- ppx_typed_fields.v0.16.0 on 4.14.2 had its build status changed: partially failing to passing
- ppx_xml_conv.v0.16.0 on 4.14.2 had its build status changed: internal failure to passing
- ppx_yojson_conv.v0.16.0 on 5.3.0 had its build status changed: internal failure to 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
- ppxlib_jane.v0.17.4 on 5.3.0 had its build status changed: partially failing to passing
- ppxx.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- prbnmcn-dagger-test.0.0.2 on 4.14.2 had its build status changed: internal failure to passing
- prbnmcn-dagger-test.0.0.2 on 5.3.0 had its build status changed: internal failure to passing
- prbnmcn-dagger-test.0.0.6 on 5.3.0 had its build status changed: internal failure to passing
- prbnmcn-dagger.0.0.2 on 5.3.0 had its build status changed: internal failure to passing
- prettym.0.0.4 on 4.14.2 is now installable. Current state is: passing
- prettym.0.0.4 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
- print-table.0.1.0 on 5.3.0 had its build status changed: internal failure to passing
- printbox-md.0.12 on 5.3.0 had its build status changed: internal failure to passing
- proc-smaps.0.1.0 on 5.3.0 had its build status changed: internal failure to passing
- progress.0.5.0 on 4.14.2 is now installable. Current state is: passing
- progress.0.5.0 on 5.3.0 is now installable. Current state is: passing
- prolect.1.1.3 on 5.3.0 is now installable. Current state is: passing
- prom.0.3 on 4.14.2 had its build status changed: internal failure to passing
- promise.1.1.2 on 5.3.0 had its build status changed: internal failure to passing
- promise_jsoo_lwt.0.4.3 on 5.3.0 had its build status changed: partially failing to passing
- prooftree.0.14 on 4.14.2 had its build status changed: internal failure to passing
- prooftree.0.14 on 5.3.0 had its build status changed: internal failure to passing
- protocell.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- protocol-9p-tool.2.1.0 on 4.14.2 is now installable. Current state is: passing
- protocol-9p-tool.2.1.0 on 5.3.0 is now installable. Current state is: passing
- protocol-9p-unix.2.1.0 on 4.14.2 is now installable. Current state is: passing
- protocol-9p-unix.2.1.0 on 5.3.0 is now installable. Current state is: passing
- protocol-9p.2.1.0 on 4.14.2 is now installable. Current state is: passing
- protocol-9p.2.1.0 on 5.3.0 is now installable. Current state is: 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
- proverif.2.05 on 5.3.0 had its build status changed: internal failure to passing
- prr.0.1.1 on 4.14.2 had its build status changed: internal failure to passing
- psyche.0.0.1 on 5.3.0 had its build status changed: internal failure to passing
- publish.0.3.4+transition on 5.3.0 had its build status changed: internal failure to passing
- pulseaudio.0.1.5 on 4.14.2 had its build status changed: internal failure to passing
- pure-html.3.11.2 on 4.14.2 is now installable. Current state is: passing
- pure-html.3.11.2 on 5.3.0 is now installable. Current state is: passing
- pyml.20250807 on 4.14.2 is now installable. Current state is: passing
- pyml.20250807 on 5.3.0 is now installable. Current state is: passing
- qcaml.0.1.4 on 5.3.0 is now installable. Current state is: passing
- qcheck-alcotest.0.27 on 4.14.2 is now installable. Current state is: passing
- qcheck-alcotest.0.27 on 5.3.0 is now installable. Current state is: passing
- qcheck-core.0.27 on 4.14.2 is now installable. Current state is: passing
- qcheck-core.0.27 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-ounit.0.27 on 4.14.2 is now installable. Current state is: passing
- qcheck-ounit.0.27 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
- qcheck.0.27 on 4.14.2 is now installable. Current state is: passing
- qcheck.0.27 on 5.3.0 is now installable. Current state is: passing
- qcow-stream.0.12.2 on 4.14.2 is now installable. Current state is: passing
- qcow-stream.0.12.2 on 5.3.0 is now installable. Current state is: passing
- qcow-tool.0.12.2 on 4.14.2 is now installable. Current state is: passing
- qcow-types.0.12.2 on 4.14.2 is now installable. Current state is: passing
- qcow-types.0.12.2 on 5.3.0 is now installable. Current state is: passing
- qcow.0.12.2 on 4.14.2 is now installable. Current state is: passing
- qiskit.1.0.2 on 5.3.0 had its build status changed: not available to passing
- qrc.0.2.0 on 5.3.0 had its build status changed: partially failing to passing
- query-json.0.5.52 on 4.14.2 is now installable. Current state is: passing
- query-json.0.5.52 on 5.3.0 is now installable. Current state is: passing
- query-json.0.6.1 on 5.3.0 is now installable. Current state is: passing
- quickjs.0.1.2 on 5.3.0 had its build status changed: internal failure to passing
- raga.0.1.0 on 4.14.2 is now installable. Current state is: passing
- raga.0.1.0 on 5.3.0 is now installable. Current state is: passing
- re.1.14.0 on 4.14.2 is now installable. Current state is: passing
- re.1.14.0 on 5.3.0 is now installable. Current state is: passing
- reason-react-ppx.0.16.0 on 4.14.2 is now installable. Current state is: passing
- reason-react-ppx.0.16.0 on 5.3.0 is now installable. Current state is: passing
- reason-react.0.16.0 on 4.14.2 is now installable. Current state is: passing
- reason-react.0.16.0 on 5.3.0 is now installable. Current state is: passing
- reason.3.17.0 on 4.14.2 is now installable. Current state is: passing
- reason.3.17.0 on 5.3.0 is now installable. Current state is: passing
- received.0.12.1 on 4.14.2 is now installable. Current state is: passing
- received.0.12.1 on 5.3.0 is now installable. Current state is: passing
- redirect.0.2.1 on 5.3.0 had its build status changed: not available to passing
- redis-sync.0.8 on 5.3.0 had its build status changed: partially failing to passing
- regrade.0.1.0 on 4.14.2 is now installable. Current state is: passing
- regrade.0.1.0 on 5.3.0 is now installable. Current state is: passing
- regular.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- relude.3.0.0 on 5.3.0 is now installable. Current state is: passing
- remu_ts.0.1 on 4.14.2 had its build status changed: partially failing to passing
- repr-fuzz.0.7.0 on 4.14.2 had its build status changed: internal failure to passing
- repr.0.7.0 on 5.3.0 had its build status changed: internal failure to passing
- rescript-syntax.1.0.0 on 4.14.2 had its build status changed: failing to passing
- resource-pooling.1.2 on 4.14.2 had its build status changed: internal failure to passing
- resp-server.0.11.0 on 4.14.2 had its build status changed: internal failure to passing
- resto-acl.1.2 on 5.3.0 had its build status changed: internal failure to passing
- resto-cohttp-server.1.2 on 5.3.0 had its build status changed: internal failure to passing
- resto-cohttp.1.2 on 5.3.0 had its build status changed: internal failure to passing
- revops.2.5 on 5.3.0 had its build status changed: internal failure to passing
- rfc6287.1.0.4 on 4.14.2 had its build status changed: internal failure to passing
- rfc6287.1.0.4 on 5.3.0 had its build status changed: internal failure to passing
- rfc7748.1.0 on 4.14.2 had its build status changed: internal failure to passing
- rfsm.2.2 on 5.3.0 is now installable. Current state is: passing
- rhythm.0.0.1 on 4.14.2 had its build status changed: partially failing to passing
- rich-string.1.0.0 on 5.3.0 is now installable. Current state is: passing
- river.0.4 on 5.3.0 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-prover.9.0.0 on 4.14.2 had its build status changed: partially failing to 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
- rocq-stdlib.9.0.0 on 4.14.2 had its build status changed: internal failure to 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
- roman.0.2 on 4.14.2 had its build status changed: internal failure to passing
- rosetta.0.4.0 on 4.14.2 is now installable. Current state is: passing
- rosetta.0.4.0 on 5.3.0 is now installable. Current state is: passing
- rpmfile.0.8.0 on 4.14.2 is now installable. Current state is: passing
- rpmfile.0.8.0 on 5.3.0 is now installable. Current state is: passing
- rtop.3.17.0 on 4.14.2 is now installable. Current state is: passing
- rtop.3.17.0 on 5.3.0 is now installable. Current state is: passing
- runtime_events_tools.0.5.3 on 5.3.0 is now installable. Current state is: passing
- runtime_events_tools_bare.0.5.3 on 5.3.0 is now installable. Current state is: passing
- safepass.3.1 on 4.14.2 had its build status changed: internal failure to passing
- saga.1.0.0~alpha2 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
- salto-analyzer.0.2 on 4.14.2 is now installable. Current state is: passing
- saltoIL.0.2.0 on 4.14.2 is now installable. Current state is: passing
- samplerate.0.1.6 on 4.14.2 had its build status changed: internal failure to passing
- sarif.0.3.1 on 5.3.0 had its build status changed: partially failing to passing
- satex.0.1.1 on 4.14.2 had its build status changed: internal failure to passing
- scgi.1.0 on 5.3.0 had its build status changed: not available to passing
- scipy.sp1.5-0.3.1 on 4.14.2 had its build status changed: failing to passing
- scipy.sp1.5-0.3.1 on 5.3.0 had its build status changed: not available to passing
- scope.1.1 on 5.3.0 is now installable. Current state is: passing
- sdl-liquidsoap.3 on 4.14.2 had its build status changed: internal failure to passing
- sdl-liquidsoap.3 on 5.3.0 had its build status changed: internal failure to passing
- searchTree.0.1 on 5.3.0 had its build status changed: partially failing 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-lwt.0.12.1 on 4.14.2 is now installable. Current state is: passing
- sendmail-lwt.0.12.1 on 5.3.0 is now installable. Current state is: passing
- sendmail-miou-unix.0.12.1 on 5.3.0 is now installable. Current state is: passing
- sendmail-mirage.0.12.1 on 4.14.2 is now installable. Current state is: passing
- sendmail-mirage.0.12.1 on 5.3.0 is now installable. Current state is: passing
- sendmail.0.12.1 on 4.14.2 is now installable. Current state is: passing
- sendmail.0.12.1 on 5.3.0 is now installable. Current state is: passing
- serde_debug.0.0.1 on 4.14.2 had its build status changed: partially failing to passing
- serde_debug.0.0.1 on 5.3.0 had its build status changed: partially failing to passing
- session-webmachine.0.5.0 on 4.14.2 had its build status changed: internal failure to passing
- sessions.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- sexp_diff.v0.16.0 on 4.14.2 had its build status changed: internal failure to passing
- shared-block-ring.3.0.1 on 5.3.0 had its build status changed: partially failing to passing
- shcaml.0.2.1 on 4.14.2 had its build status changed: failing to passing
- sherlodoc.3.1.0 on 5.3.0 had its build status changed: partially failing to passing
- shexp.v0.17.0 on 5.3.0 had its build status changed: internal failure to passing
- sifun.3.0.0 on 4.14.2 had its build status changed: partially failing to passing
- sihl-cache.3.0.5 on 5.3.0 had its build status changed: partially failing to passing
- sihl-contract.0.3.0~rc1 on 5.3.0 had its build status changed: partially failing to passing
- sihl-core.0.3.0~rc1 on 4.14.2 had its build status changed: partially failing to passing
- sihl-email.3.0.5 on 5.3.0 had its build status changed: internal failure to passing
- sihl-facade.0.3.0~rc1 on 4.14.2 had its build status changed: partially failing to passing
- sihl-persistence.0.3.0~rc1 on 4.14.2 had its build status changed: partially failing to passing
- sihl-persistence.0.3.0~rc1 on 5.3.0 had its build status changed: partially failing to passing
- sihl-session.0.3.0~rc1 on 4.14.2 had its build status changed: internal failure to passing
- sihl-session.0.3.0~rc1 on 5.3.0 had its build status changed: internal failure to passing
- sihl-storage.3.0.5 on 5.3.0 had its build status changed: internal failure to passing
- simple63.1 on 4.14.2 had its build status changed: internal failure to passing
- sklearn.sk0.23-0.3.1 on 4.14.2 had its build status changed: failing to passing
- sklearn.sk0.23-0.3.1 on 5.3.0 had its build status changed: not available to passing
- slice.0.0.3 on 4.14.2 is now installable. Current state is: passing
- slice.0.0.3 on 5.3.0 is now installable. Current state is: passing
- slipshow.0.7.0 on 4.14.2 is now installable. Current state is: passing
- slipshow.0.7.0 on 5.3.0 is now installable. Current state is: passing
- smaws-lib.0.1~preview1 on 5.3.0 had its build status changed: partially failing to passing
- smtlib-utils.0.5 on 5.3.0 had its build status changed: partially failing to passing
- smtml.0.15.0 on 4.14.2 is now installable. Current state is: passing
- smtml.0.15.0 on 5.3.0 is now installable. Current state is: passing
- snf_mcp.0.2.1 on 5.3.0 is now installable. Current state is: passing
- snoke.0.3 on 4.14.2 had its build status changed: internal failure to passing
- snoke.0.3 on 5.3.0 had its build status changed: internal failure to passing
- solid.0.5.0 on 5.3.0 had its build status changed: internal failure to passing
- solid_server.0.5.0 on 4.14.2 had its build status changed: internal failure to passing
- solid_server.0.5.0 on 5.3.0 had its build status changed: internal failure to passing
- solid_tools.0.5.0 on 4.14.2 had its build status changed: internal failure to passing
- solo5.0.10.0 on 4.14.2 is now installable. Current state is: passing
- solo5.0.10.0 on 5.3.0 is now installable. Current state is: passing
- soupault.5.2.0 on 5.3.0 is now installable. Current state is: passing
- spectrum.0.6.0 on 4.14.2 had its build status changed: partially failing to passing
- spin.0.5.1 on 5.3.0 had its build status changed: partially failing to 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
- ssl.0.7.0 on 4.14.2 had its build status changed: internal failure to passing
- statocaml.0.1.0 on 4.14.2 had its build status changed: partially failing to passing
- statocaml_changelog.0.1.0 on 5.3.0 had its build status changed: internal failure to passing
- statocaml_community.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- statocaml_community.0.1.0 on 5.3.0 had its build status changed: internal failure to passing
- statocaml_github.0.1.0 on 5.3.0 had its build status changed: partially failing to passing
- statocaml_html.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- statocaml_html.0.1.0 on 5.3.0 had its build status changed: internal failure to passing
- statocaml_plots.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- statocaml_plots.0.1.0 on 5.3.0 had its build status changed: internal failure to passing
- statocaml_profile.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- statocaml_profile.0.1.0 on 5.3.0 had its build status changed: internal failure to passing
- stdcompat.21.1 on 4.14.2 is now installable. Current state is: passing
- stdcompat.21.1 on 5.3.0 is now installable. Current state is: passing
- stdune.3.20.2 on 4.14.2 is now installable. Current state is: passing
- stdune.3.20.2 on 5.3.0 is now installable. Current state is: passing
- stog.1.1.0 on 5.3.0 had its build status changed: partially failing to passing
- stog_all.1.1.0 on 5.3.0 had its build status changed: internal failure to passing
- stog_asy.1.1.0 on 5.3.0 had its build status changed: internal failure to passing
- stog_dot.1.1.0 on 5.3.0 had its build status changed: internal failure to passing
- stog_extern.1.1.0 on 5.3.0 had its build status changed: internal failure to passing
- stog_markdown.1.1.0 on 5.3.0 had its build status changed: internal failure to passing
- stog_multi_doc.1.1.0 on 5.3.0 had its build status changed: internal failure to passing
- stog_nocaml.1.1.0 on 5.3.0 had its build status changed: internal failure to passing
- stog_noexec.1.1.0 on 5.3.0 had its build status changed: internal failure to passing
- stog_plugins.1.1.0 on 5.3.0 had its build status changed: internal failure to passing
- stog_rdf.1.1.0 on 5.3.0 had its build status changed: internal failure to passing
- stog_rel_href.1.1.0 on 5.3.0 had its build status changed: partially failing to passing
- stog_server.1.1.0 on 5.3.0 had its build status changed: internal failure to passing
- stog_server_multi.1.1.0 on 5.3.0 had its build status changed: internal failure to passing
- stog_sitemap.1.1.0 on 5.3.0 had its build status changed: internal failure to passing
- stog_writing.1.1.0 on 5.3.0 had its build status changed: internal failure to passing
- stone.0.6.1 on 5.3.0 is now installable. Current state is: passing
- styled-ppx.0.56.0 on 5.3.0 had its build status changed: partially failing to passing
- swipl.0.5 on 5.3.0 had its build status changed: internal failure to passing
- synchronizer.0.1 on 5.3.0 is now installable. Current state is: passing
- syndic.1.7.0 on 4.14.2 had its build status changed: partially failing to passing
- syndic.1.7.0 on 5.3.0 had its build status changed: internal failure to passing
- sys-socket-unix.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- tacit.1.0.0 on 4.14.2 is now installable. Current state is: passing
- tacit.1.0.0 on 5.3.0 is now installable. Current state is: passing
- talon.1.0.0~alpha2 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
- terminal.0.5.0 on 4.14.2 is now installable. Current state is: passing
- terminal.0.5.0 on 5.3.0 is now installable. Current state is: passing
- terminus-cohttp.0.1.0 on 4.14.2 had its build status changed: partially failing to passing
- terminus-hlc.0.1.0 on 4.14.2 had its build status changed: partially failing to passing
- terminus.0.1.0 on 4.14.2 had its build status changed: partially failing to passing
- testo-diff.0.2.0 on 4.14.2 is now installable. Current state is: passing
- testo-diff.0.2.0 on 5.3.0 is now installable. Current state is: passing
- testo-lwt.0.2.0 on 4.14.2 is now installable. Current state is: passing
- testo-lwt.0.2.0 on 5.3.0 is now installable. Current state is: passing
- testo-util.0.2.0 on 4.14.2 is now installable. Current state is: passing
- testo-util.0.2.0 on 5.3.0 is now installable. Current state is: passing
- testo.0.2.0 on 4.14.2 is now installable. Current state is: passing
- testo.0.2.0 on 5.3.0 is now installable. Current state is: passing
- text-tags.2.5.0 on 4.14.2 had its build status changed: partially failing to passing
- textrazor.0.1.1 on 4.14.2 had its build status changed: internal failure to passing
- tezos-context-hash.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
- tezos-protocol-environment-structs.12.3 on 4.14.2 had its build status changed: internal failure to passing
- tezos-rust-libs.1.7 on 4.14.2 had its build status changed: internal failure to passing
- tezos-rust-libs.1.7 on 5.3.0 had its build status changed: internal failure to passing
- tezt.4.3.0 on 4.14.2 is now installable. Current state is: passing
- tezt.4.3.0 on 5.3.0 is now installable. Current state is: passing
- theora.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- thrift.0.10.0 on 4.14.2 had its build status changed: internal failure to passing
- tidy_email_mailgun.0.0.1 on 4.14.2 had its build status changed: internal failure to passing
- tidy_email_mailgun.0.0.1 on 5.3.0 had its build status changed: internal failure to passing
- tinyfiledialogs.1.0 on 4.14.2 is now installable. Current state is: passing
- tinyfiledialogs.1.0 on 5.3.0 is now installable. Current state is: passing
- tls-eio.2.0.3 on 5.3.0 is now installable. Current state is: passing
- tls-liquidsoap.1 on 4.14.2 had its build status changed: internal failure to passing
- tls-lwt.2.0.3 on 4.14.2 is now installable. Current state is: passing
- tls-lwt.2.0.3 on 5.3.0 is now installable. Current state is: passing
- tls-miou-unix.2.0.3 on 5.3.0 is now installable. Current state is: passing
- tls-mirage.2.0.3 on 4.14.2 is now installable. Current state is: passing
- tls-mirage.2.0.3 on 5.3.0 is now installable. Current state is: passing
- tls.2.0.3 on 4.14.2 is now installable. Current state is: passing
- tls.2.0.3 on 5.3.0 is now installable. Current state is: passing
- topkg-care.1.1.1 on 4.14.2 is now installable. Current state is: passing
- topkg-care.1.1.1 on 5.3.0 is now installable. Current state is: passing
- topkg.1.1.1 on 4.14.2 is now installable. Current state is: passing
- topkg.1.1.1 on 5.3.0 is now installable. Current state is: passing
- traverse.0.3.0 on 5.3.0 had its build status changed: not available to passing
- tsdl-image.0.6 on 4.14.2 had its build status changed: internal failure to passing
- tsdl-image.0.6 on 5.3.0 had its build status changed: internal failure to passing
- tsdl-mixer.0.6 on 4.14.2 had its build status changed: internal failure to passing
- tsdl-ttf.0.6 on 5.3.0 had its build status changed: internal failure to passing
- tsdl.1.2.0 on 4.14.2 is now installable. Current state is: passing
- tsdl.1.2.0 on 5.3.0 is now installable. Current state is: passing
- tuareg.3.0.1 on 5.3.0 had its build status changed: internal failure to passing
- unikraft-musl.0.20.0 on 4.14.2 is now installable. Current state is: passing
- unikraft-musl.0.20.0 on 5.3.0 is now installable. Current state is: passing
- unionFind.20250818 on 4.14.2 is now installable. Current state is: passing
- unionFind.20250818 on 5.3.0 is now installable. Current state is: passing
- unison-gui.2.53.8 on 4.14.2 is now installable. Current state is: passing
- unison-gui.2.53.8 on 5.3.0 is now installable. Current state is: passing
- unison.2.53.8 on 4.14.2 is now installable. Current state is: passing
- unison.2.53.8 on 5.3.0 is now installable. Current state is: passing
- uritemplate.0.2.0 on 5.3.0 had its build status changed: not available to passing
- uspf-lwt.0.2.0 on 4.14.2 is now installable. Current state is: passing
- uspf-lwt.0.2.0 on 5.3.0 is now installable. Current state is: passing
- uspf-mirage.0.2.0 on 4.14.2 is now installable. Current state is: passing
- uspf-mirage.0.2.0 on 5.3.0 is now installable. Current state is: passing
- uspf.0.2.0 on 4.14.2 is now installable. Current state is: passing
- uspf.0.2.0 on 5.3.0 is now installable. Current state is: passing
- uucd.17.0.0 on 4.14.2 is now installable. Current state is: passing
- uucd.17.0.0 on 5.3.0 is now installable. Current state is: passing
- uucp.17.0.0 on 4.14.2 is now installable. Current state is: passing
- uucp.17.0.0 on 5.3.0 is now installable. Current state is: passing
- uunf.17.0.0 on 4.14.2 is now installable. Current state is: passing
- uunf.17.0.0 on 5.3.0 is now installable. Current state is: passing
- uuseg.17.0.0 on 4.14.2 is now installable. Current state is: passing
- uuseg.17.0.0 on 5.3.0 is now installable. Current state is: passing
- uuuu.0.4.0 on 4.14.2 is now installable. Current state is: passing
- uuuu.0.4.0 on 5.3.0 is now installable. Current state is: passing
- vchan-xen.6.0.2 on 5.3.0 had its build status changed: internal failure to passing
- vdom.0.3 on 5.3.0 had its build status changed: partially failing to passing
- vec.0.4.0 on 5.3.0 had its build status changed: internal failure to passing
- vendredi.0.1.0 on 5.3.0 had its build status changed: partially failing to passing
- vif.0.0.1~beta1 on 5.3.0 is now installable. Current state is: passing
- virtual_dom.v0.16.0 on 4.14.2 had its build status changed: partially failing to passing
- visitors.20251114 on 4.14.2 is now installable. Current state is: passing
- visitors.20251114 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
- volgo-base.0.0.21 on 5.3.0 is now installable. Current state is: passing
- volgo-git-backend.0.0.21 on 4.14.2 is now installable. Current state is: passing
- volgo-git-backend.0.0.21 on 5.3.0 is now installable. Current state is: passing
- volgo-git-eio.0.0.21 on 5.3.0 is now installable. Current state is: passing
- volgo-hg-backend.0.0.21 on 4.14.2 is now installable. Current state is: passing
- volgo-hg-backend.0.0.21 on 5.3.0 is now installable. Current state is: passing
- volgo-hg-eio.0.0.21 on 5.3.0 is now installable. Current state is: passing
- volgo.0.0.21 on 4.14.2 is now installable. Current state is: passing
- volgo.0.0.21 on 5.3.0 is now installable. Current state is: passing
- vscoq-language-server.2.3.3 on 4.14.2 is now installable. Current state is: passing
- vscoq-language-server.2.3.3 on 5.3.0 is now installable. Current state is: passing
- vsrocq-language-server.2.3.3 on 4.14.2 is now installable. Current state is: passing
- vsrocq-language-server.2.3.3 on 5.3.0 is now installable. Current state is: passing
- vue-jsoo.0.3 on 5.3.0 had its build status changed: partially failing to passing
- wasm_of_ocaml-compiler.6.2.0 on 4.14.2 is now installable. Current state is: passing
- wasm_of_ocaml-compiler.6.2.0 on 5.3.0 is now installable. Current state is: passing
- why3-coq.1.8.2 on 4.14.2 is now installable. Current state is: passing
- why3-coq.1.8.2 on 5.3.0 is now installable. Current state is: passing
- why3-ide.1.8.2 on 4.14.2 is now installable. Current state is: passing
- why3-ide.1.8.2 on 5.3.0 is now installable. Current state is: passing
- why3.1.8.2 on 4.14.2 is now installable. Current state is: passing
- why3.1.8.2 on 5.3.0 is now installable. Current state is: passing
- why3find.1.2.0 on 4.14.2 is now installable. Current state is: passing
- why3find.1.2.0 on 5.3.0 is now installable. Current state is: passing
- xdg.3.20.2 on 4.14.2 is now installable. Current state is: passing
- xdg.3.20.2 on 5.3.0 is now installable. Current state is: passing
- xedbindings.0.11 on 4.14.2 is now installable. Current state is: passing
- xedbindings.0.11 on 5.3.0 is now installable. Current state is: passing
- xenstore-tool.1.5.0 on 4.14.2 is now installable. Current state is: passing
- xenstore-tool.1.5.0 on 5.3.0 is now installable. Current state is: passing
- xenstore_transport.1.5.0 on 4.14.2 is now installable. Current state is: passing
- xenstore_transport.1.5.0 on 5.3.0 is now installable. Current state is: passing
- xtmpl.1.2.0 on 4.14.2 is now installable. Current state is: passing
- xtmpl.1.2.0 on 5.3.0 is now installable. Current state is: passing
- xtmpl_js.1.2.0 on 4.14.2 is now installable. Current state is: passing
- xtmpl_js.1.2.0 on 5.3.0 is now installable. Current state is: passing
- xtmpl_ppx.1.2.0 on 4.14.2 is now installable. Current state is: passing
- xtmpl_ppx.1.2.0 on 5.3.0 is now installable. Current state is: passing
- yocaml.2.7.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_cmarkit.2.7.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_eio.2.7.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_git.2.7.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_jingoo.2.7.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_markdown.2.7.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_mustache.2.7.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_omd.2.7.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_otoml.2.7.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_runtime.2.7.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_syndication.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
- yocaml_syndication.2.7.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_unix.2.7.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_yaml.2.7.0 on 5.3.0 is now installable. Current state is: passing
- yuscii.0.3.0 on 5.3.0 had its build status changed: internal failure to passing
- zanuda.2.0.0 on 4.14.2 is now installable. Current state is: passing
- zanuda.2.0.0 on 5.3.0 is now installable. Current state is: passing