Home|Differences with the last checks|Previous runs

Differences between 95a242e and dd59298 (git diff)

Packages now failing:

• cgi.0.10 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
• 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
• 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:

• 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
• alcobar.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• alcobar.0.3 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
• atd-jsonlike.4.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• atd-jsonlike.4.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• atd-yamlx.4.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• atd-yamlx.4.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• atd.4.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• atd.4.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdcpp.4.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdcpp.4.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdd.4.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdd.4.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdgen-codec-runtime.4.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdgen-codec-runtime.4.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdgen-runtime.4.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdgen-runtime.4.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdgen.4.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdgen.4.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdj.4.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdj.4.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdml.4.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdml.4.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdpy.4.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdpy.4.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• atds.4.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• atds.4.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• atdts.4.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• atdts.4.1.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
• 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
• caqti-miou.2.2.4 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
• 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
• 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.5 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile-cmd.8.3.5 on 5.3.0 is not available anymore. Previous state was: passing
• dockerfile-opam.8.3.5 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile-opam.8.3.5 on 5.3.0 is not available anymore. Previous state was: passing
• dockerfile.8.3.5 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile.8.3.5 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
• 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
• 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
• idna.0.3.0 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
• 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
• liquidsoap-js.2.4.3 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap-js.2.4.3 on 5.3.0 is not available anymore. Previous state was: passing
• liquidsoap-lang.2.4.3 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap-lang.2.4.3 on 5.3.0 is not available anymore. Previous state was: passing
• liquidsoap-mode.2.4.3 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap-mode.2.4.3 on 5.3.0 is not available anymore. Previous state was: passing
• liquidsoap.2.4.3 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap.2.4.3 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
• mcrunch.0.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• menhir-lsp.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• menhir-lsp.0.3.0 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
• 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
• opentelemetry-client-cohttp-eio.0.90 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-client-cohttp-lwt.0.90 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-client-cohttp-lwt.0.90 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-client-ocurl-lwt.0.90 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-client-ocurl-lwt.0.90 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-client-ocurl.0.90 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-client-ocurl.0.90 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-client.0.90 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-client.0.90 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-cohttp-lwt.0.90 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-cohttp-lwt.0.90 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-logs.0.90 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-logs.0.90 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-lwt.0.90 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-lwt.0.90 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry.0.90 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry.0.90 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
• 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
• 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
• sendmail-miou-unix.0.12.1 on 5.3.0 is not available anymore. Previous state was: passing
• smtml.0.25.0 on 4.14.2 is not available anymore. Previous state was: passing
• smtml.0.25.0 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.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
• 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
• 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
• 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.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
• 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
• 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
• 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
• caqti-miou.2.3.1 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
• 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
• ciao_lwt.0.2 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-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
• 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.6 on 4.14.2 is now installable. Current state is: passing
• dockerfile-cmd.8.3.6 on 5.3.0 is now installable. Current state is: passing
• dockerfile-opam.8.3.6 on 4.14.2 is now installable. Current state is: passing
• dockerfile-opam.8.3.6 on 5.3.0 is now installable. Current state is: passing
• dockerfile.8.3.6 on 4.14.2 is now installable. Current state is: passing
• dockerfile.8.3.6 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
• 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
• 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
• fm-simplex-plugin.1.30 on 4.14.2 had its build status changed: failing to passing
• frama-clang.0.0.19 on 4.14.2 had its build status changed: internal failure to 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
• functory.0.6 on 4.14.2 had its build status changed: failing to 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
• idna.0.4.0 on 5.3.0 is now installable. Current state is: 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
• 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
• 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
• mcrunch.0.0.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
• 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
• msendmail.0.13.0 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
• 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.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_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
• 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
• profiler-plugin.1.30 on 4.14.2 had its build status changed: 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
• 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
• 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
• slugline.1.0.0 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
• 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
• 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
• 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
• valkey.0.2.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
• 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.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