Home|Differences with the last checks|Previous runs

Differences between 5d6f1cf and 175a8ca (git diff)

Packages now failing:

• async_ssl.v0.14.0 on 4.14.1 is now installable. Current state is: failing
• bibtex2html.1.99-1 on 5.2.0 had its build status changed: passing to failing
• core_profiler.v0.14.0 on 4.14.1 is now installable. Current state is: failing
• fm-simplex-plugin.1.30 on 4.14.1 had its build status changed: passing to failing
• jasmin.2023.06.4 on 4.14.1 is now installable. Current state is: failing
• jasmin.2023.06.4 on 5.2.0 is now installable. Current state is: failing
• multicont.1.0.3 on 5.2.0 had its build status changed: passing to failing
• ocaml_plugin.v0.14.0 on 4.14.1 is now installable. Current state is: failing
• odnnr.2.0.0 on 5.2.0 had its build status changed: internal failure to failing
• patdiff.v0.14.0 on 4.14.1 is now installable. Current state is: failing
• sexp.v0.14.0 on 4.14.1 is now installable. Current state is: failing

Packages now partially failing:

• netsnmp.v0.14.0 on 4.14.1 is now installable. Current state is: partially failing
• ocsipersist-pgsql.2.0.0 on 4.14.1 is now installable. Current state is: partially failing
• octez-accuser-PtNairob.19.1 on 4.14.1 had its build status changed: internal failure to partially failing
• octez-baker-Proxford.19.1 on 4.14.1 had its build status changed: internal failure to partially failing
• octez-baker-PtNairob.19.1 on 4.14.1 had its build status changed: internal failure to partially failing
• phylogenetics.0.1.0 on 4.14.1 is now installable. Current state is: partially failing
• satML-plugin.1.30 on 4.14.1 had its build status changed: failing to partially failing
• shuttle_ssl.0.5.0 on 4.14.1 is now installable. Current state is: partially failing
• tezos-baking-015-PtLimaPt-commands.16.1 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-baking-015-PtLimaPt.16.1 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-baking-alpha.17.3 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-base-test-helpers.17.3 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-base.17.3 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-benchmark.19.1 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-client-000-Ps9mPmXa.17.3 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-client-003-PsddFKi3.17.3 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-client-004-Pt24m4xi.17.3 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-client-005-PsBabyM1.17.3 on 4.14.1 had its build status changed: internal failure to partially failing
• websocket-async.2.15 on 4.14.1 is now installable. Current state is: partially failing

Packages now not available:

• alcotest-async.1.7.0 on 4.14.1 is not available anymore. Previous state was: passing
• async.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• async_find.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• async_interactive.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• async_rpc_websocket.v0.15.0 on 4.14.1 is not available anymore. Previous state was: partially failing
• async_sendfile.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• async_shell.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• async_ssl.v0.15.0 on 4.14.1 is not available anymore. Previous state was: failing
• async_udp.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• async_unix.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• async_websocket.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• awsm-async.0.1.0 on 4.14.1 is not available anymore. Previous state was: partially failing
• awsm-codegen.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
• awsm-lwt.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
• awsm.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
• base.v0.17.0 on 5.2.0 is not available anymore. Previous state was: passing
• biocaml.0.11.2 on 4.14.1 is not available anymore. Previous state was: passing
• biotk.0.2.0 on 4.14.1 is not available anymore. Previous state was: passing
• bonsai.v0.15.1 on 4.14.1 is not available anymore. Previous state was: partially failing
• caisar.1.0 on 4.14.1 is not available anymore. Previous state was: passing
• cohttp_async_websocket.v0.15.0 on 4.14.1 is not available anymore. Previous state was: partially failing
• cohttp_static_handler.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• command_rpc.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• conduit-async.6.2.3 on 4.14.1 is not available anymore. Previous state was: passing
• conf-llvm.16 on 4.14.1 is not available anymore. Previous state was: passing
• conf-llvm.16 on 5.2.0 is not available anymore. Previous state was: passing
• coq-core.8.19.1 on 4.14.1 is not available anymore. Previous state was: passing
• coq-core.8.19.1 on 5.2.0 is not available anymore. Previous state was: passing
• coq-stdlib.8.19.1 on 4.14.1 is not available anymore. Previous state was: passing
• coq-stdlib.8.19.1 on 5.2.0 is not available anymore. Previous state was: passing
• coq.8.19.1 on 4.14.1 is not available anymore. Previous state was: passing
• coq.8.19.1 on 5.2.0 is not available anymore. Previous state was: passing
• coqide-server.8.19.1 on 4.14.1 is not available anymore. Previous state was: passing
• coqide-server.8.19.1 on 5.2.0 is not available anymore. Previous state was: passing
• coqide.8.19.1 on 4.14.1 is not available anymore. Previous state was: passing
• coqide.8.19.1 on 5.2.0 is not available anymore. Previous state was: passing
• core_bench.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• core_compat.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• core_extended.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• core_profiler.v0.15.0 on 4.14.1 is not available anymore. Previous state was: failing
• core_unix.v0.15.2 on 4.14.1 is not available anymore. Previous state was: passing
• crc.2.1.0 on 4.14.1 is not available anymore. Previous state was: passing
• cryptoverif.2.09 on 4.14.1 is not available anymore. Previous state was: passing
• cryptoverif.2.09 on 5.2.0 is not available anymore. Previous state was: passing
• delimited_parsing.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• distributed-lwt.0.2.0 on 5.2.0 had its build status changed: partially failing to not available
• distributed.0.6.0 on 5.2.0 had its build status changed: failing to not available
• dolmen.0.9 on 4.14.1 is not available anymore. Previous state was: passing
• dolmen.0.9 on 5.2.0 is not available anymore. Previous state was: passing
• dolmen_bin.0.9 on 4.14.1 is not available anymore. Previous state was: passing
• dolmen_bin.0.9 on 5.2.0 is not available anymore. Previous state was: passing
• dolmen_loop.0.9 on 4.14.1 is not available anymore. Previous state was: passing
• dolmen_loop.0.9 on 5.2.0 is not available anymore. Previous state was: passing
• dolmen_lsp.0.9 on 4.14.1 is not available anymore. Previous state was: passing
• dolmen_lsp.0.9 on 5.2.0 is not available anymore. Previous state was: passing
• dolmen_model.0.9 on 4.14.1 is not available anymore. Previous state was: passing
• dolmen_model.0.9 on 5.2.0 is not available anymore. Previous state was: passing
• dolmen_type.0.9 on 4.14.1 is not available anymore. Previous state was: passing
• dolmen_type.0.9 on 5.2.0 is not available anymore. Previous state was: passing
• dot-merlin-reader.5.0-502 on 5.2.0 is not available anymore. Previous state was: passing
• ecaml.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• eio-ssl.0.2.0 on 5.2.0 is not available anymore. Previous state was: passing
• eio-trace.0.1 on 5.2.0 is not available anymore. Previous state was: passing
• elpi.1.19.2 on 4.14.1 is not available anymore. Previous state was: passing
• elpi.1.19.2 on 5.2.0 is not available anymore. Previous state was: passing
• email_message.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• env_config.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• eqaf.0.9 on 4.14.1 is not available anymore. Previous state was: passing
• eqaf.0.9 on 5.2.0 is not available anymore. Previous state was: passing
• euler.0.2 on 4.14.1 is not available anymore. Previous state was: passing
• expect_test_helpers_async.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• extism-manifest.1.2.0 on 4.14.1 is not available anymore. Previous state was: passing
• extism-manifest.1.2.0 on 5.2.0 is not available anymore. Previous state was: passing
• extism.1.2.0 on 4.14.1 is not available anymore. Previous state was: passing
• extism.1.2.0 on 5.2.0 is not available anymore. Previous state was: passing
• file_path.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• fzf.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• gluten-async.0.5.1 on 4.14.1 is not available anymore. Previous state was: passing
• gopcaml-mode-merlin.0.0.6 on 4.14.1 is not available anymore. Previous state was: passing
• gopcaml-mode.0.0.6 on 4.14.1 is not available anymore. Previous state was: passing
• gradescope_submit.2.0.2 on 4.14.1 is not available anymore. Previous state was: passing
• grpc-async.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
• h2-async.0.11.0 on 4.14.1 is not available anymore. Previous state was: passing
• h2-eio.0.11.0 on 5.2.0 is not available anymore. Previous state was: passing
• h2-lwt-unix.0.11.0 on 4.14.1 is not available anymore. Previous state was: passing
• h2-lwt-unix.0.11.0 on 5.2.0 is not available anymore. Previous state was: passing
• h2-lwt.0.11.0 on 4.14.1 is not available anymore. Previous state was: passing
• h2-lwt.0.11.0 on 5.2.0 is not available anymore. Previous state was: passing
• h2-mirage.0.11.0 on 4.14.1 is not available anymore. Previous state was: passing
• h2-mirage.0.11.0 on 5.2.0 is not available anymore. Previous state was: passing
• h2.0.11.0 on 4.14.1 is not available anymore. Previous state was: passing
• h2.0.11.0 on 5.2.0 is not available anymore. Previous state was: passing
• hardcaml_c.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• hardcaml_of_verilog.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• hardcaml_verify.v0.15.0 on 4.14.1 is not available anymore. Previous state was: partially failing
• hardcaml_verilator.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• hardcaml_waveterm.v0.15.0 on 4.14.1 is not available anymore. Previous state was: failing
• hardcaml_xilinx_components.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• hg_lib.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• hkdf.1.0.4 on 4.14.1 is not available anymore. Previous state was: passing
• hkdf.1.0.4 on 5.2.0 is not available anymore. Previous state was: passing
• hpack.0.11.0 on 4.14.1 is not available anymore. Previous state was: passing
• hpack.0.11.0 on 5.2.0 is not available anymore. Previous state was: passing
• html_of_jsx.0.0.3 on 5.2.0 is not available anymore. Previous state was: passing
• http_async.0.2.0 on 4.14.1 is not available anymore. Previous state was: passing
• jasmin.2023.06.3 on 4.14.1 is not available anymore. Previous state was: failing
• jasmin.2023.06.3 on 5.2.0 is not available anymore. Previous state was: failing
• jsonschema2atd.0.0.2 on 4.14.1 is not available anymore. Previous state was: passing
• jsonschema2atd.0.0.2 on 5.2.0 is not available anymore. Previous state was: passing
• krb.v0.15.0 on 4.14.1 is not available anymore. Previous state was: failing
• line-up-words.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• llvm.16.0.6+nnp on 4.14.1 is not available anymore. Previous state was: passing
• llvm.16.0.6+nnp on 5.2.0 is not available anymore. Previous state was: passing
• magic-trace.1.0.1 on 4.14.1 is not available anymore. Previous state was: failing
• malfunction.0.5 on 4.14.1 is not available anymore. Previous state was: passing
• memtrace_viewer.v0.15.0 on 4.14.1 is not available anymore. Previous state was: partially failing
• merlin-lib.5.0-502 on 5.2.0 is not available anymore. Previous state was: passing
• merlin.5.0-502 on 5.2.0 is not available anymore. Previous state was: passing
• mimic-happy-eyeballs.0.0.8 on 4.14.1 is not available anymore. Previous state was: passing
• mimic-happy-eyeballs.0.0.8 on 5.2.0 is not available anymore. Previous state was: passing
• mimic.0.0.8 on 4.14.1 is not available anymore. Previous state was: passing
• mimic.0.0.8 on 5.2.0 is not available anymore. Previous state was: passing
• mirage-crypto-ec.0.11.3 on 4.14.1 is not available anymore. Previous state was: passing
• mirage-crypto-ec.0.11.3 on 5.2.0 is not available anymore. Previous state was: passing
• mirage-crypto-pk.0.11.3 on 4.14.1 is not available anymore. Previous state was: passing
• mirage-crypto-pk.0.11.3 on 5.2.0 is not available anymore. Previous state was: passing
• mirage-crypto-rng-async.0.11.3 on 4.14.1 is not available anymore. Previous state was: passing
• mirage-crypto-rng-eio.0.11.3 on 5.2.0 is not available anymore. Previous state was: passing
• mirage-crypto-rng-lwt.0.11.3 on 4.14.1 is not available anymore. Previous state was: passing
• mirage-crypto-rng-lwt.0.11.3 on 5.2.0 is not available anymore. Previous state was: passing
• mirage-crypto-rng-mirage.0.11.3 on 4.14.1 is not available anymore. Previous state was: passing
• mirage-crypto-rng-mirage.0.11.3 on 5.2.0 is not available anymore. Previous state was: passing
• mirage-crypto-rng.0.11.3 on 4.14.1 is not available anymore. Previous state was: passing
• mirage-crypto-rng.0.11.3 on 5.2.0 is not available anymore. Previous state was: passing
• mirage-crypto.0.11.3 on 4.14.1 is not available anymore. Previous state was: passing
• mirage-crypto.0.11.3 on 5.2.0 is not available anymore. Previous state was: passing
• mirage-runtime.4.5.1 on 4.14.1 is not available anymore. Previous state was: passing
• mirage-runtime.4.5.1 on 5.2.0 is not available anymore. Previous state was: passing
• mirage.4.5.1 on 4.14.1 is not available anymore. Previous state was: passing
• mirage.4.5.1 on 5.2.0 is not available anymore. Previous state was: passing
• multicore-bench.0.1.3 on 4.14.1 is not available anymore. Previous state was: passing
• multicore-bench.0.1.3 on 5.2.0 is not available anymore. Previous state was: passing
• netsnmp.v0.15.0 on 4.14.1 is not available anymore. Previous state was: partially failing
• notty_async.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• ocaml-embed-file.v0.15.0 on 4.14.1 is not available anymore. Previous state was: failing
• ocaml_plugin.v0.15.0 on 4.14.1 is not available anymore. Previous state was: failing
• ocsipersist-dbm.1.1.0 on 4.14.1 is not available anymore. Previous state was: passing
• ocsipersist-dbm.1.1.0 on 5.2.0 is not available anymore. Previous state was: passing
• ocsipersist-lib.1.1.0 on 4.14.1 is not available anymore. Previous state was: passing
• ocsipersist-lib.1.1.0 on 5.2.0 is not available anymore. Previous state was: passing
• ocsipersist-pgsql.1.1.0 on 4.14.1 is not available anymore. Previous state was: passing
• ocsipersist-pgsql.1.1.0 on 5.2.0 is not available anymore. Previous state was: passing
• ocsipersist-sqlite.1.1.0 on 4.14.1 is not available anymore. Previous state was: passing
• ocsipersist-sqlite.1.1.0 on 5.2.0 is not available anymore. Previous state was: passing
• ocsipersist.1.1.0 on 4.14.1 is not available anymore. Previous state was: passing
• ocsipersist.1.1.0 on 5.2.0 is not available anymore. Previous state was: passing
• oma.20240106 on 4.14.1 is not available anymore. Previous state was: internal failure
• oma.20240106 on 5.2.0 is not available anymore. Previous state was: internal failure
• opam-client.2.2.0~beta3 on 4.14.1 is not available anymore. Previous state was: passing
• opam-client.2.2.0~beta3 on 5.2.0 is not available anymore. Previous state was: passing
• opam-core.2.2.0~beta3 on 4.14.1 is not available anymore. Previous state was: passing
• opam-core.2.2.0~beta3 on 5.2.0 is not available anymore. Previous state was: passing
• opam-devel.2.2.0~beta3 on 4.14.1 is not available anymore. Previous state was: passing
• opam-devel.2.2.0~beta3 on 5.2.0 is not available anymore. Previous state was: passing
• opam-format.2.2.0~beta3 on 4.14.1 is not available anymore. Previous state was: passing
• opam-format.2.2.0~beta3 on 5.2.0 is not available anymore. Previous state was: passing
• opam-installer.2.2.0~beta3 on 4.14.1 is not available anymore. Previous state was: passing
• opam-installer.2.2.0~beta3 on 5.2.0 is not available anymore. Previous state was: passing
• opam-repository.2.2.0~beta3 on 4.14.1 is not available anymore. Previous state was: passing
• opam-repository.2.2.0~beta3 on 5.2.0 is not available anymore. Previous state was: passing
• opam-solver.2.2.0~beta3 on 4.14.1 is not available anymore. Previous state was: passing
• opam-solver.2.2.0~beta3 on 5.2.0 is not available anymore. Previous state was: passing
• opam-state.2.2.0~beta3 on 4.14.1 is not available anymore. Previous state was: passing
• opam-state.2.2.0~beta3 on 5.2.0 is not available anymore. Previous state was: passing
• p4pp.0.1.12 on 4.14.1 is not available anymore. Previous state was: passing
• pa_ppx.0.14 on 4.14.1 is not available anymore. Previous state was: passing
• pa_ppx_migrate.0.11 on 4.14.1 is not available anymore. Previous state was: passing
• patdiff.v0.15.0 on 4.14.1 is not available anymore. Previous state was: failing
• phylogenetics.0.2.0 on 4.14.1 is not available anymore. Previous state was: partially failing
• postgres_async.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• ppx_map.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
• ppx_map.0.1.0 on 5.2.0 is not available anymore. Previous state was: passing
• redis-async.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• rpc_parallel.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• sexp.v0.15.0 on 4.14.1 is not available anymore. Previous state was: failing
• sexp_macro.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• shell.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• shuttle.0.9.4 on 4.14.1 is not available anymore. Previous state was: passing
• shuttle_http.0.9.4 on 4.14.1 is not available anymore. Previous state was: partially failing
• shuttle_ssl.0.9.4 on 4.14.1 is not available anymore. Previous state was: partially failing
• smtml.0.1.1 on 4.14.1 is not available anymore. Previous state was: passing
• smtml.0.1.1 on 5.2.0 is not available anymore. Previous state was: passing
• sqlgg.20200521 on 4.14.1 is not available anymore. Previous state was: passing
• sqlgg.20200521 on 5.2.0 is not available anymore. Previous state was: passing
• textutils.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• tiny_httpd.0.16 on 4.14.1 is not available anymore. Previous state was: passing
• tiny_httpd.0.16 on 5.2.0 is not available anymore. Previous state was: passing
• tiny_httpd_camlzip.0.16 on 4.14.1 is not available anymore. Previous state was: passing
• tiny_httpd_camlzip.0.16 on 5.2.0 is not available anymore. Previous state was: passing
• tls-async.0.17.0 on 4.14.1 is not available anymore. Previous state was: passing
• toplevel_expect_test.v0.15.1 on 4.14.1 is not available anymore. Previous state was: passing
• tracing.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• vcaml.v0.15.0 on 4.14.1 is not available anymore. Previous state was: passing
• vscoq-language-server.2.1.2 on 4.14.1 is not available anymore. Previous state was: passing
• vscoq-language-server.2.1.2 on 5.2.0 is not available anymore. Previous state was: passing
• websocket-async.2.16 on 4.14.1 is not available anymore. Previous state was: partially failing
• yojson-five.2.2.1 on 4.14.1 is not available anymore. Previous state was: passing
• yojson-five.2.2.1 on 5.2.0 is not available anymore. Previous state was: passing
• yojson.2.2.1 on 4.14.1 is not available anymore. Previous state was: passing
• yojson.2.2.1 on 5.2.0 is not available anymore. Previous state was: passing
• z3.4.13.0-2 on 4.14.1 is not available anymore. Previous state was: failing
• z3.4.13.0-2 on 5.2.0 is not available anymore. Previous state was: failing

Packages now failing with an internal failure:

• conf-cmake.1 on 4.14.1 had its build status changed: passing to internal failure
• gmp-freestanding.6.2.1 on 4.14.1 had its build status changed: partially failing to internal failure

Packages now passing:

• alcotest-async.1.5.0 on 4.14.1 is now installable. Current state is: passing
• asli.0.2.0 on 4.14.1 had its build status changed: partially failing to passing
• async.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• async_find.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• async_interactive.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• async_sendfile.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• async_shell.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• async_udp.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• async_unix.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• async_websocket.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• baby.20240619 on 4.14.1 is now installable. Current state is: passing
• baby.20240619 on 5.2.0 is now installable. Current state is: passing
• base.v0.17.1 on 5.2.0 is now installable. Current state is: passing
• biocaml.0.11.1 on 4.14.1 is now installable. Current state is: passing
• biotk.0.1.0 on 4.14.1 is now installable. Current state is: passing
• caisar.2.0 on 4.14.1 is now installable. Current state is: passing
• cgi.0.10 on 4.14.1 had its build status changed: failing to passing
• command_rpc.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• conduit-async.5.1.0 on 4.14.1 is now installable. Current state is: passing
• conf-llvm.17 on 4.14.1 is now installable. Current state is: passing
• conf-llvm.17 on 5.2.0 is now installable. Current state is: passing
• coq-core.8.19.2 on 4.14.1 is now installable. Current state is: passing
• coq-core.8.19.2 on 5.2.0 is now installable. Current state is: passing
• coq-stdlib.8.19.2 on 4.14.1 is now installable. Current state is: passing
• coq-stdlib.8.19.2 on 5.2.0 is now installable. Current state is: passing
• coq.8.19.2 on 4.14.1 is now installable. Current state is: passing
• coq.8.19.2 on 5.2.0 is now installable. Current state is: passing
• coqide-server.8.19.2 on 4.14.1 is now installable. Current state is: passing
• coqide-server.8.19.2 on 5.2.0 is now installable. Current state is: passing
• coqide.8.19.2 on 4.14.1 is now installable. Current state is: passing
• coqide.8.19.2 on 5.2.0 is now installable. Current state is: passing
• core_bench.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• core_extended.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• core_unix.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• crc.2.2.0 on 4.14.1 is now installable. Current state is: passing
• crc.2.2.0 on 5.2.0 is now installable. Current state is: passing
• cryptoverif.2.10 on 4.14.1 is now installable. Current state is: passing
• cryptoverif.2.10 on 5.2.0 is now installable. Current state is: passing
• cubicle.1.2.0 on 5.2.0 had its build status changed: failing to passing
• delimited_parsing.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• diy.5.01 on 4.14.1 had its build status changed: internal failure to passing
• dolmen.0.10 on 4.14.1 is now installable. Current state is: passing
• dolmen.0.10 on 5.2.0 is now installable. Current state is: passing
• dolmen_bin.0.10 on 4.14.1 is now installable. Current state is: passing
• dolmen_bin.0.10 on 5.2.0 is now installable. Current state is: passing
• dolmen_loop.0.10 on 4.14.1 is now installable. Current state is: passing
• dolmen_loop.0.10 on 5.2.0 is now installable. Current state is: passing
• dolmen_lsp.0.10 on 4.14.1 is now installable. Current state is: passing
• dolmen_lsp.0.10 on 5.2.0 is now installable. Current state is: passing
• dolmen_model.0.10 on 4.14.1 is now installable. Current state is: passing
• dolmen_model.0.10 on 5.2.0 is now installable. Current state is: passing
• dolmen_type.0.10 on 4.14.1 is now installable. Current state is: passing
• dolmen_type.0.10 on 5.2.0 is now installable. Current state is: passing
• dot-merlin-reader.5.1 on 5.2.0 is now installable. Current state is: passing
• ecaml.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• eio-ssl.0.3.0 on 5.2.0 is now installable. Current state is: passing
• eio-trace.0.2 on 5.2.0 is now installable. Current state is: passing
• elpi.1.19.3 on 4.14.1 is now installable. Current state is: passing
• elpi.1.19.3 on 5.2.0 is now installable. Current state is: passing
• email_message.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• eqaf-cstruct.0.10 on 4.14.1 is now installable. Current state is: passing
• eqaf-cstruct.0.10 on 5.2.0 is now installable. Current state is: passing
• eqaf.0.10 on 4.14.1 is now installable. Current state is: passing
• eqaf.0.10 on 5.2.0 is now installable. Current state is: passing
• euler.0.3 on 4.14.1 is now installable. Current state is: passing
• expect_test_helpers_async.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• extism-manifest.1.3.0 on 4.14.1 is now installable. Current state is: passing
• extism-manifest.1.3.0 on 5.2.0 is now installable. Current state is: passing
• extism.1.3.0 on 4.14.1 is now installable. Current state is: passing
• extism.1.3.0 on 5.2.0 is now installable. Current state is: passing
• functory.0.6 on 4.14.1 had its build status changed: failing to passing
• h2-eio.0.12.0 on 5.2.0 is now installable. Current state is: passing
• h2-lwt-unix.0.12.0 on 4.14.1 is now installable. Current state is: passing
• h2-lwt-unix.0.12.0 on 5.2.0 is now installable. Current state is: passing
• h2-lwt.0.12.0 on 4.14.1 is now installable. Current state is: passing
• h2-lwt.0.12.0 on 5.2.0 is now installable. Current state is: passing
• h2-mirage.0.12.0 on 4.14.1 is now installable. Current state is: passing
• h2-mirage.0.12.0 on 5.2.0 is now installable. Current state is: passing
• h2.0.12.0 on 4.14.1 is now installable. Current state is: passing
• h2.0.12.0 on 5.2.0 is now installable. Current state is: passing
• hardcaml_waveterm.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• hkdf.2.0.0 on 4.14.1 is now installable. Current state is: passing
• hkdf.2.0.0 on 5.2.0 is now installable. Current state is: passing
• hpack.0.12.0 on 4.14.1 is now installable. Current state is: passing
• hpack.0.12.0 on 5.2.0 is now installable. Current state is: passing
• html_of_jsx.0.0.4 on 4.14.1 is now installable. Current state is: passing
• html_of_jsx.0.0.4 on 5.2.0 is now installable. Current state is: passing
• http_async.0.0.4 on 4.14.1 is now installable. Current state is: passing
• httpun-ws-eio.0.1.0 on 5.2.0 is now installable. Current state is: passing
• httpun-ws-lwt-unix.0.1.0 on 4.14.1 is now installable. Current state is: passing
• httpun-ws-lwt-unix.0.1.0 on 5.2.0 is now installable. Current state is: passing
• httpun-ws-lwt.0.1.0 on 4.14.1 is now installable. Current state is: passing
• httpun-ws-lwt.0.1.0 on 5.2.0 is now installable. Current state is: passing
• httpun-ws-mirage.0.1.0 on 4.14.1 is now installable. Current state is: passing
• httpun-ws-mirage.0.1.0 on 5.2.0 is now installable. Current state is: passing
• httpun-ws.0.1.0 on 4.14.1 is now installable. Current state is: passing
• httpun-ws.0.1.0 on 5.2.0 is now installable. Current state is: passing
• jsonschema2atd.0.0.3 on 4.14.1 is now installable. Current state is: passing
• jsonschema2atd.0.0.3 on 5.2.0 is now installable. Current state is: passing
• kmt.0.1 on 4.14.1 had its build status changed: partially failing to passing
• kmt.0.1 on 5.2.0 had its build status changed: partially failing to passing
• line-up-words.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• llvm.17.0.6 on 4.14.1 is now installable. Current state is: passing
• llvm.17.0.6 on 5.2.0 is now installable. Current state is: passing
• malfunction.0.6 on 4.14.1 is now installable. Current state is: passing
• malfunction.0.6 on 5.2.0 is now installable. Current state is: passing
• merlin-lib.5.1-502 on 5.2.0 is now installable. Current state is: passing
• merlin.5.1-502 on 5.2.0 is now installable. Current state is: passing
• mimic-happy-eyeballs.0.0.9 on 4.14.1 is now installable. Current state is: passing
• mimic-happy-eyeballs.0.0.9 on 5.2.0 is now installable. Current state is: passing
• mimic.0.0.9 on 4.14.1 is now installable. Current state is: passing
• mimic.0.0.9 on 5.2.0 is now installable. Current state is: passing
• mirage-crypto-ec.1.0.0 on 4.14.1 is now installable. Current state is: passing
• mirage-crypto-ec.1.0.0 on 5.2.0 is now installable. Current state is: passing
• mirage-crypto-pk.1.0.0 on 4.14.1 is now installable. Current state is: passing
• mirage-crypto-pk.1.0.0 on 5.2.0 is now installable. Current state is: passing
• mirage-crypto-rng-async.1.0.0 on 4.14.1 is now installable. Current state is: passing
• mirage-crypto-rng-eio.1.0.0 on 5.2.0 is now installable. Current state is: passing
• mirage-crypto-rng-lwt.1.0.0 on 4.14.1 is now installable. Current state is: passing
• mirage-crypto-rng-lwt.1.0.0 on 5.2.0 is now installable. Current state is: passing
• mirage-crypto-rng-miou-unix.1.0.0 on 5.2.0 is now installable. Current state is: passing
• mirage-crypto-rng-mirage.1.0.0 on 4.14.1 is now installable. Current state is: passing
• mirage-crypto-rng-mirage.1.0.0 on 5.2.0 is now installable. Current state is: passing
• mirage-crypto-rng.1.0.0 on 4.14.1 is now installable. Current state is: passing
• mirage-crypto-rng.1.0.0 on 5.2.0 is now installable. Current state is: passing
• mirage-crypto.1.0.0 on 4.14.1 is now installable. Current state is: passing
• mirage-crypto.1.0.0 on 5.2.0 is now installable. Current state is: passing
• mirage-runtime.4.6.0 on 4.14.1 is now installable. Current state is: passing
• mirage-runtime.4.6.0 on 5.2.0 is now installable. Current state is: passing
• mirage.4.6.0 on 4.14.1 is now installable. Current state is: passing
• mirage.4.6.0 on 5.2.0 is now installable. Current state is: passing
• mlx.0.9 on 4.14.1 is now installable. Current state is: passing
• mlx.0.9 on 5.2.0 is now installable. Current state is: passing
• multicore-bench.0.1.4 on 4.14.1 is now installable. Current state is: passing
• multicore-bench.0.1.4 on 5.2.0 is now installable. Current state is: passing
• notty_async.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• ocaml-index.1.0 on 5.2.0 is now installable. Current state is: passing
• ocaml-manual.4.14.0 on 4.14.1 had its build status changed: internal failure to passing
• ocaml-sat-solvers.0.7.1 on 4.14.1 had its build status changed: partially failing to passing
• ocamlmerlin-mlx.0.9 on 4.14.1 is now installable. Current state is: passing
• ocamlmerlin-mlx.0.9 on 5.2.0 is now installable. Current state is: passing
• ocsipersist-dbm-config.2.0.0 on 4.14.1 is now installable. Current state is: passing
• ocsipersist-dbm-config.2.0.0 on 5.2.0 is now installable. Current state is: passing
• ocsipersist-dbm.2.0.0 on 4.14.1 is now installable. Current state is: passing
• ocsipersist-dbm.2.0.0 on 5.2.0 is now installable. Current state is: passing
• ocsipersist-lib.2.0.0 on 4.14.1 is now installable. Current state is: passing
• ocsipersist-lib.2.0.0 on 5.2.0 is now installable. Current state is: passing
• ocsipersist-pgsql-config.2.0.0 on 4.14.1 is now installable. Current state is: passing
• ocsipersist-pgsql-config.2.0.0 on 5.2.0 is now installable. Current state is: passing
• ocsipersist-pgsql.2.0.0 on 5.2.0 is now installable. Current state is: passing
• ocsipersist-sqlite-config.2.0.0 on 4.14.1 is now installable. Current state is: passing
• ocsipersist-sqlite-config.2.0.0 on 5.2.0 is now installable. Current state is: passing
• ocsipersist-sqlite.2.0.0 on 4.14.1 is now installable. Current state is: passing
• ocsipersist-sqlite.2.0.0 on 5.2.0 is now installable. Current state is: passing
• ocsipersist.2.0.0 on 4.14.1 is now installable. Current state is: passing
• ocsipersist.2.0.0 on 5.2.0 is now installable. Current state is: passing
• odig.0.0.9 on 5.2.0 had its build status changed: internal failure to passing
• oma.20240619 on 4.14.1 is now installable. Current state is: passing
• oma.20240619 on 5.2.0 is now installable. Current state is: passing
• opam-client.2.2.0~rc1 on 4.14.1 is now installable. Current state is: passing
• opam-client.2.2.0~rc1 on 5.2.0 is now installable. Current state is: passing
• opam-core.2.2.0~rc1 on 4.14.1 is now installable. Current state is: passing
• opam-core.2.2.0~rc1 on 5.2.0 is now installable. Current state is: passing
• opam-devel.2.2.0~rc1 on 4.14.1 is now installable. Current state is: passing
• opam-devel.2.2.0~rc1 on 5.2.0 is now installable. Current state is: passing
• opam-format.2.2.0~rc1 on 4.14.1 is now installable. Current state is: passing
• opam-format.2.2.0~rc1 on 5.2.0 is now installable. Current state is: passing
• opam-installer.2.2.0~rc1 on 4.14.1 is now installable. Current state is: passing
• opam-installer.2.2.0~rc1 on 5.2.0 is now installable. Current state is: passing
• opam-repository.2.2.0~rc1 on 4.14.1 is now installable. Current state is: passing
• opam-repository.2.2.0~rc1 on 5.2.0 is now installable. Current state is: passing
• opam-solver.2.2.0~rc1 on 4.14.1 is now installable. Current state is: passing
• opam-solver.2.2.0~rc1 on 5.2.0 is now installable. Current state is: passing
• opam-state.2.2.0~rc1 on 4.14.1 is now installable. Current state is: passing
• opam-state.2.2.0~rc1 on 5.2.0 is now installable. Current state is: passing
• p4pp.0.1.11 on 4.14.1 is now installable. Current state is: passing
• pa_ppx.0.15 on 4.14.1 is now installable. Current state is: passing
• pa_ppx.0.15 on 5.2.0 is now installable. Current state is: passing
• pa_ppx_hashcons.0.11 on 5.2.0 had its build status changed: not available to passing
• pa_ppx_migrate.0.12 on 4.14.1 is now installable. Current state is: passing
• pa_ppx_migrate.0.12 on 5.2.0 is now installable. Current state is: passing
• pa_ppx_quotation2extension.0.02 on 5.2.0 had its build status changed: not available to passing
• pa_ppx_regexp.0.02 on 5.2.0 had its build status changed: not available to passing
• pa_ppx_static.0.02 on 5.2.0 had its build status changed: not available to passing
• pa_ppx_string.0.01 on 5.2.0 had its build status changed: not available to passing
• pa_ppx_unique.0.11 on 5.2.0 had its build status changed: not available to passing
• postgres_async.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• ppx_map.0.2.1 on 4.14.1 is now installable. Current state is: passing
• ppx_map.0.2.1 on 5.2.0 is now installable. Current state is: passing
• ppx_partial.1.0 on 4.14.1 is now installable. Current state is: passing
• ppx_partial.1.0 on 5.2.0 is now installable. Current state is: passing
• rpc_parallel.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• rsdd.0.1.0 on 4.14.1 had its build status changed: internal failure to passing
• sexp_macro.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• shell.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• shuttle.0.5.0 on 4.14.1 is now installable. Current state is: passing
• shuttle_http.0.3.1 on 4.14.1 is now installable. Current state is: passing
• sitemap.1.0 on 4.14.1 is now installable. Current state is: passing
• sitemap.1.0 on 5.2.0 is now installable. Current state is: passing
• smtml.0.2.1 on 4.14.1 is now installable. Current state is: passing
• smtml.0.2.1 on 5.2.0 is now installable. Current state is: passing
• sqlgg.20231201 on 4.14.1 is now installable. Current state is: passing
• sqlgg.20231201 on 5.2.0 is now installable. Current state is: passing
• textutils.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• tiny_httpd.0.17.0 on 4.14.1 is now installable. Current state is: passing
• tiny_httpd.0.17.0 on 5.2.0 is now installable. Current state is: passing
• tiny_httpd_camlzip.0.17.0 on 4.14.1 is now installable. Current state is: passing
• tiny_httpd_camlzip.0.17.0 on 5.2.0 is now installable. Current state is: passing
• tls-async.0.15.2 on 4.14.1 is now installable. Current state is: passing
• toplevel_expect_test.v0.14.1 on 4.14.1 is now installable. Current state is: passing
• twirp_cohttp_lwt_unix.0.1 on 4.14.1 is now installable. Current state is: passing
• twirp_cohttp_lwt_unix.0.1 on 5.2.0 is now installable. Current state is: passing
• twirp_core.0.1 on 4.14.1 is now installable. Current state is: passing
• twirp_core.0.1 on 5.2.0 is now installable. Current state is: passing
• twirp_ezcurl.0.1 on 4.14.1 is now installable. Current state is: passing
• twirp_ezcurl.0.1 on 5.2.0 is now installable. Current state is: passing
• twirp_tiny_httpd.0.1 on 4.14.1 is now installable. Current state is: passing
• twirp_tiny_httpd.0.1 on 5.2.0 is now installable. Current state is: passing
• universo.2.7 on 4.14.1 had its build status changed: partially failing to passing
• universo.2.7 on 5.2.0 had its build status changed: partially failing to passing
• vcaml.v0.14.0 on 4.14.1 is now installable. Current state is: passing
• vscoq-language-server.2.1.3 on 4.14.1 is now installable. Current state is: passing
• vscoq-language-server.2.1.3 on 5.2.0 is now installable. Current state is: passing
• yojson-five.2.2.2 on 4.14.1 is now installable. Current state is: passing
• yojson-five.2.2.2 on 5.2.0 is now installable. Current state is: passing
• yojson.2.2.2 on 4.14.1 is now installable. Current state is: passing
• yojson.2.2.2 on 5.2.0 is now installable. Current state is: passing
• z3.4.13.0-3 on 4.14.1 is now installable. Current state is: passing
• z3.4.13.0-3 on 5.2.0 is now installable. Current state is: passing