Packages now 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
- 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:
Packages now not available:
- ai-sdk-react.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- ai-sdk-react.0.1 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
- 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
- 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.1 on 4.14.2 is not available anymore. Previous state was: passing
- chrome-trace.3.22.1 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
- 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
- dune-action-plugin.3.22.1 on 4.14.2 is not available anymore. Previous state was: passing
- dune-action-plugin.3.22.1 on 5.3.0 is not available anymore. Previous state was: passing
- dune-action-trace.3.22.1 on 4.14.2 is not available anymore. Previous state was: passing
- dune-action-trace.3.22.1 on 5.3.0 is not available anymore. Previous state was: passing
- dune-build-info.3.22.1 on 4.14.2 is not available anymore. Previous state was: passing
- dune-build-info.3.22.1 on 5.3.0 is not available anymore. Previous state was: passing
- dune-configurator.3.22.1 on 4.14.2 is not available anymore. Previous state was: passing
- dune-configurator.3.22.1 on 5.3.0 is not available anymore. Previous state was: passing
- dune-glob.3.22.1 on 4.14.2 is not available anymore. Previous state was: passing
- dune-glob.3.22.1 on 5.3.0 is not available anymore. Previous state was: passing
- dune-private-libs.3.22.1 on 4.14.2 is not available anymore. Previous state was: passing
- dune-private-libs.3.22.1 on 5.3.0 is not available anymore. Previous state was: passing
- dune-rpc-lwt.3.22.1 on 4.14.2 is not available anymore. Previous state was: passing
- dune-rpc-lwt.3.22.1 on 5.3.0 is not available anymore. Previous state was: passing
- dune-rpc.3.22.1 on 4.14.2 is not available anymore. Previous state was: passing
- dune-rpc.3.22.1 on 5.3.0 is not available anymore. Previous state was: passing
- dune-site.3.22.1 on 4.14.2 is not available anymore. Previous state was: passing
- dune-site.3.22.1 on 5.3.0 is not available anymore. Previous state was: passing
- dune.3.22.1 on 4.14.2 is not available anymore. Previous state was: passing
- dune.3.22.1 on 5.3.0 is not available anymore. Previous state was: passing
- duration.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
- duration.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- dyn.3.22.1 on 4.14.2 is not available anymore. Previous state was: passing
- dyn.3.22.1 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
- 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~beta4 on 5.3.0 is not available anymore. Previous state was: passing
- fluxt.0.0.1~beta4 on 5.3.0 is not available anymore. Previous state was: passing
- fs-io.3.22.1 on 4.14.2 is not available anymore. Previous state was: passing
- fs-io.3.22.1 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
- 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
- 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
- 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
- ocaml-version.4.0.4 on 4.14.2 is not available anymore. Previous state was: passing
- ocaml-version.4.0.4 on 5.3.0 is not available anymore. Previous state was: passing
- ocamlc-loc.3.22.1 on 4.14.2 is not available anymore. Previous state was: passing
- ocamlc-loc.3.22.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
- ordering.3.22.1 on 4.14.2 is not available anymore. Previous state was: passing
- ordering.3.22.1 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
- 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
- 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
- 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.1 on 4.14.2 is not available anymore. Previous state was: passing
- stdune.3.22.1 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.1 on 4.14.2 is not available anymore. Previous state was: passing
- top-closure.3.22.1 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
- xdg.3.22.1 on 4.14.2 is not available anymore. Previous state was: passing
- xdg.3.22.1 on 5.3.0 is not available anymore. Previous state was: passing
- yamlx.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- yamlx.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
Packages now failing with an internal failure:
Packages now passing:
- ai-sdk-react.0.2 on 4.14.2 is now installable. Current state is: passing
- ai-sdk-react.0.2 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
- 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
- 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.22.2 on 4.14.2 is now installable. Current state is: passing
- chrome-trace.3.22.2 on 5.3.0 is now installable. Current state is: 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
- 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
- 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
- dune-action-plugin.3.22.2 on 4.14.2 is now installable. Current state is: passing
- dune-action-plugin.3.22.2 on 5.3.0 is now installable. Current state is: passing
- dune-action-trace.3.22.2 on 4.14.2 is now installable. Current state is: passing
- dune-action-trace.3.22.2 on 5.3.0 is now installable. Current state is: passing
- dune-build-info.3.22.2 on 4.14.2 is now installable. Current state is: passing
- dune-build-info.3.22.2 on 5.3.0 is now installable. Current state is: passing
- dune-configurator.3.22.2 on 4.14.2 is now installable. Current state is: passing
- dune-configurator.3.22.2 on 5.3.0 is now installable. Current state is: passing
- dune-glob.3.22.2 on 4.14.2 is now installable. Current state is: passing
- dune-glob.3.22.2 on 5.3.0 is now installable. Current state is: passing
- dune-private-libs.3.22.2 on 4.14.2 is now installable. Current state is: passing
- dune-private-libs.3.22.2 on 5.3.0 is now installable. Current state is: passing
- dune-rpc-lwt.3.22.2 on 4.14.2 is now installable. Current state is: passing
- dune-rpc-lwt.3.22.2 on 5.3.0 is now installable. Current state is: passing
- dune-rpc.3.22.2 on 4.14.2 is now installable. Current state is: passing
- dune-rpc.3.22.2 on 5.3.0 is now installable. Current state is: passing
- dune-site.3.22.2 on 4.14.2 is now installable. Current state is: passing
- dune-site.3.22.2 on 5.3.0 is now installable. Current state is: passing
- dune.3.22.2 on 4.14.2 is now installable. Current state is: passing
- dune.3.22.2 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.22.2 on 4.14.2 is now installable. Current state is: passing
- dyn.3.22.2 on 5.3.0 is now installable. Current state is: passing
- elpi.3.7.0 on 4.14.2 is now installable. Current state is: passing
- elpi.3.7.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
- fs-io.3.22.2 on 4.14.2 is now installable. Current state is: passing
- fs-io.3.22.2 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
- mirage-runtime.4.10.6 on 4.14.2 is now installable. Current state is: passing
- mirage-runtime.4.10.6 on 5.3.0 is now installable. Current state is: passing
- mirage.4.10.6 on 4.14.2 is now installable. Current state is: passing
- mirage.4.10.6 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
- nats-client.0.0.7 on 4.14.2 is now installable. Current state is: passing
- nats-client.0.0.7 on 5.3.0 is now installable. Current state is: passing
- ocaml-version.4.1.0 on 4.14.2 is now installable. Current state is: passing
- ocaml-version.4.1.0 on 5.3.0 is now installable. Current state is: passing
- ocamlc-loc.3.22.2 on 4.14.2 is now installable. Current state is: passing
- ocamlc-loc.3.22.2 on 5.3.0 is now installable. Current state is: 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
- 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
- ordering.3.22.2 on 4.14.2 is now installable. Current state is: passing
- ordering.3.22.2 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_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
- 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
- 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
- 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.22.2 on 4.14.2 is now installable. Current state is: passing
- stdune.3.22.2 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.22.2 on 4.14.2 is now installable. Current state is: passing
- top-closure.3.22.2 on 5.3.0 is now installable. Current state is: passing
- xdg.3.22.2 on 4.14.2 is now installable. Current state is: passing
- xdg.3.22.2 on 5.3.0 is now installable. Current state is: passing
- yamlx.0.2.0 on 4.14.2 is now installable. Current state is: passing
- yamlx.0.2.0 on 5.3.0 is now installable. Current state is: passing