Home|Differences with the last checks|Previous runs

Differences between 854fc71 and 5bf5702 (git diff)

Packages now failing:

• acp4.1.1.0 on 5.3-dune is now installable. Current state is: failing
• arrayjit.0.6.1 on 5.3-dune is now installable. Current state is: failing
• ask-integrator.0.2.0 on 5.3-dune had its build status changed: passing to failing
• ask.0.2.0 on 5.3-dune had its build status changed: passing to failing
• autofonce.0.8 on 5.3-dune had its build status changed: passing to failing
• autofonce_config.0.8 on 5.3-dune had its build status changed: passing to failing
• autofonce_core.0.8 on 5.3-dune had its build status changed: passing to failing
• autofonce_m4.0.8 on 5.3-dune had its build status changed: passing to failing
• autofonce_misc.0.8 on 5.3-dune had its build status changed: passing to failing
• autofonce_share.0.8 on 5.3-dune had its build status changed: passing to failing
• bastet.2.0.0 on 5.3-dune had its build status changed: passing to failing
• bastet_async.0.1.0 on 5.3-dune had its build status changed: passing to failing
• binaryen.0.26.0 on 5.3-dune had its build status changed: passing to failing
• bitpack_serializer.0.1.0 on 5.3-dune had its build status changed: passing to failing
• bitwuzla-cxx.0.8.2 on 5.3-dune is now installable. Current state is: failing
• ca-certs.1.0.1 on 5.3-dune had its build status changed: passing to failing
• caisar.4.0 on 5.3-dune had its build status changed: passing to failing
• calli.0.2 on 5.3-dune had its build status changed: not available to failing
• camelot.0.4.3 on 5.3-dune had its build status changed: passing to failing
• config-file.1.2.2 on 5.3-dune is now installable. Current state is: failing
• coq-lsp.0.2.4+9.1 on 5.3-dune is now installable. Current state is: failing
• coq-waterproof.3.0.0+9.0 on 5.3-dune is now installable. Current state is: failing
• cucumber.1.0.4 on 5.3-dune had its build status changed: passing to failing
• cucumber.1.0.4 on 5.3-opam had its build status changed: passing to failing
• cudajit.0.7.2 on 5.3-dune is now installable. Current state is: failing
• cudd.0.1.3 on 5.3-dune is now installable. Current state is: failing
• dkml-component-staging-ocamlrun.4.12.1~v1.0.2 on 5.3-opam had its build status changed: passing to failing
• dot-merlin-reader.5.6-503 on 5.3-dune is now installable. Current state is: failing
• drom_toml.0.8.0 on 5.3-dune had its build status changed: passing to failing
• dune-configurator.3.20.2 on 5.3-dune is now installable. Current state is: failing
• eigen.0.3.3 on 5.3-dune had its build status changed: passing to failing
• eigen.0.3.3 on 5.3-opam had its build status changed: passing to failing
• ez_file.0.3.0 on 5.3-dune had its build status changed: passing to failing
• ez_subst.0.2.1 on 5.3-dune had its build status changed: passing to failing
• ezdl.2.71.15 on 5.3-dune had its build status changed: passing to failing
• ezdl.2.71.15 on 5.3-opam had its build status changed: passing to failing
• fadbadml.0.1.2 on 5.3-dune had its build status changed: passing to failing
• fasmifra.2.1.0 on 5.3-dune had its build status changed: passing to failing
• flint.0.4.0 on 5.3-opam had its build status changed: passing to failing
• fontforge-of-ocaml.1.1.0 on 5.3-dune is now installable. Current state is: failing
• git-mirage.3.18.0 on 5.3-dune had its build status changed: passing to failing
• goblint.2.6.0 on 5.3-dune is now installable. Current state is: failing
• goblint.2.6.0 on 5.3-opam is now installable. Current state is: failing
• graphql_ppx.1.2.2 on 5.3-dune had its build status changed: passing to failing
• header-check.0.1.0 on 5.3-dune had its build status changed: passing to failing
• hts_shrink.3.0.1 on 5.3-dune is now installable. Current state is: failing
• httpaf_caged.1.0.0 on 5.3-dune had its build status changed: passing to failing
• incremental_cycles.0.1 on 5.3-dune is now installable. Current state is: failing
• interval_intel.1.6 on 5.3-dune had its build status changed: passing to failing
• interval_intel.1.6 on 5.3-opam had its build status changed: passing to failing
• lambda_streams.0.1.2 on 5.3-dune had its build status changed: passing to failing
• lambda_streams_async.0.1.2 on 5.3-dune had its build status changed: passing to failing
• lbvs_consent.2.2.0 on 5.3-dune had its build status changed: passing to failing
• libsail.0.20 on 5.3-dune is now installable. Current state is: failing
• lilac.0.1.1 on 5.3-dune had its build status changed: passing to failing
• linwrap.9.2.0 on 5.3-dune is now installable. Current state is: failing
• lutils.1.54.1 on 5.3-dune had its build status changed: passing to failing
• mariadb.1.3.0 on 5.3-dune had its build status changed: passing to failing
• memtrace.0.2.3 on 5.3-dune had its build status changed: passing to failing
• merlin-lib.5.6-503 on 5.3-dune is now installable. Current state is: failing
• merlin.5.6-503 on 5.3-dune is now installable. Current state is: failing
• module-graph.0.2.0 on 5.3-dune had its build status changed: passing to failing
• molenc.17.0.1 on 5.3-dune is now installable. Current state is: failing
• multicore-magic-dscheck.2.3.1 on 5.3-dune had its build status changed: passing to failing
• multicore-magic.2.3.1 on 5.3-dune had its build status changed: passing to failing
• neural_nets_lib.0.6.1 on 5.3-dune is now installable. Current state is: failing
• nice_parser.1.0.0 on 5.3-dune had its build status changed: passing to failing
• ocaml-index.5.6-503 on 5.3-dune is now installable. Current state is: failing
• ocaml-protoc-plugin.6.2.0 on 5.3-dune is now installable. Current state is: failing
• ocamlmig.5.3-20250429 on 5.3-dune had its build status changed: passing to failing
• ocamlmig.5.3-20250429 on 5.3-opam had its build status changed: passing to failing
• ocplib_stuff.0.4.0 on 5.3-dune had its build status changed: passing to failing
• oranger.4.3.5 on 5.3-dune is now installable. Current state is: failing
• orf.1.0.1 on 5.3-dune is now installable. Current state is: failing
• owl-ode-odepack.0.5.0 on 5.3-dune had its build status changed: passing to failing
• owl-ode.0.5.0 on 5.3-dune had its build status changed: passing to failing
• owl-opt-lbfgs.0.0.1 on 5.3-dune had its build status changed: passing to failing
• owl-opt.0.0.1 on 5.3-dune had its build status changed: passing to failing
• owl-plplot.1.1 on 5.3-dune had its build status changed: passing to failing
• owl-top.1.2 on 5.3-dune had its build status changed: passing to failing
• owl.1.2 on 5.3-dune had its build status changed: passing to failing
• owl.1.2 on 5.3-opam had its build status changed: passing to failing
• p5scm.0.5.0 on 5.3-dune is now installable. Current state is: failing
• pg_query.0.9.8 on 5.3-dune had its build status changed: passing to failing
• pg_query.0.9.8 on 5.3-opam had its build status changed: passing to failing
• ppx-owl-opt.0.0.1 on 5.3-dune had its build status changed: passing to failing
• ppx_import.1.12.0 on 5.3-dune is now installable. Current state is: failing
• ppx_rapper.3.1.0 on 5.3-dune had its build status changed: passing to failing
• ppx_rapper_lwt.3.1.0 on 5.3-dune had its build status changed: passing to failing
• ppx_subliner.0.2.1 on 5.3-dune had its build status changed: passing to failing
• ppx_ts.0.1.6 on 5.3-dune had its build status changed: passing to failing
• ppx_typed_fields.v0.17.1 on 5.3-dune is now installable. Current state is: failing
• psmt2-frontend.0.4.0 on 5.3-dune had its build status changed: passing to failing
• quickjs.0.1.2 on 5.3-dune had its build status changed: passing to failing
• randii.1.0.0 on 5.3-dune had its build status changed: passing to failing
• rankers.2.0.9 on 5.3-dune is now installable. Current state is: failing
• rea.1.0.0 on 5.3-dune had its build status changed: passing to failing
• reason-react-ppx.0.16.0 on 5.3-dune had its build status changed: passing to failing
• reason-react.0.16.0 on 5.3-dune had its build status changed: passing to failing
• runtime_events_tools.0.5.3 on 5.3-dune is now installable. Current state is: failing
• runtime_events_tools.0.5.3 on 5.3-opam is now installable. Current state is: failing
• runtime_events_tools_bare.0.5.3 on 5.3-dune is now installable. Current state is: failing
• runtime_events_tools_bare.0.5.3 on 5.3-opam is now installable. Current state is: failing
• sail.0.20 on 5.3-dune is now installable. Current state is: failing
• sail_c_backend.0.20 on 5.3-dune is now installable. Current state is: failing
• sail_coq_backend.0.20 on 5.3-dune is now installable. Current state is: failing
• sail_doc_backend.0.20 on 5.3-dune is now installable. Current state is: failing
• sail_latex_backend.0.20 on 5.3-dune is now installable. Current state is: failing
• sail_lean_backend.0.20 on 5.3-dune is now installable. Current state is: failing
• sail_lem_backend.0.20 on 5.3-dune is now installable. Current state is: failing
• sail_ocaml_backend.0.20 on 5.3-dune is now installable. Current state is: failing
• sail_output.0.20 on 5.3-dune is now installable. Current state is: failing
• sail_smt_backend.0.20 on 5.3-dune is now installable. Current state is: failing
• sail_sv_backend.0.20 on 5.3-dune is now installable. Current state is: failing
• solidity-common.0.2.0 on 5.3-dune had its build status changed: passing to failing
• solidity-parser.0.2.0 on 5.3-dune had its build status changed: passing to failing
• styled-ppx.0.56.0 on 5.3-dune had its build status changed: passing to failing
• svmwrap.5.1.1 on 5.3-dune is now installable. Current state is: failing
• testu01.1.2.3-0.2 on 5.3-dune had its build status changed: passing to failing
• testu01.1.2.3-0.2 on 5.3-opam had its build status changed: passing to failing
• unisim_archisec.0.0.13 on 5.3-dune is now installable. Current state is: failing
• universal-portal.0.3.0 on 5.3-dune had its build status changed: passing to failing
• varray.0.2 on 5.3-dune had its build status changed: passing to failing
• xapi-inventory.1.2.3 on 5.3-dune had its build status changed: passing to failing
• xapi-rrd.1.12.0 on 5.3-dune had its build status changed: passing to failing
• xapi-stdext-unix.4.24.0 on 5.3-dune had its build status changed: passing to failing
• xapi-stdext-unix.4.24.0 on 5.3-opam had its build status changed: passing to failing
• xedbindings.0.11 on 5.3-dune is now installable. Current state is: failing
• xoshiro.0.1 on 5.3-dune had its build status changed: passing to failing
• yocaml_markdown.2.6.0 on 5.3-dune is now installable. Current state is: failing
• yocaml_markdown.2.6.0 on 5.3-opam is now installable. Current state is: failing

Packages now partially failing:

• antic.0.4.0 on 5.3-opam had its build status changed: passing to partially failing
• arb.0.4.0 on 5.3-opam had its build status changed: passing to partially failing
• binaryen.0.26.0 on 5.3-opam had its build status changed: passing to partially failing
• caisar.4.0 on 5.3-opam had its build status changed: passing to partially failing
• calcium.0.4.0 on 5.3-opam had its build status changed: passing to partially failing
• cudajit.0.7.2 on 5.3-opam is now installable. Current state is: partially failing
• frama-clang.0.0.18 on 5.3-opam is now installable. Current state is: partially failing
• owl-ode-odepack.0.5.0 on 5.3-opam had its build status changed: passing to partially failing
• owl-ode.0.5.0 on 5.3-opam had its build status changed: passing to partially failing
• owl-opt-lbfgs.0.0.1 on 5.3-opam had its build status changed: passing to partially failing
• owl-opt.0.0.1 on 5.3-opam had its build status changed: passing to partially failing
• owl-plplot.1.1 on 5.3-opam had its build status changed: passing to partially failing
• owl-top.1.2 on 5.3-opam had its build status changed: passing to partially failing
• ppx_rapper.3.1.0 on 5.3-opam had its build status changed: passing to partially failing
• ppx_rapper_lwt.3.1.0 on 5.3-opam had its build status changed: passing to partially failing
• randii.1.0.0 on 5.3-opam had its build status changed: passing to partially failing
• xapi-inventory.1.2.3 on 5.3-opam had its build status changed: passing to partially failing

Packages now not available:

• acp4.1.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• acp4.1.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• albatross.2.4.1 on 5.3-dune is not available anymore. Previous state was: passing
• albatross.2.4.1 on 5.3-opam is not available anymore. Previous state was: passing
• alcotest-async.1.9.0 on 5.3-dune is not available anymore. Previous state was: passing
• alcotest-async.1.9.0 on 5.3-opam is not available anymore. Previous state was: passing
• alcotest-js.1.9.0 on 5.3-dune is not available anymore. Previous state was: passing
• alcotest-js.1.9.0 on 5.3-opam is not available anymore. Previous state was: passing
• alcotest-lwt.1.9.0 on 5.3-dune is not available anymore. Previous state was: passing
• alcotest-lwt.1.9.0 on 5.3-opam is not available anymore. Previous state was: passing
• alcotest-mirage.1.9.0 on 5.3-dune is not available anymore. Previous state was: passing
• alcotest-mirage.1.9.0 on 5.3-opam is not available anymore. Previous state was: passing
• alcotest.1.9.0 on 5.3-dune is not available anymore. Previous state was: failing
• alcotest.1.9.0 on 5.3-opam is not available anymore. Previous state was: passing
• arrayjit.0.5.2 on 5.3-dune is not available anymore. Previous state was: failing
• arrayjit.0.5.2 on 5.3-opam is not available anymore. Previous state was: passing
• azure-cosmos-db.0.3.0 on 5.3-dune is not available anymore. Previous state was: failing
• azure-cosmos-db.0.3.0 on 5.3-opam is not available anymore. Previous state was: passing
• base64.3.5.1 on 5.3-dune is not available anymore. Previous state was: failing
• base64.3.5.1 on 5.3-opam is not available anymore. Previous state was: passing
• batteries.3.9.0 on 5.3-dune is not available anymore. Previous state was: passing
• batteries.3.9.0 on 5.3-opam is not available anymore. Previous state was: passing
• beluga.1.1.2 on 5.3-dune is not available anymore. Previous state was: passing
• beluga.1.1.2 on 5.3-opam is not available anymore. Previous state was: passing
• bitstring.4.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• bitstring.4.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• bitv.2.0 on 5.3-dune is not available anymore. Previous state was: passing
• bitv.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• bitwuzla-cxx.0.8.0 on 5.3-dune is not available anymore. Previous state was: failing
• bitwuzla-cxx.0.8.0 on 5.3-opam is not available anymore. Previous state was: passing
• bogue.20250224 on 5.3-dune is not available anymore. Previous state was: passing
• bogue.20250224 on 5.3-opam is not available anymore. Previous state was: passing
• ca-certs-nss.3.114 on 5.3-dune is not available anymore. Previous state was: passing
• ca-certs-nss.3.114 on 5.3-opam is not available anymore. Previous state was: passing
• charrua-client.2.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• charrua-client.2.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• charrua-server.2.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• charrua-server.2.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• charrua-unix.2.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• charrua-unix.2.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• charrua.2.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• charrua.2.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• chrome-trace.3.19.1 on 5.3-dune is not available anymore. Previous state was: passing
• chrome-trace.3.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• climate.0.7.0 on 5.3-opam is not available anymore. Previous state was: passing
• cmdlang-stdlib-runner.0.0.9 on 5.3-opam is not available anymore. Previous state was: passing
• cmdlang-to-base.0.0.9 on 5.3-opam is not available anymore. Previous state was: passing
• cmdlang-to-climate.0.0.9 on 5.3-opam is not available anymore. Previous state was: passing
• cmdlang-to-cmdliner.0.0.9 on 5.3-opam is not available anymore. Previous state was: passing
• cmdlang.0.0.9 on 5.3-opam is not available anymore. Previous state was: passing
• confero.0.1.1 on 5.3-dune had its build status changed: passing to not available
• coq-core.9.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• coq-core.9.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• coq-lsp.0.2.3+9.0 on 5.3-dune is not available anymore. Previous state was: failing
• coq-lsp.0.2.3+9.0 on 5.3-opam is not available anymore. Previous state was: passing
• coq-waterproof.2.2.0+8.20 on 5.3-dune is not available anymore. Previous state was: failing
• coq-waterproof.2.2.0+8.20 on 5.3-opam is not available anymore. Previous state was: passing
• coqide-server.9.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• coqide-server.9.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• crs.0.0.20250705 on 5.3-opam is not available anymore. Previous state was: passing
• cudajit.0.7.1 on 5.3-dune is not available anymore. Previous state was: failing
• cudajit.0.7.1 on 5.3-opam is not available anymore. Previous state was: partially failing
• cudd.0.1.1 on 5.3-dune is not available anymore. Previous state was: failing
• cudd.0.1.1 on 5.3-opam is not available anymore. Previous state was: passing
• diffast-api.0.2 on 5.3-opam is not available anymore. Previous state was: partially failing
• diffast-cli.0.2 on 5.3-opam is not available anymore. Previous state was: partially failing
• diffast-core.0.2 on 5.3-opam is not available anymore. Previous state was: partially failing
• diffast-etc.0.1.1 on 5.3-opam is not available anymore. Previous state was: passing
• diffast-git-cli.0.2 on 5.3-opam is not available anymore. Previous state was: partially failing
• diffast-git.0.2 on 5.3-opam is not available anymore. Previous state was: partially failing
• diffast-langs-common.0.2 on 5.3-opam is not available anymore. Previous state was: partially failing
• diffast-langs-cpp-parsing.0.2 on 5.3-opam is not available anymore. Previous state was: partially failing
• diffast-langs-cpp-spec.0.2 on 5.3-opam is not available anymore. Previous state was: partially failing
• diffast-langs-cpp.0.2 on 5.3-opam is not available anymore. Previous state was: partially failing
• diffast-langs-fortran-parsing.0.2 on 5.3-opam is not available anymore. Previous state was: partially failing
• diffast-langs-fortran-spec.0.2 on 5.3-opam is not available anymore. Previous state was: partially failing
• diffast-langs-fortran.0.2 on 5.3-opam is not available anymore. Previous state was: partially failing
• diffast-langs-java-parsing.0.2 on 5.3-opam is not available anymore. Previous state was: partially failing
• diffast-langs-java-spec.0.2 on 5.3-opam is not available anymore. Previous state was: partially failing
• diffast-langs-java.0.2 on 5.3-opam is not available anymore. Previous state was: partially failing
• diffast-langs-python-parsing.0.2 on 5.3-opam is not available anymore. Previous state was: partially failing
• diffast-langs-python-spec.0.2 on 5.3-opam is not available anymore. Previous state was: partially failing
• diffast-langs-python.0.2 on 5.3-opam is not available anymore. Previous state was: partially failing
• diffast-langs-verilog-parsing.0.2 on 5.3-opam is not available anymore. Previous state was: partially failing
• diffast-langs-verilog-spec.0.2 on 5.3-opam is not available anymore. Previous state was: partially failing
• diffast-langs-verilog.0.2 on 5.3-opam is not available anymore. Previous state was: partially failing
• diffast-misc.0.1.1 on 5.3-opam is not available anymore. Previous state was: partially failing
• diffast.0.2 on 5.3-opam is not available anymore. Previous state was: partially failing
• dns-certify.10.2.0 on 5.3-dune is not available anymore. Previous state was: passing
• dns-certify.10.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• dns-cli.10.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• dns-client-lwt.10.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• dns-client-miou-unix.10.2.0 on 5.3-dune is not available anymore. Previous state was: passing
• dns-client-miou-unix.10.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• dns-client-mirage.10.2.0 on 5.3-dune is not available anymore. Previous state was: passing
• dns-client-mirage.10.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• dns-client.10.2.0 on 5.3-dune is not available anymore. Previous state was: passing
• dns-client.10.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• dns-mirage.10.2.0 on 5.3-dune is not available anymore. Previous state was: passing
• dns-mirage.10.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• dns-resolver.10.2.0 on 5.3-dune is not available anymore. Previous state was: passing
• dns-resolver.10.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• dns-server.10.2.0 on 5.3-dune is not available anymore. Previous state was: passing
• dns-server.10.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• dns-stub.10.2.0 on 5.3-dune is not available anymore. Previous state was: passing
• dns-stub.10.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• dns-tsig.10.2.0 on 5.3-dune is not available anymore. Previous state was: passing
• dns-tsig.10.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• dns.10.2.0 on 5.3-dune is not available anymore. Previous state was: passing
• dns.10.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• dnssec.10.2.0 on 5.3-dune is not available anymore. Previous state was: passing
• dnssec.10.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• dockerfile-cmd.8.2.9 on 5.3-dune is not available anymore. Previous state was: passing
• dockerfile-cmd.8.2.9 on 5.3-opam is not available anymore. Previous state was: passing
• dockerfile-opam.8.2.9 on 5.3-dune is not available anymore. Previous state was: passing
• dockerfile-opam.8.2.9 on 5.3-opam is not available anymore. Previous state was: passing
• dockerfile.8.2.9 on 5.3-dune is not available anymore. Previous state was: passing
• dockerfile.8.2.9 on 5.3-opam is not available anymore. Previous state was: passing
• dokeysto.4.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• dokeysto.4.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• dokeysto_lz4.4.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• dokeysto_lz4.4.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• domain-name.0.4.1 on 5.3-dune is not available anymore. Previous state was: passing
• domain-name.0.4.1 on 5.3-opam is not available anymore. Previous state was: passing
• dot-merlin-reader.5.5-503 on 5.3-dune is not available anymore. Previous state was: passing
• dot-merlin-reader.5.5-503 on 5.3-opam is not available anymore. Previous state was: passing
• dream_middleware_ext.0.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• dream_middleware_ext.0.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• dune-action-plugin.3.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• dune-build-info.3.19.1 on 5.3-dune is not available anymore. Previous state was: passing
• dune-build-info.3.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• dune-configurator.3.19.1 on 5.3-dune is not available anymore. Previous state was: failing
• dune-configurator.3.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• dune-glob.3.19.1 on 5.3-dune is not available anymore. Previous state was: passing
• dune-glob.3.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• dune-private-libs.3.19.1 on 5.3-dune is not available anymore. Previous state was: passing
• dune-private-libs.3.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• dune-rpc-lwt.3.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• dune-rpc.3.19.1 on 5.3-dune is not available anymore. Previous state was: passing
• dune-rpc.3.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• dune-site.3.19.1 on 5.3-dune is not available anymore. Previous state was: passing
• dune-site.3.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• dunolint-lib.0.0.20250804 on 5.3-opam is not available anymore. Previous state was: passing
• dunolint.0.0.20250804 on 5.3-opam is not available anymore. Previous state was: passing
• dyn.3.19.1 on 5.3-dune is not available anymore. Previous state was: passing
• dyn.3.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• earlybird.1.3.3 on 5.3-dune is not available anymore. Previous state was: passing
• earlybird.1.3.3 on 5.3-opam is not available anymore. Previous state was: passing
• elpi.3.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• elpi.3.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• emoji.2.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• emoji.2.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• fd-send-recv.2.0.2 on 5.3-dune is not available anymore. Previous state was: passing
• fd-send-recv.2.0.2 on 5.3-opam is not available anymore. Previous state was: passing
• ffmpeg-av.1.2.5 on 5.3-dune is not available anymore. Previous state was: passing
• ffmpeg-av.1.2.5 on 5.3-opam is not available anymore. Previous state was: passing
• ffmpeg-avcodec.1.2.5 on 5.3-dune is not available anymore. Previous state was: passing
• ffmpeg-avcodec.1.2.5 on 5.3-opam is not available anymore. Previous state was: passing
• ffmpeg-avdevice.1.2.5 on 5.3-dune is not available anymore. Previous state was: passing
• ffmpeg-avdevice.1.2.5 on 5.3-opam is not available anymore. Previous state was: passing
• ffmpeg-avfilter.1.2.5 on 5.3-dune is not available anymore. Previous state was: passing
• ffmpeg-avfilter.1.2.5 on 5.3-opam is not available anymore. Previous state was: passing
• ffmpeg-avutil.1.2.5 on 5.3-dune is not available anymore. Previous state was: passing
• ffmpeg-avutil.1.2.5 on 5.3-opam is not available anymore. Previous state was: passing
• ffmpeg-swresample.1.2.5 on 5.3-dune is not available anymore. Previous state was: passing
• ffmpeg-swresample.1.2.5 on 5.3-opam is not available anymore. Previous state was: passing
• ffmpeg-swscale.1.2.5 on 5.3-dune is not available anymore. Previous state was: passing
• ffmpeg-swscale.1.2.5 on 5.3-opam is not available anymore. Previous state was: passing
• ffmpeg.1.2.5 on 5.3-dune is not available anymore. Previous state was: passing
• ffmpeg.1.2.5 on 5.3-opam is not available anymore. Previous state was: passing
• fit.1.2.0 on 5.3-dune is not available anymore. Previous state was: passing
• fit.1.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• fix.20250428 on 5.3-dune is not available anymore. Previous state was: passing
• fix.20250428 on 5.3-opam is not available anymore. Previous state was: passing
• frama-c-metacsl.0.9~beta on 5.3-opam is not available anymore. Previous state was: passing
• frama-clang.0.0.18~beta on 5.3-opam is not available anymore. Previous state was: partially failing
• fstar.2025.08.07 on 5.3-opam is not available anymore. Previous state was: passing
• giflib.1.0.3 on 5.3-dune is not available anymore. Previous state was: passing
• giflib.1.0.3 on 5.3-opam is not available anymore. Previous state was: passing
• github-data.4.4.1 on 5.3-dune is not available anymore. Previous state was: passing
• github-data.4.4.1 on 5.3-opam is not available anymore. Previous state was: passing
• github-jsoo.4.4.1 on 5.3-dune is not available anymore. Previous state was: passing
• github-jsoo.4.4.1 on 5.3-opam is not available anymore. Previous state was: passing
• github-unix.4.4.1 on 5.3-dune is not available anymore. Previous state was: passing
• github-unix.4.4.1 on 5.3-opam is not available anymore. Previous state was: passing
• github.4.4.1 on 5.3-dune is not available anymore. Previous state was: passing
• github.4.4.1 on 5.3-opam is not available anymore. Previous state was: passing
• goblint-cil.2.0.6 on 5.3-dune is not available anymore. Previous state was: passing
• goblint-cil.2.0.6 on 5.3-opam is not available anymore. Previous state was: passing
• goblint.2.5.0 on 5.3-dune is not available anymore. Previous state was: passing
• goblint.2.5.0 on 5.3-opam is not available anymore. Previous state was: passing
• hardcaml.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• hardcaml.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• html_of_jsx.0.0.5 on 5.3-opam is not available anymore. Previous state was: passing
• hts_shrink.2.1.2 on 5.3-dune is not available anymore. Previous state was: failing
• hts_shrink.2.1.2 on 5.3-opam is not available anymore. Previous state was: passing
• httpcats.0.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• hugin.1.0.0~alpha0 on 5.3-opam is not available anymore. Previous state was: passing
• hvsock.3.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• hvsock.3.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• hxd.0.3.4 on 5.3-dune is not available anymore. Previous state was: passing
• hxd.0.3.4 on 5.3-opam is not available anymore. Previous state was: passing
• icalendar.0.1.11 on 5.3-dune is not available anymore. Previous state was: passing
• icalendar.0.1.11 on 5.3-opam is not available anymore. Previous state was: passing
• iomux.0.3 on 5.3-dune is not available anymore. Previous state was: passing
• iomux.0.3 on 5.3-opam is not available anymore. Previous state was: passing
• ip2location.8.1.1 on 5.3-dune is not available anymore. Previous state was: passing
• ip2location.8.1.1 on 5.3-opam is not available anymore. Previous state was: passing
• jasmin.2025.06.0 on 5.3-opam is not available anymore. Previous state was: passing
• jsonrpc.1.23.0 on 5.3-dune is not available anymore. Previous state was: passing
• jsonrpc.1.23.0 on 5.3-opam is not available anymore. Previous state was: passing
• kaun.1.0.0~alpha0 on 5.3-opam is not available anymore. Previous state was: passing
• knights_tour.0.0.5 on 5.3-dune is not available anymore. Previous state was: passing
• knights_tour.0.0.5 on 5.3-opam is not available anymore. Previous state was: passing
• libsail.0.19.1 on 5.3-dune is not available anymore. Previous state was: failing
• libsail.0.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• liquidsoap-js.2.3.3 on 5.3-opam is not available anymore. Previous state was: passing
• liquidsoap-lang.2.3.3 on 5.3-opam is not available anymore. Previous state was: passing
• liquidsoap-mode.2.3.3 on 5.3-opam is not available anymore. Previous state was: passing
• liquidsoap.2.3.3 on 5.3-opam is not available anymore. Previous state was: passing
• lsp.1.23.0 on 5.3-dune is not available anymore. Previous state was: passing
• lsp.1.23.0 on 5.3-opam is not available anymore. Previous state was: passing
• lwt_ppx.5.9.1 on 5.3-dune is not available anymore. Previous state was: passing
• lwt_ppx.5.9.1 on 5.3-opam is not available anymore. Previous state was: passing
• mdx.2.5.0 on 5.3-dune is not available anymore. Previous state was: passing
• mdx.2.5.0 on 5.3-opam is not available anymore. Previous state was: passing
• menhir.20240715 on 5.3-opam is not available anymore. Previous state was: passing
• menhirCST.20240715 on 5.3-opam is not available anymore. Previous state was: passing
• menhirLib.20240715 on 5.3-opam is not available anymore. Previous state was: passing
• menhirSdk.20240715 on 5.3-opam is not available anymore. Previous state was: passing
• merlin-lib.5.5-503 on 5.3-dune is not available anymore. Previous state was: passing
• merlin-lib.5.5-503 on 5.3-opam is not available anymore. Previous state was: passing
• merlin.5.5-503 on 5.3-dune is not available anymore. Previous state was: passing
• merlin.5.5-503 on 5.3-opam is not available anymore. Previous state was: passing
• miou.0.4.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-crypto-ec.2.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-crypto-ec.2.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-crypto-pk.2.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-crypto-pk.2.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-crypto-rng-miou-unix.2.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-crypto-rng-miou-unix.2.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-crypto-rng-mirage.2.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-crypto-rng-mirage.2.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-crypto-rng.2.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-crypto-rng.2.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-crypto.2.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-crypto.2.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-kv-mem.4.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-kv-mem.4.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-mtime.5.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-mtime.5.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-net-xen.2.1.5 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-net-xen.2.1.5 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-ptime.5.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-ptime.5.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-runtime.4.9.0 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-runtime.4.9.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage-sleep.4.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• mirage-sleep.4.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• mirage.4.9.0 on 5.3-opam is not available anymore. Previous state was: passing
• monolith.20250314 on 5.3-dune is not available anymore. Previous state was: passing
• monolith.20250314 on 5.3-opam is not available anymore. Previous state was: passing
• moonpool-io.0.8 on 5.3-dune is not available anymore. Previous state was: passing
• moonpool-io.0.8 on 5.3-opam is not available anymore. Previous state was: passing
• moonpool-lwt.0.8 on 5.3-dune is not available anymore. Previous state was: passing
• moonpool-lwt.0.8 on 5.3-opam is not available anymore. Previous state was: passing
• moonpool.0.8 on 5.3-dune is not available anymore. Previous state was: passing
• moonpool.0.8 on 5.3-opam is not available anymore. Previous state was: passing
• multipart_form-cohttp-lwt.0.6.0 on 5.3-dune is not available anymore. Previous state was: passing
• multipart_form-cohttp-lwt.0.6.0 on 5.3-opam is not available anymore. Previous state was: passing
• multipart_form-eio.0.6.0 on 5.3-dune is not available anymore. Previous state was: passing
• multipart_form-eio.0.6.0 on 5.3-opam is not available anymore. Previous state was: passing
• multipart_form-lwt.0.6.0 on 5.3-dune is not available anymore. Previous state was: passing
• multipart_form-lwt.0.6.0 on 5.3-opam is not available anymore. Previous state was: passing
• multipart_form.0.6.0 on 5.3-dune is not available anymore. Previous state was: passing
• multipart_form.0.6.0 on 5.3-opam is not available anymore. Previous state was: passing
• neural_nets_lib.0.5.2 on 5.3-dune is not available anymore. Previous state was: failing
• neural_nets_lib.0.5.2 on 5.3-opam is not available anymore. Previous state was: passing
• nx-datasets.1.0.0~alpha0 on 5.3-opam is not available anymore. Previous state was: passing
• nx.1.0.0~alpha0 on 5.3-opam is not available anymore. Previous state was: passing
• ocaml-index.5.5-503 on 5.3-dune is not available anymore. Previous state was: passing
• ocaml-index.5.5-503 on 5.3-opam is not available anymore. Previous state was: passing
• ocaml-lsp-server.1.23.0 on 5.3-dune is not available anymore. Previous state was: passing
• ocaml-lsp-server.1.23.0 on 5.3-opam is not available anymore. Previous state was: passing
• ocaml-protoc-plugin.6.1.0 on 5.3-dune is not available anymore. Previous state was: failing
• ocaml-protoc-plugin.6.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• ocaml-version.4.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• ocaml-version.4.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• ocamlc-loc.3.19.1 on 5.3-dune is not available anymore. Previous state was: passing
• ocamlc-loc.3.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• ocp-indent.1.8.1 on 5.3-dune is not available anymore. Previous state was: passing
• ocp-indent.1.8.1 on 5.3-opam is not available anymore. Previous state was: passing
• opam-check-npm-deps.4.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• opam-check-npm-deps.4.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• opam-compiler.0.2.0 on 5.3-dune is not available anymore. Previous state was: passing
• opam-compiler.0.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• opam-publish.2.5.1 on 5.3-dune is not available anymore. Previous state was: passing
• opam-publish.2.5.1 on 5.3-opam is not available anymore. Previous state was: passing
• opentelemetry-client-cohttp-lwt.0.11.2 on 5.3-dune is not available anymore. Previous state was: passing
• opentelemetry-client-cohttp-lwt.0.11.2 on 5.3-opam is not available anymore. Previous state was: passing
• opentelemetry-client-ocurl.0.11.2 on 5.3-dune is not available anymore. Previous state was: passing
• opentelemetry-client-ocurl.0.11.2 on 5.3-opam is not available anymore. Previous state was: passing
• opentelemetry-cohttp-lwt.0.11.2 on 5.3-dune is not available anymore. Previous state was: passing
• opentelemetry-cohttp-lwt.0.11.2 on 5.3-opam is not available anymore. Previous state was: passing
• opentelemetry-lwt.0.11.2 on 5.3-dune is not available anymore. Previous state was: passing
• opentelemetry-lwt.0.11.2 on 5.3-opam is not available anymore. Previous state was: passing
• opentelemetry.0.11.2 on 5.3-dune is not available anymore. Previous state was: passing
• opentelemetry.0.11.2 on 5.3-opam is not available anymore. Previous state was: passing
• oranger.2.0.4 on 5.3-dune is not available anymore. Previous state was: passing
• oranger.2.0.4 on 5.3-opam is not available anymore. Previous state was: passing
• ordering.3.19.1 on 5.3-dune is not available anymore. Previous state was: passing
• ordering.3.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• ortac-core.0.7.1 on 5.3-opam is not available anymore. Previous state was: passing
• ortac-dune.0.7.1 on 5.3-opam is not available anymore. Previous state was: passing
• ortac-qcheck-stm.0.7.1 on 5.3-opam is not available anymore. Previous state was: passing
• ortac-runtime-qcheck-stm.0.7.1 on 5.3-opam is not available anymore. Previous state was: passing
• ortac-runtime.0.7.1 on 5.3-opam is not available anymore. Previous state was: passing
• ortac-wrapper.0.7.1 on 5.3-opam is not available anymore. Previous state was: passing
• portmidi.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• portmidi.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• postgresql.5.2.0 on 5.3-dune is not available anymore. Previous state was: passing
• postgresql.5.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• pplumbing.0.0.14 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_bitstring.4.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_bitstring.4.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_derive_at_runtime.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_derive_at_runtime.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_hardcaml.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_hardcaml.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_import.1.11.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_import.1.11.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_interact.0.1.1 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_interact.0.1.1 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_js_style.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_js_style.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_jsobject_conv.0.10.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_jsobject_conv.0.10.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_jsonaf_conv.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_jsonaf_conv.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_minidebug.2.3.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_minidebug.2.3.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_pattern_bind.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_pattern_bind.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_protocol_conv.5.2.2 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_protocol_conv.5.2.2 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_protocol_conv_json.5.2.2 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_protocol_conv_json.5.2.2 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_protocol_conv_jsonm.5.2.2 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_protocol_conv_jsonm.5.2.2 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_protocol_conv_msgpack.5.2.2 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_protocol_conv_msgpack.5.2.2 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_protocol_conv_xml_light.5.2.2 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_protocol_conv_xml_light.5.2.2 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_protocol_conv_xmlm.5.2.2 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_protocol_conv_xmlm.5.2.2 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_protocol_conv_yaml.5.2.2 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_protocol_conv_yaml.5.2.2 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_quick_test.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_quick_test.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_typed_fields.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_typed_fields.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppx_yojson_conv.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• ppx_yojson_conv.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppxlib-tools.0.36.0 on 5.3-opam is not available anymore. Previous state was: passing
• ppxlib.0.37.0~5.4preview on 5.3-opam is not available anymore. Previous state was: passing
• progress.0.4.0 on 5.3-dune is not available anymore. Previous state was: passing
• progress.0.4.0 on 5.3-opam is not available anymore. Previous state was: passing
• protocol-9p-unix.2.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• protocol-9p.2.0.1 on 5.3-dune is not available anymore. Previous state was: failing
• protocol-9p.2.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• qcheck-lin.0.9 on 5.3-dune is not available anymore. Previous state was: passing
• qcheck-lin.0.9 on 5.3-opam is not available anymore. Previous state was: passing
• qcheck-multicoretests-util.0.9 on 5.3-dune is not available anymore. Previous state was: passing
• qcheck-multicoretests-util.0.9 on 5.3-opam is not available anymore. Previous state was: passing
• qcheck-stm.0.9 on 5.3-dune is not available anymore. Previous state was: passing
• qcheck-stm.0.9 on 5.3-opam is not available anymore. Previous state was: passing
• quill.1.0.0~alpha0 on 5.3-opam is not available anymore. Previous state was: passing
• raven.1.0.0~alpha0 on 5.3-opam is not available anymore. Previous state was: passing
• re.1.13.2 on 5.3-dune is not available anymore. Previous state was: passing
• re.1.13.2 on 5.3-opam is not available anymore. Previous state was: passing
• rocq-core.9.0.0 on 5.3-dune is not available anymore. Previous state was: failing
• rocq-core.9.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• rocq-runtime.9.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• rocq-runtime.9.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• rocqide.9.0.0 on 5.3-dune is not available anymore. Previous state was: passing
• rocqide.9.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• rpmfile-cli.0.4.0 on 5.3-dune had its build status changed: passing to not available
• rpmfile-eio.0.5.0 on 5.3-dune had its build status changed: passing to not available
• rpmfile-unix.0.5.0 on 5.3-dune had its build status changed: passing to not available
• rpmfile.0.5.0 on 5.3-dune is not available anymore. Previous state was: passing
• rpmfile.0.5.0 on 5.3-opam is not available anymore. Previous state was: passing
• rune.1.0.0~alpha0 on 5.3-opam is not available anymore. Previous state was: passing
• runtime_events_tools.0.5.2 on 5.3-dune is not available anymore. Previous state was: passing
• runtime_events_tools.0.5.2 on 5.3-opam is not available anymore. Previous state was: passing
• runtime_events_tools_bare.0.5.2 on 5.3-dune is not available anymore. Previous state was: passing
• runtime_events_tools_bare.0.5.2 on 5.3-opam is not available anymore. Previous state was: passing
• sail.0.19.1 on 5.3-dune is not available anymore. Previous state was: failing
• sail.0.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• sail_c_backend.0.19.1 on 5.3-dune is not available anymore. Previous state was: failing
• sail_c_backend.0.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• sail_coq_backend.0.19.1 on 5.3-dune is not available anymore. Previous state was: failing
• sail_coq_backend.0.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• sail_doc_backend.0.19.1 on 5.3-dune is not available anymore. Previous state was: failing
• sail_doc_backend.0.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• sail_latex_backend.0.19.1 on 5.3-dune is not available anymore. Previous state was: failing
• sail_latex_backend.0.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• sail_lean_backend.0.19.1 on 5.3-dune is not available anymore. Previous state was: failing
• sail_lean_backend.0.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• sail_lem_backend.0.19.1 on 5.3-dune is not available anymore. Previous state was: failing
• sail_lem_backend.0.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• sail_manifest.0.19.1 on 5.3-dune is not available anymore. Previous state was: passing
• sail_manifest.0.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• sail_ocaml_backend.0.19.1 on 5.3-dune is not available anymore. Previous state was: failing
• sail_ocaml_backend.0.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• sail_output.0.19.1 on 5.3-dune is not available anymore. Previous state was: failing
• sail_output.0.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• sail_smt_backend.0.19.1 on 5.3-dune is not available anymore. Previous state was: failing
• sail_smt_backend.0.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• sail_sv_backend.0.19.1 on 5.3-dune is not available anymore. Previous state was: failing
• sail_sv_backend.0.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• sedlex.3.6 on 5.3-dune is not available anymore. Previous state was: passing
• sedlex.3.6 on 5.3-opam is not available anymore. Previous state was: passing
• slipshow.0.5.0 on 5.3-dune is not available anymore. Previous state was: passing
• slipshow.0.5.0 on 5.3-opam is not available anymore. Previous state was: passing
• smtml.0.8.0 on 5.3-dune is not available anymore. Previous state was: passing
• smtml.0.8.0 on 5.3-opam is not available anymore. Previous state was: passing
• snf_mcp.0.2.0 on 5.3-dune is not available anymore. Previous state was: passing
• snf_mcp.0.2.0 on 5.3-opam is not available anymore. Previous state was: passing
• sowilo.1.0.0~alpha0 on 5.3-opam is not available anymore. Previous state was: passing
• spoke.0.0.3 on 5.3-dune is not available anymore. Previous state was: passing
• spoke.0.0.3 on 5.3-opam is not available anymore. Previous state was: passing
• stdcompat.21.0 on 5.3-dune is not available anymore. Previous state was: passing
• stdcompat.21.0 on 5.3-opam is not available anymore. Previous state was: passing
• stdune.3.19.1 on 5.3-dune is not available anymore. Previous state was: passing
• stdune.3.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• streamable.v0.17.0 on 5.3-dune is not available anymore. Previous state was: passing
• streamable.v0.17.0 on 5.3-opam is not available anymore. Previous state was: passing
• terminal.0.4.0 on 5.3-dune is not available anymore. Previous state was: passing
• terminal.0.4.0 on 5.3-opam is not available anymore. Previous state was: passing
• testo-diff.0.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• testo-diff.0.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• testo-lwt.0.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• testo-lwt.0.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• testo-util.0.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• testo-util.0.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• testo.0.1.0 on 5.3-dune is not available anymore. Previous state was: passing
• testo.0.1.0 on 5.3-opam is not available anymore. Previous state was: passing
• tls-async.2.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• tls-async.2.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• tls-eio.2.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• tls-eio.2.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• tls-lwt.2.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• tls-lwt.2.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• tls-miou-unix.2.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• tls-miou-unix.2.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• tls-mirage.2.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• tls-mirage.2.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• tls.2.0.1 on 5.3-dune is not available anymore. Previous state was: passing
• tls.2.0.1 on 5.3-opam is not available anymore. Previous state was: passing
• unionFind.20220122 on 5.3-dune is not available anymore. Previous state was: passing
• unionFind.20220122 on 5.3-opam is not available anymore. Previous state was: passing
• unisim_archisec.0.0.11 on 5.3-dune is not available anymore. Previous state was: failing
• unisim_archisec.0.0.11 on 5.3-opam is not available anymore. Previous state was: passing
• uring.0.9 on 5.3-dune is not available anymore. Previous state was: passing
• uring.0.9 on 5.3-opam is not available anymore. Previous state was: passing
• visitors.20250212 on 5.3-opam is not available anymore. Previous state was: passing
• volgo-base.0.0.18 on 5.3-opam is not available anymore. Previous state was: passing
• volgo-git-backend.0.0.18 on 5.3-opam is not available anymore. Previous state was: passing
• volgo-git-eio.0.0.18 on 5.3-opam is not available anymore. Previous state was: passing
• volgo-git-unix.0.0.18 on 5.3-opam is not available anymore. Previous state was: passing
• volgo-hg-backend.0.0.18 on 5.3-opam is not available anymore. Previous state was: passing
• volgo-hg-eio.0.0.18 on 5.3-opam is not available anymore. Previous state was: passing
• volgo-hg-unix.0.0.18 on 5.3-opam is not available anymore. Previous state was: passing
• volgo-vcs.0.0.18 on 5.3-opam is not available anymore. Previous state was: passing
• volgo.0.0.18 on 5.3-opam is not available anymore. Previous state was: passing
• xdg.3.19.1 on 5.3-dune is not available anymore. Previous state was: passing
• xdg.3.19.1 on 5.3-opam is not available anymore. Previous state was: passing
• xedbindings.0.9 on 5.3-dune is not available anymore. Previous state was: failing
• xedbindings.0.9 on 5.3-opam is not available anymore. Previous state was: passing
• yocaml.2.3.0 on 5.3-dune is not available anymore. Previous state was: passing
• yocaml.2.3.0 on 5.3-opam is not available anymore. Previous state was: passing
• yocaml_cmarkit.2.3.0 on 5.3-dune is not available anymore. Previous state was: passing
• yocaml_cmarkit.2.3.0 on 5.3-opam is not available anymore. Previous state was: passing
• yocaml_eio.2.3.0 on 5.3-dune is not available anymore. Previous state was: passing
• yocaml_eio.2.3.0 on 5.3-opam is not available anymore. Previous state was: passing
• yocaml_git.2.3.0 on 5.3-dune is not available anymore. Previous state was: passing
• yocaml_git.2.3.0 on 5.3-opam is not available anymore. Previous state was: passing
• yocaml_jingoo.2.3.0 on 5.3-dune is not available anymore. Previous state was: passing
• yocaml_jingoo.2.3.0 on 5.3-opam is not available anymore. Previous state was: passing
• yocaml_markdown.1.0.0 on 5.3-opam is not available anymore. Previous state was: passing
• yocaml_mustache.2.3.0 on 5.3-dune is not available anymore. Previous state was: passing
• yocaml_mustache.2.3.0 on 5.3-opam is not available anymore. Previous state was: passing
• yocaml_omd.2.3.0 on 5.3-dune is not available anymore. Previous state was: passing
• yocaml_omd.2.3.0 on 5.3-opam is not available anymore. Previous state was: passing
• yocaml_otoml.2.3.0 on 5.3-dune is not available anymore. Previous state was: passing
• yocaml_otoml.2.3.0 on 5.3-opam is not available anymore. Previous state was: passing
• yocaml_runtime.2.3.0 on 5.3-dune is not available anymore. Previous state was: passing
• yocaml_runtime.2.3.0 on 5.3-opam is not available anymore. Previous state was: passing
• yocaml_syndication.2.3.0 on 5.3-dune is not available anymore. Previous state was: passing
• yocaml_syndication.2.3.0 on 5.3-opam is not available anymore. Previous state was: passing
• yocaml_unix.2.3.0 on 5.3-dune is not available anymore. Previous state was: passing
• yocaml_unix.2.3.0 on 5.3-opam is not available anymore. Previous state was: passing
• yocaml_yaml.2.3.0 on 5.3-dune is not available anymore. Previous state was: passing
• yocaml_yaml.2.3.0 on 5.3-opam is not available anymore. Previous state was: passing

Packages now failing with an internal failure:

• opam-build.0.2.6 on 5.3-opam is now installable. Current state is: internal failure
• opam-test.0.2.6 on 5.3-opam is now installable. Current state is: internal failure

Packages now passing:

• ANSITerminal.0.8.5 on 5.3-dune had its build status changed: failing to passing
• SZXX.4.2.0 on 5.3-dune had its build status changed: failing to passing
• accessor_base.v0.17.0 on 5.3-dune had its build status changed: failing to passing
• acgtk.2.1.0 on 5.3-dune had its build status changed: failing to passing
• acp4.1.1.0 on 5.3-opam is now installable. Current state is: passing
• agrid.0.1 on 5.3-dune had its build status changed: failing to passing
• albatross.2.6.0 on 5.3-dune is now installable. Current state is: passing
• albatross.2.6.0 on 5.3-opam is now installable. Current state is: passing
• alcotest-async.1.9.1 on 5.3-dune is now installable. Current state is: passing
• alcotest-async.1.9.1 on 5.3-opam is now installable. Current state is: passing
• alcotest-js.1.9.1 on 5.3-dune is now installable. Current state is: passing
• alcotest-js.1.9.1 on 5.3-opam is now installable. Current state is: passing
• alcotest-lwt.1.9.1 on 5.3-dune is now installable. Current state is: passing
• alcotest-lwt.1.9.1 on 5.3-opam is now installable. Current state is: passing
• alcotest-mirage.1.9.1 on 5.3-dune is now installable. Current state is: passing
• alcotest-mirage.1.9.1 on 5.3-opam is now installable. Current state is: passing
• alcotest.1.9.1 on 5.3-dune is now installable. Current state is: passing
• alcotest.1.9.1 on 5.3-opam is now installable. Current state is: passing
• angstrom-async.0.16.1 on 5.3-dune had its build status changed: failing to passing
• ansifmt.1.0.0~pre2 on 5.3-dune had its build status changed: failing to passing
• ao.0.2.4 on 5.3-dune had its build status changed: failing to passing
• archi.0.2.0 on 5.3-dune had its build status changed: failing to passing
• arrayjit.0.6.1 on 5.3-opam is now installable. Current state is: passing
• asn1-combinators.0.3.2 on 5.3-dune had its build status changed: failing to passing
• async_inotify.v0.17.0 on 5.3-dune had its build status changed: failing to passing
• async_log.v0.17.0 on 5.3-dune had its build status changed: failing to passing
• async_ssl.v0.17.0-1 on 5.3-dune had its build status changed: failing to passing
• async_websocket.v0.17.0 on 5.3-dune had its build status changed: failing to passing
• atdpy.2.16.0 on 5.3-dune had its build status changed: failing to passing
• aws-cloudtrail.1.2 on 5.3-dune had its build status changed: failing to passing
• aws-lwt.1.2 on 5.3-dune had its build status changed: failing to passing
• aws-sdb.1.2 on 5.3-dune had its build status changed: failing to passing
• azure-cosmos-db.0.3.1 on 5.3-dune is now installable. Current state is: passing
• azure-cosmos-db.0.3.1 on 5.3-opam is now installable. Current state is: passing
• backoff.0.1.1 on 5.3-dune had its build status changed: failing to passing
• base64.3.5.2 on 5.3-dune is now installable. Current state is: passing
• base64.3.5.2 on 5.3-opam is now installable. Current state is: passing
• base_quickcheck.v0.17.1 on 5.3-dune had its build status changed: failing to passing
• batteries.3.10.0 on 5.3-dune is now installable. Current state is: passing
• batteries.3.10.0 on 5.3-opam is now installable. Current state is: passing
• bdd.0.5 on 5.3-dune had its build status changed: failing to passing
• beluga.1.1.3 on 5.3-dune is now installable. Current state is: passing
• beluga.1.1.3 on 5.3-opam is now installable. Current state is: passing
• bencode.2.0 on 5.3-dune had its build status changed: failing to passing
• bignum.v0.17.0 on 5.3-dune had its build status changed: failing to passing
• bimage-unix.0.6.0 on 5.3-dune had its build status changed: failing to passing
• bin_prot.v0.17.0-1 on 5.3-dune had its build status changed: failing to passing
• binsec.0.10.1 on 5.3-dune had its build status changed: failing to passing
• bitlib.1.0 on 5.3-dune had its build status changed: failing to passing
• bitstring.5.0.1 on 5.3-dune is now installable. Current state is: passing
• bitstring.5.0.1 on 5.3-opam is now installable. Current state is: passing
• bitv.2.1 on 5.3-dune is now installable. Current state is: passing
• bitv.2.1 on 5.3-opam is now installable. Current state is: passing
• bitwuzla-cxx.0.8.2 on 5.3-opam is now installable. Current state is: passing
• blurhash.0.1.0 on 5.3-dune had its build status changed: failing to passing
• bogue.20250815 on 5.3-dune is now installable. Current state is: passing
• bogue.20250815 on 5.3-opam is now installable. Current state is: passing
• bstr.0.0.2 on 5.3-dune had its build status changed: failing to passing
• build_path_prefix_map.0.3 on 5.3-dune had its build status changed: not available to passing
• ca-certs-nss.3.117 on 5.3-dune is now installable. Current state is: passing
• ca-certs-nss.3.117 on 5.3-opam is now installable. Current state is: passing
• cactus.1.0.0 on 5.3-dune had its build status changed: failing to passing
• caisar-xgboost.0.2 on 5.3-dune had its build status changed: not available to passing
• calculon.0.8 on 5.3-opam had its build status changed: internal failure to passing
• carbon.0.2.0 on 5.3-opam had its build status changed: internal failure to passing
• catapult-sqlite.0.2 on 5.3-dune had its build status changed: not available to passing
• chamelon-unix.0.2.1 on 5.3-dune is now installable. Current state is: passing
• chamelon-unix.0.2.1 on 5.3-opam is now installable. Current state is: passing
• chamelon.0.2.1 on 5.3-dune is now installable. Current state is: passing
• chamelon.0.2.1 on 5.3-opam is now installable. Current state is: passing
• charrua-client.2.1.1 on 5.3-dune is now installable. Current state is: passing
• charrua-client.2.1.1 on 5.3-opam is now installable. Current state is: passing
• charrua-server.2.1.1 on 5.3-dune is now installable. Current state is: passing
• charrua-server.2.1.1 on 5.3-opam is now installable. Current state is: passing
• charrua-unix.2.1.1 on 5.3-dune is now installable. Current state is: passing
• charrua-unix.2.1.1 on 5.3-opam is now installable. Current state is: passing
• charrua.2.1.1 on 5.3-dune is now installable. Current state is: passing
• charrua.2.1.1 on 5.3-opam is now installable. Current state is: passing
• chess_com_api.1.0.1 on 5.3-dune is now installable. Current state is: passing
• chess_com_api.1.0.1 on 5.3-opam is now installable. Current state is: passing
• chrome-trace.3.20.2 on 5.3-dune is now installable. Current state is: passing
• chrome-trace.3.20.2 on 5.3-opam is now installable. Current state is: passing
• claudius.1.2.1 on 5.3-dune is now installable. Current state is: passing
• claudius.1.2.1 on 5.3-opam is now installable. Current state is: passing
• climate.0.8.5 on 5.3-opam is now installable. Current state is: passing
• cmdlang-cmdliner-err-runner.0.0.16 on 5.3-opam is now installable. Current state is: passing
• cmdlang-stdlib-runner.0.0.10 on 5.3-opam is now installable. Current state is: passing
• cmdlang-to-base.0.0.10 on 5.3-opam is now installable. Current state is: passing
• cmdlang-to-climate.0.0.10 on 5.3-opam is now installable. Current state is: passing
• cmdlang-to-cmdliner.0.0.10 on 5.3-opam is now installable. Current state is: passing
• cmdlang.0.0.10 on 5.3-opam is now installable. Current state is: passing
• conex-mirage-crypto.0.11.1 on 5.3-dune had its build status changed: not available to passing
• config-file.1.2.2 on 5.3-opam is now installable. Current state is: passing
• coq-core.9.1.0 on 5.3-opam is now installable. Current state is: passing
• coq-lsp.0.2.4+9.1 on 5.3-opam is now installable. Current state is: passing
• coq-waterproof.3.0.0+9.0 on 5.3-opam is now installable. Current state is: passing
• coqide-server.9.1.0 on 5.3-opam is now installable. Current state is: passing
• crontab.0.1 on 5.3-dune had its build status changed: not available to passing
• crs.0.0.20250914 on 5.3-opam is now installable. Current state is: passing
• cudd.0.1.3 on 5.3-opam is now installable. Current state is: passing
• diffast-api.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• diffast-cli.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• diffast-core.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• diffast-etc.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• diffast-git-cli.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• diffast-git.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• diffast-langs-common.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• diffast-langs-cpp-parsing-cli.0.2 on 5.3-opam had its build status changed: partially failing to passing
• diffast-langs-cpp-parsing.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• diffast-langs-cpp-spec.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• diffast-langs-cpp.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• diffast-langs-fortran-parsing-cli.0.2 on 5.3-opam had its build status changed: partially failing to passing
• diffast-langs-fortran-parsing.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• diffast-langs-fortran-spec.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• diffast-langs-fortran.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• diffast-langs-java-parsing-cli.0.2 on 5.3-opam had its build status changed: partially failing to passing
• diffast-langs-java-parsing.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• diffast-langs-java-spec.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• diffast-langs-java.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• diffast-langs-python-parsing-cli.0.2 on 5.3-opam had its build status changed: partially failing to passing
• diffast-langs-python-parsing.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• diffast-langs-python-spec.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• diffast-langs-python.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• diffast-langs-verilog-parsing-cli.0.2 on 5.3-opam had its build status changed: partially failing to passing
• diffast-langs-verilog-parsing.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• diffast-langs-verilog-spec.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• diffast-langs-verilog.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• diffast-misc.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• diffast.0.3.5.1 on 5.3-opam is now installable. Current state is: passing
• dns-certify.10.2.1 on 5.3-dune is now installable. Current state is: passing
• dns-certify.10.2.1 on 5.3-opam is now installable. Current state is: passing
• dns-cli.10.2.1 on 5.3-opam is now installable. Current state is: passing
• dns-client-lwt.10.2.1 on 5.3-opam is now installable. Current state is: passing
• dns-client-miou-unix.10.2.1 on 5.3-dune is now installable. Current state is: passing
• dns-client-miou-unix.10.2.1 on 5.3-opam is now installable. Current state is: passing
• dns-client-mirage.10.2.1 on 5.3-dune is now installable. Current state is: passing
• dns-client-mirage.10.2.1 on 5.3-opam is now installable. Current state is: passing
• dns-client.10.2.1 on 5.3-dune is now installable. Current state is: passing
• dns-client.10.2.1 on 5.3-opam is now installable. Current state is: passing
• dns-mirage.10.2.1 on 5.3-dune is now installable. Current state is: passing
• dns-mirage.10.2.1 on 5.3-opam is now installable. Current state is: passing
• dns-resolver.10.2.1 on 5.3-dune is now installable. Current state is: passing
• dns-resolver.10.2.1 on 5.3-opam is now installable. Current state is: passing
• dns-server.10.2.1 on 5.3-dune is now installable. Current state is: passing
• dns-server.10.2.1 on 5.3-opam is now installable. Current state is: passing
• dns-stub.10.2.1 on 5.3-dune is now installable. Current state is: passing
• dns-stub.10.2.1 on 5.3-opam is now installable. Current state is: passing
• dns-tsig.10.2.1 on 5.3-dune is now installable. Current state is: passing
• dns-tsig.10.2.1 on 5.3-opam is now installable. Current state is: passing
• dns.10.2.1 on 5.3-dune is now installable. Current state is: passing
• dns.10.2.1 on 5.3-opam is now installable. Current state is: passing
• dnssec.10.2.1 on 5.3-dune is now installable. Current state is: passing
• dnssec.10.2.1 on 5.3-opam is now installable. Current state is: passing
• dockerfile-cmd.8.3.2 on 5.3-dune is now installable. Current state is: passing
• dockerfile-cmd.8.3.2 on 5.3-opam is now installable. Current state is: passing
• dockerfile-opam.8.3.2 on 5.3-dune is now installable. Current state is: passing
• dockerfile-opam.8.3.2 on 5.3-opam is now installable. Current state is: passing
• dockerfile.8.3.2 on 5.3-dune is now installable. Current state is: passing
• dockerfile.8.3.2 on 5.3-opam is now installable. Current state is: passing
• dokeysto.4.0.2 on 5.3-dune is now installable. Current state is: passing
• dokeysto.4.0.2 on 5.3-opam is now installable. Current state is: passing
• dokeysto_lz4.4.0.2 on 5.3-dune is now installable. Current state is: passing
• dokeysto_lz4.4.0.2 on 5.3-opam is now installable. Current state is: passing
• domain-name.0.5.0 on 5.3-dune is now installable. Current state is: passing
• domain-name.0.5.0 on 5.3-opam is now installable. Current state is: passing
• dot-merlin-reader.5.6-503 on 5.3-opam is now installable. Current state is: passing
• dream_middleware_ext.0.1.1 on 5.3-dune is now installable. Current state is: passing
• dream_middleware_ext.0.1.1 on 5.3-opam is now installable. Current state is: passing
• dune-action-plugin.3.20.2 on 5.3-opam is now installable. Current state is: passing
• dune-build-info.3.20.2 on 5.3-dune is now installable. Current state is: passing
• dune-build-info.3.20.2 on 5.3-opam is now installable. Current state is: passing
• dune-configurator.3.20.2 on 5.3-opam is now installable. Current state is: passing
• dune-glob.3.20.2 on 5.3-dune is now installable. Current state is: passing
• dune-glob.3.20.2 on 5.3-opam is now installable. Current state is: passing
• dune-private-libs.3.20.2 on 5.3-dune is now installable. Current state is: passing
• dune-private-libs.3.20.2 on 5.3-opam is now installable. Current state is: passing
• dune-rpc-lwt.3.20.2 on 5.3-opam is now installable. Current state is: passing
• dune-rpc.3.20.2 on 5.3-dune is now installable. Current state is: passing
• dune-rpc.3.20.2 on 5.3-opam is now installable. Current state is: passing
• dune-site.3.20.2 on 5.3-dune is now installable. Current state is: passing
• dune-site.3.20.2 on 5.3-opam is now installable. Current state is: passing
• dunolint-lib-base.0.0.20251006 on 5.3-opam is now installable. Current state is: passing
• dunolint-lib.0.0.20251006 on 5.3-opam is now installable. Current state is: passing
• dunolint.0.0.20251006 on 5.3-opam is now installable. Current state is: passing
• dyn.3.20.2 on 5.3-dune is now installable. Current state is: passing
• dyn.3.20.2 on 5.3-opam is now installable. Current state is: passing
• earlybird.1.3.4 on 5.3-dune is now installable. Current state is: passing
• earlybird.1.3.4 on 5.3-opam is now installable. Current state is: passing
• elpi.3.4.1 on 5.3-dune is now installable. Current state is: passing
• elpi.3.4.1 on 5.3-opam is now installable. Current state is: passing
• emoji.3.0.1 on 5.3-dune is now installable. Current state is: passing
• emoji.3.0.1 on 5.3-opam is now installable. Current state is: passing
• fadecider.0.7 on 5.3-dune is now installable. Current state is: passing
• fadecider.0.7 on 5.3-opam is now installable. Current state is: passing
• fd-send-recv.2.0.3 on 5.3-dune is now installable. Current state is: passing
• fd-send-recv.2.0.3 on 5.3-opam is now installable. Current state is: passing
• fehu.1.0.0~alpha1 on 5.3-opam is now installable. Current state is: passing
• ffmpeg-av.1.2.6 on 5.3-dune is now installable. Current state is: passing
• ffmpeg-av.1.2.6 on 5.3-opam is now installable. Current state is: passing
• ffmpeg-avcodec.1.2.6 on 5.3-dune is now installable. Current state is: passing
• ffmpeg-avcodec.1.2.6 on 5.3-opam is now installable. Current state is: passing
• ffmpeg-avdevice.1.2.6 on 5.3-dune is now installable. Current state is: passing
• ffmpeg-avdevice.1.2.6 on 5.3-opam is now installable. Current state is: passing
• ffmpeg-avfilter.1.2.6 on 5.3-dune is now installable. Current state is: passing
• ffmpeg-avfilter.1.2.6 on 5.3-opam is now installable. Current state is: passing
• ffmpeg-avutil.1.2.6 on 5.3-dune is now installable. Current state is: passing
• ffmpeg-avutil.1.2.6 on 5.3-opam is now installable. Current state is: passing
• ffmpeg-swresample.1.2.6 on 5.3-dune is now installable. Current state is: passing
• ffmpeg-swresample.1.2.6 on 5.3-opam is now installable. Current state is: passing
• ffmpeg-swscale.1.2.6 on 5.3-dune is now installable. Current state is: passing
• ffmpeg-swscale.1.2.6 on 5.3-opam is now installable. Current state is: passing
• ffmpeg.1.2.6 on 5.3-dune is now installable. Current state is: passing
• ffmpeg.1.2.6 on 5.3-opam is now installable. Current state is: passing
• fit.1.3.2 on 5.3-dune is now installable. Current state is: passing
• fit.1.3.2 on 5.3-opam is now installable. Current state is: passing
• fix.20250919 on 5.3-dune is now installable. Current state is: passing
• fix.20250919 on 5.3-opam is now installable. Current state is: passing
• fontforge-of-ocaml.1.1.0 on 5.3-opam is now installable. Current state is: passing
• frama-c-metacsl.0.9 on 5.3-opam is now installable. Current state is: passing
• fstar.2025.10.06 on 5.3-opam is now installable. Current state is: passing
• giflib.1.1.0 on 5.3-dune is now installable. Current state is: passing
• giflib.1.1.0 on 5.3-opam is now installable. Current state is: passing
• github-data.4.5.0 on 5.3-dune is now installable. Current state is: passing
• github-data.4.5.0 on 5.3-opam is now installable. Current state is: passing
• github-jsoo.4.5.0 on 5.3-dune is now installable. Current state is: passing
• github-jsoo.4.5.0 on 5.3-opam is now installable. Current state is: passing
• github-unix.4.5.0 on 5.3-dune is now installable. Current state is: passing
• github-unix.4.5.0 on 5.3-opam is now installable. Current state is: passing
• github.4.5.0 on 5.3-dune is now installable. Current state is: passing
• github.4.5.0 on 5.3-opam is now installable. Current state is: passing
• gl-legacy.0.1.0 on 5.3-dune is now installable. Current state is: passing
• gl-legacy.0.1.0 on 5.3-opam is now installable. Current state is: passing
• goblint-cil.2.0.7 on 5.3-dune is now installable. Current state is: passing
• goblint-cil.2.0.7 on 5.3-opam is now installable. Current state is: passing
• handlebars-ml.0.1.2 on 5.3-dune is now installable. Current state is: passing
• handlebars-ml.0.1.2 on 5.3-opam is now installable. Current state is: passing
• hardcaml.v0.17.1 on 5.3-dune is now installable. Current state is: passing
• hardcaml.v0.17.1 on 5.3-opam is now installable. Current state is: passing
• html_of_jsx.0.0.6 on 5.3-opam is now installable. Current state is: passing
• hts_shrink.3.0.1 on 5.3-opam is now installable. Current state is: passing
• httpcats.0.1.0 on 5.3-opam is now installable. Current state is: passing
• hugin.1.0.0~alpha1 on 5.3-opam is now installable. Current state is: passing
• hurl.0.0.1~beta1 on 5.3-opam is now installable. Current state is: passing
• hvsock.3.1.0 on 5.3-dune is now installable. Current state is: passing
• hvsock.3.1.0 on 5.3-opam is now installable. Current state is: passing
• hxd.0.3.5 on 5.3-dune is now installable. Current state is: passing
• hxd.0.3.5 on 5.3-opam is now installable. Current state is: passing
• icalendar.0.1.13 on 5.3-dune is now installable. Current state is: passing
• icalendar.0.1.13 on 5.3-opam is now installable. Current state is: passing
• incremental_cycles.0.1 on 5.3-opam is now installable. Current state is: passing
• inifiles.2.0 on 5.3-dune is now installable. Current state is: passing
• inifiles.2.0 on 5.3-opam is now installable. Current state is: passing
• intPQueue.20250925 on 5.3-dune is now installable. Current state is: passing
• intPQueue.20250925 on 5.3-opam is now installable. Current state is: passing
• iomux.0.4 on 5.3-dune is now installable. Current state is: passing
• iomux.0.4 on 5.3-opam is now installable. Current state is: passing
• ip2location.8.2.0 on 5.3-dune is now installable. Current state is: passing
• ip2location.8.2.0 on 5.3-opam is now installable. Current state is: passing
• jasmin.2025.06.1 on 5.3-opam is now installable. Current state is: passing
• jsonrpc.1.24.0 on 5.3-dune is now installable. Current state is: passing
• jsonrpc.1.24.0 on 5.3-opam is now installable. Current state is: passing
• kaun.1.0.0~alpha1 on 5.3-opam is now installable. Current state is: passing
• knights_tour.0.0.6 on 5.3-dune is now installable. Current state is: passing
• knights_tour.0.0.6 on 5.3-opam is now installable. Current state is: passing
• ldap.2.5.2 on 5.3-dune is now installable. Current state is: passing
• ldap.2.5.2 on 5.3-opam is now installable. Current state is: passing
• libsail.0.20 on 5.3-opam is now installable. Current state is: passing
• lichess_api.1.0.1 on 5.3-dune is now installable. Current state is: passing
• lichess_api.1.0.1 on 5.3-opam is now installable. Current state is: passing
• linol-eio.0.10 on 5.3-dune had its build status changed: failing to passing
• linol-eio.0.10 on 5.3-opam had its build status changed: partially failing to passing
• linol-lwt.0.10 on 5.3-dune had its build status changed: failing to passing
• linol-lwt.0.10 on 5.3-opam had its build status changed: partially failing to passing
• linol.0.10 on 5.3-dune had its build status changed: failing to passing
• linol.0.10 on 5.3-opam had its build status changed: failing to passing
• linwrap.9.2.0 on 5.3-opam is now installable. Current state is: passing
• liquidsoap-js.2.4.0 on 5.3-opam is now installable. Current state is: passing
• liquidsoap-lang.2.4.0 on 5.3-opam is now installable. Current state is: passing
• liquidsoap-mode.2.4.0 on 5.3-opam is now installable. Current state is: passing
• liquidsoap.2.4.0 on 5.3-opam is now installable. Current state is: passing
• lsp.1.24.0 on 5.3-dune is now installable. Current state is: passing
• lsp.1.24.0 on 5.3-opam is now installable. Current state is: passing
• lwt_ppx.5.9.2 on 5.3-opam is now installable. Current state is: passing
• matplotlib.0.2 on 5.3-dune is now installable. Current state is: passing
• matplotlib.0.2 on 5.3-opam is now installable. Current state is: passing
• mdx.2.5.1 on 5.3-dune is now installable. Current state is: passing
• mdx.2.5.1 on 5.3-opam is now installable. Current state is: passing
• memprof-limits.0.3.0 on 5.3-dune is now installable. Current state is: passing
• memprof-limits.0.3.0 on 5.3-opam is now installable. Current state is: passing
• menhir.20250912 on 5.3-opam is now installable. Current state is: passing
• menhirCST.20250912 on 5.3-opam is now installable. Current state is: passing
• menhirLib.20250912 on 5.3-opam is now installable. Current state is: passing
• menhirSdk.20250912 on 5.3-opam is now installable. Current state is: passing
• merlin-lib.5.6-503 on 5.3-opam is now installable. Current state is: passing
• merlin.5.6-503 on 5.3-opam is now installable. Current state is: passing
• metaquot.0.6.0 on 5.3-dune is now installable. Current state is: passing
• metaquot.0.6.0 on 5.3-opam is now installable. Current state is: passing
• miou.0.5.0 on 5.3-opam is now installable. Current state is: passing
• mirage-crypto-ec.2.0.2 on 5.3-dune is now installable. Current state is: passing
• mirage-crypto-ec.2.0.2 on 5.3-opam is now installable. Current state is: passing
• mirage-crypto-pk.2.0.2 on 5.3-dune is now installable. Current state is: passing
• mirage-crypto-pk.2.0.2 on 5.3-opam is now installable. Current state is: passing
• mirage-crypto-rng-miou-unix.2.0.2 on 5.3-dune is now installable. Current state is: passing
• mirage-crypto-rng-miou-unix.2.0.2 on 5.3-opam is now installable. Current state is: passing
• mirage-crypto-rng-mirage.2.0.2 on 5.3-dune is now installable. Current state is: passing
• mirage-crypto-rng-mirage.2.0.2 on 5.3-opam is now installable. Current state is: passing
• mirage-crypto-rng.2.0.2 on 5.3-dune is now installable. Current state is: passing
• mirage-crypto-rng.2.0.2 on 5.3-opam is now installable. Current state is: passing
• mirage-crypto.2.0.2 on 5.3-dune is now installable. Current state is: passing
• mirage-crypto.2.0.2 on 5.3-opam is now installable. Current state is: passing
• mirage-kv-mem.4.0.1 on 5.3-dune is now installable. Current state is: passing
• mirage-kv-mem.4.0.1 on 5.3-opam is now installable. Current state is: passing
• mirage-mtime.5.2.0 on 5.3-dune is now installable. Current state is: passing
• mirage-mtime.5.2.0 on 5.3-opam is now installable. Current state is: passing
• mirage-net-xen.2.1.7 on 5.3-dune is now installable. Current state is: passing
• mirage-net-xen.2.1.7 on 5.3-opam is now installable. Current state is: passing
• mirage-ptime.5.1.0 on 5.3-dune is now installable. Current state is: passing
• mirage-ptime.5.1.0 on 5.3-opam is now installable. Current state is: passing
• mirage-runtime.4.10.2 on 5.3-dune is now installable. Current state is: passing
• mirage-runtime.4.10.2 on 5.3-opam is now installable. Current state is: passing
• mirage-sleep.4.1.0 on 5.3-dune is now installable. Current state is: passing
• mirage-sleep.4.1.0 on 5.3-opam is now installable. Current state is: passing
• mirage.4.10.2 on 5.3-opam is now installable. Current state is: passing
• mlgpx.1.0.0 on 5.3-dune is now installable. Current state is: passing
• mlgpx.1.0.0 on 5.3-opam is now installable. Current state is: passing
• mlsolver.1.5 on 5.3-dune is now installable. Current state is: passing
• mlsolver.1.5 on 5.3-opam is now installable. Current state is: passing
• mmo.1.0.1 on 5.3-dune is now installable. Current state is: passing
• mmo.1.0.1 on 5.3-opam is now installable. Current state is: passing
• molenc.17.0.1 on 5.3-opam is now installable. Current state is: passing
• monolith.20250922 on 5.3-dune is now installable. Current state is: passing
• monolith.20250922 on 5.3-opam is now installable. Current state is: passing
• moonpool-io.0.9 on 5.3-dune is now installable. Current state is: passing
• moonpool-io.0.9 on 5.3-opam is now installable. Current state is: passing
• moonpool-lwt.0.9 on 5.3-dune is now installable. Current state is: passing
• moonpool-lwt.0.9 on 5.3-opam is now installable. Current state is: passing
• moonpool.0.9 on 5.3-dune is now installable. Current state is: passing
• moonpool.0.9 on 5.3-opam is now installable. Current state is: passing
• morbig.0.11.0 on 5.3-dune had its build status changed: failing to passing
• morbig.0.11.0 on 5.3-opam had its build status changed: failing to passing
• mosaique.0.0.1 on 5.3-dune is now installable. Current state is: passing
• mosaique.0.0.1 on 5.3-opam is now installable. Current state is: passing
• multipart_form-cohttp-lwt.0.7.0 on 5.3-dune is now installable. Current state is: passing
• multipart_form-cohttp-lwt.0.7.0 on 5.3-opam is now installable. Current state is: passing
• multipart_form-eio.0.7.0 on 5.3-dune is now installable. Current state is: passing
• multipart_form-eio.0.7.0 on 5.3-opam is now installable. Current state is: passing
• multipart_form-lwt.0.7.0 on 5.3-dune is now installable. Current state is: passing
• multipart_form-lwt.0.7.0 on 5.3-opam is now installable. Current state is: passing
• multipart_form-miou.0.7.0 on 5.3-dune is now installable. Current state is: passing
• multipart_form-miou.0.7.0 on 5.3-opam is now installable. Current state is: passing
• multipart_form.0.7.0 on 5.3-dune is now installable. Current state is: passing
• multipart_form.0.7.0 on 5.3-opam is now installable. Current state is: passing
• neural_nets_lib.0.6.1 on 5.3-opam is now installable. Current state is: passing
• notty-community.0.2.4 on 5.3-dune is now installable. Current state is: passing
• notty-community.0.2.4 on 5.3-opam is now installable. Current state is: passing
• np.np1.19-0.3.1 on 5.3-opam is now installable. Current state is: passing
• nx-datasets.1.0.0~alpha1 on 5.3-opam is now installable. Current state is: passing
• nx.1.0.0~alpha1 on 5.3-opam is now installable. Current state is: passing
• ocaml-index.5.6-503 on 5.3-opam is now installable. Current state is: passing
• ocaml-lsp-server.1.23.1 on 5.3-opam is now installable. Current state is: passing
• ocaml-protoc-plugin.6.2.0 on 5.3-opam is now installable. Current state is: passing
• ocaml-version.4.0.3 on 5.3-dune is now installable. Current state is: passing
• ocaml-version.4.0.3 on 5.3-opam is now installable. Current state is: passing
• ocamlc-loc.3.20.2 on 5.3-dune is now installable. Current state is: passing
• ocamlc-loc.3.20.2 on 5.3-opam is now installable. Current state is: passing
• ocp-indent.1.9.0 on 5.3-dune is now installable. Current state is: passing
• ocp-indent.1.9.0 on 5.3-opam is now installable. Current state is: passing
• ocue.0.1.0 on 5.3-dune is now installable. Current state is: passing
• ocue.0.1.0 on 5.3-opam is now installable. Current state is: passing
• oenv.0.1.0 on 5.3-dune is now installable. Current state is: passing
• oenv.0.1.0 on 5.3-opam is now installable. Current state is: passing
• opam-build.0.2.6 on 5.3-dune is now installable. Current state is: passing
• opam-check-npm-deps.4.0.1 on 5.3-dune is now installable. Current state is: passing
• opam-check-npm-deps.4.0.1 on 5.3-opam is now installable. Current state is: passing
• opam-compiler.0.2.1 on 5.3-dune is now installable. Current state is: passing
• opam-compiler.0.2.1 on 5.3-opam is now installable. Current state is: passing
• opam-publish.2.7.0 on 5.3-dune is now installable. Current state is: passing
• opam-publish.2.7.0 on 5.3-opam is now installable. Current state is: passing
• opam-test.0.2.6 on 5.3-dune is now installable. Current state is: passing
• opencage.1.0.5 on 5.3-dune is now installable. Current state is: passing
• opencage.1.0.5 on 5.3-opam is now installable. Current state is: passing
• opentelemetry-client-cohttp-eio.0.12 on 5.3-dune is now installable. Current state is: passing
• opentelemetry-client-cohttp-eio.0.12 on 5.3-opam is now installable. Current state is: passing
• opentelemetry-client-cohttp-lwt.0.12 on 5.3-dune is now installable. Current state is: passing
• opentelemetry-client-cohttp-lwt.0.12 on 5.3-opam is now installable. Current state is: passing
• opentelemetry-client-ocurl.0.12 on 5.3-dune is now installable. Current state is: passing
• opentelemetry-client-ocurl.0.12 on 5.3-opam is now installable. Current state is: passing
• opentelemetry-cohttp-lwt.0.12 on 5.3-dune is now installable. Current state is: passing
• opentelemetry-cohttp-lwt.0.12 on 5.3-opam is now installable. Current state is: passing
• opentelemetry-logs.0.12 on 5.3-opam is now installable. Current state is: passing
• opentelemetry-lwt.0.12 on 5.3-dune is now installable. Current state is: passing
• opentelemetry-lwt.0.12 on 5.3-opam is now installable. Current state is: passing
• opentelemetry.0.12 on 5.3-dune is now installable. Current state is: passing
• opentelemetry.0.12 on 5.3-opam is now installable. Current state is: passing
• oplot.0.80 on 5.3-dune is now installable. Current state is: passing
• oplot.0.80 on 5.3-opam is now installable. Current state is: passing
• oranger.4.3.5 on 5.3-opam is now installable. Current state is: passing
• ordering.3.20.2 on 5.3-dune is now installable. Current state is: passing
• ordering.3.20.2 on 5.3-opam is now installable. Current state is: passing
• orf.1.0.1 on 5.3-opam is now installable. Current state is: passing
• ortac-core.0.7.2 on 5.3-opam is now installable. Current state is: passing
• ortac-dune.0.7.2 on 5.3-opam is now installable. Current state is: passing
• ortac-qcheck-stm.0.7.2 on 5.3-opam is now installable. Current state is: passing
• ortac-runtime-qcheck-stm.0.7.2 on 5.3-opam is now installable. Current state is: passing
• ortac-runtime.0.7.2 on 5.3-opam is now installable. Current state is: passing
• ortac-wrapper.0.7.2 on 5.3-opam is now installable. Current state is: passing
• p5scm.0.5.0 on 5.3-opam is now installable. Current state is: passing
• pcrc.0.25.2 on 5.3-dune is now installable. Current state is: passing
• pcrc.0.25.2 on 5.3-opam is now installable. Current state is: passing
• pgn_parser.1.0.1 on 5.3-dune is now installable. Current state is: passing
• pgn_parser.1.0.1 on 5.3-opam is now installable. Current state is: passing
• pgsolver.4.4 on 5.3-dune is now installable. Current state is: passing
• pgsolver.4.4 on 5.3-opam is now installable. Current state is: passing
• plotly.1.0.0 on 5.3-dune is now installable. Current state is: passing
• plotly.1.0.0 on 5.3-opam is now installable. Current state is: passing
• portmidi.0.4 on 5.3-dune is now installable. Current state is: passing
• portmidi.0.4 on 5.3-opam is now installable. Current state is: passing
• postgresql.5.3.2 on 5.3-dune is now installable. Current state is: passing
• postgresql.5.3.2 on 5.3-opam is now installable. Current state is: passing
• pplumbing-err.0.0.16 on 5.3-opam is now installable. Current state is: passing
• pplumbing-log-cli.0.0.16 on 5.3-opam is now installable. Current state is: passing
• pplumbing-log.0.0.16 on 5.3-opam is now installable. Current state is: passing
• pplumbing-pp-tty.0.0.16 on 5.3-opam is now installable. Current state is: passing
• pplumbing.0.0.16 on 5.3-opam is now installable. Current state is: passing
• ppx_bitstring.5.0.1 on 5.3-dune is now installable. Current state is: passing
• ppx_bitstring.5.0.1 on 5.3-opam is now installable. Current state is: passing
• ppx_derive_at_runtime.v0.17.1 on 5.3-dune is now installable. Current state is: passing
• ppx_derive_at_runtime.v0.17.1 on 5.3-opam is now installable. Current state is: passing
• ppx_format.1.0 on 5.3-dune is now installable. Current state is: passing
• ppx_format.1.0 on 5.3-opam is now installable. Current state is: passing
• ppx_hardcaml.v0.17.1 on 5.3-dune is now installable. Current state is: passing
• ppx_hardcaml.v0.17.1 on 5.3-opam is now installable. Current state is: passing
• ppx_import.1.12.0 on 5.3-opam is now installable. Current state is: passing
• ppx_interact.0.2.0 on 5.3-dune is now installable. Current state is: passing
• ppx_interact.0.2.0 on 5.3-opam is now installable. Current state is: passing
• ppx_js_style.v0.17.1 on 5.3-dune is now installable. Current state is: passing
• ppx_js_style.v0.17.1 on 5.3-opam is now installable. Current state is: passing
• ppx_jsobject_conv.0.21.1 on 5.3-dune is now installable. Current state is: passing
• ppx_jsobject_conv.0.21.1 on 5.3-opam is now installable. Current state is: passing
• ppx_jsonaf_conv.v0.17.1 on 5.3-dune is now installable. Current state is: passing
• ppx_jsonaf_conv.v0.17.1 on 5.3-opam is now installable. Current state is: passing
• ppx_minidebug.2.4.0 on 5.3-dune is now installable. Current state is: passing
• ppx_minidebug.2.4.0 on 5.3-opam is now installable. Current state is: passing
• ppx_pattern_bind.v0.17.1 on 5.3-dune is now installable. Current state is: passing
• ppx_pattern_bind.v0.17.1 on 5.3-opam is now installable. Current state is: passing
• ppx_protocol_conv.5.2.3 on 5.3-dune is now installable. Current state is: passing
• ppx_protocol_conv.5.2.3 on 5.3-opam is now installable. Current state is: passing
• ppx_protocol_conv_json.5.2.3 on 5.3-dune is now installable. Current state is: passing
• ppx_protocol_conv_json.5.2.3 on 5.3-opam is now installable. Current state is: passing
• ppx_protocol_conv_jsonm.5.2.3 on 5.3-dune is now installable. Current state is: passing
• ppx_protocol_conv_jsonm.5.2.3 on 5.3-opam is now installable. Current state is: passing
• ppx_protocol_conv_msgpack.5.2.3 on 5.3-dune is now installable. Current state is: passing
• ppx_protocol_conv_msgpack.5.2.3 on 5.3-opam is now installable. Current state is: passing
• ppx_protocol_conv_xml_light.5.2.3 on 5.3-dune is now installable. Current state is: passing
• ppx_protocol_conv_xml_light.5.2.3 on 5.3-opam is now installable. Current state is: passing
• ppx_protocol_conv_xmlm.5.2.3 on 5.3-dune is now installable. Current state is: passing
• ppx_protocol_conv_xmlm.5.2.3 on 5.3-opam is now installable. Current state is: passing
• ppx_protocol_conv_yaml.5.2.3 on 5.3-dune is now installable. Current state is: passing
• ppx_protocol_conv_yaml.5.2.3 on 5.3-opam is now installable. Current state is: passing
• ppx_python.v0.17.0 on 5.3-dune is now installable. Current state is: passing
• ppx_python.v0.17.0 on 5.3-opam is now installable. Current state is: passing
• ppx_quick_test.v0.17.1 on 5.3-dune is now installable. Current state is: passing
• ppx_quick_test.v0.17.1 on 5.3-opam is now installable. Current state is: passing
• ppx_typed_fields.v0.17.1 on 5.3-opam is now installable. Current state is: passing
• ppx_yojson_conv.v0.17.1 on 5.3-dune is now installable. Current state is: passing
• ppx_yojson_conv.v0.17.1 on 5.3-opam is now installable. Current state is: passing
• ppxlib-tools.0.37.0 on 5.3-opam is now installable. Current state is: passing
• ppxlib.0.37.0 on 5.3-opam is now installable. Current state is: passing
• primavera.1.0.0 on 5.3-dune is now installable. Current state is: passing
• primavera.1.0.0 on 5.3-opam is now installable. Current state is: passing
• progress.0.5.0 on 5.3-dune is now installable. Current state is: passing
• progress.0.5.0 on 5.3-opam is now installable. Current state is: passing
• prolect.1.1.3 on 5.3-opam is now installable. Current state is: passing
• protocol-9p-tool.2.1.0 on 5.3-dune is now installable. Current state is: passing
• protocol-9p-tool.2.1.0 on 5.3-opam is now installable. Current state is: passing
• protocol-9p-unix.2.1.0 on 5.3-dune is now installable. Current state is: passing
• protocol-9p-unix.2.1.0 on 5.3-opam is now installable. Current state is: passing
• protocol-9p.2.1.0 on 5.3-dune is now installable. Current state is: passing
• protocol-9p.2.1.0 on 5.3-opam is now installable. Current state is: passing
• proton.1.0.17 on 5.3-dune is now installable. Current state is: passing
• proton.1.0.17 on 5.3-opam is now installable. Current state is: passing
• pyml.20250807 on 5.3-dune is now installable. Current state is: passing
• pyml.20250807 on 5.3-opam is now installable. Current state is: passing
• qcheck-lin.0.10 on 5.3-dune is now installable. Current state is: passing
• qcheck-lin.0.10 on 5.3-opam is now installable. Current state is: passing
• qcheck-multicoretests-util.0.10 on 5.3-dune is now installable. Current state is: passing
• qcheck-multicoretests-util.0.10 on 5.3-opam is now installable. Current state is: passing
• qcheck-stm.0.10 on 5.3-dune is now installable. Current state is: passing
• qcheck-stm.0.10 on 5.3-opam is now installable. Current state is: passing
• qiskit.1.0.2 on 5.3-dune is now installable. Current state is: passing
• qiskit.1.0.2 on 5.3-opam is now installable. Current state is: passing
• quill.1.0.0~alpha1 on 5.3-opam is now installable. Current state is: passing
• rankers.2.0.9 on 5.3-opam is now installable. Current state is: passing
• raven.1.0.0~alpha1 on 5.3-opam is now installable. Current state is: passing
• re.1.14.0 on 5.3-dune is now installable. Current state is: passing
• re.1.14.0 on 5.3-opam is now installable. Current state is: passing
• rocq-core.9.1.0 on 5.3-opam is now installable. Current state is: passing
• rocq-devtools.9.1.0 on 5.3-opam is now installable. Current state is: passing
• rocq-runtime.9.1.0 on 5.3-opam is now installable. Current state is: passing
• rocqide.9.1.0 on 5.3-opam is now installable. Current state is: passing
• rpmfile.0.8.0 on 5.3-dune is now installable. Current state is: passing
• rpmfile.0.8.0 on 5.3-opam is now installable. Current state is: passing
• rune.1.0.0~alpha1 on 5.3-opam is now installable. Current state is: passing
• saga.1.0.0~alpha1 on 5.3-opam is now installable. Current state is: passing
• sail.0.20 on 5.3-opam is now installable. Current state is: passing
• sail_c_backend.0.20 on 5.3-opam is now installable. Current state is: passing
• sail_coq_backend.0.20 on 5.3-opam is now installable. Current state is: passing
• sail_doc_backend.0.20 on 5.3-opam is now installable. Current state is: passing
• sail_latex_backend.0.20 on 5.3-opam is now installable. Current state is: passing
• sail_lean_backend.0.20 on 5.3-opam is now installable. Current state is: passing
• sail_lem_backend.0.20 on 5.3-opam is now installable. Current state is: passing
• sail_manifest.0.20 on 5.3-dune is now installable. Current state is: passing
• sail_manifest.0.20 on 5.3-opam is now installable. Current state is: passing
• sail_ocaml_backend.0.20 on 5.3-opam is now installable. Current state is: passing
• sail_output.0.20 on 5.3-opam is now installable. Current state is: passing
• sail_smt_backend.0.20 on 5.3-opam is now installable. Current state is: passing
• sail_sv_backend.0.20 on 5.3-opam is now installable. Current state is: passing
• scipy.sp1.5-0.3.1 on 5.3-opam is now installable. Current state is: passing
• scope.1.1 on 5.3-dune is now installable. Current state is: passing
• scope.1.1 on 5.3-opam is now installable. Current state is: passing
• sedlex.3.7 on 5.3-dune is now installable. Current state is: passing
• sedlex.3.7 on 5.3-opam is now installable. Current state is: passing
• sklearn.sk0.23-0.3.1 on 5.3-dune is now installable. Current state is: passing
• sklearn.sk0.23-0.3.1 on 5.3-opam is now installable. Current state is: passing
• slipshow.0.6.0 on 5.3-dune is now installable. Current state is: passing
• slipshow.0.6.0 on 5.3-opam is now installable. Current state is: passing
• smtml.0.12.0 on 5.3-dune is now installable. Current state is: passing
• smtml.0.12.0 on 5.3-opam is now installable. Current state is: passing
• snf_mcp.0.2.1 on 5.3-dune is now installable. Current state is: passing
• snf_mcp.0.2.1 on 5.3-opam is now installable. Current state is: passing
• sowilo.1.0.0~alpha1 on 5.3-opam is now installable. Current state is: passing
• spoke.0.0.4 on 5.3-dune is now installable. Current state is: passing
• spoke.0.0.4 on 5.3-opam is now installable. Current state is: passing
• stdcompat.21.1 on 5.3-dune is now installable. Current state is: passing
• stdcompat.21.1 on 5.3-opam is now installable. Current state is: passing
• stdune.3.20.2 on 5.3-dune is now installable. Current state is: passing
• stdune.3.20.2 on 5.3-opam is now installable. Current state is: passing
• stone.0.6 on 5.3-dune is now installable. Current state is: passing
• stone.0.6 on 5.3-opam is now installable. Current state is: passing
• streamable.v0.17.1 on 5.3-dune is now installable. Current state is: passing
• streamable.v0.17.1 on 5.3-opam is now installable. Current state is: passing
• svmwrap.5.1.1 on 5.3-opam is now installable. Current state is: passing
• synchronizer.0.1 on 5.3-dune is now installable. Current state is: passing
• synchronizer.0.1 on 5.3-opam is now installable. Current state is: passing
• tacit.1.0.0 on 5.3-dune is now installable. Current state is: passing
• tacit.1.0.0 on 5.3-opam is now installable. Current state is: passing
• talon.1.0.0~alpha1 on 5.3-opam is now installable. Current state is: passing
• tcs-lib.0.6 on 5.3-dune is now installable. Current state is: passing
• tcs-lib.0.6 on 5.3-opam is now installable. Current state is: passing
• terminal.0.5.0 on 5.3-dune is now installable. Current state is: passing
• terminal.0.5.0 on 5.3-opam is now installable. Current state is: passing
• testo-diff.0.2.0 on 5.3-dune is now installable. Current state is: passing
• testo-diff.0.2.0 on 5.3-opam is now installable. Current state is: passing
• testo-lwt.0.2.0 on 5.3-dune is now installable. Current state is: passing
• testo-lwt.0.2.0 on 5.3-opam is now installable. Current state is: passing
• testo-util.0.2.0 on 5.3-dune is now installable. Current state is: passing
• testo-util.0.2.0 on 5.3-opam is now installable. Current state is: passing
• testo.0.2.0 on 5.3-dune is now installable. Current state is: passing
• testo.0.2.0 on 5.3-opam is now installable. Current state is: passing
• tinyfiledialogs.1.0 on 5.3-dune is now installable. Current state is: passing
• tinyfiledialogs.1.0 on 5.3-opam is now installable. Current state is: passing
• tls-async.2.0.3 on 5.3-dune is now installable. Current state is: passing
• tls-async.2.0.3 on 5.3-opam is now installable. Current state is: passing
• tls-eio.2.0.3 on 5.3-dune is now installable. Current state is: passing
• tls-eio.2.0.3 on 5.3-opam is now installable. Current state is: passing
• tls-lwt.2.0.3 on 5.3-dune is now installable. Current state is: passing
• tls-lwt.2.0.3 on 5.3-opam is now installable. Current state is: passing
• tls-miou-unix.2.0.3 on 5.3-dune is now installable. Current state is: passing
• tls-miou-unix.2.0.3 on 5.3-opam is now installable. Current state is: passing
• tls-mirage.2.0.3 on 5.3-dune is now installable. Current state is: passing
• tls-mirage.2.0.3 on 5.3-opam is now installable. Current state is: passing
• tls.2.0.3 on 5.3-dune is now installable. Current state is: passing
• tls.2.0.3 on 5.3-opam is now installable. Current state is: passing
• traverse.0.3.0 on 5.3-dune is now installable. Current state is: passing
• traverse.0.3.0 on 5.3-opam is now installable. Current state is: passing
• unionFind.20250818 on 5.3-dune is now installable. Current state is: passing
• unionFind.20250818 on 5.3-opam is now installable. Current state is: passing
• unisim_archisec.0.0.13 on 5.3-opam is now installable. Current state is: passing
• uring.2.7.0 on 5.3-dune is now installable. Current state is: passing
• uring.2.7.0 on 5.3-opam is now installable. Current state is: passing
• vif.0.0.1~beta1 on 5.3-dune is now installable. Current state is: passing
• vif.0.0.1~beta1 on 5.3-opam is now installable. Current state is: passing
• visitors.20251010 on 5.3-opam is now installable. Current state is: passing
• vlt.0.2.5 on 5.3-opam had its build status changed: failing to passing
• volgo-base.0.0.21 on 5.3-opam is now installable. Current state is: passing
• volgo-git-backend.0.0.21 on 5.3-opam is now installable. Current state is: passing
• volgo-git-eio.0.0.21 on 5.3-opam is now installable. Current state is: passing
• volgo-git-unix.0.0.21 on 5.3-opam is now installable. Current state is: passing
• volgo-hg-backend.0.0.21 on 5.3-opam is now installable. Current state is: passing
• volgo-hg-eio.0.0.21 on 5.3-opam is now installable. Current state is: passing
• volgo-hg-unix.0.0.21 on 5.3-opam is now installable. Current state is: passing
• volgo-vcs.0.0.21 on 5.3-opam is now installable. Current state is: passing
• volgo.0.0.21 on 5.3-opam is now installable. Current state is: passing
• vsrocq-language-server.2.3.1 on 5.3-dune is now installable. Current state is: passing
• vsrocq-language-server.2.3.1 on 5.3-opam is now installable. Current state is: passing
• xdg.3.20.2 on 5.3-dune is now installable. Current state is: passing
• xdg.3.20.2 on 5.3-opam is now installable. Current state is: passing
• xedbindings.0.11 on 5.3-opam is now installable. Current state is: passing
• yocaml.2.6.0 on 5.3-dune is now installable. Current state is: passing
• yocaml.2.6.0 on 5.3-opam is now installable. Current state is: passing
• yocaml_cmarkit.2.6.0 on 5.3-dune is now installable. Current state is: passing
• yocaml_cmarkit.2.6.0 on 5.3-opam is now installable. Current state is: passing
• yocaml_eio.2.6.0 on 5.3-dune is now installable. Current state is: passing
• yocaml_eio.2.6.0 on 5.3-opam is now installable. Current state is: passing
• yocaml_git.2.6.0 on 5.3-dune is now installable. Current state is: passing
• yocaml_git.2.6.0 on 5.3-opam is now installable. Current state is: passing
• yocaml_jingoo.2.6.0 on 5.3-dune is now installable. Current state is: passing
• yocaml_jingoo.2.6.0 on 5.3-opam is now installable. Current state is: passing
• yocaml_mustache.2.6.0 on 5.3-dune is now installable. Current state is: passing
• yocaml_mustache.2.6.0 on 5.3-opam is now installable. Current state is: passing
• yocaml_omd.2.6.0 on 5.3-dune is now installable. Current state is: passing
• yocaml_omd.2.6.0 on 5.3-opam is now installable. Current state is: passing
• yocaml_otoml.2.6.0 on 5.3-dune is now installable. Current state is: passing
• yocaml_otoml.2.6.0 on 5.3-opam is now installable. Current state is: passing
• yocaml_runtime.2.6.0 on 5.3-dune is now installable. Current state is: passing
• yocaml_runtime.2.6.0 on 5.3-opam is now installable. Current state is: passing
• yocaml_syndication.2.6.0 on 5.3-dune is now installable. Current state is: passing
• yocaml_syndication.2.6.0 on 5.3-opam is now installable. Current state is: passing
• yocaml_unix.2.6.0 on 5.3-dune is now installable. Current state is: passing
• yocaml_unix.2.6.0 on 5.3-opam is now installable. Current state is: passing
• yocaml_yaml.2.6.0 on 5.3-dune is now installable. Current state is: passing
• yocaml_yaml.2.6.0 on 5.3-opam is now installable. Current state is: passing
• zanuda.2.0.0 on 5.3-opam is now installable. Current state is: passing