Home|Differences with the last checks|Previous runs

Differences between 76bf2ed and adfd36b (git diff)

Packages now failing:

• functory.0.6 on 4.14.2 had its build status changed: passing to failing
• jasmin.2026.03.1 on 4.14.2 is now installable. Current state is: failing
• jasmin.2026.03.1 on 5.3.0 is now installable. Current state is: failing
• ocaml-lsp-server.1.23.1 on 5.3.0 had its build status changed: passing to failing
• odnnr.2.0.0 on 4.14.2 had its build status changed: partially failing to failing
• odnnr.2.0.0 on 5.3.0 had its build status changed: partially failing to failing
• oplsr.8.0.1 on 4.14.2 had its build status changed: partially failing to failing
• oplsr.8.0.1 on 5.3.0 had its build status changed: partially failing to failing
• orrandomForest.3.0.0 on 4.14.2 had its build status changed: partially failing to failing
• orrandomForest.3.0.0 on 5.3.0 had its build status changed: partially failing to failing
• orxgboost.1.2.0 on 4.14.2 had its build status changed: partially failing to failing
• orxgboost.1.2.0 on 5.3.0 had its build status changed: partially failing to failing
• oxcaml.action-required on 4.14.2 is now installable. Current state is: failing
• oxcaml.action-required on 5.3.0 is now installable. Current state is: failing
• profiler-plugin.1.30 on 4.14.2 had its build status changed: passing to failing
• pyro-caml.1.0.0 on 5.3.0 is now installable. Current state is: failing
• rocq-stdlib.9.1.0 on 4.14.2 is now installable. Current state is: failing
• rocq-stdlib.9.1.0 on 5.3.0 is now installable. Current state is: failing
• vsrocq-language-server.2.4.3 on 4.14.2 is now installable. Current state is: failing
• vsrocq-language-server.2.4.3 on 5.3.0 is now installable. Current state is: failing

Packages now partially failing:

• ezlua.0.1 on 4.14.2 is now installable. Current state is: partially failing
• ezlua.0.1 on 5.3.0 is now installable. Current state is: partially failing
• ocaml-ai-sdk.0.3 on 4.14.2 is now installable. Current state is: partially failing
• ppx_ezlua.0.1 on 4.14.2 is now installable. Current state is: partially failing
• ppx_ezlua.0.1 on 5.3.0 is now installable. Current state is: partially failing
• rocq-prover.meta.1 on 4.14.2 had its build status changed: passing to partially failing
• rocq-prover.meta.1 on 5.3.0 had its build status changed: passing to partially failing
• satML-plugin.1.30 on 4.14.2 had its build status changed: passing to partially failing
• vscoq-language-server.2.4.3 on 4.14.2 is now installable. Current state is: partially failing
• vscoq-language-server.2.4.3 on 5.3.0 is now installable. Current state is: partially failing

Packages now not available:

• albatross.2.6.2 on 4.14.2 is not available anymore. Previous state was: passing
• albatross.2.6.2 on 5.3.0 is not available anymore. Previous state was: passing
• alt-ergo-lib.2.6.2 on 4.14.2 is not available anymore. Previous state was: passing
• alt-ergo-lib.2.6.2 on 5.3.0 is not available anymore. Previous state was: passing
• alt-ergo-parsers.2.6.2 on 4.14.2 is not available anymore. Previous state was: passing
• alt-ergo-parsers.2.6.2 on 5.3.0 is not available anymore. Previous state was: passing
• alt-ergo-plugin-ab-why3.2.6.2 on 4.14.2 is not available anymore. Previous state was: passing
• alt-ergo-plugin-ab-why3.2.6.2 on 5.3.0 is not available anymore. Previous state was: passing
• alt-ergo.2.6.2 on 4.14.2 is not available anymore. Previous state was: passing
• alt-ergo.2.6.2 on 5.3.0 is not available anymore. Previous state was: passing
• anders.1.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• anders.1.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• archsat.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• art.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• art.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• aslref.1.0~draft.2 on 4.14.2 is not available anymore. Previous state was: passing
• aslref.1.0~draft.2 on 5.3.0 is not available anymore. Previous state was: passing
• atd.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• atd.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdcpp.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdcpp.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdd.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdd.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdgen-codec-runtime.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdgen-codec-runtime.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdgen-runtime.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdgen-runtime.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdgen.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdgen.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdj.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdj.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdml.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdml.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdpy.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdpy.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• atds.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• atds.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdts.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdts.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• azure-cosmos-db.0.3.2 on 4.14.2 is not available anymore. Previous state was: passing
• azure-cosmos-db.0.3.2 on 5.3.0 is not available anymore. Previous state was: passing
• base.v0.16.4 on 4.14.2 is not available anymore. Previous state was: passing
• base.v0.16.4 on 5.3.0 is not available anymore. Previous state was: passing
• benchpress-server.0.1 on 4.14.2 is not available anymore. Previous state was: partially failing
• benchpress.0.1 on 4.14.2 is not available anymore. Previous state was: partially failing
• binaryen.0.34.0 on 4.14.2 is not available anymore. Previous state was: passing
• binaryen.0.34.0 on 5.3.0 is not available anymore. Previous state was: passing
• binsec.0.11.0 on 4.14.2 is not available anymore. Previous state was: passing
• binsec.0.11.0 on 5.3.0 is not available anymore. Previous state was: passing
• bos.0.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• bos.0.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• brr-lwd.0.4 on 4.14.2 is not available anymore. Previous state was: passing
• brr-lwd.0.4 on 5.3.0 is not available anymore. Previous state was: passing
• ca-certs-nss.3.121 on 4.14.2 is not available anymore. Previous state was: passing
• ca-certs-nss.3.121 on 5.3.0 is not available anymore. Previous state was: passing
• ca-certs.1.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• ca-certs.1.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• calculon-redis-lib.0.6 on 4.14.2 is not available anymore. Previous state was: passing
• calculon-redis.0.6 on 4.14.2 is not available anymore. Previous state was: passing
• camlidl.1.13 on 4.14.2 is not available anymore. Previous state was: passing
• camlidl.1.13 on 5.3.0 is not available anymore. Previous state was: passing
• camlp5.8.04.00 on 4.14.2 is not available anymore. Previous state was: internal failure
• camlp5.8.04.00 on 5.3.0 is not available anymore. Previous state was: internal failure
• caqti-driver-mariadb.2.2.4 on 4.14.2 is not available anymore. Previous state was: passing
• caqti-driver-mariadb.2.2.4 on 5.3.0 is not available anymore. Previous state was: passing
• caqti-driver-pgx.2.2.4 on 4.14.2 is not available anymore. Previous state was: passing
• caqti-driver-pgx.2.2.4 on 5.3.0 is not available anymore. Previous state was: passing
• caqti-driver-postgresql.2.2.4 on 4.14.2 is not available anymore. Previous state was: passing
• caqti-driver-postgresql.2.2.4 on 5.3.0 is not available anymore. Previous state was: passing
• caqti-driver-sqlite3.2.2.4 on 4.14.2 is not available anymore. Previous state was: passing
• caqti-driver-sqlite3.2.2.4 on 5.3.0 is not available anymore. Previous state was: passing
• caqti-dynload.2.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• caqti-dynload.2.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• caqti-lwt.2.2.4 on 4.14.2 is not available anymore. Previous state was: passing
• caqti-lwt.2.2.4 on 5.3.0 is not available anymore. Previous state was: passing
• caqti-miou.2.2.4 on 5.3.0 is not available anymore. Previous state was: passing
• caqti.2.2.4 on 4.14.2 is not available anymore. Previous state was: passing
• caqti.2.2.4 on 5.3.0 is not available anymore. Previous state was: passing
• charset.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• charset.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• checkseum.0.5.2 on 4.14.2 is not available anymore. Previous state was: passing
• checkseum.0.5.2 on 5.3.0 is not available anymore. Previous state was: passing
• chrome-trace.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• chrome-trace.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• cmdlang-stdlib-runner.0.0.10 on 4.14.2 is not available anymore. Previous state was: passing
• cmdlang-stdlib-runner.0.0.10 on 5.3.0 is not available anymore. Previous state was: passing
• cmdlang-to-climate.0.0.10 on 4.14.2 is not available anymore. Previous state was: passing
• cmdlang-to-climate.0.0.10 on 5.3.0 is not available anymore. Previous state was: passing
• cmdlang-to-cmdliner.0.0.10 on 4.14.2 is not available anymore. Previous state was: passing
• cmdlang-to-cmdliner.0.0.10 on 5.3.0 is not available anymore. Previous state was: passing
• cmdlang.0.0.10 on 4.14.2 is not available anymore. Previous state was: passing
• cmdlang.0.0.10 on 5.3.0 is not available anymore. Previous state was: passing
• cmdliner.2.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• cmdliner.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• colombe.0.12.1 on 4.14.2 is not available anymore. Previous state was: passing
• colombe.0.12.1 on 5.3.0 is not available anymore. Previous state was: passing
• coq-core.9.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• coq-core.9.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• coqide-server.9.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• coqide-server.9.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• current.0.7.3 on 4.14.2 is not available anymore. Previous state was: passing
• current.0.7.3 on 5.3.0 is not available anymore. Previous state was: passing
• current_docker.0.7.3 on 4.14.2 is not available anymore. Previous state was: passing
• current_docker.0.7.3 on 5.3.0 is not available anymore. Previous state was: passing
• current_examples.0.7.3 on 4.14.2 is not available anymore. Previous state was: passing
• current_examples.0.7.3 on 5.3.0 is not available anymore. Previous state was: passing
• current_git.0.7.3 on 4.14.2 is not available anymore. Previous state was: passing
• current_git.0.7.3 on 5.3.0 is not available anymore. Previous state was: passing
• current_github.0.7.3 on 4.14.2 is not available anymore. Previous state was: passing
• current_github.0.7.3 on 5.3.0 is not available anymore. Previous state was: passing
• current_gitlab.0.7.3 on 4.14.2 is not available anymore. Previous state was: passing
• current_gitlab.0.7.3 on 5.3.0 is not available anymore. Previous state was: passing
• current_ocluster.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• current_ocluster.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• current_rpc.0.7.3 on 4.14.2 is not available anymore. Previous state was: passing
• current_rpc.0.7.3 on 5.3.0 is not available anymore. Previous state was: passing
• current_slack.0.7.3 on 4.14.2 is not available anymore. Previous state was: passing
• current_slack.0.7.3 on 5.3.0 is not available anymore. Previous state was: passing
• current_ssh.0.7.3 on 4.14.2 is not available anymore. Previous state was: passing
• current_ssh.0.7.3 on 5.3.0 is not available anymore. Previous state was: passing
• current_web.0.7.3 on 4.14.2 is not available anymore. Previous state was: passing
• current_web.0.7.3 on 5.3.0 is not available anymore. Previous state was: passing
• curses.1.0.11 on 4.14.2 is not available anymore. Previous state was: passing
• curses.1.0.11 on 5.3.0 is not available anymore. Previous state was: passing
• dkim-bin.0.10.0 on 4.14.2 is not available anymore. Previous state was: passing
• dkim-bin.0.10.0 on 5.3.0 is not available anymore. Previous state was: passing
• dkim-lwt-unix.0.10.0 on 4.14.2 is not available anymore. Previous state was: passing
• dkim-lwt-unix.0.10.0 on 5.3.0 is not available anymore. Previous state was: passing
• dkim-mirage.0.10.0 on 4.14.2 is not available anymore. Previous state was: passing
• dkim-mirage.0.10.0 on 5.3.0 is not available anymore. Previous state was: passing
• dkim.0.10.0 on 4.14.2 is not available anymore. Previous state was: passing
• dkim.0.10.0 on 5.3.0 is not available anymore. Previous state was: passing
• dmarc.0.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• dmarc.0.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• dns-certify.10.2.4 on 4.14.2 is not available anymore. Previous state was: passing
• dns-certify.10.2.4 on 5.3.0 is not available anymore. Previous state was: passing
• dns-cli.10.2.4 on 4.14.2 is not available anymore. Previous state was: passing
• dns-cli.10.2.4 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client-lwt.10.2.4 on 4.14.2 is not available anymore. Previous state was: passing
• dns-client-lwt.10.2.4 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client-miou-unix.10.2.4 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client-mirage.10.2.4 on 4.14.2 is not available anymore. Previous state was: passing
• dns-client-mirage.10.2.4 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client.10.2.4 on 4.14.2 is not available anymore. Previous state was: passing
• dns-client.10.2.4 on 5.3.0 is not available anymore. Previous state was: passing
• dns-mirage.10.2.4 on 4.14.2 is not available anymore. Previous state was: passing
• dns-mirage.10.2.4 on 5.3.0 is not available anymore. Previous state was: passing
• dns-resolver.10.2.4 on 4.14.2 is not available anymore. Previous state was: passing
• dns-resolver.10.2.4 on 5.3.0 is not available anymore. Previous state was: passing
• dns-server.10.2.4 on 4.14.2 is not available anymore. Previous state was: passing
• dns-server.10.2.4 on 5.3.0 is not available anymore. Previous state was: passing
• dns-stub.10.2.4 on 4.14.2 is not available anymore. Previous state was: passing
• dns-stub.10.2.4 on 5.3.0 is not available anymore. Previous state was: passing
• dns-tsig.10.2.4 on 4.14.2 is not available anymore. Previous state was: passing
• dns-tsig.10.2.4 on 5.3.0 is not available anymore. Previous state was: passing
• dns.10.2.4 on 4.14.2 is not available anymore. Previous state was: passing
• dns.10.2.4 on 5.3.0 is not available anymore. Previous state was: passing
• dnssec.10.2.4 on 4.14.2 is not available anymore. Previous state was: passing
• dnssec.10.2.4 on 5.3.0 is not available anymore. Previous state was: passing
• dockerfile-cmd.8.3.4 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile-cmd.8.3.4 on 5.3.0 is not available anymore. Previous state was: passing
• dockerfile-opam.8.3.4 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile-opam.8.3.4 on 5.3.0 is not available anymore. Previous state was: passing
• dockerfile.8.3.4 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile.8.3.4 on 5.3.0 is not available anymore. Previous state was: passing
• dune-action-plugin.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-action-plugin.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• dune-action-trace.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-action-trace.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• dune-build-info.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-build-info.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• dune-configurator.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-configurator.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• dune-glob.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-glob.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• dune-private-libs.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-private-libs.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• dune-release.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-release.2.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• dune-rpc-lwt.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-rpc-lwt.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• dune-rpc.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-rpc.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• dune-site.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-site.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• dune.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• duration.0.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• duration.0.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• dyn.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• dyn.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• earlybird.1.3.5 on 4.14.2 is not available anymore. Previous state was: passing
• earlybird.1.3.5 on 5.3.0 is not available anymore. Previous state was: passing
• elpi.3.6.2 on 4.14.2 is not available anymore. Previous state was: passing
• elpi.3.6.2 on 5.3.0 is not available anymore. Previous state was: passing
• ez_api.2.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• ez_api.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• ez_cmdliner.0.4.3 on 4.14.2 is not available anymore. Previous state was: passing
• ez_cmdliner.0.4.3 on 5.3.0 is not available anymore. Previous state was: passing
• ffmpeg-av.1.2.8 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-av.1.2.8 on 5.3.0 is not available anymore. Previous state was: passing
• ffmpeg-avcodec.1.2.8 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-avcodec.1.2.8 on 5.3.0 is not available anymore. Previous state was: passing
• ffmpeg-avdevice.1.2.8 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-avdevice.1.2.8 on 5.3.0 is not available anymore. Previous state was: passing
• ffmpeg-avfilter.1.2.8 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-avfilter.1.2.8 on 5.3.0 is not available anymore. Previous state was: passing
• ffmpeg-avutil.1.2.8 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-avutil.1.2.8 on 5.3.0 is not available anymore. Previous state was: passing
• ffmpeg-swresample.1.2.8 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-swresample.1.2.8 on 5.3.0 is not available anymore. Previous state was: passing
• ffmpeg-swscale.1.2.8 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-swscale.1.2.8 on 5.3.0 is not available anymore. Previous state was: passing
• ffmpeg.1.2.8 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg.1.2.8 on 5.3.0 is not available anymore. Previous state was: passing
• flux.0.0.1~beta3 on 5.3.0 is not available anymore. Previous state was: passing
• fluxt.0.0.1~beta3 on 5.3.0 is not available anymore. Previous state was: passing
• fs-io.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• fs-io.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• fstar.2025.12.15 on 4.14.2 is not available anymore. Previous state was: passing
• fstar.2025.12.15 on 5.3.0 is not available anymore. Previous state was: passing
• gendarme-csv.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• gendarme-csv.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• gendarme-ezjsonm.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• gendarme-ezjsonm.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• gendarme-json.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• gendarme-json.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• gendarme-toml.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• gendarme-toml.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• gendarme-yaml.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• gendarme-yaml.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• gendarme-yojson.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• gendarme-yojson.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• gendarme.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• gendarme.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• git-kv.0.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• git-kv.0.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• git-net.0.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• git-net.0.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• guardian.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• hdr_histogram.0.0.4 on 4.14.2 is not available anymore. Previous state was: passing
• hdr_histogram.0.0.4 on 5.3.0 is not available anymore. Previous state was: passing
• html_of_jsx.0.0.8 on 4.14.2 is not available anymore. Previous state was: passing
• html_of_jsx.0.0.8 on 5.3.0 is not available anymore. Previous state was: passing
• http-date.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• http-date.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• httpcats.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• hurl.0.0.1~beta1 on 5.3.0 is not available anymore. Previous state was: passing
• interval-map.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• interval-map.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• ip2proxy.3.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• ip2proxy.3.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• jasmin.2026.03.0 on 4.14.2 is not available anymore. Previous state was: failing
• jasmin.2026.03.0 on 5.3.0 is not available anymore. Previous state was: failing
• jsonrpc.1.25.0 on 4.14.2 is not available anymore. Previous state was: passing
• jsonrpc.1.25.0 on 5.3.0 is not available anymore. Previous state was: passing
• jws.0.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• jws.0.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• labrys.0.1 on 4.14.2 is not available anymore. Previous state was: partially failing
• lambda-term.3.3.3 on 4.14.2 is not available anymore. Previous state was: passing
• lambda-term.3.3.3 on 5.3.0 is not available anymore. Previous state was: passing
• landmarks-ppx.1.5 on 4.14.2 is not available anymore. Previous state was: passing
• landmarks-ppx.1.5 on 5.3.0 is not available anymore. Previous state was: passing
• landmarks.1.5 on 4.14.2 is not available anymore. Previous state was: passing
• landmarks.1.5 on 5.3.0 is not available anymore. Previous state was: passing
• layoutz.0.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• layoutz.0.0.2 on 5.3.0 is not available anymore. Previous state was: passing
• lem.2025-03-13 on 4.14.2 is not available anymore. Previous state was: passing
• lem.2025-03-13 on 5.3.0 is not available anymore. Previous state was: passing
• letsencrypt-app.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• letsencrypt-app.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• letsencrypt-dns.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• letsencrypt-dns.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• letsencrypt-mirage.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• letsencrypt-mirage.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• letsencrypt.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• letsencrypt.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• libbinaryen.125.0.0 on 4.14.2 is not available anymore. Previous state was: internal failure
• libbinaryen.125.0.0 on 5.3.0 is not available anymore. Previous state was: internal failure
• libzipperposition.1.6 on 4.14.2 is not available anymore. Previous state was: passing
• linol-eio.0.10 on 5.3.0 is not available anymore. Previous state was: passing
• linol-lwt.0.10 on 4.14.2 is not available anymore. Previous state was: passing
• linol-lwt.0.10 on 5.3.0 is not available anymore. Previous state was: passing
• linol.0.10 on 4.14.2 is not available anymore. Previous state was: passing
• linol.0.10 on 5.3.0 is not available anymore. Previous state was: passing
• lintcstubs-arity.0.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• lintcstubs-arity.0.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• liquidsoap-js.2.4.2 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap-js.2.4.2 on 5.3.0 is not available anymore. Previous state was: passing
• liquidsoap-lang.2.4.2 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap-lang.2.4.2 on 5.3.0 is not available anymore. Previous state was: passing
• liquidsoap-mode.2.4.2 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap-mode.2.4.2 on 5.3.0 is not available anymore. Previous state was: passing
• liquidsoap.2.4.2 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap.2.4.2 on 5.3.0 is not available anymore. Previous state was: passing
• logtk.1.6 on 4.14.2 is not available anymore. Previous state was: passing
• lsp.1.25.0 on 4.14.2 is not available anymore. Previous state was: passing
• lsp.1.25.0 on 5.3.0 is not available anymore. Previous state was: passing
• lwd.0.4 on 4.14.2 is not available anymore. Previous state was: passing
• lwd.0.4 on 5.3.0 is not available anymore. Previous state was: passing
• lwt.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• lwt.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• lwt_eio.0.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• mcrunch.0.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• mdx.2.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• mdx.2.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• menhir-lsp.0.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• menhir-lsp.0.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• mhttp-client.0.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• mhttp-server.0.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• mhttp.0.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• miou.0.5.4 on 5.3.0 is not available anymore. Previous state was: passing
• mirage-runtime.4.10.5 on 4.14.2 is not available anymore. Previous state was: passing
• mirage-runtime.4.10.5 on 5.3.0 is not available anymore. Previous state was: passing
• mirage.4.10.5 on 4.14.2 is not available anymore. Previous state was: passing
• mirage.4.10.5 on 5.3.0 is not available anymore. Previous state was: passing
• mkernel.0.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• mnet-cli.0.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• mnet-dns.0.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• mnet-happy-eyeballs.0.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• mnet-tls.0.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• mnet.0.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• mrmime.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
• mrmime.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
• nottui-lwt.0.4 on 4.14.2 is not available anymore. Previous state was: passing
• nottui-lwt.0.4 on 5.3.0 is not available anymore. Previous state was: passing
• nottui-pretty.0.4 on 4.14.2 is not available anymore. Previous state was: passing
• nottui-pretty.0.4 on 5.3.0 is not available anymore. Previous state was: passing
• nottui-unix.0.4 on 4.14.2 is not available anymore. Previous state was: passing
• nottui-unix.0.4 on 5.3.0 is not available anymore. Previous state was: passing
• nottui.0.4 on 4.14.2 is not available anymore. Previous state was: passing
• nottui.0.4 on 5.3.0 is not available anymore. Previous state was: passing
• obuilder-spec.0.6.0 on 4.14.2 is not available anymore. Previous state was: passing
• obuilder-spec.0.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• obuilder.0.6.0 on 4.14.2 is not available anymore. Previous state was: passing
• obuilder.0.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• ocaml-protoc.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• ocaml-protoc.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• ocaml-version.4.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• ocaml-version.4.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• ocaml_intrinsics_kernel.v0.17.1 on 5.3.0 is not available anymore. Previous state was: passing
• ocamlc-loc.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• ocamlc-loc.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• ocluster-api.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• ocluster-api.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• ocluster-worker.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• ocluster-worker.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• ocluster.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• ocluster.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• ocsigen-i18n.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• ocsigen-i18n.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• odoc-driver.3.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• odoc-md.3.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• odoc-md.3.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• odoc-parser.3.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• odoc-parser.3.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• odoc.3.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• odoc.3.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• oniguruma.0.1.2 on 4.14.2 is not available anymore. Previous state was: passing
• oniguruma.0.1.2 on 5.3.0 is not available anymore. Previous state was: passing
• opam-0install.0.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-0install.0.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-client.2.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• opam-client.2.5.0 on 5.3.0 is not available anymore. Previous state was: passing
• opam-core.2.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• opam-core.2.5.0 on 5.3.0 is not available anymore. Previous state was: passing
• opam-devel.2.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• opam-devel.2.5.0 on 5.3.0 is not available anymore. Previous state was: passing
• opam-format.2.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• opam-format.2.5.0 on 5.3.0 is not available anymore. Previous state was: passing
• opam-installer.2.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• opam-installer.2.5.0 on 5.3.0 is not available anymore. Previous state was: passing
• opam-repository.2.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• opam-repository.2.5.0 on 5.3.0 is not available anymore. Previous state was: passing
• opam-solver.2.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• opam-solver.2.5.0 on 5.3.0 is not available anymore. Previous state was: passing
• opam-state.2.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• opam-state.2.5.0 on 5.3.0 is not available anymore. Previous state was: passing
• opatch.3.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• opatch.3.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-client-cohttp-eio.0.13 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-client-cohttp-lwt.0.13 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-client-cohttp-lwt.0.13 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-client-ocurl.0.13 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-client-ocurl.0.13 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-cohttp-lwt.0.13 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-cohttp-lwt.0.13 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-logs.0.13 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-logs.0.13 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-lwt.0.13 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-lwt.0.13 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry.0.13 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry.0.13 on 5.3.0 is not available anymore. Previous state was: passing
• ordering.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• ordering.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• ortac-core.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• ortac-core.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• ortac-dune.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• ortac-dune.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• ortac-qcheck-stm.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• ortac-qcheck-stm.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• ortac-runtime-qcheck-stm.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• ortac-runtime-qcheck-stm.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• ortac-runtime.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• ortac-runtime.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• ortac-wrapper.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• ortac-wrapper.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• parseff.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• passage.0.3.3 on 4.14.2 is not available anymore. Previous state was: passing
• passage.0.3.3 on 5.3.0 is not available anymore. Previous state was: passing
• patch.3.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• patch.3.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• patricia-tree.0.12.0 on 4.14.2 is not available anymore. Previous state was: passing
• patricia-tree.0.12.0 on 5.3.0 is not available anymore. Previous state was: passing
• pbrt.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• pbrt.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• pbrt_services.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• pbrt_services.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• pbrt_yojson.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• pbrt_yojson.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• postgresql.5.3.2 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_deriving_rpc.10.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_deriving_rpc.10.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_marshal.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_marshal.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_marshal_ext.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_marshal_ext.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_mikmatch.1.2 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_mikmatch.1.2 on 5.3.0 is not available anymore. Previous state was: passing
• ppxlib-tools.0.37.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppxlib-tools.0.37.0 on 5.3.0 is not available anymore. Previous state was: passing
• ppxlib.0.38.0~5.5preview on 4.14.2 is not available anymore. Previous state was: passing
• ppxlib.0.38.0~5.5preview on 5.3.0 is not available anymore. Previous state was: passing
• prettym.0.0.4 on 4.14.2 is not available anymore. Previous state was: passing
• prettym.0.0.4 on 5.3.0 is not available anymore. Previous state was: passing
• public-suffix.0.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• public-suffix.0.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• qcow-stream.0.13.0 on 4.14.2 is not available anymore. Previous state was: passing
• qcow-stream.0.13.0 on 5.3.0 is not available anymore. Previous state was: passing
• qcow-tool.0.13.0 on 4.14.2 is not available anymore. Previous state was: passing
• qcow-types.0.13.0 on 4.14.2 is not available anymore. Previous state was: passing
• qcow-types.0.13.0 on 5.3.0 is not available anymore. Previous state was: passing
• qcow.0.13.0 on 4.14.2 is not available anymore. Previous state was: passing
• regenerate.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• restricted.1.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• rocq-core.9.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• rocq-core.9.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• rocq-devtools.9.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• rocq-devtools.9.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• rocq-runtime.9.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• rocq-runtime.9.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• rocq-stdlib.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• rocq-stdlib.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• rocqide.9.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• rocqide.9.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• rpclib-html.10.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• rpclib-html.10.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• rpclib-js.10.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• rpclib-js.10.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• rpclib-lwt.10.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• rpclib-lwt.10.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• rpclib.10.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• rpclib.10.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• runtime_events_tools.0.5.3 on 5.3.0 is not available anymore. Previous state was: passing
• runtime_events_tools_bare.0.5.3 on 5.3.0 is not available anymore. Previous state was: passing
• sendmail-miou-unix.0.12.1 on 5.3.0 is not available anymore. Previous state was: passing
• sherlodoc.3.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• sherlodoc.3.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• smbc.0.6.1 on 4.14.2 is not available anymore. Previous state was: passing
• smtml.0.23.0 on 4.14.2 is not available anymore. Previous state was: passing
• smtml.0.23.0 on 5.3.0 is not available anymore. Previous state was: passing
• spectrum.1.0.0.alpha on 4.14.2 is not available anymore. Previous state was: passing
• spectrum.1.0.0.alpha on 5.3.0 is not available anymore. Previous state was: passing
• spectrum_capabilities.1.0.0.alpha on 4.14.2 is not available anymore. Previous state was: passing
• spectrum_capabilities.1.0.0.alpha on 5.3.0 is not available anymore. Previous state was: passing
• spectrum_palette_ppx.1.0.0.alpha on 4.14.2 is not available anymore. Previous state was: passing
• spectrum_palette_ppx.1.0.0.alpha on 5.3.0 is not available anymore. Previous state was: passing
• spectrum_palettes.1.0.0.alpha on 4.14.2 is not available anymore. Previous state was: passing
• spectrum_palettes.1.0.0.alpha on 5.3.0 is not available anymore. Previous state was: passing
• spectrum_tools.1.0.0.alpha on 4.14.2 is not available anymore. Previous state was: passing
• spectrum_tools.1.0.0.alpha on 5.3.0 is not available anymore. Previous state was: passing
• sqlite3.5.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• sqlite3.5.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• stdune.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• stdune.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• testo-diff.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• testo-diff.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• testo-lwt.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• testo-lwt.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• testo-util.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• testo-util.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• testo.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• testo.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• textmate-language.0.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• textmate-language.0.5.0 on 5.3.0 is not available anymore. Previous state was: passing
• tm-grammars.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• tm-grammars.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• top-closure.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• top-closure.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• tracy-client.0.7 on 4.14.2 is not available anymore. Previous state was: passing
• tracy-client.0.7 on 5.3.0 is not available anymore. Previous state was: passing
• tsdl-ttf.0.6 on 4.14.2 is not available anymore. Previous state was: passing
• tsdl-ttf.0.6 on 5.3.0 is not available anymore. Previous state was: passing
• tsdl.1.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• tsdl.1.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• tyxml-lwd.0.4 on 4.14.2 is not available anymore. Previous state was: passing
• tyxml-lwd.0.4 on 5.3.0 is not available anymore. Previous state was: passing
• unidecode.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• unidecode.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• uspf-lwt.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• uspf-lwt.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• uspf-mirage.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• uspf-mirage.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• uspf.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• uspf.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• utcp.0.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• utcp.0.0.2 on 5.3.0 is not available anymore. Previous state was: passing
• utop.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• utop.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
• vif.0.0.1~beta2 on 5.3.0 is not available anymore. Previous state was: passing
• vifu.0.0.1~beta2 on 5.3.0 is not available anymore. Previous state was: passing
• vscoq-language-server.2.3.4 on 4.14.2 is not available anymore. Previous state was: passing
• vscoq-language-server.2.3.4 on 5.3.0 is not available anymore. Previous state was: passing
• vsrocq-language-server.2.3.4 on 4.14.2 is not available anymore. Previous state was: passing
• vsrocq-language-server.2.3.4 on 5.3.0 is not available anymore. Previous state was: passing
• wcwidth.1.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• wcwidth.1.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• xdg.3.22.0 on 4.14.2 is not available anymore. Previous state was: passing
• xdg.3.22.0 on 5.3.0 is not available anymore. Previous state was: passing
• xedbindings.0.11 on 4.14.2 is not available anymore. Previous state was: passing
• xedbindings.0.11 on 5.3.0 is not available anymore. Previous state was: passing
• zipperposition-tools.1.6 on 4.14.2 is not available anymore. Previous state was: passing
• zipperposition.1.6 on 4.14.2 is not available anymore. Previous state was: passing

Packages now failing with an internal failure:

• FPauth-core.1.0.0 on 4.14.2 had its build status changed: passing to internal failure
• FPauth-responses.1.0.0 on 4.14.2 had its build status changed: passing to internal failure
• FPauth-strategies.1.0.0 on 4.14.2 had its build status changed: passing to internal failure
• FPauth.1.0.0 on 4.14.2 had its build status changed: passing to internal failure
• ansicolor.0.5 on 4.14.2 had its build status changed: passing to internal failure
• ansicolor.0.5 on 5.3.0 had its build status changed: passing to internal failure
• atd2cconv.0.0.0 on 4.14.2 had its build status changed: passing to internal failure
• boltzgen.0.9.3 on 4.14.2 had its build status changed: passing to internal failure
• boltzgen.0.9.5 on 5.3.0 had its build status changed: passing to internal failure
• camlp5.8.04.01 on 4.14.2 is now installable. Current state is: internal failure
• camlp5.8.04.01 on 5.3.0 is now installable. Current state is: internal failure
• conf-dpkg.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-dpkg.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libgsasl.1 on 5.3.0 had its build status changed: passing to internal failure
• odoc-depgraph.1.0 on 4.14.2 had its build status changed: passing to internal failure
• odoc-depgraph.1.0 on 5.3.0 had its build status changed: passing to internal failure
• omtl.0.2 on 4.14.2 had its build status changed: passing to internal failure
• omtl.0.2 on 5.3.0 had its build status changed: passing to internal failure
• pxshot.0.1.2 on 4.14.2 had its build status changed: passing to internal failure
• pxshot.0.1.2 on 5.3.0 had its build status changed: passing to internal failure
• raygun4ocaml.0.1.0 on 4.14.2 had its build status changed: passing to internal failure
• simlog.0.0.4 on 4.14.2 had its build status changed: passing to internal failure
• simlog.0.0.4 on 5.3.0 had its build status changed: passing to internal failure
• systemverilog.0.0.2 on 4.14.2 had its build status changed: passing to internal failure
• systemverilog.0.0.2 on 5.3.0 had its build status changed: passing to internal failure
• wcs-lib.2017-05-26.01 on 4.14.2 had its build status changed: passing to internal failure

Packages now passing:

• acpc.1.2.3 on 4.14.2 had its build status changed: partially failing to passing
• acpc.2.0.0 on 5.3.0 had its build status changed: partially failing to passing
• ai-sdk-react.0.3 on 4.14.2 is now installable. Current state is: passing
• ai-sdk-react.0.3 on 5.3.0 is now installable. Current state is: passing
• albatross.2.7.1 on 4.14.2 is now installable. Current state is: passing
• albatross.2.7.1 on 5.3.0 is now installable. Current state is: passing
• alcobar.0.3.1 on 4.14.2 is now installable. Current state is: passing
• alcobar.0.3.1 on 5.3.0 is now installable. Current state is: passing
• alt-ergo-lib.2.6.3 on 4.14.2 is now installable. Current state is: passing
• alt-ergo-lib.2.6.3 on 5.3.0 is now installable. Current state is: passing
• alt-ergo-parsers.2.6.3 on 4.14.2 is now installable. Current state is: passing
• alt-ergo-parsers.2.6.3 on 5.3.0 is now installable. Current state is: passing
• alt-ergo-plugin-ab-why3.2.6.3 on 4.14.2 is now installable. Current state is: passing
• alt-ergo-plugin-ab-why3.2.6.3 on 5.3.0 is now installable. Current state is: passing
• alt-ergo.2.6.3 on 4.14.2 is now installable. Current state is: passing
• alt-ergo.2.6.3 on 5.3.0 is now installable. Current state is: passing
• altgr-ergo.2.4.3 on 4.14.2 had its build status changed: failing to passing
• altgr-ergo.2.4.3 on 5.3.0 had its build status changed: failing to passing
• anders.5.1.0 on 4.14.2 is now installable. Current state is: passing
• anders.5.1.0 on 5.3.0 is now installable. Current state is: passing
• arc.0.0.2 on 5.3.0 is now installable. Current state is: passing
• art.0.4.0 on 4.14.2 is now installable. Current state is: passing
• art.0.4.0 on 5.3.0 is now installable. Current state is: passing
• aslref.1.0-EAC1 on 4.14.2 is now installable. Current state is: passing
• aslref.1.0-EAC1 on 5.3.0 is now installable. Current state is: passing
• atd-jsonlike.4.2.0 on 4.14.2 is now installable. Current state is: passing
• atd-jsonlike.4.2.0 on 5.3.0 is now installable. Current state is: passing
• atd-yamlx.4.2.0 on 4.14.2 is now installable. Current state is: passing
• atd-yamlx.4.2.0 on 5.3.0 is now installable. Current state is: passing
• atd.4.2.0 on 4.14.2 is now installable. Current state is: passing
• atd.4.2.0 on 5.3.0 is now installable. Current state is: passing
• atdcpp.4.2.0 on 4.14.2 is now installable. Current state is: passing
• atdcpp.4.2.0 on 5.3.0 is now installable. Current state is: passing
• atdd.4.2.0 on 4.14.2 is now installable. Current state is: passing
• atdd.4.2.0 on 5.3.0 is now installable. Current state is: passing
• atdgen-codec-runtime.4.2.0 on 4.14.2 is now installable. Current state is: passing
• atdgen-codec-runtime.4.2.0 on 5.3.0 is now installable. Current state is: passing
• atdgen-runtime.4.2.0 on 4.14.2 is now installable. Current state is: passing
• atdgen-runtime.4.2.0 on 5.3.0 is now installable. Current state is: passing
• atdgen.4.2.0 on 4.14.2 is now installable. Current state is: passing
• atdgen.4.2.0 on 5.3.0 is now installable. Current state is: passing
• atdj.4.2.0 on 4.14.2 is now installable. Current state is: passing
• atdj.4.2.0 on 5.3.0 is now installable. Current state is: passing
• atdml.4.2.0 on 4.14.2 is now installable. Current state is: passing
• atdml.4.2.0 on 5.3.0 is now installable. Current state is: passing
• atdpy.4.2.0 on 4.14.2 is now installable. Current state is: passing
• atdpy.4.2.0 on 5.3.0 is now installable. Current state is: passing
• atds.4.2.0 on 4.14.2 is now installable. Current state is: passing
• atds.4.2.0 on 5.3.0 is now installable. Current state is: passing
• atdts.4.2.0 on 4.14.2 is now installable. Current state is: passing
• atdts.4.2.0 on 5.3.0 is now installable. Current state is: passing
• azure-cosmos-db-eio.0.4.0 on 5.3.0 is now installable. Current state is: passing
• azure-cosmos-db-lwt.0.4.0 on 4.14.2 is now installable. Current state is: passing
• azure-cosmos-db-lwt.0.4.0 on 5.3.0 is now installable. Current state is: passing
• azure-cosmos-db.0.4.0 on 4.14.2 is now installable. Current state is: passing
• azure-cosmos-db.0.4.0 on 5.3.0 is now installable. Current state is: passing
• base.v0.16.5 on 4.14.2 is now installable. Current state is: passing
• base.v0.16.5 on 5.3.0 is now installable. Current state is: passing
• binaryen.0.35.0 on 4.14.2 is now installable. Current state is: passing
• binaryen.0.35.0 on 5.3.0 is now installable. Current state is: passing
• binsec.0.11.1 on 4.14.2 is now installable. Current state is: passing
• binsec.0.11.1 on 5.3.0 is now installable. Current state is: passing
• bizowie-api.0.5.0 on 4.14.2 is now installable. Current state is: passing
• bizowie-api.0.5.0 on 5.3.0 is now installable. Current state is: passing
• bm25.0.0.1 on 5.3.0 is now installable. Current state is: passing
• bos.0.3.0 on 4.14.2 is now installable. Current state is: passing
• bos.0.3.0 on 5.3.0 is now installable. Current state is: passing
• brr-lwd.0.5 on 4.14.2 is now installable. Current state is: passing
• brr-lwd.0.5 on 5.3.0 is now installable. Current state is: passing
• ca-certs-nss.3.123.1 on 4.14.2 is now installable. Current state is: passing
• ca-certs-nss.3.123.1 on 5.3.0 is now installable. Current state is: passing
• ca-certs.1.0.3 on 4.14.2 is now installable. Current state is: passing
• ca-certs.1.0.3 on 5.3.0 is now installable. Current state is: passing
• cairo2-gtk.0.6.5 on 4.14.2 had its build status changed: partially failing to passing
• cairo2-gtk.0.6.5 on 5.3.0 had its build status changed: partially failing to passing
• cairo2-pango.0.6.5 on 4.14.2 had its build status changed: partially failing to passing
• cairo2-pango.0.6.5 on 5.3.0 had its build status changed: partially failing to passing
• caml-mode.4.9 on 4.14.2 had its build status changed: partially failing to passing
• caml-mode.4.9 on 5.3.0 had its build status changed: partially failing to passing
• camlidl.1.13-1 on 4.14.2 is now installable. Current state is: passing
• camlidl.1.13-1 on 5.3.0 is now installable. Current state is: passing
• caqti-driver-mariadb.2.3.0 on 4.14.2 is now installable. Current state is: passing
• caqti-driver-mariadb.2.3.0 on 5.3.0 is now installable. Current state is: passing
• caqti-driver-pgx.2.3.0 on 4.14.2 is now installable. Current state is: passing
• caqti-driver-pgx.2.3.0 on 5.3.0 is now installable. Current state is: passing
• caqti-driver-postgresql.2.3.0 on 4.14.2 is now installable. Current state is: passing
• caqti-driver-postgresql.2.3.0 on 5.3.0 is now installable. Current state is: passing
• caqti-driver-sqlite3.2.3.0 on 4.14.2 is now installable. Current state is: passing
• caqti-driver-sqlite3.2.3.0 on 5.3.0 is now installable. Current state is: passing
• caqti-dynload.2.3.0 on 4.14.2 is now installable. Current state is: passing
• caqti-dynload.2.3.0 on 5.3.0 is now installable. Current state is: passing
• caqti-lwt.2.3.0 on 4.14.2 is now installable. Current state is: passing
• caqti-lwt.2.3.0 on 5.3.0 is now installable. Current state is: passing
• caqti-miou.2.3.1 on 5.3.0 is now installable. Current state is: passing
• caqti.2.3.0 on 4.14.2 is now installable. Current state is: passing
• caqti.2.3.0 on 5.3.0 is now installable. Current state is: passing
• cattery.0.0.1 on 5.3.0 is now installable. Current state is: passing
• charset.0.3.0 on 4.14.2 is now installable. Current state is: passing
• charset.0.3.0 on 5.3.0 is now installable. Current state is: passing
• checkseum.0.5.3 on 4.14.2 is now installable. Current state is: passing
• checkseum.0.5.3 on 5.3.0 is now installable. Current state is: passing
• chrome-trace.3.23.0 on 4.14.2 is now installable. Current state is: passing
• chrome-trace.3.23.0 on 5.3.0 is now installable. Current state is: passing
• ciao_lwt.0.2 on 5.3.0 is now installable. Current state is: passing
• cmdlang-stdlib-runner.0.0.11 on 4.14.2 is now installable. Current state is: passing
• cmdlang-stdlib-runner.0.0.11 on 5.3.0 is now installable. Current state is: passing
• cmdlang-to-climate.0.0.11 on 4.14.2 is now installable. Current state is: passing
• cmdlang-to-climate.0.0.11 on 5.3.0 is now installable. Current state is: passing
• cmdlang-to-cmdliner.0.0.11 on 4.14.2 is now installable. Current state is: passing
• cmdlang-to-cmdliner.0.0.11 on 5.3.0 is now installable. Current state is: passing
• cmdlang.0.0.11 on 4.14.2 is now installable. Current state is: passing
• cmdlang.0.0.11 on 5.3.0 is now installable. Current state is: passing
• cmdliner.2.1.1 on 4.14.2 is now installable. Current state is: passing
• cmdliner.2.1.1 on 5.3.0 is now installable. Current state is: passing
• colombe.0.13.0 on 4.14.2 is now installable. Current state is: passing
• colombe.0.13.0 on 5.3.0 is now installable. Current state is: passing
• conf-emacs.1 on 4.14.2 had its build status changed: failing to passing
• conf-emacs.1 on 5.3.0 had its build status changed: failing to passing
• conf-git-daemon.1.0 on 4.14.2 is now installable. Current state is: passing
• conf-git-daemon.1.0 on 5.3.0 is now installable. Current state is: passing
• conf-gnuplot.0.1 on 4.14.2 had its build status changed: failing to passing
• conf-gnuplot.0.1 on 5.3.0 had its build status changed: failing to passing
• conf-gtk4.1 on 4.14.2 is now installable. Current state is: passing
• conf-gtk4.1 on 5.3.0 is now installable. Current state is: passing
• conf-lame.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-lame.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-libXft.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-qemu-img.1 on 4.14.2 had its build status changed: failing to passing
• conf-qemu-img.1 on 5.3.0 had its build status changed: failing to passing
• conf-r.1.0.0 on 4.14.2 had its build status changed: failing to passing
• conf-r.1.0.0 on 5.3.0 had its build status changed: failing to passing
• coq-core.9.2.0 on 4.14.2 is now installable. Current state is: passing
• coq-core.9.2.0 on 5.3.0 is now installable. Current state is: passing
• coq-waterproof.3.1.0+9.1 on 4.14.2 had its build status changed: internal failure to passing
• coq-waterproof.3.1.0+9.1 on 5.3.0 had its build status changed: internal failure to passing
• coqide-server.9.2.0 on 4.14.2 is now installable. Current state is: passing
• coqide-server.9.2.0 on 5.3.0 is now installable. Current state is: passing
• cubicle.1.2.0 on 4.14.2 had its build status changed: failing to passing
• current.0.7.4 on 4.14.2 is now installable. Current state is: passing
• current.0.7.4 on 5.3.0 is now installable. Current state is: passing
• current_docker.0.7.4 on 4.14.2 is now installable. Current state is: passing
• current_docker.0.7.4 on 5.3.0 is now installable. Current state is: passing
• current_examples.0.7.4 on 4.14.2 is now installable. Current state is: passing
• current_examples.0.7.4 on 5.3.0 is now installable. Current state is: passing
• current_git.0.7.4 on 4.14.2 is now installable. Current state is: passing
• current_git.0.7.4 on 5.3.0 is now installable. Current state is: passing
• current_github.0.7.4 on 4.14.2 is now installable. Current state is: passing
• current_github.0.7.4 on 5.3.0 is now installable. Current state is: passing
• current_gitlab.0.7.4 on 4.14.2 is now installable. Current state is: passing
• current_gitlab.0.7.4 on 5.3.0 is now installable. Current state is: passing
• current_ocluster.0.4.0 on 4.14.2 is now installable. Current state is: passing
• current_ocluster.0.4.0 on 5.3.0 is now installable. Current state is: passing
• current_rpc.0.7.4 on 4.14.2 is now installable. Current state is: passing
• current_rpc.0.7.4 on 5.3.0 is now installable. Current state is: passing
• current_slack.0.7.4 on 4.14.2 is now installable. Current state is: passing
• current_slack.0.7.4 on 5.3.0 is now installable. Current state is: passing
• current_ssh.0.7.4 on 4.14.2 is now installable. Current state is: passing
• current_ssh.0.7.4 on 5.3.0 is now installable. Current state is: passing
• current_web.0.7.4 on 4.14.2 is now installable. Current state is: passing
• current_web.0.7.4 on 5.3.0 is now installable. Current state is: passing
• curses.1.0.12 on 4.14.2 is now installable. Current state is: passing
• curses.1.0.12 on 5.3.0 is now installable. Current state is: passing
• dkim-bin.0.11.0 on 4.14.2 is now installable. Current state is: passing
• dkim-bin.0.11.0 on 5.3.0 is now installable. Current state is: passing
• dkim-lwt-unix.0.11.0 on 4.14.2 is now installable. Current state is: passing
• dkim-lwt-unix.0.11.0 on 5.3.0 is now installable. Current state is: passing
• dkim-mirage.0.11.0 on 4.14.2 is now installable. Current state is: passing
• dkim-mirage.0.11.0 on 5.3.0 is now installable. Current state is: passing
• dkim.0.11.0 on 4.14.2 is now installable. Current state is: passing
• dkim.0.11.0 on 5.3.0 is now installable. Current state is: passing
• dmarc.0.0.2 on 4.14.2 is now installable. Current state is: passing
• dmarc.0.0.2 on 5.3.0 is now installable. Current state is: passing
• dns-certify.10.2.5 on 4.14.2 is now installable. Current state is: passing
• dns-certify.10.2.5 on 5.3.0 is now installable. Current state is: passing
• dns-cli.10.2.5 on 4.14.2 is now installable. Current state is: passing
• dns-cli.10.2.5 on 5.3.0 is now installable. Current state is: passing
• dns-client-lwt.10.2.5 on 4.14.2 is now installable. Current state is: passing
• dns-client-lwt.10.2.5 on 5.3.0 is now installable. Current state is: passing
• dns-client-miou-unix.10.2.5 on 5.3.0 is now installable. Current state is: passing
• dns-client-mirage.10.2.5 on 4.14.2 is now installable. Current state is: passing
• dns-client-mirage.10.2.5 on 5.3.0 is now installable. Current state is: passing
• dns-client.10.2.5 on 4.14.2 is now installable. Current state is: passing
• dns-client.10.2.5 on 5.3.0 is now installable. Current state is: passing
• dns-mirage.10.2.5 on 4.14.2 is now installable. Current state is: passing
• dns-mirage.10.2.5 on 5.3.0 is now installable. Current state is: passing
• dns-resolver.10.2.5 on 4.14.2 is now installable. Current state is: passing
• dns-resolver.10.2.5 on 5.3.0 is now installable. Current state is: passing
• dns-server.10.2.5 on 4.14.2 is now installable. Current state is: passing
• dns-server.10.2.5 on 5.3.0 is now installable. Current state is: passing
• dns-stub.10.2.5 on 4.14.2 is now installable. Current state is: passing
• dns-stub.10.2.5 on 5.3.0 is now installable. Current state is: passing
• dns-tsig.10.2.5 on 4.14.2 is now installable. Current state is: passing
• dns-tsig.10.2.5 on 5.3.0 is now installable. Current state is: passing
• dns.10.2.5 on 4.14.2 is now installable. Current state is: passing
• dns.10.2.5 on 5.3.0 is now installable. Current state is: passing
• dnssec.10.2.5 on 4.14.2 is now installable. Current state is: passing
• dnssec.10.2.5 on 5.3.0 is now installable. Current state is: passing
• dockerfile-cmd.8.3.9 on 4.14.2 is now installable. Current state is: passing
• dockerfile-cmd.8.3.9 on 5.3.0 is now installable. Current state is: passing
• dockerfile-opam.8.3.9 on 4.14.2 is now installable. Current state is: passing
• dockerfile-opam.8.3.9 on 5.3.0 is now installable. Current state is: passing
• dockerfile.8.3.9 on 4.14.2 is now installable. Current state is: passing
• dockerfile.8.3.9 on 5.3.0 is now installable. Current state is: passing
• doctor.0.1.0 on 5.3.0 is now installable. Current state is: passing
• dune-action-plugin.3.23.0 on 4.14.2 is now installable. Current state is: passing
• dune-action-plugin.3.23.0 on 5.3.0 is now installable. Current state is: passing
• dune-action-trace.3.23.0 on 4.14.2 is now installable. Current state is: passing
• dune-action-trace.3.23.0 on 5.3.0 is now installable. Current state is: passing
• dune-build-info.3.23.0 on 4.14.2 is now installable. Current state is: passing
• dune-build-info.3.23.0 on 5.3.0 is now installable. Current state is: passing
• dune-configurator.3.23.0 on 4.14.2 is now installable. Current state is: passing
• dune-configurator.3.23.0 on 5.3.0 is now installable. Current state is: passing
• dune-glob.3.23.0 on 4.14.2 is now installable. Current state is: passing
• dune-glob.3.23.0 on 5.3.0 is now installable. Current state is: passing
• dune-private-libs.3.23.0 on 4.14.2 is now installable. Current state is: passing
• dune-private-libs.3.23.0 on 5.3.0 is now installable. Current state is: passing
• dune-release.2.2.1 on 4.14.2 is now installable. Current state is: passing
• dune-release.2.2.1 on 5.3.0 is now installable. Current state is: passing
• dune-rpc-lwt.3.23.0 on 4.14.2 is now installable. Current state is: passing
• dune-rpc-lwt.3.23.0 on 5.3.0 is now installable. Current state is: passing
• dune-rpc.3.23.0 on 4.14.2 is now installable. Current state is: passing
• dune-rpc.3.23.0 on 5.3.0 is now installable. Current state is: passing
• dune-site.3.23.0 on 4.14.2 is now installable. Current state is: passing
• dune-site.3.23.0 on 5.3.0 is now installable. Current state is: passing
• dune.3.23.0 on 4.14.2 is now installable. Current state is: passing
• dune.3.23.0 on 5.3.0 is now installable. Current state is: passing
• duration.0.3.1 on 4.14.2 is now installable. Current state is: passing
• duration.0.3.1 on 5.3.0 is now installable. Current state is: passing
• dyn.3.23.0 on 4.14.2 is now installable. Current state is: passing
• dyn.3.23.0 on 5.3.0 is now installable. Current state is: passing
• earlybird.1.3.6 on 4.14.2 is now installable. Current state is: passing
• earlybird.1.3.6 on 5.3.0 is now installable. Current state is: passing
• elpi.3.7.1 on 4.14.2 is now installable. Current state is: passing
• elpi.3.7.1 on 5.3.0 is now installable. Current state is: passing
• ephemeral.1.0 on 4.14.2 is now installable. Current state is: passing
• ephemeral.1.0 on 5.3.0 is now installable. Current state is: passing
• ez_api.2.2.0 on 4.14.2 is now installable. Current state is: passing
• ez_api.2.2.0 on 5.3.0 is now installable. Current state is: passing
• ez_cmdliner.0.5.0 on 4.14.2 is now installable. Current state is: passing
• ez_cmdliner.0.5.0 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-av.1.3.0 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-av.1.3.0 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-avcodec.1.3.0 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-avcodec.1.3.0 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-avdevice.1.3.0 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-avdevice.1.3.0 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-avfilter.1.3.0 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-avfilter.1.3.0 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-avutil.1.3.0 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-avutil.1.3.0 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-swresample.1.3.0 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-swresample.1.3.0 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-swscale.1.3.0 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-swscale.1.3.0 on 5.3.0 is now installable. Current state is: passing
• ffmpeg.1.3.0 on 4.14.2 is now installable. Current state is: passing
• ffmpeg.1.3.0 on 5.3.0 is now installable. Current state is: passing
• flux.0.0.1~beta5 on 5.3.0 is now installable. Current state is: passing
• fluxt.0.0.1~beta5 on 5.3.0 is now installable. Current state is: passing
• frama-clang.0.0.19 on 4.14.2 had its build status changed: internal failure to passing
• fs-io.3.23.0 on 4.14.2 is now installable. Current state is: passing
• fs-io.3.23.0 on 5.3.0 is now installable. Current state is: passing
• fstar.2026.03.24 on 4.14.2 is now installable. Current state is: passing
• fstar.2026.03.24 on 5.3.0 is now installable. Current state is: passing
• gendarme-csv.0.4.1 on 4.14.2 is now installable. Current state is: passing
• gendarme-csv.0.4.1 on 5.3.0 is now installable. Current state is: passing
• gendarme-ezjsonm.0.4.1 on 4.14.2 is now installable. Current state is: passing
• gendarme-ezjsonm.0.4.1 on 5.3.0 is now installable. Current state is: passing
• gendarme-json.0.4.1 on 4.14.2 is now installable. Current state is: passing
• gendarme-json.0.4.1 on 5.3.0 is now installable. Current state is: passing
• gendarme-toml.0.4.1 on 4.14.2 is now installable. Current state is: passing
• gendarme-toml.0.4.1 on 5.3.0 is now installable. Current state is: passing
• gendarme-yaml.0.4.1 on 4.14.2 is now installable. Current state is: passing
• gendarme-yaml.0.4.1 on 5.3.0 is now installable. Current state is: passing
• gendarme-yojson.0.4.1 on 4.14.2 is now installable. Current state is: passing
• gendarme-yojson.0.4.1 on 5.3.0 is now installable. Current state is: passing
• gendarme.0.4.1 on 4.14.2 is now installable. Current state is: passing
• gendarme.0.4.1 on 5.3.0 is now installable. Current state is: passing
• git-kv.0.2.2 on 4.14.2 is now installable. Current state is: passing
• git-kv.0.2.2 on 5.3.0 is now installable. Current state is: passing
• git-net.0.2.2 on 4.14.2 is now installable. Current state is: passing
• git-net.0.2.2 on 5.3.0 is now installable. Current state is: passing
• gnuplot.0.7 on 4.14.2 had its build status changed: partially failing to passing
• gnuplot.0.7 on 5.3.0 had its build status changed: partially failing to passing
• guardian.0.4.0 on 4.14.2 is now installable. Current state is: passing
• guardian.0.4.0 on 5.3.0 is now installable. Current state is: passing
• hdr_histogram.0.0.5 on 4.14.2 is now installable. Current state is: passing
• hdr_histogram.0.0.5 on 5.3.0 is now installable. Current state is: passing
• html_of_jsx.0.0.9 on 4.14.2 is now installable. Current state is: passing
• html_of_jsx.0.0.9 on 5.3.0 is now installable. Current state is: passing
• http-date.0.2 on 4.14.2 is now installable. Current state is: passing
• http-date.0.2 on 5.3.0 is now installable. Current state is: passing
• httpcats.0.3.0 on 5.3.0 is now installable. Current state is: passing
• hurl.0.0.1~beta2 on 5.3.0 is now installable. Current state is: passing
• idna.0.4.0 on 5.3.0 is now installable. Current state is: passing
• index-bench.1.6.2 on 4.14.2 had its build status changed: partially failing to passing
• index-bench.1.6.2 on 5.3.0 had its build status changed: partially failing to passing
• interval-map.0.2.1 on 4.14.2 is now installable. Current state is: passing
• interval-map.0.2.1 on 5.3.0 is now installable. Current state is: passing
• ip2proxy.3.2.0 on 4.14.2 is now installable. Current state is: passing
• ip2proxy.3.2.0 on 5.3.0 is now installable. Current state is: passing
• irmin-bench.3.11.0 on 4.14.2 had its build status changed: partially failing to passing
• irmin-bench.3.11.0 on 5.3.0 had its build status changed: partially failing to passing
• irmin-test.3.11.0 on 4.14.2 had its build status changed: partially failing to passing
• irmin-test.3.11.0 on 5.3.0 had its build status changed: partially failing to passing
• jsonrpc.1.26.0-5.5~preview on 4.14.2 is now installable. Current state is: passing
• jsonrpc.1.26.0-5.5~preview on 5.3.0 is now installable. Current state is: passing
• jsonschema-core.0.1.0 on 5.3.0 is now installable. Current state is: passing
• jsonschema-validation.0.1.0 on 5.3.0 is now installable. Current state is: passing
• jws.0.0.2 on 4.14.2 is now installable. Current state is: passing
• jws.0.0.2 on 5.3.0 is now installable. Current state is: passing
• lablgtk.2.18.14 on 4.14.2 had its build status changed: failing to passing
• lablgtk.2.18.14 on 5.3.0 had its build status changed: failing to passing
• lambda-term.3.4.0 on 4.14.2 is now installable. Current state is: passing
• lambda-term.3.4.0 on 5.3.0 is now installable. Current state is: passing
• lambdapi.3.0.0 on 4.14.2 had its build status changed: internal failure to passing
• lambdapi.3.0.0 on 5.3.0 had its build status changed: internal failure to passing
• landmarks-ppx.1.6 on 4.14.2 is now installable. Current state is: passing
• landmarks-ppx.1.6 on 5.3.0 is now installable. Current state is: passing
• landmarks.1.6 on 4.14.2 is now installable. Current state is: passing
• landmarks.1.6 on 5.3.0 is now installable. Current state is: passing
• layoutz.0.1.0 on 4.14.2 is now installable. Current state is: passing
• layoutz.0.1.0 on 5.3.0 is now installable. Current state is: passing
• lazy-trie.1.2.0 on 4.14.2 had its build status changed: internal failure to passing
• lazy-trie.1.2.0 on 5.3.0 had its build status changed: internal failure to passing
• lem.2026-05-01 on 4.14.2 is now installable. Current state is: passing
• lem.2026-05-01 on 5.3.0 is now installable. Current state is: passing
• letsencrypt-app.2.1.0 on 4.14.2 is now installable. Current state is: passing
• letsencrypt-app.2.1.0 on 5.3.0 is now installable. Current state is: passing
• letsencrypt-dns.2.1.0 on 4.14.2 is now installable. Current state is: passing
• letsencrypt-dns.2.1.0 on 5.3.0 is now installable. Current state is: passing
• letsencrypt-mirage.2.1.0 on 4.14.2 is now installable. Current state is: passing
• letsencrypt-mirage.2.1.0 on 5.3.0 is now installable. Current state is: passing
• letsencrypt.2.1.0 on 4.14.2 is now installable. Current state is: passing
• letsencrypt.2.1.0 on 5.3.0 is now installable. Current state is: passing
• libbinaryen.127.0.0 on 4.14.2 is now installable. Current state is: passing
• libbinaryen.127.0.0 on 5.3.0 is now installable. Current state is: passing
• libc.0.0.1 on 5.3.0 had its build status changed: internal failure to passing
• linol-eio.0.11 on 5.3.0 is now installable. Current state is: passing
• linol-lwt.0.11 on 4.14.2 is now installable. Current state is: passing
• linol-lwt.0.11 on 5.3.0 is now installable. Current state is: passing
• linol.0.11 on 4.14.2 is now installable. Current state is: passing
• linol.0.11 on 5.3.0 is now installable. Current state is: passing
• lintcstubs-arity.0.5.2 on 4.14.2 is now installable. Current state is: passing
• lintcstubs-arity.0.5.2 on 5.3.0 is now installable. Current state is: passing
• lintcstubs-gen.0.4.7 on 4.14.2 had its build status changed: internal failure to passing
• lintcstubs.0.4.7 on 4.14.2 had its build status changed: internal failure to passing
• liquidsoap-js.2.4.4 on 4.14.2 is now installable. Current state is: passing
• liquidsoap-js.2.4.4 on 5.3.0 is now installable. Current state is: passing
• liquidsoap-lang.2.4.4 on 4.14.2 is now installable. Current state is: passing
• liquidsoap-lang.2.4.4 on 5.3.0 is now installable. Current state is: passing
• liquidsoap-mode.2.4.4 on 4.14.2 is now installable. Current state is: passing
• liquidsoap-mode.2.4.4 on 5.3.0 is now installable. Current state is: passing
• liquidsoap.2.4.4 on 4.14.2 is now installable. Current state is: passing
• liquidsoap.2.4.4 on 5.3.0 is now installable. Current state is: passing
• lsp.1.26.0-5.5~preview on 4.14.2 is now installable. Current state is: passing
• lsp.1.26.0-5.5~preview on 5.3.0 is now installable. Current state is: passing
• lunar.1.1.0 on 5.3.0 is now installable. Current state is: passing
• lwd.0.5 on 4.14.2 is now installable. Current state is: passing
• lwd.0.5 on 5.3.0 is now installable. Current state is: passing
• lwt.6.1.2 on 4.14.2 is now installable. Current state is: passing
• lwt.6.1.2 on 5.3.0 is now installable. Current state is: passing
• lwt_eio.0.6 on 5.3.0 is now installable. Current state is: passing
• matcha.0.1.0 on 5.3.0 is now installable. Current state is: passing
• mcrunch.0.0.2 on 5.3.0 is now installable. Current state is: passing
• mdx.2.5.2 on 4.14.2 is now installable. Current state is: passing
• mdx.2.5.2 on 5.3.0 is now installable. Current state is: passing
• menhir-lsp.0.3.2 on 4.14.2 is now installable. Current state is: passing
• menhir-lsp.0.3.2 on 5.3.0 is now installable. Current state is: passing
• metrics-unix.0.5.0 on 4.14.2 had its build status changed: partially failing to passing
• metrics-unix.0.5.0 on 5.3.0 had its build status changed: partially failing to passing
• mfat.0.0.1~beta1 on 5.3.0 is now installable. Current state is: passing
• mhttp-client.0.0.2 on 5.3.0 is now installable. Current state is: passing
• mhttp-server.0.0.2 on 5.3.0 is now installable. Current state is: passing
• mhttp.0.0.2 on 5.3.0 is now installable. Current state is: passing
• miaou-core.0.5.2 on 5.3.0 is now installable. Current state is: passing
• miaou-driver-matrix.0.5.2 on 5.3.0 is now installable. Current state is: passing
• miaou-driver-sdl.0.5.2 on 5.3.0 is now installable. Current state is: passing
• miaou-driver-term.0.5.2 on 5.3.0 is now installable. Current state is: passing
• miaou-driver-web.0.5.2 on 5.3.0 is now installable. Current state is: passing
• miaou-registry.0.5.2 on 5.3.0 is now installable. Current state is: passing
• miaou-runner.0.5.2 on 5.3.0 is now installable. Current state is: passing
• miaou-tui.0.5.2 on 5.3.0 is now installable. Current state is: passing
• miaou-widgets-display-sdl.0.5.2 on 5.3.0 is now installable. Current state is: passing
• miaou.0.5.2 on 5.3.0 is now installable. Current state is: passing
• miou.0.6.0 on 5.3.0 is now installable. Current state is: passing
• mirage-runtime.4.11.0 on 4.14.2 is now installable. Current state is: passing
• mirage-runtime.4.11.0 on 5.3.0 is now installable. Current state is: passing
• mirage.4.11.0 on 4.14.2 is now installable. Current state is: passing
• mirage.4.11.0 on 5.3.0 is now installable. Current state is: passing
• mkernel.0.0.2 on 5.3.0 is now installable. Current state is: passing
• mnet-cli.0.0.2 on 5.3.0 is now installable. Current state is: passing
• mnet-dns.0.0.2 on 5.3.0 is now installable. Current state is: passing
• mnet-happy-eyeballs.0.0.2 on 5.3.0 is now installable. Current state is: passing
• mnet-tls.0.0.2 on 5.3.0 is now installable. Current state is: passing
• mnet.0.0.2 on 5.3.0 is now installable. Current state is: passing
• mrmime.0.7.2 on 4.14.2 is now installable. Current state is: passing
• mrmime.0.7.2 on 5.3.0 is now installable. Current state is: passing
• msendmail.0.13.0 on 5.3.0 is now installable. Current state is: passing
• mtbox.0.0.1~beta1 on 5.3.0 is now installable. Current state is: passing
• nats-client.0.0.10 on 4.14.2 is now installable. Current state is: passing
• nats-client.0.0.10 on 5.3.0 is now installable. Current state is: passing
• nottui-lwt.0.5 on 4.14.2 is now installable. Current state is: passing
• nottui-lwt.0.5 on 5.3.0 is now installable. Current state is: passing
• nottui-miou.0.0.1 on 5.3.0 is now installable. Current state is: passing
• nottui-pretty.0.5 on 4.14.2 is now installable. Current state is: passing
• nottui-pretty.0.5 on 5.3.0 is now installable. Current state is: passing
• nottui-unix.0.5 on 4.14.2 is now installable. Current state is: passing
• nottui-unix.0.5 on 5.3.0 is now installable. Current state is: passing
• nottui.0.5 on 4.14.2 is now installable. Current state is: passing
• nottui.0.5 on 5.3.0 is now installable. Current state is: passing
• notty-miou.0.0.1 on 5.3.0 is now installable. Current state is: passing
• obuilder-spec.0.7.0 on 4.14.2 is now installable. Current state is: passing
• obuilder-spec.0.7.0 on 5.3.0 is now installable. Current state is: passing
• obuilder.0.7.0 on 4.14.2 is now installable. Current state is: passing
• obuilder.0.7.0 on 5.3.0 is now installable. Current state is: passing
• ocaml-ai-sdk.0.1 on 4.14.2 is now installable. Current state is: passing
• ocaml-ai-sdk.0.1 on 5.3.0 is now installable. Current state is: passing
• ocaml-protoc.4.1 on 4.14.2 is now installable. Current state is: passing
• ocaml-protoc.4.1 on 5.3.0 is now installable. Current state is: passing
• ocaml-version.4.1.1 on 4.14.2 is now installable. Current state is: passing
• ocaml-version.4.1.1 on 5.3.0 is now installable. Current state is: passing
• ocaml_intrinsics_kernel.v0.17.2 on 5.3.0 is now installable. Current state is: passing
• ocamlc-loc.3.23.0 on 4.14.2 is now installable. Current state is: passing
• ocamlc-loc.3.23.0 on 5.3.0 is now installable. Current state is: passing
• ocamleditor.1.16.0-ocaml414 on 4.14.2 had its build status changed: partially failing to passing
• ocamlgraph_gtk.2.2.0 on 4.14.2 had its build status changed: partially failing to passing
• ocamlgraph_gtk.2.2.0 on 5.3.0 had its build status changed: partially failing to passing
• ocgtk.0.1~preview1 on 5.3.0 is now installable. Current state is: passing
• ochre-cli.1.0.0 on 4.14.2 is now installable. Current state is: passing
• ochre-cli.1.0.0 on 5.3.0 is now installable. Current state is: passing
• ochre.1.0.0 on 4.14.2 is now installable. Current state is: passing
• ochre.1.0.0 on 5.3.0 is now installable. Current state is: passing
• ocluster-api.0.4.0 on 4.14.2 is now installable. Current state is: passing
• ocluster-api.0.4.0 on 5.3.0 is now installable. Current state is: passing
• ocluster-worker.0.4.0 on 4.14.2 is now installable. Current state is: passing
• ocluster-worker.0.4.0 on 5.3.0 is now installable. Current state is: passing
• ocluster.0.4.0 on 4.14.2 is now installable. Current state is: passing
• ocluster.0.4.0 on 5.3.0 is now installable. Current state is: passing
• ocsigen-i18n.5.0.0 on 4.14.2 is now installable. Current state is: passing
• ocsigen-i18n.5.0.0 on 5.3.0 is now installable. Current state is: passing
• odoc-driver.3.2.1 on 5.3.0 is now installable. Current state is: passing
• odoc-md.3.2.1 on 4.14.2 is now installable. Current state is: passing
• odoc-md.3.2.1 on 5.3.0 is now installable. Current state is: passing
• odoc-parser.3.2.1 on 4.14.2 is now installable. Current state is: passing
• odoc-parser.3.2.1 on 5.3.0 is now installable. Current state is: passing
• odoc.3.2.1 on 4.14.2 is now installable. Current state is: passing
• odoc.3.2.1 on 5.3.0 is now installable. Current state is: passing
• omlr.1.0.3 on 4.14.2 had its build status changed: partially failing to passing
• omlr.1.0.3 on 5.3.0 had its build status changed: partially failing to passing
• oniguruma.0.2.0 on 4.14.2 is now installable. Current state is: passing
• oniguruma.0.2.0 on 5.3.0 is now installable. Current state is: passing
• opam-0install.0.6.0 on 4.14.2 is now installable. Current state is: passing
• opam-0install.0.6.0 on 5.3.0 is now installable. Current state is: passing
• opam-client.2.5.1 on 4.14.2 is now installable. Current state is: passing
• opam-client.2.5.1 on 5.3.0 is now installable. Current state is: passing
• opam-core.2.5.1 on 4.14.2 is now installable. Current state is: passing
• opam-core.2.5.1 on 5.3.0 is now installable. Current state is: passing
• opam-devel.2.5.1 on 4.14.2 is now installable. Current state is: passing
• opam-devel.2.5.1 on 5.3.0 is now installable. Current state is: passing
• opam-format.2.5.1 on 4.14.2 is now installable. Current state is: passing
• opam-format.2.5.1 on 5.3.0 is now installable. Current state is: passing
• opam-installer.2.5.1 on 4.14.2 is now installable. Current state is: passing
• opam-installer.2.5.1 on 5.3.0 is now installable. Current state is: passing
• opam-repository.2.5.1 on 4.14.2 is now installable. Current state is: passing
• opam-repository.2.5.1 on 5.3.0 is now installable. Current state is: passing
• opam-solver.2.5.1 on 4.14.2 is now installable. Current state is: passing
• opam-solver.2.5.1 on 5.3.0 is now installable. Current state is: passing
• opam-state.2.5.1 on 4.14.2 is now installable. Current state is: passing
• opam-state.2.5.1 on 5.3.0 is now installable. Current state is: passing
• opatch.3.1.1 on 4.14.2 is now installable. Current state is: passing
• opatch.3.1.1 on 5.3.0 is now installable. Current state is: passing
• openstellina.0.0.3 on 4.14.2 had its build status changed: partially failing to passing
• openstellina.0.0.3 on 5.3.0 had its build status changed: partially failing to passing
• opentelemetry-client-cohttp-eio.0.91 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-client-cohttp-lwt.0.91 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-client-cohttp-lwt.0.91 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-client-ocurl-lwt.0.91 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-client-ocurl-lwt.0.91 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-client-ocurl.0.91 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-client-ocurl.0.91 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-client.0.91 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-client.0.91 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-cohttp-lwt.0.91 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-cohttp-lwt.0.91 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-logs.0.91 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-logs.0.91 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-lwt.0.91 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-lwt.0.91 on 5.3.0 is now installable. Current state is: passing
• opentelemetry.0.91 on 4.14.2 is now installable. Current state is: passing
• opentelemetry.0.91 on 5.3.0 is now installable. Current state is: passing
• ordering.3.23.0 on 4.14.2 is now installable. Current state is: passing
• ordering.3.23.0 on 5.3.0 is now installable. Current state is: passing
• orsvm_e1071.4.0.0 on 4.14.2 had its build status changed: partially failing to passing
• orsvm_e1071.4.0.0 on 5.3.0 had its build status changed: partially failing to passing
• ortac-core.0.8.0 on 4.14.2 is now installable. Current state is: passing
• ortac-core.0.8.0 on 5.3.0 is now installable. Current state is: passing
• ortac-dune.0.8.0 on 4.14.2 is now installable. Current state is: passing
• ortac-dune.0.8.0 on 5.3.0 is now installable. Current state is: passing
• ortac-qcheck-stm.0.8.0 on 4.14.2 is now installable. Current state is: passing
• ortac-qcheck-stm.0.8.0 on 5.3.0 is now installable. Current state is: passing
• ortac-runtime-qcheck-stm.0.8.0 on 4.14.2 is now installable. Current state is: passing
• ortac-runtime-qcheck-stm.0.8.0 on 5.3.0 is now installable. Current state is: passing
• ortac-runtime.0.8.0 on 4.14.2 is now installable. Current state is: passing
• ortac-runtime.0.8.0 on 5.3.0 is now installable. Current state is: passing
• ortac-wrapper.0.8.0 on 4.14.2 is now installable. Current state is: passing
• ortac-wrapper.0.8.0 on 5.3.0 is now installable. Current state is: passing
• out-channel-redirect.0.1 on 4.14.2 is now installable. Current state is: passing
• out-channel-redirect.0.1 on 5.3.0 is now installable. Current state is: passing
• parseff.0.3.0 on 5.3.0 is now installable. Current state is: passing
• passage.0.3.5 on 4.14.2 is now installable. Current state is: passing
• passage.0.3.5 on 5.3.0 is now installable. Current state is: passing
• patch.3.1.1 on 4.14.2 is now installable. Current state is: passing
• patch.3.1.1 on 5.3.0 is now installable. Current state is: passing
• patricia-tree.0.13.0 on 4.14.2 is now installable. Current state is: passing
• patricia-tree.0.13.0 on 5.3.0 is now installable. Current state is: passing
• pbrt.4.1 on 4.14.2 is now installable. Current state is: passing
• pbrt.4.1 on 5.3.0 is now installable. Current state is: passing
• pbrt_services.4.1 on 4.14.2 is now installable. Current state is: passing
• pbrt_services.4.1 on 5.3.0 is now installable. Current state is: passing
• pbrt_yojson.4.1 on 4.14.2 is now installable. Current state is: passing
• pbrt_yojson.4.1 on 5.3.0 is now installable. Current state is: passing
• postgresql.5.4.0 on 5.3.0 is now installable. Current state is: passing
• ppx_deriving_jsonschema.0.0.7 on 5.3.0 is now installable. Current state is: passing
• ppx_deriving_rpc.10.2.0 on 4.14.2 is now installable. Current state is: passing
• ppx_deriving_rpc.10.2.0 on 5.3.0 is now installable. Current state is: passing
• ppx_enforce.0.1.0 on 4.14.2 is now installable. Current state is: passing
• ppx_enforce.0.1.0 on 5.3.0 is now installable. Current state is: passing
• ppx_forbid.0.1.0 on 4.14.2 is now installable. Current state is: passing
• ppx_forbid.0.1.0 on 5.3.0 is now installable. Current state is: passing
• ppx_marshal.0.4.1 on 4.14.2 is now installable. Current state is: passing
• ppx_marshal.0.4.1 on 5.3.0 is now installable. Current state is: passing
• ppx_marshal_ext.0.4.1 on 4.14.2 is now installable. Current state is: passing
• ppx_marshal_ext.0.4.1 on 5.3.0 is now installable. Current state is: passing
• ppx_mikmatch.1.4 on 4.14.2 is now installable. Current state is: passing
• ppx_mikmatch.1.4 on 5.3.0 is now installable. Current state is: passing
• ppx_mixins.0.2.0 on 4.14.2 is now installable. Current state is: passing
• ppx_mixins.0.2.0 on 5.3.0 is now installable. Current state is: passing
• ppxlib-tools.0.38.0 on 4.14.2 is now installable. Current state is: passing
• ppxlib-tools.0.38.0 on 5.3.0 is now installable. Current state is: passing
• ppxlib.0.38.0 on 4.14.2 is now installable. Current state is: passing
• ppxlib.0.38.0 on 5.3.0 is now installable. Current state is: passing
• prbnmcn-dagger-test.0.0.2 on 4.14.2 had its build status changed: partially failing to passing
• prbnmcn-dagger-test.0.0.2 on 5.3.0 had its build status changed: partially failing to passing
• prettym.0.0.5 on 4.14.2 is now installable. Current state is: passing
• prettym.0.0.5 on 5.3.0 is now installable. Current state is: passing
• prooftree.0.14 on 4.14.2 had its build status changed: partially failing to passing
• prooftree.0.14 on 5.3.0 had its build status changed: partially failing to passing
• proverif.2.05 on 4.14.2 had its build status changed: partially failing to passing
• proverif.2.05 on 5.3.0 had its build status changed: partially failing to passing
• public-suffix.0.0.2 on 4.14.2 is now installable. Current state is: passing
• public-suffix.0.0.2 on 5.3.0 is now installable. Current state is: passing
• pyro-caml-instruments.1.0.0 on 5.3.0 is now installable. Current state is: passing
• pyro-caml-ppx.1.0.0 on 5.3.0 is now installable. Current state is: passing
• qcow-stream.0.14.0 on 4.14.2 is now installable. Current state is: passing
• qcow-stream.0.14.0 on 5.3.0 is now installable. Current state is: passing
• qcow-tool.0.14.0 on 4.14.2 is now installable. Current state is: passing
• qcow-types.0.14.0 on 4.14.2 is now installable. Current state is: passing
• qcow-types.0.14.0 on 5.3.0 is now installable. Current state is: passing
• qcow.0.14.0 on 4.14.2 is now installable. Current state is: passing
• rescriptdep.0.1.2 on 5.3.0 is now installable. Current state is: passing
• restricted.2.0.0 on 5.3.0 is now installable. Current state is: passing
• rocq-core.9.2.0 on 4.14.2 is now installable. Current state is: passing
• rocq-core.9.2.0 on 5.3.0 is now installable. Current state is: passing
• rocq-devtools.9.2.0 on 4.14.2 is now installable. Current state is: passing
• rocq-devtools.9.2.0 on 5.3.0 is now installable. Current state is: passing
• rocq-runtime.9.2.0 on 4.14.2 is now installable. Current state is: passing
• rocq-runtime.9.2.0 on 5.3.0 is now installable. Current state is: passing
• rocqide.9.2.0 on 4.14.2 is now installable. Current state is: passing
• rocqide.9.2.0 on 5.3.0 is now installable. Current state is: passing
• rpclib-html.10.2.0 on 4.14.2 is now installable. Current state is: passing
• rpclib-html.10.2.0 on 5.3.0 is now installable. Current state is: passing
• rpclib-js.10.2.0 on 4.14.2 is now installable. Current state is: passing
• rpclib-js.10.2.0 on 5.3.0 is now installable. Current state is: passing
• rpclib-lwt.10.2.0 on 4.14.2 is now installable. Current state is: passing
• rpclib-lwt.10.2.0 on 5.3.0 is now installable. Current state is: passing
• rpclib.10.2.0 on 4.14.2 is now installable. Current state is: passing
• rpclib.10.2.0 on 5.3.0 is now installable. Current state is: passing
• runtime_events_tools.0.5.4 on 5.3.0 is now installable. Current state is: passing
• runtime_events_tools_bare.0.5.4 on 5.3.0 is now installable. Current state is: passing
• sendmail-lwt.0.13.0 on 5.3.0 is now installable. Current state is: passing
• sendmail-miou-unix.0.13.0 on 5.3.0 is now installable. Current state is: passing
• sendmail-mirage.0.13.0 on 5.3.0 is now installable. Current state is: passing
• sendmail.0.13.0 on 5.3.0 is now installable. Current state is: passing
• sherlodoc.3.2.1 on 4.14.2 is now installable. Current state is: passing
• sherlodoc.3.2.1 on 5.3.0 is now installable. Current state is: passing
• slugline.1.0.0 on 5.3.0 is now installable. Current state is: passing
• sm.0.1.1 on 4.14.2 is now installable. Current state is: passing
• sm.0.1.1 on 5.3.0 is now installable. Current state is: passing
• smtml.0.26.0 on 4.14.2 is now installable. Current state is: passing
• smtml.0.26.0 on 5.3.0 is now installable. Current state is: passing
• snkv.0.1.1 on 4.14.2 is now installable. Current state is: passing
• snkv.0.1.1 on 5.3.0 is now installable. Current state is: passing
• spectrum.1.0.0.alpha2 on 4.14.2 is now installable. Current state is: passing
• spectrum.1.0.0.alpha2 on 5.3.0 is now installable. Current state is: passing
• spectrum_capabilities.1.0.0.alpha2 on 4.14.2 is now installable. Current state is: passing
• spectrum_capabilities.1.0.0.alpha2 on 5.3.0 is now installable. Current state is: passing
• spectrum_palette_ppx.1.0.0.alpha2 on 4.14.2 is now installable. Current state is: passing
• spectrum_palette_ppx.1.0.0.alpha2 on 5.3.0 is now installable. Current state is: passing
• spectrum_palettes.1.0.0.alpha2 on 4.14.2 is now installable. Current state is: passing
• spectrum_palettes.1.0.0.alpha2 on 5.3.0 is now installable. Current state is: passing
• spectrum_tools.1.0.0.alpha2 on 4.14.2 is now installable. Current state is: passing
• spectrum_tools.1.0.0.alpha2 on 5.3.0 is now installable. Current state is: passing
• sqlite3.5.4.1 on 4.14.2 is now installable. Current state is: passing
• sqlite3.5.4.1 on 5.3.0 is now installable. Current state is: passing
• stdune.3.23.0 on 4.14.2 is now installable. Current state is: passing
• stdune.3.23.0 on 5.3.0 is now installable. Current state is: passing
• stem.0.0.1 on 5.3.0 is now installable. Current state is: passing
• testo-diff.0.5.0 on 4.14.2 is now installable. Current state is: passing
• testo-diff.0.5.0 on 5.3.0 is now installable. Current state is: passing
• testo-lwt.0.5.0 on 4.14.2 is now installable. Current state is: passing
• testo-lwt.0.5.0 on 5.3.0 is now installable. Current state is: passing
• testo-util.0.5.0 on 4.14.2 is now installable. Current state is: passing
• testo-util.0.5.0 on 5.3.0 is now installable. Current state is: passing
• testo.0.5.0 on 4.14.2 is now installable. Current state is: passing
• testo.0.5.0 on 5.3.0 is now installable. Current state is: passing
• textmate-language.0.6.0 on 4.14.2 is now installable. Current state is: passing
• textmate-language.0.6.0 on 5.3.0 is now installable. Current state is: passing
• tm-grammars.2.0.0 on 4.14.2 is now installable. Current state is: passing
• tm-grammars.2.0.0 on 5.3.0 is now installable. Current state is: passing
• top-closure.3.23.0 on 4.14.2 is now installable. Current state is: passing
• top-closure.3.23.0 on 5.3.0 is now installable. Current state is: passing
• tracy-client.0.7.1 on 4.14.2 is now installable. Current state is: passing
• tracy-client.0.7.1 on 5.3.0 is now installable. Current state is: passing
• tsdl-ttf.0.7 on 4.14.2 is now installable. Current state is: passing
• tsdl-ttf.0.7 on 5.3.0 is now installable. Current state is: passing
• tsdl.1.3.0 on 4.14.2 is now installable. Current state is: passing
• tsdl.1.3.0 on 5.3.0 is now installable. Current state is: passing
• tuareg.3.0.1 on 4.14.2 had its build status changed: partially failing to passing
• tuareg.3.0.1 on 5.3.0 had its build status changed: partially failing to passing
• tyxml-lwd.0.5 on 4.14.2 is now installable. Current state is: passing
• tyxml-lwd.0.5 on 5.3.0 is now installable. Current state is: passing
• unidecode.0.5.0 on 4.14.2 is now installable. Current state is: passing
• unidecode.0.5.0 on 5.3.0 is now installable. Current state is: passing
• uspf-lwt.0.2.1 on 4.14.2 is now installable. Current state is: passing
• uspf-lwt.0.2.1 on 5.3.0 is now installable. Current state is: passing
• uspf-mirage.0.2.1 on 4.14.2 is now installable. Current state is: passing
• uspf-mirage.0.2.1 on 5.3.0 is now installable. Current state is: passing
• uspf.0.2.1 on 4.14.2 is now installable. Current state is: passing
• uspf.0.2.1 on 5.3.0 is now installable. Current state is: passing
• utcp.0.0.3 on 4.14.2 is now installable. Current state is: passing
• utcp.0.0.3 on 5.3.0 is now installable. Current state is: passing
• utop.2.17.0 on 4.14.2 is now installable. Current state is: passing
• utop.2.17.0 on 5.3.0 is now installable. Current state is: passing
• valkey.0.3.1 on 5.3.0 is now installable. Current state is: passing
• vif.0.0.1~beta3 on 5.3.0 is now installable. Current state is: passing
• vifu.0.0.1~beta3 on 5.3.0 is now installable. Current state is: passing
• wcwidth.1.1.0 on 4.14.2 is now installable. Current state is: passing
• wcwidth.1.1.0 on 5.3.0 is now installable. Current state is: passing
• wire.0.9.0 on 5.3.0 is now installable. Current state is: passing
• wol-eio.1.0 on 5.3.0 is now installable. Current state is: passing
• wol-mirage.1.0 on 5.3.0 is now installable. Current state is: passing
• wol.1.0 on 5.3.0 is now installable. Current state is: passing
• xdg.3.23.0 on 4.14.2 is now installable. Current state is: passing
• xdg.3.23.0 on 5.3.0 is now installable. Current state is: passing
• xedbindings.0.14 on 4.14.2 is now installable. Current state is: passing
• xedbindings.0.14 on 5.3.0 is now installable. Current state is: passing
• yamlx.0.3.0 on 4.14.2 is now installable. Current state is: passing
• yamlx.0.3.0 on 5.3.0 is now installable. Current state is: passing
• zelus-gtk.2.2 on 4.14.2 had its build status changed: partially failing to passing
• zelus-gtk.2.2 on 5.3.0 had its build status changed: partially failing to passing