Home|Differences with the last checks|Previous runs

Differences between f7c62d8 and 854fc71 (git diff)

Packages now failing:

• ANSITerminal.0.8.5 on 5.3-dune had its build status changed: passing to failing
• SZXX.4.2.0 on 5.3-dune had its build status changed: passing to failing
• accessor_base.v0.17.0 on 5.3-dune had its build status changed: passing to failing
• acgtk.2.1.0 on 5.3-dune had its build status changed: passing to failing
• agrid.0.1 on 5.3-dune had its build status changed: passing to failing
• alcotest.1.9.0 on 5.3-dune had its build status changed: passing to failing
• angstrom-async.0.16.1 on 5.3-dune had its build status changed: passing to failing
• ansifmt.1.0.0~pre2 on 5.3-dune is now installable. Current state is: failing
• ao.0.2.4 on 5.3-dune had its build status changed: passing to failing
• archi.0.2.0 on 5.3-dune had its build status changed: passing to failing
• asn1-combinators.0.3.2 on 5.3-dune had its build status changed: passing to failing
• async_inotify.v0.17.0 on 5.3-dune had its build status changed: passing to failing
• async_log.v0.17.0 on 5.3-dune had its build status changed: passing to failing
• async_ssl.v0.17.0-1 on 5.3-dune had its build status changed: passing to failing
• async_websocket.v0.17.0 on 5.3-dune had its build status changed: passing to failing
• atdpy.2.16.0 on 5.3-dune had its build status changed: passing to failing
• autofonce_lib.0.8 on 5.3-dune had its build status changed: passing to failing
• autofonce_patch.0.8 on 5.3-dune had its build status changed: passing to failing
• aws-cloudtrail.1.2 on 5.3-dune had its build status changed: passing to failing
• aws-lwt.1.2 on 5.3-dune had its build status changed: passing to failing
• aws-sdb.1.2 on 5.3-dune had its build status changed: passing to failing
• azure-cosmos-db.0.3.0 on 5.3-dune had its build status changed: passing to failing
• backoff.0.1.1 on 5.3-dune had its build status changed: passing to failing
• base64.3.5.1 on 5.3-dune had its build status changed: passing to failing
• base_quickcheck.v0.17.1 on 5.3-dune is now installable. Current state is: failing
• bdd.0.5 on 5.3-dune had its build status changed: passing to failing
• bencode.2.0 on 5.3-dune had its build status changed: passing to failing
• bignum.v0.17.0 on 5.3-dune had its build status changed: passing to failing
• bimage-unix.0.6.0 on 5.3-dune had its build status changed: passing to failing
• bin_prot.v0.17.0-1 on 5.3-dune had its build status changed: passing to failing
• binsec.0.10.1 on 5.3-dune is now installable. Current state is: failing
• bitlib.1.0 on 5.3-dune had its build status changed: passing to failing
• bitwuzla-cxx.0.8.0 on 5.3-dune is now installable. Current state is: failing
• blurhash.0.1.0 on 5.3-dune had its build status changed: passing to failing
• bstr.0.0.2 on 5.3-dune is now installable. Current state is: failing
• cactus.1.0.0 on 5.3-dune had its build status changed: passing to failing
• cb-check.0.1 on 5.3-dune had its build status changed: passing to failing
• cb-check.0.1 on 5.3-opam had its build status changed: passing to failing
• coq-lsp.0.2.3+9.0 on 5.3-dune is now installable. Current state is: failing
• coq.8.20.1 on 5.3-dune is now installable. Current state is: failing
• cudajit.0.7.1 on 5.3-dune is now installable. Current state is: failing
• cudd.0.1.1 on 5.3-dune is now installable. Current state is: failing
• dune-configurator.3.19.1 on 5.3-dune is now installable. Current state is: failing
• gendarme.0.3.0 on 5.3-dune is now installable. Current state is: failing
• hl_yaml.1.0.0 on 5.3-dune had its build status changed: passing to failing
• hl_yaml.1.0.0 on 5.3-opam had its build status changed: passing to failing
• libsail.0.19.1 on 5.3-dune is now installable. Current state is: failing
• linol-eio.0.10 on 5.3-dune had its build status changed: passing to failing
• linol-lwt.0.10 on 5.3-dune had its build status changed: passing to failing
• linol.0.10 on 5.3-dune had its build status changed: passing to failing
• linol.0.10 on 5.3-opam had its build status changed: passing to failing
• mopsa.1.2 on 5.3-dune is now installable. Current state is: failing
• morbig.0.11.0 on 5.3-dune had its build status changed: passing to failing
• morbig.0.11.0 on 5.3-opam had its build status changed: passing to failing
• otaglibc.0.1.0 on 5.3-dune is now installable. Current state is: failing
• sail.0.19.1 on 5.3-dune is now installable. Current state is: failing
• sail_c_backend.0.19.1 on 5.3-dune is now installable. Current state is: failing
• sail_coq_backend.0.19.1 on 5.3-dune is now installable. Current state is: failing
• sail_doc_backend.0.19.1 on 5.3-dune is now installable. Current state is: failing
• sail_latex_backend.0.19.1 on 5.3-dune is now installable. Current state is: failing
• sail_lean_backend.0.19.1 on 5.3-dune is now installable. Current state is: failing
• sail_lem_backend.0.19.1 on 5.3-dune is now installable. Current state is: failing
• sail_ocaml_backend.0.19.1 on 5.3-dune is now installable. Current state is: failing
• sail_output.0.19.1 on 5.3-dune is now installable. Current state is: failing
• sail_smt_backend.0.19.1 on 5.3-dune is now installable. Current state is: failing
• sail_sv_backend.0.19.1 on 5.3-dune is now installable. Current state is: failing
• unisim_archisec.0.0.11 on 5.3-dune is now installable. Current state is: failing

Packages now partially failing:

• cudajit.0.7.1 on 5.3-opam is now installable. Current state is: partially failing
• frama-clang.0.0.18~beta on 5.3-opam is now installable. Current state is: partially failing
• linol-eio.0.10 on 5.3-opam had its build status changed: passing to partially failing
• linol-lwt.0.10 on 5.3-opam had its build status changed: passing to partially failing
• otaglibc.0.1.0 on 5.3-opam is now installable. Current state is: partially failing

Packages now not available:

• alg_structs_qcheck.0.1.3 on 5.3-dune had its build status changed: passing to not available
• alt-ergo-lib.2.6.2 on 5.3-dune had its build status changed: passing to not available
• alt-ergo-parsers.2.6.2 on 5.3-dune had its build status changed: passing to not available
• alt-ergo-plugin-ab-why3.2.6.2 on 5.3-dune had its build status changed: passing to not available
• alt-ergo.2.6.2 on 5.3-dune had its build status changed: passing to not available
• ansifmt.0.3.0 on 5.3-dune is not available anymore. Previous state was: passing
• ansifmt.0.3.0 on 5.3-opam is not available anymore. Previous state was: passing
• arp-mirage.2.2.1 on 5.3-opam is not available anymore. Previous state was: passing
• arrakis.1.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• arrakis.1.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• awa-lwt.0.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• bam.0.3 on 5.3-dune is not available anymore. Previous state was: passing
• bam.0.3 on 5.3-opam is not available anymore. Previous state was: passing
• base.v0.17.2 on 5.3-dune is not available anymore. Previous state was: passing
• base.v0.17.2 on 5.3-opam is not available anymore. Previous state was: passing
• base_quickcheck.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• base_quickcheck.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• bastet_lwt.0.1.0 on 5.3-dune had its build status changed: passing to not available
• bin.0.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• bin.0.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• binsec.0.10.0 on 5.3-dune is not available anymore. Previous state was: passing
• binsec.0.10.0 on 5.3-opam is not available anymore. Previous state was: passing
• bitwuzla-cxx.0.7.0 on 5.3-dune is not available anymore. Previous state was: failing
• bitwuzla-cxx.0.7.0 on 5.3-opam is not available anymore. Previous state was: passing
• bstr.0.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• bstr.0.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• build_path_prefix_map.0.3 on 5.3-dune had its build status changed: passing to not available
• ca-certs-nss.3.108-1 on 5.3-dune is not available anymore. Previous state was: passing
• ca-certs-nss.3.108-1 on 5.3-opam is not available anymore. Previous state was: passing
• cairn.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• cairn.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• caisar-xgboost.0.2 on 5.3-dune had its build status changed: passing to not available
• caisar.2.1 on 5.3-dune is not available anymore. Previous state was: passing
• caisar.2.1 on 5.3-opam is not available anymore. Previous state was: passing
• calli.0.2 on 5.3-dune had its build status changed: failing to not available
• capnp-rpc-lwt.2.0 on 5.3-dune had its build status changed: passing to not available
• capnp-rpc-mirage.1.2.3 on 5.3-opam is not available anymore. Previous state was: passing
• carton-git-lwt.1.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• carton-git-lwt.1.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• carton-lwt.1.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• carton-lwt.1.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• carton-miou-unix.1.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• carton-miou-unix.1.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• carton.1.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• carton.1.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• catapult-sqlite.0.2 on 5.3-dune had its build status changed: passing to not available
• charrua-client-lwt.1.2.2 on 5.3-opam is not available anymore. Previous state was: passing
• charrua-client-mirage.1.2.2 on 5.3-opam is not available anymore. Previous state was: passing
• chrome-trace.3.19.0 on 5.3-dune is not available anymore. Previous state was: passing
• chrome-trace.3.19.0 on 5.3-opam is not available anymore. Previous state was: passing
• climate.0.5.0 on 5.3-opam is not available anymore. Previous state was: passing
• cohttp-async.6.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• cohttp-async.6.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• cohttp-bench.6.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• cohttp-bench.6.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• cohttp-curl-async.6.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• cohttp-curl-lwt.6.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• cohttp-curl-lwt.6.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• cohttp-curl.6.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• cohttp-curl.6.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• cohttp-eio.6.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• cohttp-eio.6.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• cohttp-lwt-jsoo.6.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• cohttp-lwt-jsoo.6.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• cohttp-lwt-unix.6.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• cohttp-lwt-unix.6.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• cohttp-lwt.6.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• cohttp-lwt.6.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• cohttp-mirage.6.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• cohttp-mirage.6.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• cohttp-server-lwt-unix.6.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• cohttp-server-lwt-unix.6.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• cohttp-top.6.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• cohttp-top.6.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• cohttp.6.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• cohttp.6.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• colombe.0.11.0 on 5.3-dune is not available anymore. Previous state was: passing
• colombe.0.11.0 on 5.3-opam is not available anymore. Previous state was: passing
• conan-cli.0.0.6 on 5.3-dune had its build status changed: passing to not available
• conan-database.0.0.6 on 5.3-dune had its build status changed: passing to not available
• conan-lwt.0.0.6 on 5.3-dune had its build status changed: passing to not available
• conan-unix.0.0.6 on 5.3-dune had its build status changed: passing to not available
• conan.0.0.6 on 5.3-dune had its build status changed: passing to not available
• conex-mirage-crypto.0.11.1 on 5.3-dune had its build status changed: passing to not available
• conex-nocrypto.0.11.0 on 5.3-opam is not available anymore. Previous state was: passing
• coq-lsp.0.2.2+8.20 on 5.3-dune is not available anymore. Previous state was: passing
• coq-lsp.0.2.2+8.20 on 5.3-opam is not available anymore. Previous state was: passing
• coq.9.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• crontab.0.1 on 5.3-dune had its build status changed: passing to not available
• cudajit.0.7.0 on 5.3-dune is not available anymore. Previous state was: failing
• cudajit.0.7.0 on 5.3-opam is not available anymore. Previous state was: partially failing
• current_ansi.0.4 on 5.3-dune had its build status changed: passing to not available
• cvc5.1.2.0 on 5.3-dune is not available anymore. Previous state was: passing
• cvc5.1.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• dbase4.0.1.5 on 5.3-dune is not available anymore. Previous state was: passing
• dbase4.0.1.5 on 5.3-opam is not available anymore. Previous state was: passing
• dns-certify.10.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• dns-certify.10.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• dns-cli.10.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• dns-client-lwt.10.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• dns-client-miou-unix.10.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• dns-client-miou-unix.10.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• dns-client-mirage.10.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• dns-client-mirage.10.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• dns-client.10.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• dns-client.10.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• dns-mirage.10.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• dns-mirage.10.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• dns-resolver.10.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• dns-resolver.10.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• dns-server.10.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• dns-server.10.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• dns-stub.10.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• dns-stub.10.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• dns-tsig.10.1.0 on 5.3-dune is not available anymore. Previous state was: failing
• dns-tsig.10.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• dns.10.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• dns.10.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• dnssec.10.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• dnssec.10.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• dockerfile-cmd.8.2.8 on 5.3-dune is not available anymore. Previous state was: passing
• dockerfile-cmd.8.2.8 on 5.3-opam is not available anymore. Previous state was: passing
• dockerfile-opam.8.2.8 on 5.3-dune is not available anymore. Previous state was: passing
• dockerfile-opam.8.2.8 on 5.3-opam is not available anymore. Previous state was: passing
• dockerfile.8.2.8 on 5.3-dune is not available anymore. Previous state was: passing
• dockerfile.8.2.8 on 5.3-opam is not available anymore. Previous state was: passing
• doi2bib.0.6.2 on 5.3-dune is not available anymore. Previous state was: passing
• doi2bib.0.6.2 on 5.3-opam is not available anymore. Previous state was: passing
• dot-merlin-reader.5.4.1-503 on 5.3-dune is not available anymore. Previous state was: failing
• dot-merlin-reader.5.4.1-503 on 5.3-opam is not available anymore. Previous state was: passing
• dream-html.3.10.1 on 5.3-dune is not available anymore. Previous state was: passing
• dream-html.3.10.1 on 5.3-opam is not available anymore. Previous state was: passing
• dune-action-plugin.3.19.0 on 5.3-opam is not available anymore. Previous state was: passing
• dune-build-info.3.19.0 on 5.3-dune is not available anymore. Previous state was: passing
• dune-build-info.3.19.0 on 5.3-opam is not available anymore. Previous state was: passing
• dune-configurator.3.19.0 on 5.3-opam is not available anymore. Previous state was: passing
• dune-glob.3.19.0 on 5.3-opam is not available anymore. Previous state was: passing
• dune-private-libs.3.19.0 on 5.3-opam is not available anymore. Previous state was: passing
• dune-rpc-lwt.3.19.0 on 5.3-opam is not available anymore. Previous state was: passing
• dune-rpc.3.19.0 on 5.3-opam is not available anymore. Previous state was: passing
• dune-site.3.19.0 on 5.3-opam is not available anymore. Previous state was: passing
• dunolint-lib.0.0.20250310 on 5.3-opam is not available anymore. Previous state was: passing
• dunolint.0.0.20250310 on 5.3-opam is not available anymore. Previous state was: passing
• dyn.3.19.0 on 5.3-opam is not available anymore. Previous state was: passing
• eio.1.2 on 5.3-dune is not available anymore. Previous state was: passing
• eio.1.2 on 5.3-opam is not available anymore. Previous state was: passing
• eio_linux.1.2 on 5.3-dune is not available anymore. Previous state was: passing
• eio_linux.1.2 on 5.3-opam is not available anymore. Previous state was: passing
• eio_main.1.2 on 5.3-dune is not available anymore. Previous state was: passing
• eio_main.1.2 on 5.3-opam is not available anymore. Previous state was: passing
• eio_posix.1.2 on 5.3-dune is not available anymore. Previous state was: passing
• eio_posix.1.2 on 5.3-opam is not available anymore. Previous state was: passing
• elpi.2.0.7 on 5.3-dune is not available anymore. Previous state was: passing
• elpi.2.0.7 on 5.3-opam is not available anymore. Previous state was: passing
• euler.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• fast_bitvector.0.0.5 on 5.3-dune is not available anymore. Previous state was: passing
• fast_bitvector.0.0.5 on 5.3-opam is not available anymore. Previous state was: passing
• float_option.0.0.2 on 5.3-dune is not available anymore. Previous state was: passing
• float_option.0.0.2 on 5.3-opam is not available anymore. Previous state was: passing
• forester.4.3.1 on 5.3-dune is not available anymore. Previous state was: passing
• forester.4.3.1 on 5.3-opam is not available anymore. Previous state was: passing
• frama-c-metacsl.0.8 on 5.3-opam is not available anymore. Previous state was: passing
• frama-c.30.0 on 5.3-opam is not available anymore. Previous state was: passing
• frama-clang.0.0.17 on 5.3-opam is not available anymore. Previous state was: partially failing
• fstar.2025.03.25 on 5.3-opam is not available anymore. Previous state was: passing
• functoria-runtime.4.4.2 on 5.3-dune is not available anymore. Previous state was: passing
• functoria-runtime.4.4.2 on 5.3-opam is not available anymore. Previous state was: passing
• functoria.4.4.2 on 5.3-dune is not available anymore. Previous state was: passing
• functoria.4.4.2 on 5.3-opam is not available anymore. Previous state was: passing
• gen_js_api.1.1.4 on 5.3-dune is not available anymore. Previous state was: passing
• gen_js_api.1.1.4 on 5.3-opam is not available anymore. Previous state was: passing
• git-kv.0.1.3 on 5.3-dune is not available anymore. Previous state was: passing
• git-kv.0.1.3 on 5.3-opam is not available anymore. Previous state was: passing
• gmp.6.2.1-5 on 5.3-dune is not available anymore. Previous state was: passing
• gmp.6.2.1-5 on 5.3-opam is not available anymore. Previous state was: passing
• graphics.5.1.2 on 5.3-dune is not available anymore. Previous state was: passing
• graphics.5.1.2 on 5.3-opam is not available anymore. Previous state was: passing
• grpc-examples.0.2.0 on 5.3-dune is not available anymore. Previous state was: passing
• grpc-examples.0.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• h1-lwt-unix.1.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• h1-lwt-unix.1.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• h1.1.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• h1.1.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• hilite.0.4.0 on 5.3-dune is not available anymore. Previous state was: passing
• hilite.0.4.0 on 5.3-opam is not available anymore. Previous state was: passing
• hkdf.2.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• hkdf.2.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• html_of_jsx.0.0.4 on 5.3-dune is not available anymore. Previous state was: passing
• html_of_jsx.0.0.4 on 5.3-opam is not available anymore. Previous state was: passing
• http.6.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• http.6.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• hxd.0.3.3 on 5.3-dune is not available anymore. Previous state was: passing
• hxd.0.3.3 on 5.3-opam is not available anymore. Previous state was: passing
• ipaddr-cstruct.5.6.0 on 5.3-dune is not available anymore. Previous state was: passing
• ipaddr-cstruct.5.6.0 on 5.3-opam is not available anymore. Previous state was: passing
• ipaddr-sexp.5.6.0 on 5.3-dune is not available anymore. Previous state was: passing
• ipaddr-sexp.5.6.0 on 5.3-opam is not available anymore. Previous state was: passing
• ipaddr.5.6.0 on 5.3-dune is not available anymore. Previous state was: passing
• ipaddr.5.6.0 on 5.3-opam is not available anymore. Previous state was: passing
• iri.1.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• iri.1.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• irmin-bench.3.10.0 on 5.3-dune is not available anymore. Previous state was: passing
• irmin-bench.3.10.0 on 5.3-opam is not available anymore. Previous state was: passing
• irmin-chunk.3.10.0 on 5.3-dune is not available anymore. Previous state was: passing
• irmin-chunk.3.10.0 on 5.3-opam is not available anymore. Previous state was: passing
• irmin-cli.3.10.0 on 5.3-dune is not available anymore. Previous state was: passing
• irmin-cli.3.10.0 on 5.3-opam is not available anymore. Previous state was: passing
• irmin-client.3.10.0 on 5.3-dune is not available anymore. Previous state was: passing
• irmin-client.3.10.0 on 5.3-opam is not available anymore. Previous state was: passing
• irmin-containers.3.10.0 on 5.3-dune is not available anymore. Previous state was: passing
• irmin-containers.3.10.0 on 5.3-opam is not available anymore. Previous state was: passing
• irmin-fs.3.10.0 on 5.3-dune is not available anymore. Previous state was: passing
• irmin-fs.3.10.0 on 5.3-opam is not available anymore. Previous state was: passing
• irmin-git.3.10.0 on 5.3-dune is not available anymore. Previous state was: passing
• irmin-git.3.10.0 on 5.3-opam is not available anymore. Previous state was: passing
• irmin-graphql.3.10.0 on 5.3-dune is not available anymore. Previous state was: passing
• irmin-graphql.3.10.0 on 5.3-opam is not available anymore. Previous state was: passing
• irmin-http.2.9.1 on 5.3-opam is not available anymore. Previous state was: passing
• irmin-layers.2.9.1 on 5.3-opam is not available anymore. Previous state was: passing
• irmin-mem.2.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• irmin-mirage-git.3.10.0 on 5.3-dune is not available anymore. Previous state was: passing
• irmin-mirage-git.3.10.0 on 5.3-opam is not available anymore. Previous state was: passing
• irmin-mirage-graphql.3.10.0 on 5.3-dune is not available anymore. Previous state was: passing
• irmin-mirage-graphql.3.10.0 on 5.3-opam is not available anymore. Previous state was: passing
• irmin-mirage.3.10.0 on 5.3-dune is not available anymore. Previous state was: passing
• irmin-mirage.3.10.0 on 5.3-opam is not available anymore. Previous state was: passing
• irmin-pack-tools.3.10.0 on 5.3-dune is not available anymore. Previous state was: passing
• irmin-pack-tools.3.10.0 on 5.3-opam is not available anymore. Previous state was: passing
• irmin-pack.3.10.0 on 5.3-dune is not available anymore. Previous state was: passing
• irmin-pack.3.10.0 on 5.3-opam is not available anymore. Previous state was: passing
• irmin-server.3.10.0 on 5.3-dune is not available anymore. Previous state was: passing
• irmin-server.3.10.0 on 5.3-opam is not available anymore. Previous state was: passing
• irmin-test.3.10.0 on 5.3-dune is not available anymore. Previous state was: passing
• irmin-test.3.10.0 on 5.3-opam is not available anymore. Previous state was: passing
• irmin-tezos.3.10.0 on 5.3-dune is not available anymore. Previous state was: passing
• irmin-tezos.3.10.0 on 5.3-opam is not available anymore. Previous state was: passing
• irmin.3.10.0 on 5.3-dune is not available anymore. Previous state was: passing
• irmin.3.10.0 on 5.3-opam is not available anymore. Previous state was: passing
• jasmin.2025.02.1 on 5.3-opam is not available anymore. Previous state was: passing
• jingoo.1.5.0 on 5.3-dune is not available anymore. Previous state was: passing
• jingoo.1.5.0 on 5.3-opam is not available anymore. Previous state was: passing
• js_of_ocaml-compiler.6.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• js_of_ocaml-compiler.6.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• js_of_ocaml-lwt.6.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• js_of_ocaml-lwt.6.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• js_of_ocaml-ppx.6.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• js_of_ocaml-ppx.6.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• js_of_ocaml-ppx_deriving_json.6.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• js_of_ocaml-ppx_deriving_json.6.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• js_of_ocaml-toplevel.6.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• js_of_ocaml-tyxml.6.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• js_of_ocaml-tyxml.6.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• js_of_ocaml.6.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• js_of_ocaml.6.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• jsonrpc.1.22.0 on 5.3-dune is not available anymore. Previous state was: passing
• jsonrpc.1.22.0 on 5.3-opam is not available anymore. Previous state was: passing
• lambda_streams_lwt.0.1.2 on 5.3-dune had its build status changed: passing to not available
• lambdapi.2.6.0 on 5.3-dune is not available anymore. Previous state was: passing
• lambdapi.2.6.0 on 5.3-opam is not available anymore. Previous state was: passing
• libirmin.3.10.0 on 5.3-dune is not available anymore. Previous state was: passing
• libirmin.3.10.0 on 5.3-opam is not available anymore. Previous state was: passing
• libsail.0.19 on 5.3-dune is not available anymore. Previous state was: failing
• libsail.0.19 on 5.3-opam is not available anymore. Previous state was: passing
• logs-async-reporter.1.3 on 5.3-dune is not available anymore. Previous state was: passing
• logs-async-reporter.1.3 on 5.3-opam is not available anymore. Previous state was: passing
• logs-async.1.3 on 5.3-dune is not available anymore. Previous state was: passing
• logs-async.1.3 on 5.3-opam is not available anymore. Previous state was: passing
• lp-glpk-js.0.4.0 on 5.3-dune is not available anymore. Previous state was: passing
• lp-glpk-js.0.4.0 on 5.3-opam is not available anymore. Previous state was: passing
• lp-glpk.0.4.0 on 5.3-dune is not available anymore. Previous state was: passing
• lp-glpk.0.4.0 on 5.3-opam is not available anymore. Previous state was: passing
• lp-gurobi.0.4.0 on 5.3-dune is not available anymore. Previous state was: passing
• lp-gurobi.0.4.0 on 5.3-opam is not available anymore. Previous state was: passing
• lp.0.4.0 on 5.3-dune is not available anymore. Previous state was: passing
• lp.0.4.0 on 5.3-opam is not available anymore. Previous state was: passing
• lsp.1.22.0 on 5.3-dune is not available anymore. Previous state was: passing
• lsp.1.22.0 on 5.3-opam is not available anymore. Previous state was: passing
• lwt.5.9.1 on 5.3-dune is not available anymore. Previous state was: passing
• lwt.5.9.1 on 5.3-opam is not available anymore. Previous state was: passing
• macaddr-cstruct.5.6.0 on 5.3-dune is not available anymore. Previous state was: passing
• macaddr-cstruct.5.6.0 on 5.3-opam is not available anymore. Previous state was: passing
• macaddr-sexp.5.6.0 on 5.3-dune is not available anymore. Previous state was: passing
• macaddr-sexp.5.6.0 on 5.3-opam is not available anymore. Previous state was: passing
• macaddr.5.6.0 on 5.3-dune is not available anymore. Previous state was: passing
• macaddr.5.6.0 on 5.3-opam is not available anymore. Previous state was: passing
• merge-fmt.0.3 on 5.3-dune is not available anymore. Previous state was: passing
• merge-fmt.0.3 on 5.3-opam is not available anymore. Previous state was: passing
• merlin-lib.5.4.1-503 on 5.3-dune is not available anymore. Previous state was: failing
• merlin-lib.5.4.1-503 on 5.3-opam is not available anymore. Previous state was: passing
• merlin.5.4.1-503 on 5.3-dune is not available anymore. Previous state was: failing
• merlin.5.4.1-503 on 5.3-opam is not available anymore. Previous state was: passing
• metrics-influx.0.4.1 on 5.3-dune is not available anymore. Previous state was: passing
• metrics-influx.0.4.1 on 5.3-opam is not available anymore. Previous state was: passing
• metrics-lwt.0.4.1 on 5.3-dune is not available anymore. Previous state was: passing
• metrics-lwt.0.4.1 on 5.3-opam is not available anymore. Previous state was: passing
• metrics-mirage.0.3.0 on 5.3-opam is not available anymore. Previous state was: passing
• metrics-rusage.0.4.1 on 5.3-dune is not available anymore. Previous state was: passing
• metrics-rusage.0.4.1 on 5.3-opam is not available anymore. Previous state was: passing
• metrics-unix.0.4.1 on 5.3-dune is not available anymore. Previous state was: passing
• metrics-unix.0.4.1 on 5.3-opam is not available anymore. Previous state was: passing
• metrics.0.4.1 on 5.3-dune is not available anymore. Previous state was: passing
• metrics.0.4.1 on 5.3-opam is not available anymore. Previous state was: passing
• miou.0.3.1 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-bootvar-solo5.0.6.0 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-bootvar-solo5.0.6.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-bootvar-unix.0.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-bootvar-unix.0.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-bootvar-xen.0.8.0 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-bootvar-xen.0.8.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-channel.4.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-channel.4.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-clock-freestanding.4.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-clock-solo5.4.2.0 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-clock-solo5.4.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-console-solo5.0.8.0 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-console-solo5.0.8.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-console-unix.5.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-console-unix.5.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-console-xen-backend.5.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-console-xen-backend.5.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-console-xen-proto.5.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-console-xen-proto.5.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-console-xen.5.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-console-xen.5.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-console.5.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-console.5.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-crypto-rng-async.1.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-entropy.0.5.1 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-fs-mem.0.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-fs-mem.0.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-fs-unix.1.7.0 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-fs-unix.1.7.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-profile-unix.0.9.1 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-profile-unix.0.9.1 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-protocols.8.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-protocols.8.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-random-stdlib.0.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-random-stdlib.0.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-random-test.0.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-random-test.0.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-random.4.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-random.4.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-types-lwt.3.10.8 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-types-lwt.3.10.8 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-types.3.10.8 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-types.3.10.8 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-vnetif-stack.0.6.2 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-vnetif-stack.0.6.2 on 5.3-opam is not available anymore. Previous state was: passing
• netchannel.2.1.3 on 5.3-dune is not available anymore. Previous state was: passing
• netchannel.2.1.3 on 5.3-opam is not available anymore. Previous state was: passing
• ocaml-index.5.4.1-503 on 5.3-dune is not available anymore. Previous state was: failing
• ocaml-index.5.4.1-503 on 5.3-opam is not available anymore. Previous state was: passing
• ocaml-lsp-server.1.22.0 on 5.3-opam is not available anymore. Previous state was: passing
• ocamlc-loc.3.19.0 on 5.3-opam is not available anymore. Previous state was: passing
• ocamlmerlin-mlx.0.9 on 5.3-opam is not available anymore. Previous state was: passing
• ocp-browser.1.3.7 on 5.3-dune is not available anymore. Previous state was: passing
• ocp-browser.1.3.7 on 5.3-opam is not available anymore. Previous state was: passing
• ocp-index.1.3.7 on 5.3-dune is not available anymore. Previous state was: passing
• ocp-index.1.3.7 on 5.3-opam is not available anymore. Previous state was: passing
• odoc-driver.3.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• odoc-md.3.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• odoc-md.3.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• odoc-parser.3.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• odoc-parser.3.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• odoc.3.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• odoc.3.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• ojs.1.1.4 on 5.3-dune is not available anymore. Previous state was: passing
• ojs.1.1.4 on 5.3-opam is not available anymore. Previous state was: passing
• opam-0install.0.5 on 5.3-dune is not available anymore. Previous state was: passing
• opam-0install.0.5 on 5.3-opam is not available anymore. Previous state was: passing
• opam-client.2.4.0~alpha2 on 5.3-opam is not available anymore. Previous state was: passing
• opam-core.2.4.0~alpha2 on 5.3-opam is not available anymore. Previous state was: passing
• opam-devel.2.4.0~alpha2 on 5.3-opam is not available anymore. Previous state was: passing
• opam-file-format.2.2.0~alpha1 on 5.3-dune is not available anymore. Previous state was: passing
• opam-file-format.2.2.0~alpha1 on 5.3-opam is not available anymore. Previous state was: passing
• opam-format.2.4.0~alpha2 on 5.3-opam is not available anymore. Previous state was: passing
• opam-installer.2.4.0~alpha2 on 5.3-opam is not available anymore. Previous state was: passing
• opam-monorepo.0.4.2 on 5.3-opam is not available anymore. Previous state was: passing
• opam-repository.2.4.0~alpha2 on 5.3-opam is not available anymore. Previous state was: passing
• opam-solver.2.4.0~alpha2 on 5.3-opam is not available anymore. Previous state was: passing
• opam-state.2.4.0~alpha2 on 5.3-opam is not available anymore. Previous state was: passing
• ordering.3.19.0 on 5.3-dune is not available anymore. Previous state was: passing
• ordering.3.19.0 on 5.3-opam is not available anymore. Previous state was: passing
• ortac-core.0.6.1 on 5.3-opam is not available anymore. Previous state was: passing
• ortac-dune.0.6.1 on 5.3-opam is not available anymore. Previous state was: passing
• ortac-qcheck-stm.0.6.1 on 5.3-opam is not available anymore. Previous state was: passing
• ortac-runtime-qcheck-stm.0.6.1 on 5.3-opam is not available anymore. Previous state was: passing
• ortac-runtime.0.6.1 on 5.3-opam is not available anymore. Previous state was: passing
• osnap.0.3.0 on 5.3-dune had its build status changed: passing to not available
• paf-le.0.4.0 on 5.3-opam is not available anymore. Previous state was: passing
• parse-argv.0.3.0 on 5.3-dune is not available anymore. Previous state was: passing
• parse-argv.0.3.0 on 5.3-opam is not available anymore. Previous state was: passing
• patch.3.0.0~beta1 on 5.3-dune is not available anymore. Previous state was: passing
• patch.3.0.0~beta1 on 5.3-opam is not available anymore. Previous state was: passing
• pbkdf.2.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• pbkdf.2.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• plplot.5.12.0 on 5.3-dune is not available anymore. Previous state was: failing
• plplot.5.12.0 on 5.3-opam is not available anymore. Previous state was: failing
• postgresql.5.1.3 on 5.3-dune is not available anymore. Previous state was: passing
• postgresql.5.1.3 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_bench.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_bench.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_bin_prot.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_bin_prot.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_deriving.6.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_deriving.6.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_deriving_encoding.0.4.1 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_deriving_encoding.0.4.1 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_deriving_ezjsonm.0.4.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_deriving_ezjsonm.0.4.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_deriving_yaml.0.4.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_deriving_yaml.0.4.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_diff.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_diff.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_expect.v0.17.2 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_expect.v0.17.2 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_expect_nobase.v0.17.2 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_expect_nobase.v0.17.2 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_globalize.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_globalize.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_inline_test.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_inline_test.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_inline_test_nobase.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_inline_test_nobase.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_irmin.3.10.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_irmin.3.10.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_let.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_let.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_minidebug.2.2.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_minidebug.2.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_optcomp.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_optcomp.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_sexp_conv.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_sexp_conv.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_stable.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_stable.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_string_interpolation.1.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_string_interpolation.1.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_tydi.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_tydi.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_typerep_conv.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_typerep_conv.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_unreachable.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_unreachable.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_variants_conv.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_variants_conv.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppxlib_jane.v0.17.2 on 5.3-dune is not available anymore. Previous state was: passing
• ppxlib_jane.v0.17.2 on 5.3-opam is not available anymore. Previous state was: passing
• pure-html.3.10.1 on 5.3-dune is not available anymore. Previous state was: passing
• pure-html.3.10.1 on 5.3-opam is not available anymore. Previous state was: passing
• qcheck-alcotest.0.25 on 5.3-dune is not available anymore. Previous state was: passing
• qcheck-alcotest.0.25 on 5.3-opam is not available anymore. Previous state was: passing
• qcheck-core.0.25 on 5.3-dune is not available anymore. Previous state was: passing
• qcheck-core.0.25 on 5.3-opam is not available anymore. Previous state was: passing
• qcheck-lin.0.8 on 5.3-dune is not available anymore. Previous state was: passing
• qcheck-lin.0.8 on 5.3-opam is not available anymore. Previous state was: passing
• qcheck-multicoretests-util.0.8 on 5.3-dune is not available anymore. Previous state was: passing
• qcheck-multicoretests-util.0.8 on 5.3-opam is not available anymore. Previous state was: passing
• qcheck-ounit.0.25 on 5.3-dune is not available anymore. Previous state was: passing
• qcheck-ounit.0.25 on 5.3-opam is not available anymore. Previous state was: passing
• qcheck-stm.0.8 on 5.3-dune is not available anymore. Previous state was: passing
• qcheck-stm.0.8 on 5.3-opam is not available anymore. Previous state was: passing
• qcheck.0.25 on 5.3-dune is not available anymore. Previous state was: passing
• qcheck.0.25 on 5.3-opam is not available anymore. Previous state was: passing
• re.1.12.0 on 5.3-dune is not available anymore. Previous state was: passing
• re.1.12.0 on 5.3-opam is not available anymore. Previous state was: passing
• reason-react-ppx.0.15.0 on 5.3-dune is not available anymore. Previous state was: passing
• reason-react-ppx.0.15.0 on 5.3-opam is not available anymore. Previous state was: passing
• reason-react.0.15.0 on 5.3-dune is not available anymore. Previous state was: passing
• reason-react.0.15.0 on 5.3-opam is not available anymore. Previous state was: passing
• reason.3.16.0 on 5.3-dune is not available anymore. Previous state was: passing
• reason.3.16.0 on 5.3-opam is not available anymore. Previous state was: passing
• rocq-prover.9.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• rtop.3.16.0 on 5.3-dune is not available anymore. Previous state was: passing
• rtop.3.16.0 on 5.3-opam is not available anymore. Previous state was: passing
• runtime_events_tools.0.5.1 on 5.3-dune is not available anymore. Previous state was: passing
• runtime_events_tools.0.5.1 on 5.3-opam is not available anymore. Previous state was: passing
• sail.0.19 on 5.3-dune is not available anymore. Previous state was: failing
• sail.0.19 on 5.3-opam is not available anymore. Previous state was: passing
• sail_c_backend.0.19 on 5.3-dune is not available anymore. Previous state was: failing
• sail_c_backend.0.19 on 5.3-opam is not available anymore. Previous state was: passing
• sail_coq_backend.0.19 on 5.3-dune is not available anymore. Previous state was: failing
• sail_coq_backend.0.19 on 5.3-opam is not available anymore. Previous state was: passing
• sail_doc_backend.0.19 on 5.3-dune is not available anymore. Previous state was: failing
• sail_doc_backend.0.19 on 5.3-opam is not available anymore. Previous state was: passing
• sail_latex_backend.0.19 on 5.3-dune is not available anymore. Previous state was: failing
• sail_latex_backend.0.19 on 5.3-opam is not available anymore. Previous state was: passing
• sail_lean_backend.0.19 on 5.3-dune is not available anymore. Previous state was: failing
• sail_lean_backend.0.19 on 5.3-opam is not available anymore. Previous state was: passing
• sail_lem_backend.0.19 on 5.3-dune is not available anymore. Previous state was: failing
• sail_lem_backend.0.19 on 5.3-opam is not available anymore. Previous state was: passing
• sail_manifest.0.19 on 5.3-dune is not available anymore. Previous state was: passing
• sail_manifest.0.19 on 5.3-opam is not available anymore. Previous state was: passing
• sail_ocaml_backend.0.19 on 5.3-dune is not available anymore. Previous state was: failing
• sail_ocaml_backend.0.19 on 5.3-opam is not available anymore. Previous state was: passing
• sail_output.0.19 on 5.3-dune is not available anymore. Previous state was: failing
• sail_output.0.19 on 5.3-opam is not available anymore. Previous state was: passing
• sail_smt_backend.0.19 on 5.3-dune is not available anymore. Previous state was: failing
• sail_smt_backend.0.19 on 5.3-opam is not available anymore. Previous state was: passing
• sail_sv_backend.0.19 on 5.3-dune is not available anymore. Previous state was: failing
• sail_sv_backend.0.19 on 5.3-opam is not available anymore. Previous state was: passing
• savvy.0.2.0 on 5.3-dune is not available anymore. Previous state was: passing
• savvy.0.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• sedlex.3.4 on 5.3-dune is not available anymore. Previous state was: passing
• sedlex.3.4 on 5.3-opam is not available anymore. Previous state was: passing
• sel.0.6.0 on 5.3-dune is not available anymore. Previous state was: passing
• sel.0.6.0 on 5.3-opam is not available anymore. Previous state was: passing
• sendmail-lwt.0.11.0 on 5.3-dune is not available anymore. Previous state was: passing
• sendmail-lwt.0.11.0 on 5.3-opam is not available anymore. Previous state was: passing
• sendmail-miou-unix.0.11.0 on 5.3-dune is not available anymore. Previous state was: passing
• sendmail-miou-unix.0.11.0 on 5.3-opam is not available anymore. Previous state was: passing
• sendmail-mirage.0.11.0 on 5.3-dune is not available anymore. Previous state was: passing
• sendmail-mirage.0.11.0 on 5.3-opam is not available anymore. Previous state was: passing
• sendmail.0.11.0 on 5.3-dune is not available anymore. Previous state was: passing
• sendmail.0.11.0 on 5.3-opam is not available anymore. Previous state was: passing
• server-reason-react.0.3.1 on 5.3-dune had its build status changed: passing to not available
• sherlodoc.3.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• slice.0.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• slice.0.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• slipshow.0.2.0 on 5.3-dune is not available anymore. Previous state was: passing
• slipshow.0.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• smtml.0.7.0 on 5.3-dune is not available anymore. Previous state was: passing
• smtml.0.7.0 on 5.3-opam is not available anymore. Previous state was: passing
• spdx_licenses.1.3.0 on 5.3-dune is not available anymore. Previous state was: passing
• spdx_licenses.1.3.0 on 5.3-opam is not available anymore. Previous state was: passing
• spurs.0.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• spurs.0.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• stdune.3.19.0 on 5.3-opam is not available anymore. Previous state was: passing
• stk_iconv.0.4.0 on 5.3-dune is not available anymore. Previous state was: passing
• stk_iconv.0.4.0 on 5.3-opam is not available anymore. Previous state was: passing
• stk_ppx.0.4.0 on 5.3-dune is not available anymore. Previous state was: passing
• stk_ppx.0.4.0 on 5.3-opam is not available anymore. Previous state was: passing
• syndic.1.6.1 on 5.3-dune is not available anymore. Previous state was: passing
• syndic.1.6.1 on 5.3-opam is not available anymore. Previous state was: passing
• tezt-bam.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• tezt-bam.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• tracy-client.0.5.2 on 5.3-dune is not available anymore. Previous state was: passing
• tracy-client.0.5.2 on 5.3-opam is not available anymore. Previous state was: passing
• u2f.0.1.2 on 5.3-dune is not available anymore. Previous state was: passing
• u2f.0.1.2 on 5.3-opam is not available anymore. Previous state was: passing
• unisim_archisec.0.0.10 on 5.3-dune is not available anymore. Previous state was: passing
• unisim_archisec.0.0.10 on 5.3-opam is not available anymore. Previous state was: passing
• utop.2.15.0-1 on 5.3-dune is not available anymore. Previous state was: passing
• utop.2.15.0-1 on 5.3-opam is not available anymore. Previous state was: passing
• wasm_of_ocaml-compiler.6.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• wasm_of_ocaml-compiler.6.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• wayland.2.1 on 5.3-dune is not available anymore. Previous state was: passing
• wayland.2.1 on 5.3-opam is not available anymore. Previous state was: passing
• why3find.1.1.1 on 5.3-dune is not available anymore. Previous state was: passing
• why3find.1.1.1 on 5.3-opam is not available anymore. Previous state was: passing
• xdg.3.19.0 on 5.3-dune is not available anymore. Previous state was: passing
• xdg.3.19.0 on 5.3-opam is not available anymore. Previous state was: passing
• xenstore_transport.1.3.0 on 5.3-opam is not available anymore. Previous state was: passing
• xtmpl.1.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• xtmpl.1.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• xtmpl_js.1.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• xtmpl_js.1.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• xtmpl_ppx.1.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• xtmpl_ppx.1.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• yojson-five.2.2.2 on 5.3-opam is not available anymore. Previous state was: passing
• yojson.2.2.2 on 5.3-opam is not available anymore. Previous state was: passing

Packages now failing with an internal failure:

• calculon.0.8 on 5.3-opam had its build status changed: passing to internal failure
• carbon.0.2.0 on 5.3-opam had its build status changed: passing to internal failure

Packages now passing:

• ancient.0.10.0 on 5.3-dune is now installable. Current state is: passing
• ancient.0.10.0 on 5.3-opam is now installable. Current state is: passing
• ansifmt.1.0.0~pre2 on 5.3-opam is now installable. Current state is: passing
• anthropic.0.1.0 on 5.3-dune is now installable. Current state is: passing
• anthropic.0.1.0 on 5.3-opam is now installable. Current state is: passing
• arrakis.1.1.1 on 5.3-dune is now installable. Current state is: passing
• arrakis.1.1.1 on 5.3-opam is now installable. Current state is: passing
• bam-ppx.0.4 on 5.3-dune is now installable. Current state is: passing
• bam-ppx.0.4 on 5.3-opam is now installable. Current state is: passing
• bam.0.4 on 5.3-dune is now installable. Current state is: passing
• bam.0.4 on 5.3-opam is now installable. Current state is: passing
• base.v0.17.3 on 5.3-dune is now installable. Current state is: passing
• base.v0.17.3 on 5.3-opam is now installable. Current state is: passing
• base_quickcheck.v0.17.1 on 5.3-opam is now installable. Current state is: passing
• bibfmt.0.7.7 on 5.3-dune is now installable. Current state is: passing
• bibfmt.0.7.7 on 5.3-opam is now installable. Current state is: passing
• bin.0.0.2 on 5.3-dune is now installable. Current state is: passing
• bin.0.0.2 on 5.3-opam is now installable. Current state is: passing
• binsec.0.10.1 on 5.3-opam is now installable. Current state is: passing
• bitwuzla-cxx.0.8.0 on 5.3-opam is now installable. Current state is: passing
• bstr.0.0.2 on 5.3-opam is now installable. Current state is: passing
• ca-certs-nss.3.114 on 5.3-dune is now installable. Current state is: passing
• ca-certs-nss.3.114 on 5.3-opam is now installable. Current state is: passing
• cairn.2.0 on 5.3-dune is now installable. Current state is: passing
• cairn.2.0 on 5.3-opam is now installable. Current state is: passing
• caisar.4.0 on 5.3-dune is now installable. Current state is: passing
• caisar.4.0 on 5.3-opam is now installable. Current state is: passing
• carton-git-lwt.1.1.0 on 5.3-dune is now installable. Current state is: passing
• carton-git-lwt.1.1.0 on 5.3-opam is now installable. Current state is: passing
• carton-lwt.1.1.0 on 5.3-dune is now installable. Current state is: passing
• carton-lwt.1.1.0 on 5.3-opam is now installable. Current state is: passing
• carton-miou-unix.1.1.0 on 5.3-dune is now installable. Current state is: passing
• carton-miou-unix.1.1.0 on 5.3-opam is now installable. Current state is: passing
• carton.1.1.0 on 5.3-dune is now installable. Current state is: passing
• carton.1.1.0 on 5.3-opam is now installable. Current state is: passing
• cf_workers.0.1.5 on 5.3-dune is now installable. Current state is: passing
• cf_workers.0.1.5 on 5.3-opam is now installable. Current state is: passing
• chrome-trace.3.19.1 on 5.3-dune is now installable. Current state is: passing
• chrome-trace.3.19.1 on 5.3-opam is now installable. Current state is: passing
• climate.0.7.0 on 5.3-opam is now installable. Current state is: passing
• cohttp-async.6.1.1 on 5.3-dune is now installable. Current state is: passing
• cohttp-async.6.1.1 on 5.3-opam is now installable. Current state is: passing
• cohttp-bench.6.1.1 on 5.3-dune is now installable. Current state is: passing
• cohttp-bench.6.1.1 on 5.3-opam is now installable. Current state is: passing
• cohttp-curl-async.6.1.1 on 5.3-dune is now installable. Current state is: passing
• cohttp-curl-async.6.1.1 on 5.3-opam is now installable. Current state is: passing
• cohttp-curl-lwt.6.1.1 on 5.3-dune is now installable. Current state is: passing
• cohttp-curl-lwt.6.1.1 on 5.3-opam is now installable. Current state is: passing
• cohttp-curl.6.1.1 on 5.3-dune is now installable. Current state is: passing
• cohttp-curl.6.1.1 on 5.3-opam is now installable. Current state is: passing
• cohttp-eio.6.1.1 on 5.3-dune is now installable. Current state is: passing
• cohttp-eio.6.1.1 on 5.3-opam is now installable. Current state is: passing
• cohttp-lwt-jsoo.6.1.1 on 5.3-dune is now installable. Current state is: passing
• cohttp-lwt-jsoo.6.1.1 on 5.3-opam is now installable. Current state is: passing
• cohttp-lwt-unix.6.1.1 on 5.3-dune is now installable. Current state is: passing
• cohttp-lwt-unix.6.1.1 on 5.3-opam is now installable. Current state is: passing
• cohttp-lwt.6.1.1 on 5.3-dune is now installable. Current state is: passing
• cohttp-lwt.6.1.1 on 5.3-opam is now installable. Current state is: passing
• cohttp-mirage.6.1.1 on 5.3-dune is now installable. Current state is: passing
• cohttp-mirage.6.1.1 on 5.3-opam is now installable. Current state is: passing
• cohttp-server-lwt-unix.6.1.1 on 5.3-dune is now installable. Current state is: passing
• cohttp-server-lwt-unix.6.1.1 on 5.3-opam is now installable. Current state is: passing
• cohttp-top.6.1.1 on 5.3-dune is now installable. Current state is: passing
• cohttp-top.6.1.1 on 5.3-opam is now installable. Current state is: passing
• cohttp.6.1.1 on 5.3-dune is now installable. Current state is: passing
• cohttp.6.1.1 on 5.3-opam is now installable. Current state is: passing
• colombe.0.12.0 on 5.3-dune is now installable. Current state is: passing
• colombe.0.12.0 on 5.3-opam is now installable. Current state is: passing
• coq-lsp.0.2.3+9.0 on 5.3-opam is now installable. Current state is: passing
• coq.8.20.1 on 5.3-opam is now installable. Current state is: passing
• crs.0.0.20250705 on 5.3-opam is now installable. Current state is: passing
• cudd.0.1.1 on 5.3-opam is now installable. Current state is: passing
• current_ocluster.0.3.0 on 5.3-dune had its build status changed: failing to passing
• cvc5.1.3.0 on 5.3-dune is now installable. Current state is: passing
• cvc5.1.3.0 on 5.3-opam is now installable. Current state is: passing
• dbase4.0.2.0 on 5.3-dune is now installable. Current state is: passing
• dbase4.0.2.0 on 5.3-opam is now installable. Current state is: passing
• dns-certify.10.2.0 on 5.3-dune is now installable. Current state is: passing
• dns-certify.10.2.0 on 5.3-opam is now installable. Current state is: passing
• dns-cli.10.2.0 on 5.3-opam is now installable. Current state is: passing
• dns-client-lwt.10.2.0 on 5.3-opam is now installable. Current state is: passing
• dns-client-miou-unix.10.2.0 on 5.3-dune is now installable. Current state is: passing
• dns-client-miou-unix.10.2.0 on 5.3-opam is now installable. Current state is: passing
• dns-client-mirage.10.2.0 on 5.3-dune is now installable. Current state is: passing
• dns-client-mirage.10.2.0 on 5.3-opam is now installable. Current state is: passing
• dns-client.10.2.0 on 5.3-dune is now installable. Current state is: passing
• dns-client.10.2.0 on 5.3-opam is now installable. Current state is: passing
• dns-mirage.10.2.0 on 5.3-dune is now installable. Current state is: passing
• dns-mirage.10.2.0 on 5.3-opam is now installable. Current state is: passing
• dns-resolver.10.2.0 on 5.3-dune is now installable. Current state is: passing
• dns-resolver.10.2.0 on 5.3-opam is now installable. Current state is: passing
• dns-server.10.2.0 on 5.3-dune is now installable. Current state is: passing
• dns-server.10.2.0 on 5.3-opam is now installable. Current state is: passing
• dns-stub.10.2.0 on 5.3-dune is now installable. Current state is: passing
• dns-stub.10.2.0 on 5.3-opam is now installable. Current state is: passing
• dns-tsig.10.2.0 on 5.3-dune is now installable. Current state is: passing
• dns-tsig.10.2.0 on 5.3-opam is now installable. Current state is: passing
• dns.10.2.0 on 5.3-dune is now installable. Current state is: passing
• dns.10.2.0 on 5.3-opam is now installable. Current state is: passing
• dnssec.10.2.0 on 5.3-dune is now installable. Current state is: passing
• dnssec.10.2.0 on 5.3-opam is now installable. Current state is: passing
• dockerfile-cmd.8.2.9 on 5.3-dune is now installable. Current state is: passing
• dockerfile-cmd.8.2.9 on 5.3-opam is now installable. Current state is: passing
• dockerfile-opam.8.2.9 on 5.3-dune is now installable. Current state is: passing
• dockerfile-opam.8.2.9 on 5.3-opam is now installable. Current state is: passing
• dockerfile.8.2.9 on 5.3-dune is now installable. Current state is: passing
• dockerfile.8.2.9 on 5.3-opam is now installable. Current state is: passing
• doi2bib.0.7.7 on 5.3-dune is now installable. Current state is: passing
• doi2bib.0.7.7 on 5.3-opam is now installable. Current state is: passing
• dot-merlin-reader.5.5-503 on 5.3-dune is now installable. Current state is: passing
• dot-merlin-reader.5.5-503 on 5.3-opam is now installable. Current state is: passing
• dream-html.3.11.1 on 5.3-dune is now installable. Current state is: passing
• dream-html.3.11.1 on 5.3-opam is now installable. Current state is: passing
• dune-action-plugin.3.19.1 on 5.3-opam is now installable. Current state is: passing
• dune-build-info.3.19.1 on 5.3-dune is now installable. Current state is: passing
• dune-build-info.3.19.1 on 5.3-opam is now installable. Current state is: passing
• dune-configurator.3.19.1 on 5.3-opam is now installable. Current state is: passing
• dune-glob.3.19.1 on 5.3-dune is now installable. Current state is: passing
• dune-glob.3.19.1 on 5.3-opam is now installable. Current state is: passing
• dune-private-libs.3.19.1 on 5.3-dune is now installable. Current state is: passing
• dune-private-libs.3.19.1 on 5.3-opam is now installable. Current state is: passing
• dune-rpc-lwt.3.19.1 on 5.3-opam is now installable. Current state is: passing
• dune-rpc.3.19.1 on 5.3-dune is now installable. Current state is: passing
• dune-rpc.3.19.1 on 5.3-opam is now installable. Current state is: passing
• dune-site.3.19.1 on 5.3-dune is now installable. Current state is: passing
• dune-site.3.19.1 on 5.3-opam is now installable. Current state is: passing
• dunolint-lib.0.0.20250804 on 5.3-opam is now installable. Current state is: passing
• dunolint.0.0.20250804 on 5.3-opam is now installable. Current state is: passing
• dyn.3.19.1 on 5.3-dune is now installable. Current state is: passing
• dyn.3.19.1 on 5.3-opam is now installable. Current state is: passing
• echo.0.0.5 on 5.3-dune is now installable. Current state is: passing
• echo.0.0.5 on 5.3-opam is now installable. Current state is: passing
• eio.1.3 on 5.3-dune is now installable. Current state is: passing
• eio.1.3 on 5.3-opam is now installable. Current state is: passing
• eio_linux.1.3 on 5.3-dune is now installable. Current state is: passing
• eio_linux.1.3 on 5.3-opam is now installable. Current state is: passing
• eio_main.1.3 on 5.3-dune is now installable. Current state is: passing
• eio_main.1.3 on 5.3-opam is now installable. Current state is: passing
• eio_posix.1.3 on 5.3-dune is now installable. Current state is: passing
• eio_posix.1.3 on 5.3-opam is now installable. Current state is: passing
• elpi.3.1.0 on 5.3-dune is now installable. Current state is: passing
• elpi.3.1.0 on 5.3-opam is now installable. Current state is: passing
• esa.0.1.1 on 5.3-dune is now installable. Current state is: passing
• esa.0.1.1 on 5.3-opam is now installable. Current state is: passing
• euler.0.3 on 5.3-dune is now installable. Current state is: passing
• euler.0.3 on 5.3-opam is now installable. Current state is: passing
• fast_bitvector.0.1.2.2 on 5.3-dune is now installable. Current state is: passing
• fast_bitvector.0.1.2.2 on 5.3-opam is now installable. Current state is: passing
• float_option.0.0.3 on 5.3-dune is now installable. Current state is: passing
• float_option.0.0.3 on 5.3-opam is now installable. Current state is: passing
• forester.5.0 on 5.3-dune is now installable. Current state is: passing
• forester.5.0 on 5.3-opam is now installable. Current state is: passing
• frama-c-lannotate.0.2.4 on 5.3-opam is now installable. Current state is: passing
• frama-c-luncov.0.2.4 on 5.3-opam is now installable. Current state is: passing
• frama-c-metacsl.0.9~beta on 5.3-opam is now installable. Current state is: passing
• frama-c.31.0 on 5.3-opam is now installable. Current state is: passing
• fstar.2025.08.07 on 5.3-opam is now installable. Current state is: passing
• functoria-runtime.4.0.0 on 5.3-dune is now installable. Current state is: passing
• functoria-runtime.4.0.0 on 5.3-opam is now installable. Current state is: passing
• functoria.4.0.0 on 5.3-opam is now installable. Current state is: passing
• gen_js_api.1.1.5 on 5.3-dune is now installable. Current state is: passing
• gen_js_api.1.1.5 on 5.3-opam is now installable. Current state is: passing
• gendarme-json.0.3.0 on 5.3-dune is now installable. Current state is: passing
• gendarme-json.0.3.0 on 5.3-opam is now installable. Current state is: passing
• gendarme-toml.0.3.0 on 5.3-dune is now installable. Current state is: passing
• gendarme-toml.0.3.0 on 5.3-opam is now installable. Current state is: passing
• gendarme-yaml.0.3.0 on 5.3-dune is now installable. Current state is: passing
• gendarme-yaml.0.3.0 on 5.3-opam is now installable. Current state is: passing
• gendarme.0.3.0 on 5.3-opam is now installable. Current state is: passing
• giflib.1.0.3 on 5.3-dune is now installable. Current state is: passing
• giflib.1.0.3 on 5.3-opam is now installable. Current state is: passing
• git-kv.0.2.0 on 5.3-dune is now installable. Current state is: passing
• git-kv.0.2.0 on 5.3-opam is now installable. Current state is: passing
• git-net.0.2.0 on 5.3-dune is now installable. Current state is: passing
• git-net.0.2.0 on 5.3-opam is now installable. Current state is: passing
• gmp.6.3.0 on 5.3-dune is now installable. Current state is: passing
• gmp.6.3.0 on 5.3-opam is now installable. Current state is: passing
• graft.0.1.0 on 5.3-dune is now installable. Current state is: passing
• graft.0.1.0 on 5.3-opam is now installable. Current state is: passing
• graphics.5.2.0 on 5.3-dune is now installable. Current state is: passing
• graphics.5.2.0 on 5.3-opam is now installable. Current state is: passing
• h1-lwt-unix.1.1.0 on 5.3-dune is now installable. Current state is: passing
• h1-lwt-unix.1.1.0 on 5.3-opam is now installable. Current state is: passing
• h1.1.1.0 on 5.3-dune is now installable. Current state is: passing
• h1.1.1.0 on 5.3-opam is now installable. Current state is: passing
• hilite.0.5.0 on 5.3-dune is now installable. Current state is: passing
• hilite.0.5.0 on 5.3-opam is now installable. Current state is: passing
• hkdf.1.0.4 on 5.3-dune is now installable. Current state is: passing
• hkdf.1.0.4 on 5.3-opam is now installable. Current state is: passing
• html_of_jsx.0.0.5 on 5.3-opam is now installable. Current state is: passing
• http.6.1.1 on 5.3-dune is now installable. Current state is: passing
• http.6.1.1 on 5.3-opam is now installable. Current state is: passing
• httpun-ws-lwt.0.2.0 on 5.3-dune had its build status changed: failing to passing
• hugin.1.0.0~alpha0 on 5.3-opam is now installable. Current state is: passing
• hxd.0.3.4 on 5.3-dune is now installable. Current state is: passing
• hxd.0.3.4 on 5.3-opam is now installable. Current state is: passing
• ipaddr-cstruct.5.6.1 on 5.3-dune is now installable. Current state is: passing
• ipaddr-cstruct.5.6.1 on 5.3-opam is now installable. Current state is: passing
• ipaddr-sexp.5.6.1 on 5.3-dune is now installable. Current state is: passing
• ipaddr-sexp.5.6.1 on 5.3-opam is now installable. Current state is: passing
• ipaddr.5.6.1 on 5.3-dune is now installable. Current state is: passing
• ipaddr.5.6.1 on 5.3-opam is now installable. Current state is: passing
• iri.1.1.0 on 5.3-dune is now installable. Current state is: passing
• iri.1.1.0 on 5.3-opam is now installable. Current state is: passing
• irmin-bench.3.11.0 on 5.3-dune is now installable. Current state is: passing
• irmin-bench.3.11.0 on 5.3-opam is now installable. Current state is: passing
• irmin-chunk.3.11.0 on 5.3-dune is now installable. Current state is: passing
• irmin-chunk.3.11.0 on 5.3-opam is now installable. Current state is: passing
• irmin-cli.3.11.0 on 5.3-dune is now installable. Current state is: passing
• irmin-cli.3.11.0 on 5.3-opam is now installable. Current state is: passing
• irmin-client.3.11.0 on 5.3-dune is now installable. Current state is: passing
• irmin-client.3.11.0 on 5.3-opam is now installable. Current state is: passing
• irmin-containers.3.11.0 on 5.3-dune is now installable. Current state is: passing
• irmin-containers.3.11.0 on 5.3-opam is now installable. Current state is: passing
• irmin-fs.3.11.0 on 5.3-dune is now installable. Current state is: passing
• irmin-fs.3.11.0 on 5.3-opam is now installable. Current state is: passing
• irmin-git.3.11.0 on 5.3-dune is now installable. Current state is: passing
• irmin-git.3.11.0 on 5.3-opam is now installable. Current state is: passing
• irmin-graphql.3.11.0 on 5.3-dune is now installable. Current state is: passing
• irmin-graphql.3.11.0 on 5.3-opam is now installable. Current state is: passing
• irmin-layers.2.9.0 on 5.3-opam is now installable. Current state is: passing
• irmin-mirage-git.3.11.0 on 5.3-dune is now installable. Current state is: passing
• irmin-mirage-git.3.11.0 on 5.3-opam is now installable. Current state is: passing
• irmin-mirage-graphql.3.11.0 on 5.3-dune is now installable. Current state is: passing
• irmin-mirage-graphql.3.11.0 on 5.3-opam is now installable. Current state is: passing
• irmin-mirage.3.11.0 on 5.3-dune is now installable. Current state is: passing
• irmin-mirage.3.11.0 on 5.3-opam is now installable. Current state is: passing
• irmin-pack-tools.3.11.0 on 5.3-dune is now installable. Current state is: passing
• irmin-pack-tools.3.11.0 on 5.3-opam is now installable. Current state is: passing
• irmin-pack.3.11.0 on 5.3-dune is now installable. Current state is: passing
• irmin-pack.3.11.0 on 5.3-opam is now installable. Current state is: passing
• irmin-server.3.11.0 on 5.3-dune is now installable. Current state is: passing
• irmin-server.3.11.0 on 5.3-opam is now installable. Current state is: passing
• irmin-test.3.11.0 on 5.3-dune is now installable. Current state is: passing
• irmin-test.3.11.0 on 5.3-opam is now installable. Current state is: passing
• irmin-tezos.3.11.0 on 5.3-dune is now installable. Current state is: passing
• irmin-tezos.3.11.0 on 5.3-opam is now installable. Current state is: passing
• irmin.3.11.0 on 5.3-dune is now installable. Current state is: passing
• irmin.3.11.0 on 5.3-opam is now installable. Current state is: passing
• jasmin.2025.06.0 on 5.3-opam is now installable. Current state is: passing
• jingoo.1.5.1 on 5.3-dune is now installable. Current state is: passing
• jingoo.1.5.1 on 5.3-opam is now installable. Current state is: passing
• js_of_ocaml-compiler.6.2.0 on 5.3-dune is now installable. Current state is: passing
• js_of_ocaml-compiler.6.2.0 on 5.3-opam is now installable. Current state is: passing
• js_of_ocaml-lwt.6.2.0 on 5.3-dune is now installable. Current state is: passing
• js_of_ocaml-lwt.6.2.0 on 5.3-opam is now installable. Current state is: passing
• js_of_ocaml-ppx.6.2.0 on 5.3-dune is now installable. Current state is: passing
• js_of_ocaml-ppx.6.2.0 on 5.3-opam is now installable. Current state is: passing
• js_of_ocaml-ppx_deriving_json.6.2.0 on 5.3-dune is now installable. Current state is: passing
• js_of_ocaml-ppx_deriving_json.6.2.0 on 5.3-opam is now installable. Current state is: passing
• js_of_ocaml-toplevel.6.2.0 on 5.3-dune is now installable. Current state is: passing
• js_of_ocaml-toplevel.6.2.0 on 5.3-opam is now installable. Current state is: passing
• js_of_ocaml-tyxml.6.2.0 on 5.3-dune is now installable. Current state is: passing
• js_of_ocaml-tyxml.6.2.0 on 5.3-opam is now installable. Current state is: passing
• js_of_ocaml.6.2.0 on 5.3-dune is now installable. Current state is: passing
• js_of_ocaml.6.2.0 on 5.3-opam is now installable. Current state is: passing
• jsonrpc.1.23.0 on 5.3-dune is now installable. Current state is: passing
• jsonrpc.1.23.0 on 5.3-opam is now installable. Current state is: passing
• jsonschema.0.1.0 on 5.3-dune is now installable. Current state is: passing
• jsonschema.0.1.0 on 5.3-opam is now installable. Current state is: passing
• kaun.1.0.0~alpha0 on 5.3-opam is now installable. Current state is: passing
• lambdapi.3.0.0 on 5.3-dune is now installable. Current state is: passing
• lambdapi.3.0.0 on 5.3-opam is now installable. Current state is: passing
• libirmin.3.11.0 on 5.3-dune is now installable. Current state is: passing
• libirmin.3.11.0 on 5.3-opam is now installable. Current state is: passing
• libsail.0.19.1 on 5.3-opam is now installable. Current state is: passing
• llhttp.0.0.1 on 5.3-dune is now installable. Current state is: passing
• llhttp.0.0.1 on 5.3-opam is now installable. Current state is: passing
• logs-async-reporter.1.4 on 5.3-dune is now installable. Current state is: passing
• logs-async-reporter.1.4 on 5.3-opam is now installable. Current state is: passing
• logs-async.1.4 on 5.3-dune is now installable. Current state is: passing
• logs-async.1.4 on 5.3-opam is now installable. Current state is: passing
• lp-glpk-js.0.5.0 on 5.3-dune is now installable. Current state is: passing
• lp-glpk-js.0.5.0 on 5.3-opam is now installable. Current state is: passing
• lp-glpk.0.5.0 on 5.3-dune is now installable. Current state is: passing
• lp-glpk.0.5.0 on 5.3-opam is now installable. Current state is: passing
• lp-gurobi.0.5.0 on 5.3-dune is now installable. Current state is: passing
• lp-gurobi.0.5.0 on 5.3-opam is now installable. Current state is: passing
• lp-highs.0.5.0 on 5.3-dune is now installable. Current state is: passing
• lp-highs.0.5.0 on 5.3-opam is now installable. Current state is: passing
• lp.0.5.0 on 5.3-dune is now installable. Current state is: passing
• lp.0.5.0 on 5.3-opam is now installable. Current state is: passing
• lsp.1.23.0 on 5.3-dune is now installable. Current state is: passing
• lsp.1.23.0 on 5.3-opam is now installable. Current state is: passing
• lwt.6.0.0~alpha00 on 5.3-dune is now installable. Current state is: passing
• lwt.6.0.0~alpha00 on 5.3-opam is now installable. Current state is: passing
• lwt_direct.6.0.0~alpha00 on 5.3-dune is now installable. Current state is: passing
• lwt_direct.6.0.0~alpha00 on 5.3-opam is now installable. Current state is: passing
• macaddr-cstruct.5.6.1 on 5.3-dune is now installable. Current state is: passing
• macaddr-cstruct.5.6.1 on 5.3-opam is now installable. Current state is: passing
• macaddr-sexp.5.6.1 on 5.3-dune is now installable. Current state is: passing
• macaddr-sexp.5.6.1 on 5.3-opam is now installable. Current state is: passing
• macaddr.5.6.1 on 5.3-dune is now installable. Current state is: passing
• macaddr.5.6.1 on 5.3-opam is now installable. Current state is: passing
• mel-bastet.1.0.0 on 5.3-dune is now installable. Current state is: passing
• mel-bastet.1.0.0 on 5.3-opam is now installable. Current state is: passing
• memfd.0.1.0 on 5.3-dune is now installable. Current state is: passing
• memfd.0.1.0 on 5.3-opam is now installable. Current state is: passing
• merge-fmt.0.4 on 5.3-dune is now installable. Current state is: passing
• merge-fmt.0.4 on 5.3-opam is now installable. Current state is: passing
• merlin-lib.5.5-503 on 5.3-dune is now installable. Current state is: passing
• merlin-lib.5.5-503 on 5.3-opam is now installable. Current state is: passing
• merlin.5.5-503 on 5.3-dune is now installable. Current state is: passing
• merlin.5.5-503 on 5.3-opam is now installable. Current state is: passing
• metapp.0.4.4 on 5.3-dune is now installable. Current state is: passing
• metapp.0.4.4 on 5.3-opam is now installable. Current state is: passing
• metrics-influx.0.5.0 on 5.3-dune is now installable. Current state is: passing
• metrics-influx.0.5.0 on 5.3-opam is now installable. Current state is: passing
• metrics-lwt.0.5.0 on 5.3-dune is now installable. Current state is: passing
• metrics-lwt.0.5.0 on 5.3-opam is now installable. Current state is: passing
• metrics-rusage.0.5.0 on 5.3-dune is now installable. Current state is: passing
• metrics-rusage.0.5.0 on 5.3-opam is now installable. Current state is: passing
• metrics-unix.0.5.0 on 5.3-dune is now installable. Current state is: passing
• metrics-unix.0.5.0 on 5.3-opam is now installable. Current state is: passing
• metrics.0.5.0 on 5.3-dune is now installable. Current state is: passing
• metrics.0.5.0 on 5.3-opam is now installable. Current state is: passing
• miou.0.4.0 on 5.3-opam is now installable. Current state is: passing
• mirage-block-unikraft.1.0.0 on 5.3-dune is now installable. Current state is: passing
• mirage-block-unikraft.1.0.0 on 5.3-opam is now installable. Current state is: passing
• mirage-channel.5.0.0 on 5.3-dune is now installable. Current state is: passing
• mirage-channel.5.0.0 on 5.3-opam is now installable. Current state is: passing
• mirage-console-lwt.2.4.3 on 5.3-dune had its build status changed: not available to passing
• mirage-console.2.4.3 on 5.3-dune is now installable. Current state is: passing
• mirage-console.2.4.3 on 5.3-opam is now installable. Current state is: passing
• mirage-crypto-rng-async.0.11.3 on 5.3-opam is now installable. Current state is: passing
• mirage-net-unikraft.1.0.0 on 5.3-dune is now installable. Current state is: passing
• mirage-net-unikraft.1.0.0 on 5.3-opam is now installable. Current state is: passing
• mirage-protocols.7.0.0 on 5.3-dune is now installable. Current state is: passing
• mirage-protocols.7.0.0 on 5.3-opam is now installable. Current state is: passing
• mirage-random.3.0.0 on 5.3-dune is now installable. Current state is: passing
• mirage-random.3.0.0 on 5.3-opam is now installable. Current state is: passing
• mirage-types-lwt.3.6.0 on 5.3-opam is now installable. Current state is: passing
• mirage-types.3.6.0 on 5.3-opam is now installable. Current state is: passing
• mirage-unikraft.1.0.0 on 5.3-dune is now installable. Current state is: passing
• mirage-unikraft.1.0.0 on 5.3-opam is now installable. Current state is: passing
• mlx.0.10 on 5.3-opam is now installable. Current state is: passing
• mopsa.1.2 on 5.3-opam is now installable. Current state is: passing
• nx-datasets.1.0.0~alpha0 on 5.3-opam is now installable. Current state is: passing
• nx-text.1.0.0~alpha0 on 5.3-opam is now installable. Current state is: passing
• nx.1.0.0~alpha0 on 5.3-opam is now installable. Current state is: passing
• ocaml-index.5.5-503 on 5.3-dune is now installable. Current state is: passing
• ocaml-index.5.5-503 on 5.3-opam is now installable. Current state is: passing
• ocaml-lsp-server.1.23.0 on 5.3-dune is now installable. Current state is: passing
• ocaml-lsp-server.1.23.0 on 5.3-opam is now installable. Current state is: passing
• ocaml-sat-solvers.0.8 on 5.3-dune is now installable. Current state is: passing
• ocaml-sat-solvers.0.8 on 5.3-opam is now installable. Current state is: passing
• ocamlc-loc.3.19.1 on 5.3-dune is now installable. Current state is: passing
• ocamlc-loc.3.19.1 on 5.3-opam is now installable. Current state is: passing
• ocamlcodoc.1.0.1 on 5.3-dune is now installable. Current state is: passing
• ocamlcodoc.1.0.1 on 5.3-opam is now installable. Current state is: passing
• ocamlformat-mlx-lib.0.27.0.1 on 5.3-opam is now installable. Current state is: passing
• ocamlformat-mlx.0.27.0.1 on 5.3-opam is now installable. Current state is: passing
• ocamlmerlin-mlx.0.10 on 5.3-opam is now installable. Current state is: passing
• ocamlmod.0.1.1 on 5.3-dune is now installable. Current state is: passing
• ocamlmod.0.1.1 on 5.3-opam is now installable. Current state is: passing
• ocp-browser.1.4.0 on 5.3-dune is now installable. Current state is: passing
• ocp-browser.1.4.0 on 5.3-opam is now installable. Current state is: passing
• ocp-index.1.4.0 on 5.3-dune is now installable. Current state is: passing
• ocp-index.1.4.0 on 5.3-opam is now installable. Current state is: passing
• odoc-driver.3.1.0 on 5.3-opam is now installable. Current state is: passing
• odoc-md.3.1.0 on 5.3-dune is now installable. Current state is: passing
• odoc-md.3.1.0 on 5.3-opam is now installable. Current state is: passing
• odoc-parser.3.1.0 on 5.3-dune is now installable. Current state is: passing
• odoc-parser.3.1.0 on 5.3-opam is now installable. Current state is: passing
• odoc.3.1.0 on 5.3-dune is now installable. Current state is: passing
• odoc.3.1.0 on 5.3-opam is now installable. Current state is: passing
• ojs.1.1.5 on 5.3-dune is now installable. Current state is: passing
• ojs.1.1.5 on 5.3-opam is now installable. Current state is: passing
• ooh.0.0.3 on 5.3-dune is now installable. Current state is: passing
• ooh.0.0.3 on 5.3-opam is now installable. Current state is: passing
• opam-0install.0.5.1 on 5.3-dune is now installable. Current state is: passing
• opam-0install.0.5.1 on 5.3-opam is now installable. Current state is: passing
• opam-ci-check-lint.0.2 on 5.3-opam is now installable. Current state is: passing
• opam-client.2.4.1 on 5.3-opam is now installable. Current state is: passing
• opam-core.2.4.1 on 5.3-opam is now installable. Current state is: passing
• opam-devel.2.4.1 on 5.3-opam is now installable. Current state is: passing
• opam-file-format.2.2.0 on 5.3-dune is now installable. Current state is: passing
• opam-file-format.2.2.0 on 5.3-opam is now installable. Current state is: passing
• opam-format.2.4.1 on 5.3-opam is now installable. Current state is: passing
• opam-installer.2.4.1 on 5.3-opam is now installable. Current state is: passing
• opam-monorepo.0.4.3 on 5.3-opam is now installable. Current state is: passing
• opam-repository.2.4.1 on 5.3-opam is now installable. Current state is: passing
• opam-solver.2.4.1 on 5.3-opam is now installable. Current state is: passing
• opam-state.2.4.1 on 5.3-opam is now installable. Current state is: passing
• ordering.3.19.1 on 5.3-dune is now installable. Current state is: passing
• ordering.3.19.1 on 5.3-opam is now installable. Current state is: passing
• ortac-core.0.7.1 on 5.3-opam is now installable. Current state is: passing
• ortac-dune.0.7.1 on 5.3-opam is now installable. Current state is: passing
• ortac-qcheck-stm.0.7.1 on 5.3-opam is now installable. Current state is: passing
• ortac-runtime-qcheck-stm.0.7.1 on 5.3-opam is now installable. Current state is: passing
• ortac-runtime.0.7.1 on 5.3-opam is now installable. Current state is: passing
• ortac-wrapper.0.7.1 on 5.3-opam is now installable. Current state is: passing
• owl-ode-odepack.0.5.0 on 5.3-dune had its build status changed: failing to passing
• owl-ode.0.5.0 on 5.3-dune had its build status changed: failing to passing
• owl-plplot.1.1 on 5.3-dune had its build status changed: failing to passing
• owl-plplot.1.1 on 5.3-opam had its build status changed: partially failing to passing
• patch.3.0.0 on 5.3-dune is now installable. Current state is: passing
• patch.3.0.0 on 5.3-opam is now installable. Current state is: passing
• pbkdf.1.2.0 on 5.3-dune is now installable. Current state is: passing
• pbkdf.1.2.0 on 5.3-opam is now installable. Current state is: passing
• plato.1.1.3 on 5.3-dune is now installable. Current state is: passing
• plato.1.1.3 on 5.3-opam is now installable. Current state is: passing
• plplot.5.12.1 on 5.3-dune is now installable. Current state is: passing
• plplot.5.12.1 on 5.3-opam is now installable. Current state is: passing
• postgresql.5.2.0 on 5.3-dune is now installable. Current state is: passing
• postgresql.5.2.0 on 5.3-opam is now installable. Current state is: passing
• ppx_bench.v0.17.1 on 5.3-dune is now installable. Current state is: passing
• ppx_bench.v0.17.1 on 5.3-opam is now installable. Current state is: passing
• ppx_bin_prot.v0.17.1 on 5.3-dune is now installable. Current state is: passing
• ppx_bin_prot.v0.17.1 on 5.3-opam is now installable. Current state is: passing
• ppx_deriving.6.1.1 on 5.3-dune is now installable. Current state is: passing
• ppx_deriving.6.1.1 on 5.3-opam is now installable. Current state is: passing
• ppx_deriving_encoding.0.4.2 on 5.3-dune is now installable. Current state is: passing
• ppx_deriving_encoding.0.4.2 on 5.3-opam is now installable. Current state is: passing
• ppx_deriving_ezjsonm.0.4.1 on 5.3-dune is now installable. Current state is: passing
• ppx_deriving_ezjsonm.0.4.1 on 5.3-opam is now installable. Current state is: passing
• ppx_deriving_yaml.0.4.1 on 5.3-dune is now installable. Current state is: passing
• ppx_deriving_yaml.0.4.1 on 5.3-opam is now installable. Current state is: passing
• ppx_diff.v0.17.1 on 5.3-dune is now installable. Current state is: passing
• ppx_diff.v0.17.1 on 5.3-opam is now installable. Current state is: passing
• ppx_expect.v0.17.3 on 5.3-dune is now installable. Current state is: passing
• ppx_expect.v0.17.3 on 5.3-opam is now installable. Current state is: passing
• ppx_expect_nobase.v0.17.2.2 on 5.3-dune is now installable. Current state is: passing
• ppx_expect_nobase.v0.17.2.2 on 5.3-opam is now installable. Current state is: passing
• ppx_globalize.v0.17.2 on 5.3-dune is now installable. Current state is: passing
• ppx_globalize.v0.17.2 on 5.3-opam is now installable. Current state is: passing
• ppx_inline_test.v0.17.1 on 5.3-dune is now installable. Current state is: passing
• ppx_inline_test.v0.17.1 on 5.3-opam is now installable. Current state is: passing
• ppx_inline_test_nobase.v0.17.0.2 on 5.3-dune is now installable. Current state is: passing
• ppx_inline_test_nobase.v0.17.0.2 on 5.3-opam is now installable. Current state is: passing
• ppx_irmin.3.11.0 on 5.3-dune is now installable. Current state is: passing
• ppx_irmin.3.11.0 on 5.3-opam is now installable. Current state is: passing
• ppx_let.v0.17.1 on 5.3-dune is now installable. Current state is: passing
• ppx_let.v0.17.1 on 5.3-opam is now installable. Current state is: passing
• ppx_marshal.0.3.0 on 5.3-dune is now installable. Current state is: passing
• ppx_marshal.0.3.0 on 5.3-opam is now installable. Current state is: passing
• ppx_marshal_ext.0.3.0 on 5.3-dune is now installable. Current state is: passing
• ppx_marshal_ext.0.3.0 on 5.3-opam is now installable. Current state is: passing
• ppx_minidebug.2.3.0 on 5.3-dune is now installable. Current state is: passing
• ppx_minidebug.2.3.0 on 5.3-opam is now installable. Current state is: passing
• ppx_optcomp.v0.17.1 on 5.3-dune is now installable. Current state is: passing
• ppx_optcomp.v0.17.1 on 5.3-opam is now installable. Current state is: passing
• ppx_sexp_conv.v0.17.1 on 5.3-dune is now installable. Current state is: passing
• ppx_sexp_conv.v0.17.1 on 5.3-opam is now installable. Current state is: passing
• ppx_show.0.2.1 on 5.3-dune is now installable. Current state is: passing
• ppx_show.0.2.1 on 5.3-opam is now installable. Current state is: passing
• ppx_stable.v0.17.1 on 5.3-dune is now installable. Current state is: passing
• ppx_stable.v0.17.1 on 5.3-opam is now installable. Current state is: passing
• ppx_string_interpolation.1.1.0 on 5.3-dune is now installable. Current state is: passing
• ppx_string_interpolation.1.1.0 on 5.3-opam is now installable. Current state is: passing
• ppx_tydi.v0.17.1 on 5.3-dune is now installable. Current state is: passing
• ppx_tydi.v0.17.1 on 5.3-opam is now installable. Current state is: passing
• ppx_typerep_conv.v0.17.1 on 5.3-dune is now installable. Current state is: passing
• ppx_typerep_conv.v0.17.1 on 5.3-opam is now installable. Current state is: passing
• ppx_unreachable.1.1 on 5.3-dune is now installable. Current state is: passing
• ppx_unreachable.1.1 on 5.3-opam is now installable. Current state is: passing
• ppx_variants_conv.v0.17.1 on 5.3-dune is now installable. Current state is: passing
• ppx_variants_conv.v0.17.1 on 5.3-opam is now installable. Current state is: passing
• ppxlib_jane.v0.17.4 on 5.3-dune is now installable. Current state is: passing
• ppxlib_jane.v0.17.4 on 5.3-opam is now installable. Current state is: passing
• print-table.0.1.0 on 5.3-opam is now installable. Current state is: passing
• pure-html.3.11.1 on 5.3-dune is now installable. Current state is: passing
• pure-html.3.11.1 on 5.3-opam is now installable. Current state is: passing
• qcheck-alcotest.0.26 on 5.3-dune is now installable. Current state is: passing
• qcheck-alcotest.0.26 on 5.3-opam is now installable. Current state is: passing
• qcheck-core.0.26 on 5.3-dune is now installable. Current state is: passing
• qcheck-core.0.26 on 5.3-opam is now installable. Current state is: passing
• qcheck-lin.0.9 on 5.3-dune is now installable. Current state is: passing
• qcheck-lin.0.9 on 5.3-opam is now installable. Current state is: passing
• qcheck-multicoretests-util.0.9 on 5.3-dune is now installable. Current state is: passing
• qcheck-multicoretests-util.0.9 on 5.3-opam is now installable. Current state is: passing
• qcheck-ounit.0.26 on 5.3-dune is now installable. Current state is: passing
• qcheck-ounit.0.26 on 5.3-opam is now installable. Current state is: passing
• qcheck-stm.0.9 on 5.3-dune is now installable. Current state is: passing
• qcheck-stm.0.9 on 5.3-opam is now installable. Current state is: passing
• qcheck.0.26 on 5.3-dune is now installable. Current state is: passing
• qcheck.0.26 on 5.3-opam is now installable. Current state is: passing
• qcow-stream.0.12.1 on 5.3-dune is now installable. Current state is: passing
• qcow-stream.0.12.1 on 5.3-opam is now installable. Current state is: passing
• qcow-types.0.12.1 on 5.3-dune is now installable. Current state is: passing
• qcow-types.0.12.1 on 5.3-opam is now installable. Current state is: passing
• quill.1.0.0~alpha0 on 5.3-opam is now installable. Current state is: passing
• raven.1.0.0~alpha0 on 5.3-opam is now installable. Current state is: passing
• re.1.13.2 on 5.3-dune is now installable. Current state is: passing
• re.1.13.2 on 5.3-opam is now installable. Current state is: passing
• reason-react-ppx.0.16.0 on 5.3-dune is now installable. Current state is: passing
• reason-react-ppx.0.16.0 on 5.3-opam is now installable. Current state is: passing
• reason-react.0.16.0 on 5.3-dune is now installable. Current state is: passing
• reason-react.0.16.0 on 5.3-opam is now installable. Current state is: passing
• reason.3.17.0 on 5.3-dune is now installable. Current state is: passing
• reason.3.17.0 on 5.3-opam is now installable. Current state is: passing
• redirect.0.2.1 on 5.3-dune is now installable. Current state is: passing
• redirect.0.2.1 on 5.3-opam is now installable. Current state is: passing
• relude.3.0.0 on 5.3-dune is now installable. Current state is: passing
• relude.3.0.0 on 5.3-opam is now installable. Current state is: passing
• rtop.3.17.0 on 5.3-dune is now installable. Current state is: passing
• rtop.3.17.0 on 5.3-opam is now installable. Current state is: passing
• rune.1.0.0~alpha0 on 5.3-opam is now installable. Current state is: passing
• runtime_events_tools.0.5.2 on 5.3-dune is now installable. Current state is: passing
• runtime_events_tools.0.5.2 on 5.3-opam is now installable. Current state is: passing
• runtime_events_tools_bare.0.5.2 on 5.3-dune is now installable. Current state is: passing
• runtime_events_tools_bare.0.5.2 on 5.3-opam is now installable. Current state is: passing
• sail.0.19.1 on 5.3-opam is now installable. Current state is: passing
• sail_c_backend.0.19.1 on 5.3-opam is now installable. Current state is: passing
• sail_coq_backend.0.19.1 on 5.3-opam is now installable. Current state is: passing
• sail_doc_backend.0.19.1 on 5.3-opam is now installable. Current state is: passing
• sail_latex_backend.0.19.1 on 5.3-opam is now installable. Current state is: passing
• sail_lean_backend.0.19.1 on 5.3-opam is now installable. Current state is: passing
• sail_lem_backend.0.19.1 on 5.3-opam is now installable. Current state is: passing
• sail_manifest.0.19.1 on 5.3-dune is now installable. Current state is: passing
• sail_manifest.0.19.1 on 5.3-opam is now installable. Current state is: passing
• sail_ocaml_backend.0.19.1 on 5.3-opam is now installable. Current state is: passing
• sail_output.0.19.1 on 5.3-opam is now installable. Current state is: passing
• sail_smt_backend.0.19.1 on 5.3-opam is now installable. Current state is: passing
• sail_sv_backend.0.19.1 on 5.3-opam is now installable. Current state is: passing
• savvy.0.4.0 on 5.3-dune is now installable. Current state is: passing
• savvy.0.4.0 on 5.3-opam is now installable. Current state is: passing
• scgi.1.0 on 5.3-dune is now installable. Current state is: passing
• scgi.1.0 on 5.3-opam is now installable. Current state is: passing
• sedlex.3.6 on 5.3-dune is now installable. Current state is: passing
• sedlex.3.6 on 5.3-opam is now installable. Current state is: passing
• sel.0.7.0 on 5.3-dune is now installable. Current state is: passing
• sel.0.7.0 on 5.3-opam is now installable. Current state is: passing
• sendmail-lwt.0.12.0 on 5.3-dune is now installable. Current state is: passing
• sendmail-lwt.0.12.0 on 5.3-opam is now installable. Current state is: passing
• sendmail-miou-unix.0.12.0 on 5.3-dune is now installable. Current state is: passing
• sendmail-miou-unix.0.12.0 on 5.3-opam is now installable. Current state is: passing
• sendmail-mirage.0.12.0 on 5.3-dune is now installable. Current state is: passing
• sendmail-mirage.0.12.0 on 5.3-opam is now installable. Current state is: passing
• sendmail.0.12.0 on 5.3-dune is now installable. Current state is: passing
• sendmail.0.12.0 on 5.3-opam is now installable. Current state is: passing
• sherlodoc.3.1.0 on 5.3-opam is now installable. Current state is: passing
• slice.0.0.2 on 5.3-dune is now installable. Current state is: passing
• slice.0.0.2 on 5.3-opam is now installable. Current state is: passing
• slipshow.0.5.0 on 5.3-dune is now installable. Current state is: passing
• slipshow.0.5.0 on 5.3-opam is now installable. Current state is: passing
• smtml.0.8.0 on 5.3-dune is now installable. Current state is: passing
• smtml.0.8.0 on 5.3-opam is now installable. Current state is: passing
• snf_mcp.0.2.0 on 5.3-dune is now installable. Current state is: passing
• snf_mcp.0.2.0 on 5.3-opam is now installable. Current state is: passing
• sowilo.1.0.0~alpha0 on 5.3-opam is now installable. Current state is: passing
• spdx_licenses.1.4.0 on 5.3-dune is now installable. Current state is: passing
• spdx_licenses.1.4.0 on 5.3-opam is now installable. Current state is: passing
• spurs.0.1.1 on 5.3-dune is now installable. Current state is: passing
• spurs.0.1.1 on 5.3-opam is now installable. Current state is: passing
• stdcompat.21.0 on 5.3-dune is now installable. Current state is: passing
• stdcompat.21.0 on 5.3-opam is now installable. Current state is: passing
• stdune.3.19.1 on 5.3-dune is now installable. Current state is: passing
• stdune.3.19.1 on 5.3-opam is now installable. Current state is: passing
• stk_iconv.0.5.0 on 5.3-dune is now installable. Current state is: passing
• stk_iconv.0.5.0 on 5.3-opam is now installable. Current state is: passing
• stk_ppx.0.5.0 on 5.3-dune is now installable. Current state is: passing
• stk_ppx.0.5.0 on 5.3-opam is now installable. Current state is: passing
• stringx.0.3.0 on 5.3-dune is now installable. Current state is: passing
• stringx.0.3.0 on 5.3-opam is now installable. Current state is: passing
• syndic.1.7.0 on 5.3-dune is now installable. Current state is: passing
• syndic.1.7.0 on 5.3-opam is now installable. Current state is: passing
• tezt-bam.0.4 on 5.3-dune is now installable. Current state is: passing
• tezt-bam.0.4 on 5.3-opam is now installable. Current state is: passing
• tracy-client.0.6 on 5.3-dune is now installable. Current state is: passing
• tracy-client.0.6 on 5.3-opam is now installable. Current state is: passing
• typed_list.0.0.1.1 on 5.3-dune is now installable. Current state is: passing
• typed_list.0.0.1.1 on 5.3-opam is now installable. Current state is: passing
• unisim_archisec.0.0.11 on 5.3-opam is now installable. Current state is: passing
• uritemplate.0.2.0 on 5.3-dune is now installable. Current state is: passing
• uritemplate.0.2.0 on 5.3-opam is now installable. Current state is: passing
• utop.2.16.0 on 5.3-dune is now installable. Current state is: passing
• utop.2.16.0 on 5.3-opam is now installable. Current state is: passing
• volgo-base.0.0.18 on 5.3-opam is now installable. Current state is: passing
• volgo-git-backend.0.0.18 on 5.3-opam is now installable. Current state is: passing
• volgo-git-eio.0.0.18 on 5.3-opam is now installable. Current state is: passing
• volgo-git-unix.0.0.18 on 5.3-opam is now installable. Current state is: passing
• volgo-hg-backend.0.0.18 on 5.3-opam is now installable. Current state is: passing
• volgo-hg-eio.0.0.18 on 5.3-opam is now installable. Current state is: passing
• volgo-hg-unix.0.0.18 on 5.3-opam is now installable. Current state is: passing
• volgo-vcs.0.0.18 on 5.3-opam is now installable. Current state is: passing
• volgo.0.0.18 on 5.3-opam is now installable. Current state is: passing
• wasm_of_ocaml-compiler.6.2.0 on 5.3-dune is now installable. Current state is: passing
• wasm_of_ocaml-compiler.6.2.0 on 5.3-opam is now installable. Current state is: passing
• wayland.2.2 on 5.3-dune is now installable. Current state is: passing
• wayland.2.2 on 5.3-opam is now installable. Current state is: passing
• why3find.1.2.0 on 5.3-dune is now installable. Current state is: passing
• why3find.1.2.0 on 5.3-opam is now installable. Current state is: passing
• xdg.3.19.1 on 5.3-dune is now installable. Current state is: passing
• xdg.3.19.1 on 5.3-opam is now installable. Current state is: passing
• xenstore-tool.1.5.0 on 5.3-dune is now installable. Current state is: passing
• xenstore-tool.1.5.0 on 5.3-opam is now installable. Current state is: passing
• xenstore_transport.1.5.0 on 5.3-dune is now installable. Current state is: passing
• xenstore_transport.1.5.0 on 5.3-opam is now installable. Current state is: passing
• xtmpl.1.1.0 on 5.3-dune is now installable. Current state is: passing
• xtmpl.1.1.0 on 5.3-opam is now installable. Current state is: passing
• xtmpl_js.1.1.0 on 5.3-dune is now installable. Current state is: passing
• xtmpl_js.1.1.0 on 5.3-opam is now installable. Current state is: passing
• xtmpl_ppx.1.1.0 on 5.3-dune is now installable. Current state is: passing
• xtmpl_ppx.1.1.0 on 5.3-opam is now installable. Current state is: passing
• yojson-five.3.0.0 on 5.3-opam is now installable. Current state is: passing
• yojson.3.0.0 on 5.3-opam is now installable. Current state is: passing