Home|Differences with the last checks|Previous runs

Differences between 1a7ee13 and 4c55f2a (git diff)

Packages now failing:

• bibtex2html.1.99-1 on 4.14.2 had its build status changed: passing to failing
• bibtex2html.1.99-1 on 5.2.0 had its build status changed: passing to failing
• bogue-tutorials.0.2.0 on 5.2.0 had its build status changed: not available to failing
• frama-clang.0.0.17 on 4.14.2 is now installable. Current state is: failing
• frama-clang.0.0.17 on 5.2.0 is now installable. Current state is: failing
• jasmin.2024.07.2 on 4.14.2 is now installable. Current state is: failing
• jasmin.2024.07.2 on 5.2.0 is now installable. Current state is: failing
• lacaml.11.1.1 on 4.14.2 is now installable. Current state is: failing
• lacaml.11.1.1 on 5.2.0 is now installable. Current state is: failing
• mariadb.1.2.0 on 4.14.2 is now installable. Current state is: failing
• mariadb.1.2.0 on 5.2.0 is now installable. Current state is: failing
• metapp.0.4.4 on 4.14.2 had its build status changed: passing to failing
• opsian.0.1 on 4.14.2 had its build status changed: internal failure to failing
• opsian.0.1 on 5.2.0 had its build status changed: internal failure to failing
• re2.v0.16.0 on 4.14.2 had its build status changed: passing to failing
• re2.v0.16.0 on 5.2.0 had its build status changed: passing to failing
• rml.1.09.03 on 4.14.2 is now installable. Current state is: failing
• rml.1.09.03 on 5.2.0 is now installable. Current state is: failing

Packages now partially failing:

• FPauth-core.1.0.0 on 4.14.2 had its build status changed: passing to partially failing
• FPauth-responses.1.0.0 on 4.14.2 had its build status changed: passing to partially failing
• caqti-driver-mariadb.2.1.1 on 5.2.0 had its build status changed: not available to partially failing
• clangml-transforms.0.26 on 4.14.2 had its build status changed: internal failure to partially failing
• clangml.4.8.0 on 4.14.2 had its build status changed: internal failure to partially failing
• cudajit.0.6.1 on 4.14.2 is now installable. Current state is: partially failing
• cudajit.0.6.1 on 5.2.0 is now installable. Current state is: partially failing
• fm-simplex-plugin.1.30 on 4.14.2 had its build status changed: passing to partially failing
• guardian.0.1.0 on 5.2.0 had its build status changed: not available to partially failing
• liquid_interpreter.0.1.2 on 4.14.2 had its build status changed: passing to partially failing
• liquid_interpreter.0.1.2 on 5.2.0 had its build status changed: passing to partially failing
• liquid_ml.0.1.2 on 4.14.2 had its build status changed: passing to partially failing
• liquid_ml.0.1.2 on 5.2.0 had its build status changed: passing to partially failing
• liquid_parser.0.1.2 on 4.14.2 had its build status changed: passing to partially failing
• liquid_parser.0.1.2 on 5.2.0 had its build status changed: passing to partially failing
• liquid_std.0.1.2 on 4.14.2 had its build status changed: passing to partially failing
• liquid_std.0.1.2 on 5.2.0 had its build status changed: passing to partially failing
• liquid_syntax.0.1.2 on 4.14.2 had its build status changed: passing to partially failing
• liquid_syntax.0.1.2 on 5.2.0 had its build status changed: passing to partially failing
• liquidsoap-core.2.3.0 on 4.14.2 is now installable. Current state is: partially failing
• liquidsoap-core.2.3.0 on 5.2.0 is now installable. Current state is: partially failing
• liquidsoap-daemon.1.0.0 on 4.14.2 had its build status changed: passing to partially failing
• liquidsoap-daemon.1.0.0 on 5.2.0 had its build status changed: passing to partially failing
• liquidsoap-mode.2.3.0 on 4.14.2 is now installable. Current state is: partially failing
• liquidsoap-mode.2.3.0 on 5.2.0 is now installable. Current state is: partially failing
• liquidsoap.2.3.0 on 4.14.2 is now installable. Current state is: partially failing
• liquidsoap.2.3.0 on 5.2.0 is now installable. Current state is: partially failing
• memcad.1.1.0 on 4.14.2 had its build status changed: internal failure to partially failing
• metaquot.0.5.2 on 4.14.2 had its build status changed: passing to partially failing
• octez-accuser-Proxford.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-accuser-PsParisC.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-accuser-PtLimaPt.16.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-accuser-PtNairob.19.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-accuser-PtParisB.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-baker-Proxford.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-baker-PsParisC.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-baker-PtLimaPt.16.1 on 4.14.2 had its build status changed: internal failure to partially failing
• passage.0.1.6 on 4.14.2 is now installable. Current state is: partially failing
• passage.0.1.6 on 5.2.0 is now installable. Current state is: partially failing
• pattern.0.3.2 on 4.14.2 had its build status changed: passing to partially failing
• pyast.0.2.0 on 4.14.2 had its build status changed: passing to partially failing
• raygui.1.3.1 on 4.14.2 is now installable. Current state is: partially failing
• raygui.1.3.1 on 5.2.0 is now installable. Current state is: partially failing
• raylib.1.3.1 on 4.14.2 is now installable. Current state is: partially failing
• raylib.1.3.1 on 5.2.0 is now installable. Current state is: partially failing
• refl.0.4.1 on 4.14.2 had its build status changed: passing to partially failing
• safemoney.0.2.0 on 4.14.2 had its build status changed: passing to partially failing
• safemoney.0.2.0 on 5.2.0 had its build status changed: passing to partially failing
• starred_ml.0.0.5 on 5.2.0 had its build status changed: passing to partially failing
• tezos-base-test-helpers.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-base.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-benchmark.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-client-000-Ps9mPmXa.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-client-001-PtCJ7pwo.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-client-002-PsYLVpVv.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-client-003-PsddFKi3.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-client-004-Pt24m4xi.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-client-005-PsBabyM1.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• traverse.0.3.0 on 4.14.2 had its build status changed: passing to partially failing

Packages now not available:

• MlFront_Cli.0.4.0~prerel7 on 4.14.2 is not available anymore. Previous state was: passing
• MlFront_Cli.0.4.0~prerel7 on 5.2.0 is not available anymore. Previous state was: passing
• aifad.2.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• aifad.2.3.0 on 5.2.0 is not available anymore. Previous state was: passing
• albatross.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• albatross.2.2.0 on 5.2.0 is not available anymore. Previous state was: passing
• alt-ergo-lib.2.5.4 on 4.14.2 is not available anymore. Previous state was: passing
• alt-ergo-lib.2.5.4 on 5.2.0 is not available anymore. Previous state was: passing
• alt-ergo-parsers.2.5.4 on 4.14.2 is not available anymore. Previous state was: passing
• alt-ergo-parsers.2.5.4 on 5.2.0 is not available anymore. Previous state was: passing
• alt-ergo-plugin-ab-why3.2.5.4 on 4.14.2 is not available anymore. Previous state was: passing
• alt-ergo-plugin-ab-why3.2.5.4 on 5.2.0 is not available anymore. Previous state was: passing
• alt-ergo.2.5.4 on 4.14.2 is not available anymore. Previous state was: passing
• alt-ergo.2.5.4 on 5.2.0 is not available anymore. Previous state was: passing
• angstrom-lwt-unix.0.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• angstrom-lwt-unix.0.16.0 on 5.2.0 is not available anymore. Previous state was: passing
• angstrom-unix.0.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• angstrom-unix.0.16.0 on 5.2.0 is not available anymore. Previous state was: passing
• angstrom.0.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• angstrom.0.16.0 on 5.2.0 is not available anymore. Previous state was: passing
• baby.20240619 on 4.14.2 is not available anymore. Previous state was: passing
• baby.20240619 on 5.2.0 is not available anymore. Previous state was: passing
• backoff.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• backoff.0.1.0 on 5.2.0 is not available anymore. Previous state was: passing
• bam-ppx.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• bam.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• bam.0.2 on 5.2.0 is not available anymore. Previous state was: passing
• bogue.20240225 on 4.14.2 is not available anymore. Previous state was: passing
• brr.0.0.6 on 4.14.2 is not available anymore. Previous state was: passing
• brr.0.0.6 on 5.2.0 is not available anymore. Previous state was: passing
• builder-web.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• ca-certs-nss.3.104 on 4.14.2 is not available anymore. Previous state was: passing
• ca-certs-nss.3.104 on 5.2.0 is not available anymore. Previous state was: passing
• cairo2-gtk.0.6.4 on 4.14.2 is not available anymore. Previous state was: passing
• cairo2-gtk.0.6.4 on 5.2.0 is not available anymore. Previous state was: passing
• cairo2-pango.0.6.4 on 4.14.2 is not available anymore. Previous state was: passing
• cairo2-pango.0.6.4 on 5.2.0 is not available anymore. Previous state was: passing
• cairo2.0.6.4 on 4.14.2 is not available anymore. Previous state was: passing
• cairo2.0.6.4 on 5.2.0 is not available anymore. Previous state was: passing
• caldav.0.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• caldav.0.2.2 on 5.2.0 is not available anymore. Previous state was: passing
• camlkit-base.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• camlkit-base.0.1.1 on 5.2.0 is not available anymore. Previous state was: passing
• camlkit-gui.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• camlkit-gui.0.1.1 on 5.2.0 is not available anymore. Previous state was: passing
• camlkit.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• camlkit.0.1.1 on 5.2.0 is not available anymore. Previous state was: passing
• camlp5-buildscripts.0.03 on 4.14.2 is not available anymore. Previous state was: passing
• camlp5-buildscripts.0.03 on 5.2.0 is not available anymore. Previous state was: passing
• camlp5.8.03.00 on 4.14.2 is not available anymore. Previous state was: passing
• camlp5.8.03.00 on 5.2.0 is not available anymore. Previous state was: passing
• camlpdf.2.7.1 on 4.14.2 is not available anymore. Previous state was: passing
• camlpdf.2.7.1 on 5.2.0 is not available anymore. Previous state was: passing
• camlzip.1.12 on 4.14.2 is not available anymore. Previous state was: passing
• camlzip.1.12 on 5.2.0 is not available anymore. Previous state was: passing
• capnp-rpc-lwt.1.2.3 on 4.14.2 is not available anymore. Previous state was: passing
• capnp-rpc-lwt.1.2.3 on 5.2.0 is not available anymore. Previous state was: passing
• capnp-rpc-net.1.2.3 on 4.14.2 is not available anymore. Previous state was: passing
• capnp-rpc-net.1.2.3 on 5.2.0 is not available anymore. Previous state was: passing
• capnp-rpc-unix.1.2.3 on 4.14.2 is not available anymore. Previous state was: passing
• capnp-rpc-unix.1.2.3 on 5.2.0 is not available anymore. Previous state was: passing
• capnp-rpc.1.2.3 on 4.14.2 is not available anymore. Previous state was: passing
• capnp-rpc.1.2.3 on 5.2.0 is not available anymore. Previous state was: passing
• carbon.0.1.0 on 5.2.0 is not available anymore. Previous state was: passing
• cfg.2.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• cfg.2.3.0 on 5.2.0 is not available anymore. Previous state was: passing
• charrua-client.1.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• charrua-client.1.5.0 on 5.2.0 is not available anymore. Previous state was: passing
• charrua-server.1.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• charrua-server.1.5.0 on 5.2.0 is not available anymore. Previous state was: passing
• charrua-unix.1.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• charrua-unix.1.5.0 on 5.2.0 is not available anymore. Previous state was: passing
• charrua.1.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• charrua.1.5.0 on 5.2.0 is not available anymore. Previous state was: passing
• checked_oint.0.2.0 on 4.14.2 is not available anymore. Previous state was: internal failure
• checked_oint.0.2.0 on 5.2.0 is not available anymore. Previous state was: internal failure
• chrome-trace.3.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• chrome-trace.3.16.0 on 5.2.0 is not available anymore. Previous state was: passing
• class_group_vdf.0.0.4 on 4.14.2 is not available anymore. Previous state was: passing
• class_group_vdf.0.0.4 on 5.2.0 is not available anymore. Previous state was: passing
• cmdliner-stdlib.1.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• cmdliner-stdlib.1.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• coccinelle.1.2 on 4.14.2 is not available anymore. Previous state was: passing
• cohttp-curl-lwt.6.0.0~beta2 on 4.14.2 is not available anymore. Previous state was: passing
• cohttp-curl-lwt.6.0.0~beta2 on 5.2.0 is not available anymore. Previous state was: passing
• cohttp-curl.6.0.0~beta2 on 4.14.2 is not available anymore. Previous state was: passing
• cohttp-curl.6.0.0~beta2 on 5.2.0 is not available anymore. Previous state was: passing
• cohttp-eio.6.0.0~beta2 on 5.2.0 is not available anymore. Previous state was: passing
• cohttp-lwt-jsoo.6.0.0~beta2 on 4.14.2 is not available anymore. Previous state was: passing
• cohttp-lwt-jsoo.6.0.0~beta2 on 5.2.0 is not available anymore. Previous state was: passing
• cohttp-lwt-unix.6.0.0~beta2 on 4.14.2 is not available anymore. Previous state was: passing
• cohttp-lwt-unix.6.0.0~beta2 on 5.2.0 is not available anymore. Previous state was: passing
• cohttp-lwt.6.0.0~beta2 on 4.14.2 is not available anymore. Previous state was: passing
• cohttp-lwt.6.0.0~beta2 on 5.2.0 is not available anymore. Previous state was: passing
• cohttp-mirage.6.0.0~beta2 on 4.14.2 is not available anymore. Previous state was: passing
• cohttp-mirage.6.0.0~beta2 on 5.2.0 is not available anymore. Previous state was: passing
• cohttp-server-lwt-unix.6.0.0~beta2 on 4.14.2 is not available anymore. Previous state was: passing
• cohttp-server-lwt-unix.6.0.0~beta2 on 5.2.0 is not available anymore. Previous state was: passing
• cohttp-top.6.0.0~beta2 on 4.14.2 is not available anymore. Previous state was: passing
• cohttp-top.6.0.0~beta2 on 5.2.0 is not available anymore. Previous state was: passing
• cohttp.6.0.0~beta2 on 4.14.2 is not available anymore. Previous state was: passing
• cohttp.6.0.0~beta2 on 5.2.0 is not available anymore. Previous state was: passing
• colombe.0.8.1 on 4.14.2 is not available anymore. Previous state was: passing
• colombe.0.8.1 on 5.2.0 is not available anymore. Previous state was: passing
• color.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• color.0.2.0 on 5.2.0 is not available anymore. Previous state was: passing
• conduit-lwt-unix.7.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• conduit-lwt-unix.7.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• conduit-lwt.7.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• conduit-lwt.7.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• conduit-mirage.7.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• conduit-mirage.7.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• conduit.7.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• conduit.7.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• conf-libpcre.1 on 4.14.2 is not available anymore. Previous state was: passing
• conf-libpcre.1 on 5.2.0 is not available anymore. Previous state was: passing
• conf-libpcre2-8.1 on 4.14.2 is not available anymore. Previous state was: passing
• conf-libpcre2-8.1 on 5.2.0 is not available anymore. Previous state was: passing
• conf-postgresql.1 on 4.14.2 is not available anymore. Previous state was: passing
• conf-postgresql.1 on 5.2.0 is not available anymore. Previous state was: passing
• containers-data.3.13.1 on 4.14.2 is not available anymore. Previous state was: passing
• containers-data.3.13.1 on 5.2.0 is not available anymore. Previous state was: passing
• containers.3.13.1 on 4.14.2 is not available anymore. Previous state was: passing
• containers.3.13.1 on 5.2.0 is not available anymore. Previous state was: passing
• coq-lsp.0.2.0+8.19 on 4.14.2 is not available anymore. Previous state was: passing
• coq-lsp.0.2.0+8.19 on 5.2.0 is not available anymore. Previous state was: passing
• coq-serapi.8.19.0+0.19.3 on 4.14.2 is not available anymore. Previous state was: passing
• coq-serapi.8.19.0+0.19.3 on 5.2.0 is not available anymore. Previous state was: passing
• coq-waterproof.2.1.1+8.18 on 4.14.2 is not available anymore. Previous state was: passing
• coq-waterproof.2.1.1+8.18 on 5.2.0 is not available anymore. Previous state was: passing
• cpdf.2.7.1 on 4.14.2 is not available anymore. Previous state was: passing
• cpdf.2.7.1 on 5.2.0 is not available anymore. Previous state was: passing
• cppo.1.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• cppo.1.7.0 on 5.2.0 is not available anymore. Previous state was: passing
• cppo_ocamlbuild.1.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• cppo_ocamlbuild.1.7.0 on 5.2.0 is not available anymore. Previous state was: passing
• cryptoverif.2.10 on 4.14.2 is not available anymore. Previous state was: passing
• cryptoverif.2.10 on 5.2.0 is not available anymore. Previous state was: passing
• css.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• css.0.1.0 on 5.2.0 is not available anymore. Previous state was: passing
• cudajit.0.4.0 on 4.14.2 is not available anymore. Previous state was: partially failing
• cudajit.0.4.0 on 5.2.0 is not available anymore. Previous state was: partially failing
• datalog.0.4.1 on 4.14.2 is not available anymore. Previous state was: passing
• datalog.0.4.1 on 5.2.0 is not available anymore. Previous state was: passing
• datalog.0.6 on 4.14.2 is not available anymore. Previous state was: passing
• dates_calc.0.0.6 on 4.14.2 is not available anymore. Previous state was: passing
• dates_calc.0.0.6 on 5.2.0 is not available anymore. Previous state was: passing
• dkim-bin.0.6.0 on 4.14.2 is not available anymore. Previous state was: passing
• dkim-bin.0.6.0 on 5.2.0 is not available anymore. Previous state was: passing
• dkim-mirage.0.6.0 on 4.14.2 is not available anymore. Previous state was: passing
• dkim-mirage.0.6.0 on 5.2.0 is not available anymore. Previous state was: passing
• dkim.0.6.0 on 4.14.2 is not available anymore. Previous state was: passing
• dkim.0.6.0 on 5.2.0 is not available anymore. Previous state was: passing
• dkml-dune-dsl-show.0.1.3 on 4.14.2 is not available anymore. Previous state was: passing
• dkml-dune-dsl-show.0.1.3 on 5.2.0 is not available anymore. Previous state was: passing
• dkml-dune-dsl.0.1.3 on 4.14.2 is not available anymore. Previous state was: passing
• dkml-dune-dsl.0.1.3 on 5.2.0 is not available anymore. Previous state was: passing
• dns-certify.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• dns-certify.9.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• dns-cli.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• dns-cli.9.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• dns-client-lwt.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• dns-client-lwt.9.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• dns-client-miou-unix.9.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• dns-client-mirage.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• dns-client-mirage.9.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• dns-client.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• dns-client.9.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• dns-mirage.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• dns-mirage.9.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• dns-resolver.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• dns-resolver.9.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• dns-server.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• dns-server.9.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• dns-stub.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• dns-stub.9.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• dns-tsig.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• dns-tsig.9.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• dns.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• dns.9.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• dnssec.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• dnssec.9.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• dockerfile-cmd.8.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile-cmd.8.2.2 on 5.2.0 is not available anymore. Previous state was: passing
• dockerfile-opam.8.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile-opam.8.2.2 on 5.2.0 is not available anymore. Previous state was: passing
• dockerfile.8.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile.8.2.2 on 5.2.0 is not available anymore. Previous state was: passing
• dot-merlin-reader.4.9 on 4.14.2 is not available anymore. Previous state was: passing
• dot-merlin-reader.5.1 on 5.2.0 is not available anymore. Previous state was: passing
• dream-encoding.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• dream-encoding.0.2.0 on 5.2.0 is not available anymore. Previous state was: passing
• dream-html.3.6.1 on 4.14.2 is not available anymore. Previous state was: passing
• dream-html.3.6.1 on 5.2.0 is not available anymore. Previous state was: passing
• dream-httpaf.1.0.0~alpha3 on 4.14.2 is not available anymore. Previous state was: passing
• dream-httpaf.1.0.0~alpha3 on 5.2.0 is not available anymore. Previous state was: passing
• dream.1.0.0~alpha7 on 4.14.2 is not available anymore. Previous state was: passing
• dream.1.0.0~alpha7 on 5.2.0 is not available anymore. Previous state was: passing
• dune-action-plugin.3.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-action-plugin.3.16.0 on 5.2.0 is not available anymore. Previous state was: passing
• dune-build-info.3.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-build-info.3.16.0 on 5.2.0 is not available anymore. Previous state was: passing
• dune-configurator.3.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-configurator.3.16.0 on 5.2.0 is not available anymore. Previous state was: passing
• dune-glob.3.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-glob.3.16.0 on 5.2.0 is not available anymore. Previous state was: passing
• dune-private-libs.3.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-private-libs.3.16.0 on 5.2.0 is not available anymore. Previous state was: passing
• dune-rpc-lwt.3.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-rpc-lwt.3.16.0 on 5.2.0 is not available anymore. Previous state was: passing
• dune-rpc.3.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-rpc.3.16.0 on 5.2.0 is not available anymore. Previous state was: passing
• dune-site.3.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-site.3.16.0 on 5.2.0 is not available anymore. Previous state was: passing
• dune.3.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune.3.16.0 on 5.2.0 is not available anymore. Previous state was: passing
• dyn.3.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• dyn.3.16.0 on 5.2.0 is not available anymore. Previous state was: passing
• earlybird.1.3.2 on 4.14.2 is not available anymore. Previous state was: passing
• earlybird.1.3.2 on 5.2.0 is not available anymore. Previous state was: passing
• eio-trace.0.3 on 5.2.0 is not available anymore. Previous state was: passing
• eio.1.1 on 5.2.0 is not available anymore. Previous state was: passing
• eio_main.1.1 on 5.2.0 is not available anymore. Previous state was: passing
• eio_posix.1.1 on 5.2.0 is not available anymore. Previous state was: passing
• eliom.11.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• eliom.11.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• elpi.1.19.6 on 4.14.2 is not available anymore. Previous state was: passing
• elpi.1.19.6 on 5.2.0 is not available anymore. Previous state was: passing
• eris-lwt.1.0.0 on 4.14.2 is not available anymore. Previous state was: internal failure
• eris-lwt.1.0.0 on 5.2.0 is not available anymore. Previous state was: internal failure
• eris.1.0.0 on 4.14.2 is not available anymore. Previous state was: internal failure
• eris.1.0.0 on 5.2.0 is not available anymore. Previous state was: internal failure
• extism-manifest.1.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• extism-manifest.1.3.0 on 5.2.0 is not available anymore. Previous state was: passing
• extism.1.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• extism.1.3.0 on 5.2.0 is not available anymore. Previous state was: passing
• extlib.1.7.9 on 4.14.2 is not available anymore. Previous state was: passing
• extlib.1.7.9 on 5.2.0 is not available anymore. Previous state was: passing
• extunix.0.4.2 on 4.14.2 is not available anymore. Previous state was: passing
• extunix.0.4.2 on 5.2.0 is not available anymore. Previous state was: passing
• ffmpeg-av.1.1.11 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-av.1.1.11 on 5.2.0 is not available anymore. Previous state was: passing
• ffmpeg-avcodec.1.1.11 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-avcodec.1.1.11 on 5.2.0 is not available anymore. Previous state was: passing
• ffmpeg-avdevice.1.1.11 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-avdevice.1.1.11 on 5.2.0 is not available anymore. Previous state was: passing
• ffmpeg-avfilter.1.1.11 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-avfilter.1.1.11 on 5.2.0 is not available anymore. Previous state was: passing
• ffmpeg-avutil.1.1.11 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-avutil.1.1.11 on 5.2.0 is not available anymore. Previous state was: passing
• ffmpeg-swresample.1.1.11 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-swresample.1.1.11 on 5.2.0 is not available anymore. Previous state was: passing
• ffmpeg-swscale.1.1.11 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-swscale.1.1.11 on 5.2.0 is not available anymore. Previous state was: passing
• ffmpeg.1.1.11 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg.1.1.11 on 5.2.0 is not available anymore. Previous state was: passing
• frama-c-metacsl.0.6 on 4.14.2 is not available anymore. Previous state was: passing
• frama-c-metacsl.0.6 on 5.2.0 is not available anymore. Previous state was: passing
• frama-c.29.0 on 4.14.2 is not available anymore. Previous state was: passing
• frama-c.29.0 on 5.2.0 is not available anymore. Previous state was: passing
• frama-clang.0.0.15 on 4.14.2 is not available anymore. Previous state was: failing
• frama-clang.0.0.15 on 5.2.0 is not available anymore. Previous state was: failing
• gen_js_api.1.1.2 on 4.14.2 is not available anymore. Previous state was: passing
• gen_js_api.1.1.2 on 5.2.0 is not available anymore. Previous state was: passing
• git-kv.0.0.5 on 4.14.2 is not available anymore. Previous state was: passing
• git-kv.0.0.5 on 5.2.0 is not available anymore. Previous state was: passing
• git-split.0.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• git-split.0.0.2 on 5.2.0 is not available anymore. Previous state was: passing
• goblint-cil.2.0.4 on 4.14.2 is not available anymore. Previous state was: passing
• goblint-cil.2.0.4 on 5.2.0 is not available anymore. Previous state was: passing
• grid.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• grid.0.1.0 on 5.2.0 is not available anymore. Previous state was: passing
• gsl.1.25.0 on 4.14.2 is not available anymore. Previous state was: passing
• gsl.1.25.0 on 5.2.0 is not available anymore. Previous state was: passing
• happy-eyeballs-lwt.1.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• happy-eyeballs-lwt.1.2.0 on 5.2.0 is not available anymore. Previous state was: passing
• happy-eyeballs-miou-unix.1.2.1 on 5.2.0 is not available anymore. Previous state was: passing
• happy-eyeballs-mirage.1.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• happy-eyeballs-mirage.1.2.0 on 5.2.0 is not available anymore. Previous state was: passing
• happy-eyeballs.1.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• happy-eyeballs.1.2.0 on 5.2.0 is not available anymore. Previous state was: passing
• hector.20240805 on 4.14.2 is not available anymore. Previous state was: passing
• hector.20240805 on 5.2.0 is not available anymore. Previous state was: passing
• http-lwt-client.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• http-lwt-client.0.3.0 on 5.2.0 is not available anymore. Previous state was: passing
• http-mirage-client.0.0.7 on 4.14.2 is not available anymore. Previous state was: passing
• http-mirage-client.0.0.7 on 5.2.0 is not available anymore. Previous state was: passing
• http.6.0.0~beta2 on 4.14.2 is not available anymore. Previous state was: passing
• http.6.0.0~beta2 on 5.2.0 is not available anymore. Previous state was: passing
• httpun-ws-eio.0.1.0 on 5.2.0 is not available anymore. Previous state was: passing
• hxd.0.3.2 on 4.14.2 is not available anymore. Previous state was: passing
• hxd.0.3.2 on 5.2.0 is not available anymore. Previous state was: passing
• icalendar.0.1.8 on 4.14.2 is not available anymore. Previous state was: passing
• icalendar.0.1.8 on 5.2.0 is not available anymore. Previous state was: passing
• ip2location.8.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• ip2location.8.1.0 on 5.2.0 is not available anymore. Previous state was: passing
• irmin-bench.3.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• irmin-bench.3.9.0 on 5.2.0 is not available anymore. Previous state was: passing
• irmin-chunk.3.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• irmin-chunk.3.9.0 on 5.2.0 is not available anymore. Previous state was: passing
• irmin-cli.3.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• irmin-cli.3.9.0 on 5.2.0 is not available anymore. Previous state was: passing
• irmin-client.3.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• irmin-client.3.9.0 on 5.2.0 is not available anymore. Previous state was: passing
• irmin-containers.3.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• irmin-containers.3.9.0 on 5.2.0 is not available anymore. Previous state was: passing
• irmin-fs.3.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• irmin-fs.3.9.0 on 5.2.0 is not available anymore. Previous state was: passing
• irmin-git.3.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• irmin-git.3.9.0 on 5.2.0 is not available anymore. Previous state was: passing
• irmin-graphql.3.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• irmin-graphql.3.9.0 on 5.2.0 is not available anymore. Previous state was: passing
• irmin-mirage-git.3.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• irmin-mirage-git.3.9.0 on 5.2.0 is not available anymore. Previous state was: passing
• irmin-mirage-graphql.3.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• irmin-mirage-graphql.3.9.0 on 5.2.0 is not available anymore. Previous state was: passing
• irmin-mirage.3.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• irmin-mirage.3.9.0 on 5.2.0 is not available anymore. Previous state was: passing
• irmin-pack-tools.3.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• irmin-pack-tools.3.9.0 on 5.2.0 is not available anymore. Previous state was: passing
• irmin-pack.3.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• irmin-pack.3.9.0 on 5.2.0 is not available anymore. Previous state was: passing
• irmin-server.3.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• irmin-server.3.9.0 on 5.2.0 is not available anymore. Previous state was: passing
• irmin-test.3.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• irmin-test.3.9.0 on 5.2.0 is not available anymore. Previous state was: passing
• irmin-tezos.3.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• irmin-tezos.3.9.0 on 5.2.0 is not available anymore. Previous state was: passing
• irmin.3.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• irmin.3.9.0 on 5.2.0 is not available anymore. Previous state was: passing
• jasmin.2024.07.0 on 4.14.2 is not available anymore. Previous state was: failing
• jasmin.2024.07.0 on 5.2.0 is not available anymore. Previous state was: failing
• jekyll-format.0.3.3 on 4.14.2 is not available anymore. Previous state was: passing
• jekyll-format.0.3.3 on 5.2.0 is not available anymore. Previous state was: passing
• js_of_ocaml-compiler.5.8.2 on 4.14.2 is not available anymore. Previous state was: passing
• js_of_ocaml-compiler.5.8.2 on 5.2.0 is not available anymore. Previous state was: passing
• js_of_ocaml-lwt.5.8.2 on 4.14.2 is not available anymore. Previous state was: passing
• js_of_ocaml-lwt.5.8.2 on 5.2.0 is not available anymore. Previous state was: passing
• js_of_ocaml-ppx.5.8.2 on 4.14.2 is not available anymore. Previous state was: passing
• js_of_ocaml-ppx.5.8.2 on 5.2.0 is not available anymore. Previous state was: passing
• js_of_ocaml-ppx_deriving_json.5.8.2 on 4.14.2 is not available anymore. Previous state was: passing
• js_of_ocaml-ppx_deriving_json.5.8.2 on 5.2.0 is not available anymore. Previous state was: passing
• js_of_ocaml-toplevel.5.8.2 on 4.14.2 is not available anymore. Previous state was: passing
• js_of_ocaml-toplevel.5.8.2 on 5.2.0 is not available anymore. Previous state was: passing
• js_of_ocaml-tyxml.5.8.2 on 4.14.2 is not available anymore. Previous state was: passing
• js_of_ocaml-tyxml.5.8.2 on 5.2.0 is not available anymore. Previous state was: passing
• js_of_ocaml.5.8.2 on 4.14.2 is not available anymore. Previous state was: passing
• js_of_ocaml.5.8.2 on 5.2.0 is not available anymore. Previous state was: passing
• jsonrpc.1.19.0 on 4.14.2 is not available anymore. Previous state was: passing
• jsonrpc.1.19.0 on 5.2.0 is not available anymore. Previous state was: passing
• lacaml.11.0.10 on 4.14.2 is not available anymore. Previous state was: failing
• lacaml.11.0.10 on 5.2.0 is not available anymore. Previous state was: failing
• ldp.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• ldp.0.2.0 on 5.2.0 is not available anymore. Previous state was: passing
• ldp_curl.0.2.0 on 4.14.2 is not available anymore. Previous state was: failing
• ldp_curl.0.2.0 on 5.2.0 is not available anymore. Previous state was: failing
• ldp_js.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• ldp_js.0.2.0 on 5.2.0 is not available anymore. Previous state was: passing
• ldp_tls.0.2.0 on 4.14.2 is not available anymore. Previous state was: failing
• ldp_tls.0.2.0 on 5.2.0 is not available anymore. Previous state was: failing
• ledgerwallet-tezos.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• ledgerwallet-tezos.0.4.0 on 5.2.0 is not available anymore. Previous state was: passing
• ledgerwallet.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• ledgerwallet.0.4.0 on 5.2.0 is not available anymore. Previous state was: passing
• libirmin.3.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• libirmin.3.9.0 on 5.2.0 is not available anymore. Previous state was: passing
• linol-eio.0.6 on 5.2.0 is not available anymore. Previous state was: passing
• linol-lwt.0.6 on 4.14.2 is not available anymore. Previous state was: passing
• linol-lwt.0.6 on 5.2.0 is not available anymore. Previous state was: passing
• linol.0.6 on 4.14.2 is not available anymore. Previous state was: passing
• linol.0.6 on 5.2.0 is not available anymore. Previous state was: passing
• liquidsoap-core.2.2.5 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap-core.2.2.5 on 5.2.0 is not available anymore. Previous state was: passing
• liquidsoap-js.2.2.5 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap-js.2.2.5 on 5.2.0 is not available anymore. Previous state was: passing
• liquidsoap-lang.2.2.5 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap-lang.2.2.5 on 5.2.0 is not available anymore. Previous state was: passing
• liquidsoap-libs-extra.2.2.5 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap-libs-extra.2.2.5 on 5.2.0 is not available anymore. Previous state was: passing
• liquidsoap-libs.2.2.5 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap-libs.2.2.5 on 5.2.0 is not available anymore. Previous state was: passing
• liquidsoap-mode.2.2.5 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap-mode.2.2.5 on 5.2.0 is not available anymore. Previous state was: passing
• liquidsoap.2.2.5 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap.2.2.5 on 5.2.0 is not available anymore. Previous state was: passing
• lsp.1.19.0 on 4.14.2 is not available anymore. Previous state was: passing
• lsp.1.19.0 on 5.2.0 is not available anymore. Previous state was: passing
• lwt.5.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• lwt.5.7.0 on 5.2.0 is not available anymore. Previous state was: passing
• lwt_ppx.2.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• lwt_ppx.2.1.0 on 5.2.0 is not available anymore. Previous state was: passing
• lwt_ppx_let.5.6.0 on 4.14.2 is not available anymore. Previous state was: passing
• lwt_ppx_let.5.6.0 on 5.2.0 is not available anymore. Previous state was: passing
• magic.0.7.3 on 4.14.2 is not available anymore. Previous state was: passing
• malfunction.0.6 on 4.14.2 is not available anymore. Previous state was: passing
• malfunction.0.6 on 5.2.0 is not available anymore. Previous state was: passing
• mariadb.1.1.6 on 4.14.2 is not available anymore. Previous state was: failing
• mdx.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
• mdx.2.4.1 on 5.2.0 is not available anymore. Previous state was: passing
• merlin-extend.0.6.1 on 4.14.2 is not available anymore. Previous state was: passing
• merlin-extend.0.6.1 on 5.2.0 is not available anymore. Previous state was: passing
• merlin-lib.4.16-414 on 4.14.2 is not available anymore. Previous state was: passing
• merlin-lib.5.1-502 on 5.2.0 is not available anymore. Previous state was: passing
• merlin.4.16-414 on 4.14.2 is not available anymore. Previous state was: passing
• merlin.5.1-502 on 5.2.0 is not available anymore. Previous state was: passing
• mirage-runtime.4.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• mirage-runtime.4.7.0 on 5.2.0 is not available anymore. Previous state was: passing
• mirage-solo5.0.9.3 on 4.14.2 is not available anymore. Previous state was: passing
• mirage-solo5.0.9.3 on 5.2.0 is not available anymore. Previous state was: passing
• mirage.4.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• mirage.4.7.0 on 5.2.0 is not available anymore. Previous state was: passing
• mm.0.8.5 on 4.14.2 is not available anymore. Previous state was: passing
• mm.0.8.5 on 5.2.0 is not available anymore. Previous state was: passing
• monocypher.0.1.0 on 4.14.2 is not available anymore. Previous state was: internal failure
• monocypher.0.1.0 on 5.2.0 is not available anymore. Previous state was: internal failure
• monolith.20230604 on 4.14.2 is not available anymore. Previous state was: passing
• monolith.20230604 on 5.2.0 is not available anymore. Previous state was: passing
• moonpool-lwt.0.6 on 5.2.0 is not available anymore. Previous state was: passing
• moonpool.0.6 on 4.14.2 is not available anymore. Previous state was: passing
• moonpool.0.6 on 5.2.0 is not available anymore. Previous state was: passing
• mtime.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• mtime.2.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• multicore-bench.0.1.4 on 4.14.2 is not available anymore. Previous state was: passing
• multicore-bench.0.1.4 on 5.2.0 is not available anymore. Previous state was: passing
• mutaml.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• ocaml-index.1.0 on 5.2.0 is not available anymore. Previous state was: passing
• ocaml-lsp-server.1.18.0 on 4.14.2 is not available anymore. Previous state was: passing
• ocaml-lsp-server.1.19.0 on 5.2.0 is not available anymore. Previous state was: passing
• ocaml-solo5.0.8.4 on 4.14.2 is not available anymore. Previous state was: passing
• ocaml-version.3.6.8 on 4.14.2 is not available anymore. Previous state was: passing
• ocaml-version.3.6.8 on 5.2.0 is not available anymore. Previous state was: passing
• ocamlc-loc.3.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• ocamlc-loc.3.16.0 on 5.2.0 is not available anymore. Previous state was: passing
• ocamleditor.1.15.2-ocaml414 on 4.14.2 is not available anymore. Previous state was: passing
• ocamlformat-lib.0.26.2 on 4.14.2 is not available anymore. Previous state was: passing
• ocamlformat-lib.0.26.2 on 5.2.0 is not available anymore. Previous state was: passing
• ocamlformat-rpc-lib.0.26.2 on 4.14.2 is not available anymore. Previous state was: passing
• ocamlformat-rpc-lib.0.26.2 on 5.2.0 is not available anymore. Previous state was: passing
• ocamlformat.0.26.2 on 4.14.2 is not available anymore. Previous state was: passing
• ocamlformat.0.26.2 on 5.2.0 is not available anymore. Previous state was: passing
• ocamlregextkit.1.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• ocamlregextkit.1.0.1 on 5.2.0 is not available anymore. Previous state was: passing
• ocannl_npy.0.4.0 on 5.2.0 is not available anymore. Previous state was: passing
• ocf.0.8.0 on 4.14.2 is not available anymore. Previous state was: passing
• ocf.0.8.0 on 5.2.0 is not available anymore. Previous state was: passing
• ocf_ppx.0.8.0 on 4.14.2 is not available anymore. Previous state was: passing
• ocf_ppx.0.8.0 on 5.2.0 is not available anymore. Previous state was: passing
• ocsigen-start.6.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• ocsigen-start.6.3.0 on 5.2.0 is not available anymore. Previous state was: passing
• ocsigen-toolkit.3.3.4 on 4.14.2 is not available anymore. Previous state was: passing
• ocsigen-toolkit.3.3.4 on 5.2.0 is not available anymore. Previous state was: passing
• odoc-parser.2.4.2 on 4.14.2 is not available anymore. Previous state was: passing
• odoc-parser.2.4.2 on 5.2.0 is not available anymore. Previous state was: passing
• odoc.2.4.2 on 4.14.2 is not available anymore. Previous state was: passing
• odoc.2.4.2 on 5.2.0 is not available anymore. Previous state was: passing
• ojs.1.1.2 on 4.14.2 is not available anymore. Previous state was: passing
• ojs.1.1.2 on 5.2.0 is not available anymore. Previous state was: passing
• omake.0.10.6 on 4.14.2 is not available anymore. Previous state was: passing
• omake.0.10.6 on 5.2.0 is not available anymore. Previous state was: passing
• opam-0install.0.4.4 on 4.14.2 is not available anymore. Previous state was: passing
• opam-0install.0.4.4 on 5.2.0 is not available anymore. Previous state was: passing
• opam-build.0.2.4 on 4.14.2 is not available anymore. Previous state was: passing
• opam-build.0.2.4 on 5.2.0 is not available anymore. Previous state was: passing
• opam-check-npm-deps.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• opam-check-npm-deps.2.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• opam-client.2.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-client.2.2.1 on 5.2.0 is not available anymore. Previous state was: passing
• opam-core.2.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-core.2.2.1 on 5.2.0 is not available anymore. Previous state was: passing
• opam-devel.2.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-devel.2.2.1 on 5.2.0 is not available anymore. Previous state was: passing
• opam-file-format.2.1.6 on 4.14.2 is not available anymore. Previous state was: passing
• opam-file-format.2.1.6 on 5.2.0 is not available anymore. Previous state was: passing
• opam-format.2.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-format.2.2.1 on 5.2.0 is not available anymore. Previous state was: passing
• opam-installer.2.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-installer.2.2.1 on 5.2.0 is not available anymore. Previous state was: passing
• opam-publish.2.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• opam-publish.2.4.0 on 5.2.0 is not available anymore. Previous state was: passing
• opam-repository.2.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-repository.2.2.1 on 5.2.0 is not available anymore. Previous state was: passing
• opam-solver.2.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-solver.2.2.1 on 5.2.0 is not available anymore. Previous state was: passing
• opam-state.2.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-state.2.2.1 on 5.2.0 is not available anymore. Previous state was: passing
• opam-test.0.2.4 on 4.14.2 is not available anymore. Previous state was: passing
• opam-test.0.2.4 on 5.2.0 is not available anymore. Previous state was: passing
• openapi.0.6.0 on 4.14.2 is not available anymore. Previous state was: passing
• ordering.3.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• ordering.3.16.0 on 5.2.0 is not available anymore. Previous state was: passing
• ortac-core.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• ortac-core.0.3.0 on 5.2.0 is not available anymore. Previous state was: passing
• ortac-dune.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• ortac-dune.0.3.0 on 5.2.0 is not available anymore. Previous state was: passing
• ortac-qcheck-stm.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• ortac-qcheck-stm.0.3.0 on 5.2.0 is not available anymore. Previous state was: passing
• ortac-runtime-qcheck-stm.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• ortac-runtime-qcheck-stm.0.3.0 on 5.2.0 is not available anymore. Previous state was: passing
• ortac-runtime.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• ortac-runtime.0.3.0 on 5.2.0 is not available anymore. Previous state was: passing
• otr.0.3.10 on 4.14.2 is not available anymore. Previous state was: passing
• otr.0.3.10 on 5.2.0 is not available anymore. Previous state was: passing
• pa_ppx_regexp.0.02 on 4.14.2 is not available anymore. Previous state was: passing
• pa_ppx_regexp.0.02 on 5.2.0 is not available anymore. Previous state was: passing
• passage.0.1.3 on 4.14.2 is not available anymore. Previous state was: partially failing
• passage.0.1.3 on 5.2.0 is not available anymore. Previous state was: partially failing
• picos.0.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• picos.0.5.0 on 5.2.0 is not available anymore. Previous state was: passing
• picos_aux.0.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• picos_aux.0.5.0 on 5.2.0 is not available anymore. Previous state was: passing
• picos_io.0.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• picos_io.0.5.0 on 5.2.0 is not available anymore. Previous state was: passing
• picos_io_cohttp.0.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• picos_io_cohttp.0.5.0 on 5.2.0 is not available anymore. Previous state was: passing
• picos_lwt.0.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• picos_lwt.0.5.0 on 5.2.0 is not available anymore. Previous state was: passing
• picos_meta.0.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• picos_meta.0.5.0 on 5.2.0 is not available anymore. Previous state was: passing
• picos_mux.0.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• picos_mux.0.5.0 on 5.2.0 is not available anymore. Previous state was: passing
• picos_std.0.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• picos_std.0.5.0 on 5.2.0 is not available anymore. Previous state was: passing
• pomap.4.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• pomap.4.1.1 on 5.2.0 is not available anymore. Previous state was: passing
• postgresql.5.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• postgresql.5.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• pp.1.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• pp.1.2.0 on 5.2.0 is not available anymore. Previous state was: passing
• ppx_deriving.6.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_deriving.6.0.2 on 5.2.0 is not available anymore. Previous state was: passing
• ppx_deriving_encoding.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_deriving_encoding.0.3.0 on 5.2.0 is not available anymore. Previous state was: passing
• ppx_deriving_qcheck.0.4.1 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_deriving_qcheck.0.4.1 on 5.2.0 is not available anymore. Previous state was: passing
• ppx_deriving_yaml.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_deriving_yaml.0.3.0 on 5.2.0 is not available anymore. Previous state was: passing
• ppx_expect.v0.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_expect.v0.16.0 on 5.2.0 is not available anymore. Previous state was: passing
• ppx_expect.v0.17.0 on 5.2.0 is not available anymore. Previous state was: passing
• ppx_irmin.3.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_irmin.3.9.0 on 5.2.0 is not available anymore. Previous state was: passing
• ppx_minidebug.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_minidebug.2.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• ppx_parser.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_parser.0.1.1 on 5.2.0 is not available anymore. Previous state was: passing
• ppx_trace.0.7 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_trace.0.7 on 5.2.0 is not available anymore. Previous state was: passing
• ppxlib.0.33.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppxlib.0.33.0 on 5.2.0 is not available anymore. Previous state was: passing
• pratter.3.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• pratter.3.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• printbox-html.0.11 on 4.14.2 is not available anymore. Previous state was: passing
• printbox-html.0.11 on 5.2.0 is not available anymore. Previous state was: passing
• printbox-md.0.11 on 4.14.2 is not available anymore. Previous state was: passing
• printbox-md.0.11 on 5.2.0 is not available anymore. Previous state was: passing
• printbox-text.0.11 on 4.14.2 is not available anymore. Previous state was: passing
• printbox-text.0.11 on 5.2.0 is not available anymore. Previous state was: passing
• printbox.0.11 on 4.14.2 is not available anymore. Previous state was: passing
• printbox.0.11 on 5.2.0 is not available anymore. Previous state was: passing
• provider.0.0.9 on 5.2.0 is not available anymore. Previous state was: passing
• ptime.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• ptime.1.1.0 on 5.2.0 is not available anymore. Previous state was: passing
• pure-html.3.6.1 on 4.14.2 is not available anymore. Previous state was: passing
• pure-html.3.6.1 on 5.2.0 is not available anymore. Previous state was: passing
• qcheck-alcotest.0.22 on 4.14.2 is not available anymore. Previous state was: passing
• qcheck-alcotest.0.22 on 5.2.0 is not available anymore. Previous state was: passing
• qcheck-core.0.22 on 4.14.2 is not available anymore. Previous state was: passing
• qcheck-core.0.22 on 5.2.0 is not available anymore. Previous state was: passing
• qcheck-lin.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• qcheck-lin.0.3 on 5.2.0 is not available anymore. Previous state was: passing
• qcheck-multicoretests-util.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• qcheck-multicoretests-util.0.3 on 5.2.0 is not available anymore. Previous state was: passing
• qcheck-ounit.0.22 on 4.14.2 is not available anymore. Previous state was: passing
• qcheck-ounit.0.22 on 5.2.0 is not available anymore. Previous state was: passing
• qcheck-stm.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• qcheck-stm.0.3 on 5.2.0 is not available anymore. Previous state was: passing
• qcheck.0.22 on 4.14.2 is not available anymore. Previous state was: passing
• qcheck.0.22 on 5.2.0 is not available anymore. Previous state was: passing
• qinap.1.0 on 4.14.2 is not available anymore. Previous state was: internal failure
• qinap.1.0 on 5.2.0 is not available anymore. Previous state was: internal failure
• qrc.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• qrc.0.1.0 on 5.2.0 is not available anymore. Previous state was: passing
• raygui.1.3.0 on 4.14.2 is not available anymore. Previous state was: partially failing
• raygui.1.3.0 on 5.2.0 is not available anymore. Previous state was: partially failing
• raylib.1.3.0 on 4.14.2 is not available anymore. Previous state was: partially failing
• raylib.1.3.0 on 5.2.0 is not available anymore. Previous state was: partially failing
• reason.3.12.0 on 4.14.2 is not available anymore. Previous state was: passing
• reason.3.12.0 on 5.2.0 is not available anymore. Previous state was: passing
• received.0.8.1 on 4.14.2 is not available anymore. Previous state was: passing
• received.0.8.1 on 5.2.0 is not available anymore. Previous state was: passing
• res.5.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• res.5.0.1 on 5.2.0 is not available anymore. Previous state was: passing
• river.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• rml.1.09.07 on 5.2.0 had its build status changed: internal failure to not available
• rpmfile-cli.0.3.1 on 5.2.0 is not available anymore. Previous state was: passing
• rpmfile-eio.0.3.1 on 5.2.0 is not available anymore. Previous state was: passing
• rpmfile-unix.0.3.1 on 4.14.2 is not available anymore. Previous state was: passing
• rpmfile-unix.0.3.1 on 5.2.0 is not available anymore. Previous state was: passing
• rpmfile.0.3.1 on 4.14.2 is not available anymore. Previous state was: passing
• rpmfile.0.3.1 on 5.2.0 is not available anymore. Previous state was: passing
• rtop.3.12.0 on 4.14.2 is not available anymore. Previous state was: passing
• rtop.3.12.0 on 5.2.0 is not available anymore. Previous state was: passing
• saturn.0.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• saturn.0.5.0 on 5.2.0 is not available anymore. Previous state was: passing
• scfg.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• scfg.0.2 on 5.2.0 is not available anymore. Previous state was: passing
• sedlex.3.2 on 4.14.2 is not available anymore. Previous state was: passing
• sedlex.3.2 on 5.2.0 is not available anymore. Previous state was: passing
• sel.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• sel.0.4.0 on 5.2.0 is not available anymore. Previous state was: passing
• semaphore-compat.1.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• semaphore-compat.1.0.1 on 5.2.0 is not available anymore. Previous state was: passing
• sendmail-lwt.0.8.1 on 4.14.2 is not available anymore. Previous state was: passing
• sendmail-lwt.0.8.1 on 5.2.0 is not available anymore. Previous state was: passing
• sendmail.0.8.1 on 4.14.2 is not available anymore. Previous state was: passing
• sendmail.0.8.1 on 5.2.0 is not available anymore. Previous state was: passing
• serial.0.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• serial.0.0.2 on 5.2.0 is not available anymore. Previous state was: passing
• smtml.0.2.5 on 4.14.2 is not available anymore. Previous state was: passing
• smtml.0.2.5 on 5.2.0 is not available anymore. Previous state was: passing
• solid.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• solid.0.2.0 on 5.2.0 is not available anymore. Previous state was: passing
• solid_server.0.2.0 on 4.14.2 is not available anymore. Previous state was: partially failing
• solid_server.0.2.0 on 5.2.0 is not available anymore. Previous state was: partially failing
• solid_tools.0.2.0 on 4.14.2 is not available anymore. Previous state was: partially failing
• solid_tools.0.2.0 on 5.2.0 is not available anymore. Previous state was: partially failing
• solo5.0.8.1 on 4.14.2 is not available anymore. Previous state was: passing
• solo5.0.8.1 on 5.2.0 is not available anymore. Previous state was: passing
• srt.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• srt.0.3.0 on 5.2.0 is not available anymore. Previous state was: passing
• stdune.3.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• stdune.3.16.0 on 5.2.0 is not available anymore. Previous state was: passing
• stk_iconv.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• stk_iconv.0.1.0 on 5.2.0 is not available anymore. Previous state was: passing
• tar-eio.3.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• tar-mirage.3.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• tar-mirage.3.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• tar-unix.3.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• tar-unix.3.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• tar.3.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• tar.3.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• tezt-bam.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• tezt-bam.0.1 on 5.2.0 is not available anymore. Previous state was: passing
• tezt-bam.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• theora.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• theora.0.4.0 on 5.2.0 is not available anymore. Previous state was: passing
• timmy-jsoo.1.0.4 on 4.14.2 is not available anymore. Previous state was: passing
• timmy-jsoo.1.0.4 on 5.2.0 is not available anymore. Previous state was: passing
• timmy-unix.1.0.4 on 4.14.2 is not available anymore. Previous state was: passing
• timmy-unix.1.0.4 on 5.2.0 is not available anymore. Previous state was: passing
• timmy.1.0.4 on 4.14.2 is not available anymore. Previous state was: passing
• timmy.1.0.4 on 5.2.0 is not available anymore. Previous state was: passing
• tls-eio.1.0.2 on 5.2.0 is not available anymore. Previous state was: passing
• tls-lwt.1.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• tls-lwt.1.0.2 on 5.2.0 is not available anymore. Previous state was: passing
• tls-miou-unix.1.0.2 on 5.2.0 is not available anymore. Previous state was: passing
• tls-mirage.1.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• tls-mirage.1.0.2 on 5.2.0 is not available anymore. Previous state was: passing
• tls.1.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• tls.1.0.2 on 5.2.0 is not available anymore. Previous state was: passing
• topiary.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• topiary.0.3.0 on 5.2.0 is not available anymore. Previous state was: passing
• trace-fuchsia.0.7 on 4.14.2 is not available anymore. Previous state was: passing
• trace-fuchsia.0.7 on 5.2.0 is not available anymore. Previous state was: passing
• trace-tef.0.7 on 4.14.2 is not available anymore. Previous state was: passing
• trace-tef.0.7 on 5.2.0 is not available anymore. Previous state was: passing
• trace.0.7 on 4.14.2 is not available anymore. Previous state was: passing
• trace.0.7 on 5.2.0 is not available anymore. Previous state was: passing
• tracy-client.0.5 on 4.14.2 is not available anymore. Previous state was: passing
• tracy-client.0.5 on 5.2.0 is not available anymore. Previous state was: passing
• tsdl.1.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• tsdl.1.0.0 on 5.2.0 is not available anymore. Previous state was: passing
• typerep.v0.17.0 on 5.2.0 is not available anymore. Previous state was: passing
• unison-gui.2.53.4 on 4.14.2 is not available anymore. Previous state was: passing
• unison-gui.2.53.4 on 5.2.0 is not available anymore. Previous state was: passing
• unison.2.53.4 on 4.14.2 is not available anymore. Previous state was: passing
• unison.2.53.4 on 5.2.0 is not available anymore. Previous state was: passing
• uspf-lwt.0.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• uspf-lwt.0.0.3 on 5.2.0 is not available anymore. Previous state was: passing
• uspf-unix.0.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• uspf-unix.0.0.3 on 5.2.0 is not available anymore. Previous state was: passing
• uspf.0.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• uspf.0.0.3 on 5.2.0 is not available anymore. Previous state was: passing
• utop.2.14.0 on 4.14.2 is not available anymore. Previous state was: passing
• utop.2.14.0 on 5.2.0 is not available anymore. Previous state was: passing
• uucd.15.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• uucd.15.1.0 on 5.2.0 is not available anymore. Previous state was: passing
• uucp.15.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• uucp.15.1.0 on 5.2.0 is not available anymore. Previous state was: passing
• uuidm.0.9.8 on 4.14.2 is not available anymore. Previous state was: passing
• uuidm.0.9.8 on 5.2.0 is not available anymore. Previous state was: passing
• uunf.15.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• uunf.15.1.0 on 5.2.0 is not available anymore. Previous state was: passing
• uuseg.15.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• uuseg.15.1.0 on 5.2.0 is not available anymore. Previous state was: passing
• vscoq-language-server.2.1.7 on 4.14.2 is not available anymore. Previous state was: passing
• vscoq-language-server.2.1.7 on 5.2.0 is not available anymore. Previous state was: passing
• webauthn.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• webauthn.0.1.0 on 5.2.0 is not available anymore. Previous state was: passing
• websocket-lwt-unix.2.16 on 4.14.2 is not available anymore. Previous state was: passing
• websocket-lwt-unix.2.16 on 5.2.0 is not available anymore. Previous state was: passing
• websocket.2.16 on 4.14.2 is not available anymore. Previous state was: passing
• websocket.2.16 on 5.2.0 is not available anymore. Previous state was: passing
• why3-coq.1.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• why3-coq.1.7.2 on 5.2.0 is not available anymore. Previous state was: passing
• why3-ide.1.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• why3-ide.1.7.2 on 5.2.0 is not available anymore. Previous state was: passing
• why3.1.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• why3.1.7.2 on 5.2.0 is not available anymore. Previous state was: passing
• x509.1.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• x509.1.0.3 on 5.2.0 is not available anymore. Previous state was: passing
• xdg.3.16.0 on 4.14.2 is not available anymore. Previous state was: passing
• xdg.3.16.0 on 5.2.0 is not available anymore. Previous state was: passing
• yosqlite.0.1 on 5.2.0 is not available anymore. Previous state was: passing
• z3.4.13.0-3 on 4.14.2 is not available anymore. Previous state was: passing
• z3.4.13.0-3 on 5.2.0 is not available anymore. Previous state was: passing

Packages now failing with an internal failure:

• cvc5.1.2.0 on 4.14.2 is now installable. Current state is: internal failure
• cvc5.1.2.0 on 5.2.0 is now installable. Current state is: internal failure
• deadlock.1.0 on 4.14.2 had its build status changed: partially failing to internal failure
• ocaml-inifiles.1.2 on 5.2.0 had its build status changed: passing to internal failure
• tezos-baking-016-PtMumbai-commands.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-baking-016-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-baking-017-PtNairob-commands.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-baking-017-PtNairob.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-008-PtEdoTez.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-009-PsFLoren.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-010-PtGRANAD.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-011-PtHangz2.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-012-Psithaca.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-013-PtJakart.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-014-PtKathma.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-015-PtLimaPt.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-016-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-017-PtNairob.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-009-PsFLoren.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-010-PtGRANAD-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-010-PtGRANAD.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-011-PtHangz2-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-011-PtHangz2.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-012-Psithaca-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-012-Psithaca.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-013-PtJakart-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-013-PtJakart.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-014-PtKathma-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-016-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure

Packages now passing:

• MlFront_Cli.2.1.4~prerel2 on 4.14.2 is now installable. Current state is: passing
• MlFront_Cli.2.1.4~prerel2 on 5.2.0 is now installable. Current state is: passing
• activitypub.0.1.0 on 4.14.2 is now installable. Current state is: passing
• activitypub.0.1.0 on 5.2.0 is now installable. Current state is: passing
• activitypub_client.0.1.0 on 4.14.2 is now installable. Current state is: passing
• activitypub_client.0.1.0 on 5.2.0 is now installable. Current state is: passing
• activitypub_gui.0.1.0 on 5.2.0 is now installable. Current state is: passing
• activitypub_server.0.1.0 on 5.2.0 is now installable. Current state is: passing
• activitypub_server_gui.0.1.0 on 5.2.0 is now installable. Current state is: passing
• adelfa.0.1 on 4.14.2 is now installable. Current state is: passing
• adelfa.0.1 on 5.2.0 is now installable. Current state is: passing
• aifad.2.3.1 on 4.14.2 is now installable. Current state is: passing
• aifad.2.3.1 on 5.2.0 is now installable. Current state is: passing
• albatross.2.3.0 on 4.14.2 is now installable. Current state is: passing
• albatross.2.3.0 on 5.2.0 is now installable. Current state is: passing
• alt-ergo-lib.2.6.0 on 4.14.2 is now installable. Current state is: passing
• alt-ergo-lib.2.6.0 on 5.2.0 is now installable. Current state is: passing
• alt-ergo-parsers.2.6.0 on 4.14.2 is now installable. Current state is: passing
• alt-ergo-parsers.2.6.0 on 5.2.0 is now installable. Current state is: passing
• alt-ergo-plugin-ab-why3.2.6.0 on 4.14.2 is now installable. Current state is: passing
• alt-ergo-plugin-ab-why3.2.6.0 on 5.2.0 is now installable. Current state is: passing
• alt-ergo.2.6.0 on 4.14.2 is now installable. Current state is: passing
• alt-ergo.2.6.0 on 5.2.0 is now installable. Current state is: passing
• angstrom-lwt-unix.0.16.1 on 4.14.2 is now installable. Current state is: passing
• angstrom-lwt-unix.0.16.1 on 5.2.0 is now installable. Current state is: passing
• angstrom-unix.0.16.1 on 4.14.2 is now installable. Current state is: passing
• angstrom-unix.0.16.1 on 5.2.0 is now installable. Current state is: passing
• angstrom.0.16.1 on 4.14.2 is now installable. Current state is: passing
• angstrom.0.16.1 on 5.2.0 is now installable. Current state is: passing
• api-watch.0.1.1 on 5.2.0 is now installable. Current state is: passing
• areas-and-adversaries.1.0 on 5.2.0 is now installable. Current state is: passing
• ascend.0.1.2-1 on 5.2.0 is now installable. Current state is: passing
• baby.20241204 on 4.14.2 is now installable. Current state is: passing
• baby.20241204 on 5.2.0 is now installable. Current state is: passing
• backoff.0.1.1 on 4.14.2 is now installable. Current state is: passing
• backoff.0.1.1 on 5.2.0 is now installable. Current state is: passing
• bam-ppx.0.3 on 4.14.2 is now installable. Current state is: passing
• bam-ppx.0.3 on 5.2.0 is now installable. Current state is: passing
• bam.0.3 on 4.14.2 is now installable. Current state is: passing
• bam.0.3 on 5.2.0 is now installable. Current state is: passing
• binaryen-bin.119 on 4.14.2 is now installable. Current state is: passing
• binaryen-bin.119 on 5.2.0 is now installable. Current state is: passing
• bogue.20241212 on 4.14.2 is now installable. Current state is: passing
• bogue.20241212 on 5.2.0 is now installable. Current state is: passing
• brr.0.0.7 on 4.14.2 is now installable. Current state is: passing
• brr.0.0.7 on 5.2.0 is now installable. Current state is: passing
• builder-web.0.2.0 on 4.14.2 is now installable. Current state is: passing
• builder-web.0.2.0 on 5.2.0 is now installable. Current state is: passing
• bytesrw.0.1.0 on 4.14.2 is now installable. Current state is: passing
• bytesrw.0.1.0 on 5.2.0 is now installable. Current state is: passing
• ca-certs-nss.3.107 on 4.14.2 is now installable. Current state is: passing
• ca-certs-nss.3.107 on 5.2.0 is now installable. Current state is: passing
• cairo2-gtk.0.6.5 on 4.14.2 is now installable. Current state is: passing
• cairo2-gtk.0.6.5 on 5.2.0 is now installable. Current state is: passing
• cairo2-pango.0.6.5 on 4.14.2 is now installable. Current state is: passing
• cairo2-pango.0.6.5 on 5.2.0 is now installable. Current state is: passing
• cairo2.0.6.5 on 4.14.2 is now installable. Current state is: passing
• cairo2.0.6.5 on 5.2.0 is now installable. Current state is: passing
• caisar.2.1 on 4.14.2 had its build status changed: failing to passing
• caisar.2.1 on 5.2.0 had its build status changed: failing to passing
• caldav.0.2.3 on 4.14.2 is now installable. Current state is: passing
• caldav.0.2.3 on 5.2.0 is now installable. Current state is: passing
• camlkit-base.0.3.0 on 4.14.2 is now installable. Current state is: passing
• camlkit-base.0.3.0 on 5.2.0 is now installable. Current state is: passing
• camlkit-gui.0.3.0 on 4.14.2 is now installable. Current state is: passing
• camlkit-gui.0.3.0 on 5.2.0 is now installable. Current state is: passing
• camlkit.0.3.0 on 4.14.2 is now installable. Current state is: passing
• camlkit.0.3.0 on 5.2.0 is now installable. Current state is: passing
• camlp5-buildscripts.0.04 on 4.14.2 is now installable. Current state is: passing
• camlp5-buildscripts.0.04 on 5.2.0 is now installable. Current state is: passing
• camlp5.8.03.01 on 4.14.2 is now installable. Current state is: passing
• camlp5.8.03.01 on 5.2.0 is now installable. Current state is: passing
• camlpdf.2.8 on 4.14.2 is now installable. Current state is: passing
• camlpdf.2.8 on 5.2.0 is now installable. Current state is: passing
• camlzip.1.13 on 4.14.2 is now installable. Current state is: passing
• camlzip.1.13 on 5.2.0 is now installable. Current state is: passing
• capnp-rpc-lwt.1.2.4 on 4.14.2 is now installable. Current state is: passing
• capnp-rpc-lwt.1.2.4 on 5.2.0 is now installable. Current state is: passing
• capnp-rpc-lwt.2.0 on 5.2.0 is now installable. Current state is: passing
• capnp-rpc-net.1.2.4 on 4.14.2 is now installable. Current state is: passing
• capnp-rpc-net.1.2.4 on 5.2.0 is now installable. Current state is: passing
• capnp-rpc-net.2.0 on 5.2.0 is now installable. Current state is: passing
• capnp-rpc-unix.1.2.4 on 4.14.2 is now installable. Current state is: passing
• capnp-rpc-unix.1.2.4 on 5.2.0 is now installable. Current state is: passing
• capnp-rpc-unix.2.0 on 5.2.0 is now installable. Current state is: passing
• capnp-rpc.1.2.4 on 4.14.2 is now installable. Current state is: passing
• capnp-rpc.1.2.4 on 5.2.0 is now installable. Current state is: passing
• capnp-rpc.2.0 on 5.2.0 is now installable. Current state is: passing
• carbon.0.2.0 on 5.2.0 is now installable. Current state is: passing
• catala-format.0.1.1 on 4.14.2 is now installable. Current state is: passing
• catala-format.0.1.1 on 5.2.0 is now installable. Current state is: passing
• catt.1.0 on 4.14.2 is now installable. Current state is: passing
• cfg.2.3.1 on 4.14.2 is now installable. Current state is: passing
• cfg.2.3.1 on 5.2.0 is now installable. Current state is: passing
• chamo.4.1.0 on 5.2.0 is now installable. Current state is: passing
• charrua-client.1.6.0 on 4.14.2 is now installable. Current state is: passing
• charrua-client.1.6.0 on 5.2.0 is now installable. Current state is: passing
• charrua-server.1.6.0 on 4.14.2 is now installable. Current state is: passing
• charrua-server.1.6.0 on 5.2.0 is now installable. Current state is: passing
• charrua-unix.1.6.0 on 4.14.2 is now installable. Current state is: passing
• charrua-unix.1.6.0 on 5.2.0 is now installable. Current state is: passing
• charrua.1.6.0 on 4.14.2 is now installable. Current state is: passing
• charrua.1.6.0 on 5.2.0 is now installable. Current state is: passing
• chrome-trace.3.17.0 on 4.14.2 is now installable. Current state is: passing
• chrome-trace.3.17.0 on 5.2.0 is now installable. Current state is: passing
• class_group_vdf.0.0.5 on 4.14.2 is now installable. Current state is: passing
• class_group_vdf.0.0.5 on 5.2.0 is now installable. Current state is: passing
• climate.0.3.0 on 4.14.2 is now installable. Current state is: passing
• climate.0.3.0 on 5.2.0 is now installable. Current state is: passing
• cmdlang-stdlib-runner.0.0.9 on 4.14.2 is now installable. Current state is: passing
• cmdlang-stdlib-runner.0.0.9 on 5.2.0 is now installable. Current state is: passing
• cmdlang-to-climate.0.0.9 on 4.14.2 is now installable. Current state is: passing
• cmdlang-to-climate.0.0.9 on 5.2.0 is now installable. Current state is: passing
• cmdlang-to-cmdliner.0.0.9 on 4.14.2 is now installable. Current state is: passing
• cmdlang-to-cmdliner.0.0.9 on 5.2.0 is now installable. Current state is: passing
• cmdlang.0.0.9 on 4.14.2 is now installable. Current state is: passing
• cmdlang.0.0.9 on 5.2.0 is now installable. Current state is: passing
• cmdliner-stdlib.1.0.1 on 4.14.2 is now installable. Current state is: passing
• cmdliner-stdlib.1.0.1 on 5.2.0 is now installable. Current state is: passing
• coccinelle.1.3.0 on 4.14.2 is now installable. Current state is: passing
• cohttp-curl-lwt.6.0.0 on 4.14.2 is now installable. Current state is: passing
• cohttp-curl-lwt.6.0.0 on 5.2.0 is now installable. Current state is: passing
• cohttp-curl.6.0.0 on 4.14.2 is now installable. Current state is: passing
• cohttp-curl.6.0.0 on 5.2.0 is now installable. Current state is: passing
• cohttp-eio.6.0.0 on 5.2.0 is now installable. Current state is: passing
• cohttp-lwt-jsoo.6.0.0 on 4.14.2 is now installable. Current state is: passing
• cohttp-lwt-jsoo.6.0.0 on 5.2.0 is now installable. Current state is: passing
• cohttp-lwt-unix.6.0.0 on 4.14.2 is now installable. Current state is: passing
• cohttp-lwt-unix.6.0.0 on 5.2.0 is now installable. Current state is: passing
• cohttp-lwt.6.0.0 on 4.14.2 is now installable. Current state is: passing
• cohttp-lwt.6.0.0 on 5.2.0 is now installable. Current state is: passing
• cohttp-mirage.6.0.0 on 4.14.2 is now installable. Current state is: passing
• cohttp-mirage.6.0.0 on 5.2.0 is now installable. Current state is: passing
• cohttp-server-lwt-unix.6.0.0 on 4.14.2 is now installable. Current state is: passing
• cohttp-server-lwt-unix.6.0.0 on 5.2.0 is now installable. Current state is: passing
• cohttp-top.6.0.0 on 4.14.2 is now installable. Current state is: passing
• cohttp-top.6.0.0 on 5.2.0 is now installable. Current state is: passing
• cohttp.6.0.0 on 4.14.2 is now installable. Current state is: passing
• cohttp.6.0.0 on 5.2.0 is now installable. Current state is: passing
• colombe.0.11.0 on 4.14.2 is now installable. Current state is: passing
• colombe.0.11.0 on 5.2.0 is now installable. Current state is: passing
• color.0.3.0 on 4.14.2 is now installable. Current state is: passing
• color.0.3.0 on 5.2.0 is now installable. Current state is: passing
• compsort.0.9.2 on 5.2.0 is now installable. Current state is: passing
• conduit-lwt-unix.7.1.0 on 4.14.2 is now installable. Current state is: passing
• conduit-lwt-unix.7.1.0 on 5.2.0 is now installable. Current state is: passing
• conduit-lwt.7.1.0 on 4.14.2 is now installable. Current state is: passing
• conduit-lwt.7.1.0 on 5.2.0 is now installable. Current state is: passing
• conduit-mirage.7.1.0 on 4.14.2 is now installable. Current state is: passing
• conduit-mirage.7.1.0 on 5.2.0 is now installable. Current state is: passing
• conduit.7.1.0 on 4.14.2 is now installable. Current state is: passing
• conduit.7.1.0 on 5.2.0 is now installable. Current state is: passing
• conf-libpcre.2 on 4.14.2 is now installable. Current state is: passing
• conf-libpcre.2 on 5.2.0 is now installable. Current state is: passing
• conf-libpcre2-8.2 on 4.14.2 is now installable. Current state is: passing
• conf-libpcre2-8.2 on 5.2.0 is now installable. Current state is: passing
• conf-plplot.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-plplot.1 on 5.2.0 had its build status changed: internal failure to passing
• conf-postgresql.2 on 4.14.2 is now installable. Current state is: passing
• conf-postgresql.2 on 5.2.0 is now installable. Current state is: passing
• containers-data.3.15 on 4.14.2 is now installable. Current state is: passing
• containers-data.3.15 on 5.2.0 is now installable. Current state is: passing
• containers.3.15 on 4.14.2 is now installable. Current state is: passing
• containers.3.15 on 5.2.0 is now installable. Current state is: passing
• coq-catt-plugin.1.0 on 4.14.2 is now installable. Current state is: passing
• coq-lsp.0.2.2+8.20 on 4.14.2 is now installable. Current state is: passing
• coq-lsp.0.2.2+8.20 on 5.2.0 is now installable. Current state is: passing
• coq-serapi.8.20.0+0.20.0 on 4.14.2 is now installable. Current state is: passing
• coq-serapi.8.20.0+0.20.0 on 5.2.0 is now installable. Current state is: passing
• coq-waterproof.2.2.0+8.17 on 4.14.2 is now installable. Current state is: passing
• coq-waterproof.2.2.0+8.17 on 5.2.0 is now installable. Current state is: passing
• cpdf.2.8 on 4.14.2 is now installable. Current state is: passing
• cpdf.2.8 on 5.2.0 is now installable. Current state is: passing
• cppo.1.8.0 on 4.14.2 is now installable. Current state is: passing
• cppo.1.8.0 on 5.2.0 is now installable. Current state is: passing
• cppo_ocamlbuild.1.8.0 on 4.14.2 is now installable. Current state is: passing
• cppo_ocamlbuild.1.8.0 on 5.2.0 is now installable. Current state is: passing
• cryptoverif.2.11 on 4.14.2 is now installable. Current state is: passing
• cryptoverif.2.11 on 5.2.0 is now installable. Current state is: passing
• css.0.2.0 on 4.14.2 is now installable. Current state is: passing
• css.0.2.0 on 5.2.0 is now installable. Current state is: passing
• datalog.0.7 on 4.14.2 is now installable. Current state is: passing
• datalog.0.7 on 5.2.0 is now installable. Current state is: passing
• dates_calc.0.0.7 on 4.14.2 is now installable. Current state is: passing
• dates_calc.0.0.7 on 5.2.0 is now installable. Current state is: passing
• dblp-api.0.1.1 on 4.14.2 is now installable. Current state is: passing
• dblp-api.0.1.1 on 5.2.0 is now installable. Current state is: passing
• dblp.0.1.1 on 4.14.2 is now installable. Current state is: passing
• dblp.0.1.1 on 5.2.0 is now installable. Current state is: passing
• delimcc_of_fxhandler.0.1 on 5.2.0 had its build status changed: partially failing to passing
• dkim-bin.0.7.0 on 4.14.2 is now installable. Current state is: passing
• dkim-bin.0.7.0 on 5.2.0 is now installable. Current state is: passing
• dkim-mirage.0.7.0 on 4.14.2 is now installable. Current state is: passing
• dkim-mirage.0.7.0 on 5.2.0 is now installable. Current state is: passing
• dkim.0.7.0 on 4.14.2 is now installable. Current state is: passing
• dkim.0.7.0 on 5.2.0 is now installable. Current state is: passing
• dkml-dune-dsl-show.0.1.4 on 4.14.2 is now installable. Current state is: passing
• dkml-dune-dsl-show.0.1.4 on 5.2.0 is now installable. Current state is: passing
• dkml-dune-dsl.0.1.4 on 4.14.2 is now installable. Current state is: passing
• dkml-dune-dsl.0.1.4 on 5.2.0 is now installable. Current state is: passing
• dns-certify.9.1.0 on 4.14.2 is now installable. Current state is: passing
• dns-certify.9.1.0 on 5.2.0 is now installable. Current state is: passing
• dns-cli.9.1.0 on 4.14.2 is now installable. Current state is: passing
• dns-cli.9.1.0 on 5.2.0 is now installable. Current state is: passing
• dns-client-lwt.9.1.0 on 4.14.2 is now installable. Current state is: passing
• dns-client-lwt.9.1.0 on 5.2.0 is now installable. Current state is: passing
• dns-client-miou-unix.9.1.0 on 5.2.0 is now installable. Current state is: passing
• dns-client-mirage.9.1.0 on 4.14.2 is now installable. Current state is: passing
• dns-client-mirage.9.1.0 on 5.2.0 is now installable. Current state is: passing
• dns-client.9.1.0 on 4.14.2 is now installable. Current state is: passing
• dns-client.9.1.0 on 5.2.0 is now installable. Current state is: passing
• dns-mirage.9.1.0 on 4.14.2 is now installable. Current state is: passing
• dns-mirage.9.1.0 on 5.2.0 is now installable. Current state is: passing
• dns-resolver.9.1.0 on 4.14.2 is now installable. Current state is: passing
• dns-resolver.9.1.0 on 5.2.0 is now installable. Current state is: passing
• dns-server.9.1.0 on 4.14.2 is now installable. Current state is: passing
• dns-server.9.1.0 on 5.2.0 is now installable. Current state is: passing
• dns-stub.9.1.0 on 4.14.2 is now installable. Current state is: passing
• dns-stub.9.1.0 on 5.2.0 is now installable. Current state is: passing
• dns-tsig.9.1.0 on 4.14.2 is now installable. Current state is: passing
• dns-tsig.9.1.0 on 5.2.0 is now installable. Current state is: passing
• dns.9.1.0 on 4.14.2 is now installable. Current state is: passing
• dns.9.1.0 on 5.2.0 is now installable. Current state is: passing
• dnssec.9.1.0 on 4.14.2 is now installable. Current state is: passing
• dnssec.9.1.0 on 5.2.0 is now installable. Current state is: passing
• dockerfile-cmd.8.2.4 on 4.14.2 is now installable. Current state is: passing
• dockerfile-cmd.8.2.4 on 5.2.0 is now installable. Current state is: passing
• dockerfile-opam.8.2.4 on 4.14.2 is now installable. Current state is: passing
• dockerfile-opam.8.2.4 on 5.2.0 is now installable. Current state is: passing
• dockerfile.8.2.4 on 4.14.2 is now installable. Current state is: passing
• dockerfile.8.2.4 on 5.2.0 is now installable. Current state is: passing
• dot-merlin-reader.4.18-414 on 4.14.2 is now installable. Current state is: passing
• dot-merlin-reader.5.3-502 on 5.2.0 is now installable. Current state is: passing
• dream-encoding.0.3.0 on 4.14.2 is now installable. Current state is: passing
• dream-encoding.0.3.0 on 5.2.0 is now installable. Current state is: passing
• dream-html.3.8.0 on 4.14.2 is now installable. Current state is: passing
• dream-html.3.8.0 on 5.2.0 is now installable. Current state is: passing
• dream-httpaf.1.0.0~alpha4 on 4.14.2 is now installable. Current state is: passing
• dream-httpaf.1.0.0~alpha4 on 5.2.0 is now installable. Current state is: passing
• dream.1.0.0~alpha8 on 4.14.2 is now installable. Current state is: passing
• dream.1.0.0~alpha8 on 5.2.0 is now installable. Current state is: passing
• dune-action-plugin.3.17.0 on 4.14.2 is now installable. Current state is: passing
• dune-action-plugin.3.17.0 on 5.2.0 is now installable. Current state is: passing
• dune-build-info.3.17.0 on 4.14.2 is now installable. Current state is: passing
• dune-build-info.3.17.0 on 5.2.0 is now installable. Current state is: passing
• dune-cargo-build.0.2.2 on 4.14.2 is now installable. Current state is: passing
• dune-cargo-build.0.2.2 on 5.2.0 is now installable. Current state is: passing
• dune-configurator.3.17.0 on 4.14.2 is now installable. Current state is: passing
• dune-configurator.3.17.0 on 5.2.0 is now installable. Current state is: passing
• dune-glob.3.17.0 on 4.14.2 is now installable. Current state is: passing
• dune-glob.3.17.0 on 5.2.0 is now installable. Current state is: passing
• dune-private-libs.3.17.0 on 4.14.2 is now installable. Current state is: passing
• dune-private-libs.3.17.0 on 5.2.0 is now installable. Current state is: passing
• dune-rpc-lwt.3.17.0 on 4.14.2 is now installable. Current state is: passing
• dune-rpc-lwt.3.17.0 on 5.2.0 is now installable. Current state is: passing
• dune-rpc.3.17.0 on 4.14.2 is now installable. Current state is: passing
• dune-rpc.3.17.0 on 5.2.0 is now installable. Current state is: passing
• dune-site.3.17.0 on 4.14.2 is now installable. Current state is: passing
• dune-site.3.17.0 on 5.2.0 is now installable. Current state is: passing
• dune.3.17.0 on 4.14.2 is now installable. Current state is: passing
• dune.3.17.0 on 5.2.0 is now installable. Current state is: passing
• dyn.3.17.0 on 4.14.2 is now installable. Current state is: passing
• dyn.3.17.0 on 5.2.0 is now installable. Current state is: passing
• earlybird.1.3.3 on 4.14.2 is now installable. Current state is: passing
• earlybird.1.3.3 on 5.2.0 is now installable. Current state is: passing
• eio-trace.0.4 on 5.2.0 is now installable. Current state is: passing
• eio.1.2 on 5.2.0 is now installable. Current state is: passing
• eio_main.1.2 on 5.2.0 is now installable. Current state is: passing
• eio_posix.1.2 on 5.2.0 is now installable. Current state is: passing
• eliom.11.1.1 on 4.14.2 is now installable. Current state is: passing
• eliom.11.1.1 on 5.2.0 is now installable. Current state is: passing
• elm_core.0.1.7 on 4.14.2 is now installable. Current state is: passing
• elm_core.0.1.7 on 5.2.0 is now installable. Current state is: passing
• elm_playground.0.1.7 on 4.14.2 is now installable. Current state is: passing
• elm_playground.0.1.7 on 5.2.0 is now installable. Current state is: passing
• elm_playground_native.0.1.7 on 4.14.2 is now installable. Current state is: passing
• elm_playground_web.0.1.7 on 4.14.2 is now installable. Current state is: passing
• elm_playground_web.0.1.7 on 5.2.0 is now installable. Current state is: passing
• elm_system.0.1.7 on 4.14.2 is now installable. Current state is: passing
• elm_system.0.1.7 on 5.2.0 is now installable. Current state is: passing
• elpi.2.0.6 on 4.14.2 is now installable. Current state is: passing
• elpi.2.0.6 on 5.2.0 is now installable. Current state is: passing
• extism-manifest.1.4.0 on 4.14.2 is now installable. Current state is: passing
• extism-manifest.1.4.0 on 5.2.0 is now installable. Current state is: passing
• extism.1.4.0 on 4.14.2 is now installable. Current state is: passing
• extism.1.4.0 on 5.2.0 is now installable. Current state is: passing
• extlib.1.8.0 on 4.14.2 is now installable. Current state is: passing
• extlib.1.8.0 on 5.2.0 is now installable. Current state is: passing
• extunix.0.4.3 on 4.14.2 is now installable. Current state is: passing
• extunix.0.4.3 on 5.2.0 is now installable. Current state is: passing
• ffmpeg-av.1.2.1 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-av.1.2.1 on 5.2.0 is now installable. Current state is: passing
• ffmpeg-avcodec.1.2.1 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-avcodec.1.2.1 on 5.2.0 is now installable. Current state is: passing
• ffmpeg-avdevice.1.2.1 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-avdevice.1.2.1 on 5.2.0 is now installable. Current state is: passing
• ffmpeg-avfilter.1.2.1 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-avfilter.1.2.1 on 5.2.0 is now installable. Current state is: passing
• ffmpeg-avutil.1.2.1 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-avutil.1.2.1 on 5.2.0 is now installable. Current state is: passing
• ffmpeg-swresample.1.2.1 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-swresample.1.2.1 on 5.2.0 is now installable. Current state is: passing
• ffmpeg-swscale.1.2.1 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-swscale.1.2.1 on 5.2.0 is now installable. Current state is: passing
• ffmpeg.1.2.1 on 4.14.2 is now installable. Current state is: passing
• ffmpeg.1.2.1 on 5.2.0 is now installable. Current state is: passing
• file-rewriter.0.0.3 on 5.2.0 is now installable. Current state is: passing
• flatunionfind.20241210 on 4.14.2 is now installable. Current state is: passing
• flatunionfind.20241210 on 5.2.0 is now installable. Current state is: passing
• flow_parser.0.246.0 on 5.2.0 is now installable. Current state is: passing
• fpath-base.0.2.2 on 5.2.0 is now installable. Current state is: passing
• fpath-sexp0.0.2.2 on 5.2.0 is now installable. Current state is: passing
• frama-c-metacsl.0.8 on 4.14.2 is now installable. Current state is: passing
• frama-c-metacsl.0.8 on 5.2.0 is now installable. Current state is: passing
• frama-c.30.0 on 4.14.2 is now installable. Current state is: passing
• frama-c.30.0 on 5.2.0 is now installable. Current state is: passing
• gen_js_api.1.1.3 on 4.14.2 is now installable. Current state is: passing
• gen_js_api.1.1.3 on 5.2.0 is now installable. Current state is: passing
• git-kv.0.1.1 on 4.14.2 is now installable. Current state is: passing
• git-kv.0.1.1 on 5.2.0 is now installable. Current state is: passing
• git-split.1.0.0 on 4.14.2 is now installable. Current state is: passing
• git-split.1.0.0 on 5.2.0 is now installable. Current state is: passing
• goblint-cil.2.0.5 on 4.14.2 is now installable. Current state is: passing
• goblint-cil.2.0.5 on 5.2.0 is now installable. Current state is: passing
• gptar.1.0.0 on 4.14.2 is now installable. Current state is: passing
• gptar.1.0.0 on 5.2.0 is now installable. Current state is: passing
• grid.0.2.0 on 4.14.2 is now installable. Current state is: passing
• grid.0.2.0 on 5.2.0 is now installable. Current state is: passing
• gsl.1.25.1 on 4.14.2 is now installable. Current state is: passing
• gsl.1.25.1 on 5.2.0 is now installable. Current state is: passing
• hachis.20240918 on 4.14.2 is now installable. Current state is: passing
• hachis.20240918 on 5.2.0 is now installable. Current state is: passing
• happy-eyeballs-lwt.1.2.2 on 4.14.2 is now installable. Current state is: passing
• happy-eyeballs-lwt.1.2.2 on 5.2.0 is now installable. Current state is: passing
• happy-eyeballs-miou-unix.1.2.2 on 5.2.0 is now installable. Current state is: passing
• happy-eyeballs-mirage.1.2.2 on 4.14.2 is now installable. Current state is: passing
• happy-eyeballs-mirage.1.2.2 on 5.2.0 is now installable. Current state is: passing
• happy-eyeballs.1.2.2 on 4.14.2 is now installable. Current state is: passing
• happy-eyeballs.1.2.2 on 5.2.0 is now installable. Current state is: passing
• hector.20241208 on 4.14.2 is now installable. Current state is: passing
• hector.20241208 on 5.2.0 is now installable. Current state is: passing
• hol_light_module.1.0 on 4.14.2 is now installable. Current state is: passing
• hol_light_module.1.0 on 5.2.0 is now installable. Current state is: passing
• http-lwt-client.0.3.1 on 4.14.2 is now installable. Current state is: passing
• http-lwt-client.0.3.1 on 5.2.0 is now installable. Current state is: passing
• http-mirage-client.0.0.8 on 4.14.2 is now installable. Current state is: passing
• http-mirage-client.0.0.8 on 5.2.0 is now installable. Current state is: passing
• http.6.0.0 on 4.14.2 is now installable. Current state is: passing
• http.6.0.0 on 5.2.0 is now installable. Current state is: passing
• httpcats.0.0.1 on 5.2.0 is now installable. Current state is: passing
• httpun-ws-eio.0.2.0 on 5.2.0 is now installable. Current state is: passing
• hxd.0.3.3 on 4.14.2 is now installable. Current state is: passing
• hxd.0.3.3 on 5.2.0 is now installable. Current state is: passing
• icalendar.0.1.9 on 4.14.2 is now installable. Current state is: passing
• icalendar.0.1.9 on 5.2.0 is now installable. Current state is: passing
• ip2location.8.1.1 on 4.14.2 is now installable. Current state is: passing
• ip2location.8.1.1 on 5.2.0 is now installable. Current state is: passing
• irmin-bench.3.10.0 on 4.14.2 is now installable. Current state is: passing
• irmin-bench.3.10.0 on 5.2.0 is now installable. Current state is: passing
• irmin-chunk.3.10.0 on 4.14.2 is now installable. Current state is: passing
• irmin-chunk.3.10.0 on 5.2.0 is now installable. Current state is: passing
• irmin-cli.3.10.0 on 4.14.2 is now installable. Current state is: passing
• irmin-cli.3.10.0 on 5.2.0 is now installable. Current state is: passing
• irmin-client.3.10.0 on 4.14.2 is now installable. Current state is: passing
• irmin-client.3.10.0 on 5.2.0 is now installable. Current state is: passing
• irmin-containers.3.10.0 on 4.14.2 is now installable. Current state is: passing
• irmin-containers.3.10.0 on 5.2.0 is now installable. Current state is: passing
• irmin-fs.3.10.0 on 4.14.2 is now installable. Current state is: passing
• irmin-fs.3.10.0 on 5.2.0 is now installable. Current state is: passing
• irmin-git.3.10.0 on 4.14.2 is now installable. Current state is: passing
• irmin-git.3.10.0 on 5.2.0 is now installable. Current state is: passing
• irmin-graphql.3.10.0 on 4.14.2 is now installable. Current state is: passing
• irmin-graphql.3.10.0 on 5.2.0 is now installable. Current state is: passing
• irmin-mirage-git.3.10.0 on 4.14.2 is now installable. Current state is: passing
• irmin-mirage-git.3.10.0 on 5.2.0 is now installable. Current state is: passing
• irmin-mirage-graphql.3.10.0 on 4.14.2 is now installable. Current state is: passing
• irmin-mirage-graphql.3.10.0 on 5.2.0 is now installable. Current state is: passing
• irmin-mirage.3.10.0 on 4.14.2 is now installable. Current state is: passing
• irmin-mirage.3.10.0 on 5.2.0 is now installable. Current state is: passing
• irmin-pack-tools.3.10.0 on 4.14.2 is now installable. Current state is: passing
• irmin-pack-tools.3.10.0 on 5.2.0 is now installable. Current state is: passing
• irmin-pack.3.10.0 on 4.14.2 is now installable. Current state is: passing
• irmin-pack.3.10.0 on 5.2.0 is now installable. Current state is: passing
• irmin-server.3.10.0 on 4.14.2 is now installable. Current state is: passing
• irmin-server.3.10.0 on 5.2.0 is now installable. Current state is: passing
• irmin-test.3.10.0 on 4.14.2 is now installable. Current state is: passing
• irmin-test.3.10.0 on 5.2.0 is now installable. Current state is: passing
• irmin-tezos.3.10.0 on 4.14.2 is now installable. Current state is: passing
• irmin-tezos.3.10.0 on 5.2.0 is now installable. Current state is: passing
• irmin.3.10.0 on 4.14.2 is now installable. Current state is: passing
• irmin.3.10.0 on 5.2.0 is now installable. Current state is: passing
• jekyll-format.0.3.4 on 4.14.2 is now installable. Current state is: passing
• jekyll-format.0.3.4 on 5.2.0 is now installable. Current state is: passing
• js_of_ocaml-compiler.5.9.1 on 4.14.2 is now installable. Current state is: passing
• js_of_ocaml-compiler.5.9.1 on 5.2.0 is now installable. Current state is: passing
• js_of_ocaml-lwt.5.9.1 on 4.14.2 is now installable. Current state is: passing
• js_of_ocaml-lwt.5.9.1 on 5.2.0 is now installable. Current state is: passing
• js_of_ocaml-ppx.5.9.1 on 4.14.2 is now installable. Current state is: passing
• js_of_ocaml-ppx.5.9.1 on 5.2.0 is now installable. Current state is: passing
• js_of_ocaml-ppx_deriving_json.5.9.1 on 4.14.2 is now installable. Current state is: passing
• js_of_ocaml-ppx_deriving_json.5.9.1 on 5.2.0 is now installable. Current state is: passing
• js_of_ocaml-toplevel.5.9.1 on 4.14.2 is now installable. Current state is: passing
• js_of_ocaml-toplevel.5.9.1 on 5.2.0 is now installable. Current state is: passing
• js_of_ocaml-tyxml.5.9.1 on 4.14.2 is now installable. Current state is: passing
• js_of_ocaml-tyxml.5.9.1 on 5.2.0 is now installable. Current state is: passing
• js_of_ocaml.5.9.1 on 4.14.2 is now installable. Current state is: passing
• js_of_ocaml.5.9.1 on 5.2.0 is now installable. Current state is: passing
• jsonrpc.1.20.1 on 4.14.2 is now installable. Current state is: passing
• jsonrpc.1.20.1 on 5.2.0 is now installable. Current state is: passing
• jsont.0.1.1 on 4.14.2 is now installable. Current state is: passing
• jsont.0.1.1 on 5.2.0 is now installable. Current state is: passing
• kappa-agents.4.1.3 on 4.14.2 is now installable. Current state is: passing
• kappa-binaries.4.1.3 on 4.14.2 is now installable. Current state is: passing
• kappa-library.4.1.3 on 4.14.2 is now installable. Current state is: passing
• kuznechik.0.1.1 on 4.14.2 is now installable. Current state is: passing
• kuznechik.0.1.1 on 5.2.0 is now installable. Current state is: passing
• ldp.0.3.0 on 4.14.2 is now installable. Current state is: passing
• ldp.0.3.0 on 5.2.0 is now installable. Current state is: passing
• ldp_curl.0.3.0 on 4.14.2 is now installable. Current state is: passing
• ldp_curl.0.3.0 on 5.2.0 is now installable. Current state is: passing
• ldp_js.0.3.0 on 4.14.2 is now installable. Current state is: passing
• ldp_js.0.3.0 on 5.2.0 is now installable. Current state is: passing
• ldp_tls.0.3.0 on 4.14.2 is now installable. Current state is: passing
• ldp_tls.0.3.0 on 5.2.0 is now installable. Current state is: passing
• ledgerwallet-tezos.0.4.1 on 4.14.2 is now installable. Current state is: passing
• ledgerwallet-tezos.0.4.1 on 5.2.0 is now installable. Current state is: passing
• ledgerwallet.0.4.1 on 4.14.2 is now installable. Current state is: passing
• ledgerwallet.0.4.1 on 5.2.0 is now installable. Current state is: passing
• libirmin.3.10.0 on 4.14.2 is now installable. Current state is: passing
• libirmin.3.10.0 on 5.2.0 is now installable. Current state is: passing
• liblinear.2.47 on 4.14.2 is now installable. Current state is: passing
• liblinear.2.47 on 5.2.0 is now installable. Current state is: passing
• libsvm_tools.3.35 on 4.14.2 is now installable. Current state is: passing
• libsvm_tools.3.35 on 5.2.0 is now installable. Current state is: passing
• linol-eio.0.7 on 5.2.0 is now installable. Current state is: passing
• linol-lwt.0.7 on 4.14.2 is now installable. Current state is: passing
• linol-lwt.0.7 on 5.2.0 is now installable. Current state is: passing
• linol.0.7 on 4.14.2 is now installable. Current state is: passing
• linol.0.7 on 5.2.0 is now installable. Current state is: passing
• liquidsoap-js.2.3.0 on 4.14.2 is now installable. Current state is: passing
• liquidsoap-js.2.3.0 on 5.2.0 is now installable. Current state is: passing
• liquidsoap-lang.2.3.0 on 4.14.2 is now installable. Current state is: passing
• liquidsoap-lang.2.3.0 on 5.2.0 is now installable. Current state is: passing
• liquidsoap-libs-extra.2.3.0 on 4.14.2 is now installable. Current state is: passing
• liquidsoap-libs-extra.2.3.0 on 5.2.0 is now installable. Current state is: passing
• liquidsoap-libs.2.3.0 on 4.14.2 is now installable. Current state is: passing
• liquidsoap-libs.2.3.0 on 5.2.0 is now installable. Current state is: passing
• loc.0.2.2 on 4.14.2 is now installable. Current state is: passing
• loc.0.2.2 on 5.2.0 is now installable. Current state is: passing
• lsp.1.20.1 on 4.14.2 is now installable. Current state is: passing
• lsp.1.20.1 on 5.2.0 is now installable. Current state is: passing
• lwt.5.9.0 on 4.14.2 is now installable. Current state is: passing
• lwt.5.9.0 on 5.2.0 is now installable. Current state is: passing
• lwt_ppx.5.8.0 on 4.14.2 is now installable. Current state is: passing
• lwt_ppx.5.8.0 on 5.2.0 is now installable. Current state is: passing
• lwt_retry.5.9.0 on 4.14.2 is now installable. Current state is: passing
• lwt_retry.5.9.0 on 5.2.0 is now installable. Current state is: passing
• magic.0.7.4 on 4.14.2 is now installable. Current state is: passing
• magic.0.7.4 on 5.2.0 is now installable. Current state is: passing
• malfunction.0.7 on 4.14.2 is now installable. Current state is: passing
• malfunction.0.7 on 5.2.0 is now installable. Current state is: passing
• mdx.2.5.0 on 4.14.2 is now installable. Current state is: passing
• mdx.2.5.0 on 5.2.0 is now installable. Current state is: passing
• memo.0.2 on 4.14.2 is now installable. Current state is: passing
• memo.0.2 on 5.2.0 is now installable. Current state is: passing
• merlin-extend.0.6.2 on 4.14.2 is now installable. Current state is: passing
• merlin-extend.0.6.2 on 5.2.0 is now installable. Current state is: passing
• merlin-lib.4.18-414 on 4.14.2 is now installable. Current state is: passing
• merlin-lib.5.3-502 on 5.2.0 is now installable. Current state is: passing
• merlin.4.18-414 on 4.14.2 is now installable. Current state is: passing
• merlin.5.3-502 on 5.2.0 is now installable. Current state is: passing
• mirage-runtime.4.8.2 on 4.14.2 is now installable. Current state is: passing
• mirage-runtime.4.8.2 on 5.2.0 is now installable. Current state is: passing
• mirage-solo5.0.9.4 on 4.14.2 is now installable. Current state is: passing
• mirage-solo5.0.9.4 on 5.2.0 is now installable. Current state is: passing
• mirage.4.8.2 on 4.14.2 is now installable. Current state is: passing
• mirage.4.8.2 on 5.2.0 is now installable. Current state is: passing
• mm.0.8.6 on 4.14.2 is now installable. Current state is: passing
• mm.0.8.6 on 5.2.0 is now installable. Current state is: passing
• monolith.20241126 on 4.14.2 is now installable. Current state is: passing
• monolith.20241126 on 5.2.0 is now installable. Current state is: passing
• moonpool-io.0.7 on 5.2.0 is now installable. Current state is: passing
• moonpool-lwt.0.7 on 5.2.0 is now installable. Current state is: passing
• moonpool.0.7 on 4.14.2 is now installable. Current state is: passing
• moonpool.0.7 on 5.2.0 is now installable. Current state is: passing
• mtime.2.1.0 on 4.14.2 is now installable. Current state is: passing
• mtime.2.1.0 on 5.2.0 is now installable. Current state is: passing
• multicore-bench.0.1.7 on 4.14.2 is now installable. Current state is: passing
• multicore-bench.0.1.7 on 5.2.0 is now installable. Current state is: passing
• mutaml.0.3 on 4.14.2 is now installable. Current state is: passing
• mutaml.0.3 on 5.2.0 is now installable. Current state is: passing
• obatcher.1.1 on 5.2.0 is now installable. Current state is: passing
• ocaml-index.1.1 on 5.2.0 is now installable. Current state is: passing
• ocaml-lsp-server.1.20.1 on 5.2.0 is now installable. Current state is: passing
• ocaml-lsp-server.1.20.1-4.14 on 4.14.2 is now installable. Current state is: passing
• ocaml-solo5.0.8.5 on 4.14.2 is now installable. Current state is: passing
• ocaml-version.3.7.1 on 4.14.2 is now installable. Current state is: passing
• ocaml-version.3.7.1 on 5.2.0 is now installable. Current state is: passing
• ocamlc-loc.3.17.0 on 4.14.2 is now installable. Current state is: passing
• ocamlc-loc.3.17.0 on 5.2.0 is now installable. Current state is: passing
• ocamleditor.1.16.0-ocaml414 on 4.14.2 is now installable. Current state is: passing
• ocamlformat-lib.0.27.0 on 4.14.2 is now installable. Current state is: passing
• ocamlformat-lib.0.27.0 on 5.2.0 is now installable. Current state is: passing
• ocamlformat-mlx-lib.0.26.2.0 on 4.14.2 is now installable. Current state is: passing
• ocamlformat-mlx-lib.0.26.2.0 on 5.2.0 is now installable. Current state is: passing
• ocamlformat-mlx.0.26.2.0 on 4.14.2 is now installable. Current state is: passing
• ocamlformat-mlx.0.26.2.0 on 5.2.0 is now installable. Current state is: passing
• ocamlformat-rpc-lib.0.27.0 on 4.14.2 is now installable. Current state is: passing
• ocamlformat-rpc-lib.0.27.0 on 5.2.0 is now installable. Current state is: passing
• ocamlformat.0.27.0 on 4.14.2 is now installable. Current state is: passing
• ocamlformat.0.27.0 on 5.2.0 is now installable. Current state is: passing
• ocamlregextkit.1.0.2 on 4.14.2 is now installable. Current state is: passing
• ocamlregextkit.1.0.2 on 5.2.0 is now installable. Current state is: passing
• ocannl_npy.0.4.1 on 5.2.0 is now installable. Current state is: passing
• ocf.0.9.0 on 4.14.2 is now installable. Current state is: passing
• ocf.0.9.0 on 5.2.0 is now installable. Current state is: passing
• ocf_ppx.0.9.0 on 4.14.2 is now installable. Current state is: passing
• ocf_ppx.0.9.0 on 5.2.0 is now installable. Current state is: passing
• ocsigen-start.7.1.0 on 4.14.2 is now installable. Current state is: passing
• ocsigen-start.7.1.0 on 5.2.0 is now installable. Current state is: passing
• ocsigen-toolkit.4.1.0 on 4.14.2 is now installable. Current state is: passing
• ocsigen-toolkit.4.1.0 on 5.2.0 is now installable. Current state is: passing
• octez-alcotezt.20.1 on 4.14.2 had its build status changed: internal failure to passing
• odoc-parser.2.4.4 on 4.14.2 is now installable. Current state is: passing
• odoc-parser.2.4.4 on 5.2.0 is now installable. Current state is: passing
• odoc.2.4.4 on 4.14.2 is now installable. Current state is: passing
• odoc.2.4.4 on 5.2.0 is now installable. Current state is: passing
• oepub.0.1.0 on 4.14.2 is now installable. Current state is: passing
• oepub.0.1.0 on 5.2.0 is now installable. Current state is: passing
• ojs.1.1.3 on 4.14.2 is now installable. Current state is: passing
• ojs.1.1.3 on 5.2.0 is now installable. Current state is: passing
• omake.0.10.7 on 4.14.2 is now installable. Current state is: passing
• omake.0.10.7 on 5.2.0 is now installable. Current state is: passing
• opam-0install.0.5 on 4.14.2 is now installable. Current state is: passing
• opam-0install.0.5 on 5.2.0 is now installable. Current state is: passing
• opam-check-npm-deps.3.0.1 on 4.14.2 is now installable. Current state is: passing
• opam-check-npm-deps.3.0.1 on 5.2.0 is now installable. Current state is: passing
• opam-client.2.3.0 on 4.14.2 is now installable. Current state is: passing
• opam-client.2.3.0 on 5.2.0 is now installable. Current state is: passing
• opam-core.2.3.0 on 4.14.2 is now installable. Current state is: passing
• opam-core.2.3.0 on 5.2.0 is now installable. Current state is: passing
• opam-devel.2.3.0 on 4.14.2 is now installable. Current state is: passing
• opam-devel.2.3.0 on 5.2.0 is now installable. Current state is: passing
• opam-file-format.2.2.0~alpha1 on 4.14.2 is now installable. Current state is: passing
• opam-file-format.2.2.0~alpha1 on 5.2.0 is now installable. Current state is: passing
• opam-format.2.3.0 on 4.14.2 is now installable. Current state is: passing
• opam-format.2.3.0 on 5.2.0 is now installable. Current state is: passing
• opam-installer.2.3.0 on 4.14.2 is now installable. Current state is: passing
• opam-installer.2.3.0 on 5.2.0 is now installable. Current state is: passing
• opam-publish.2.5.0 on 4.14.2 is now installable. Current state is: passing
• opam-publish.2.5.0 on 5.2.0 is now installable. Current state is: passing
• opam-repository.2.3.0 on 4.14.2 is now installable. Current state is: passing
• opam-repository.2.3.0 on 5.2.0 is now installable. Current state is: passing
• opam-solver.2.3.0 on 4.14.2 is now installable. Current state is: passing
• opam-solver.2.3.0 on 5.2.0 is now installable. Current state is: passing
• opam-state.2.3.0 on 4.14.2 is now installable. Current state is: passing
• opam-state.2.3.0 on 5.2.0 is now installable. Current state is: passing
• openapi-opium.1.0.1 on 4.14.2 is now installable. Current state is: passing
• openapi-opium.1.0.1 on 5.2.0 is now installable. Current state is: passing
• openapi.1.0.1 on 4.14.2 is now installable. Current state is: passing
• openapi.1.0.1 on 5.2.0 is now installable. Current state is: passing
• openbsd.1.0 on 4.14.2 is now installable. Current state is: passing
• openbsd.1.0 on 5.2.0 is now installable. Current state is: passing
• opentelemetry-cohttp-lwt.0.10 on 4.14.2 had its build status changed: failing to passing
• opentelemetry-cohttp-lwt.0.10 on 5.2.0 had its build status changed: failing to passing
• orb.1.0.0 on 4.14.2 is now installable. Current state is: passing
• orb.1.0.0 on 5.2.0 is now installable. Current state is: passing
• ordering.3.17.0 on 4.14.2 is now installable. Current state is: passing
• ordering.3.17.0 on 5.2.0 is now installable. Current state is: passing
• ortac-core.0.4.0 on 4.14.2 is now installable. Current state is: passing
• ortac-core.0.4.0 on 5.2.0 is now installable. Current state is: passing
• ortac-dune.0.4.0 on 4.14.2 is now installable. Current state is: passing
• ortac-dune.0.4.0 on 5.2.0 is now installable. Current state is: passing
• ortac-qcheck-stm.0.4.0 on 4.14.2 is now installable. Current state is: passing
• ortac-qcheck-stm.0.4.0 on 5.2.0 is now installable. Current state is: passing
• ortac-runtime-qcheck-stm.0.4.0 on 4.14.2 is now installable. Current state is: passing
• ortac-runtime-qcheck-stm.0.4.0 on 5.2.0 is now installable. Current state is: passing
• ortac-runtime.0.4.0 on 4.14.2 is now installable. Current state is: passing
• ortac-runtime.0.4.0 on 5.2.0 is now installable. Current state is: passing
• otr.1.0.0 on 4.14.2 is now installable. Current state is: passing
• otr.1.0.0 on 5.2.0 is now installable. Current state is: passing
• pa_ppx_regexp.0.03 on 4.14.2 is now installable. Current state is: passing
• pa_ppx_regexp.0.03 on 5.2.0 is now installable. Current state is: passing
• piaf.0.2.0 on 5.2.0 is now installable. Current state is: passing
• picos.0.6.0 on 4.14.2 is now installable. Current state is: passing
• picos.0.6.0 on 5.2.0 is now installable. Current state is: passing
• picos_aux.0.6.0 on 4.14.2 is now installable. Current state is: passing
• picos_aux.0.6.0 on 5.2.0 is now installable. Current state is: passing
• picos_io.0.6.0 on 4.14.2 is now installable. Current state is: passing
• picos_io.0.6.0 on 5.2.0 is now installable. Current state is: passing
• picos_io_cohttp.0.6.0 on 4.14.2 is now installable. Current state is: passing
• picos_io_cohttp.0.6.0 on 5.2.0 is now installable. Current state is: passing
• picos_lwt.0.6.0 on 4.14.2 is now installable. Current state is: passing
• picos_lwt.0.6.0 on 5.2.0 is now installable. Current state is: passing
• picos_meta.0.6.0 on 4.14.2 is now installable. Current state is: passing
• picos_meta.0.6.0 on 5.2.0 is now installable. Current state is: passing
• picos_mux.0.6.0 on 4.14.2 is now installable. Current state is: passing
• picos_mux.0.6.0 on 5.2.0 is now installable. Current state is: passing
• picos_std.0.6.0 on 4.14.2 is now installable. Current state is: passing
• picos_std.0.6.0 on 5.2.0 is now installable. Current state is: passing
• pomap.4.1.2 on 4.14.2 is now installable. Current state is: passing
• pomap.4.1.2 on 5.2.0 is now installable. Current state is: passing
• postgresql.5.1.3 on 4.14.2 is now installable. Current state is: passing
• postgresql.5.1.3 on 5.2.0 is now installable. Current state is: passing
• pp.2.0.0 on 4.14.2 is now installable. Current state is: passing
• pp.2.0.0 on 5.2.0 is now installable. Current state is: passing
• ppx_deriving.6.0.3 on 4.14.2 is now installable. Current state is: passing
• ppx_deriving.6.0.3 on 5.2.0 is now installable. Current state is: passing
• ppx_deriving_decoders.0.2 on 4.14.2 is now installable. Current state is: passing
• ppx_deriving_decoders.0.2 on 5.2.0 is now installable. Current state is: passing
• ppx_deriving_encoding.0.4.0 on 4.14.2 is now installable. Current state is: passing
• ppx_deriving_encoding.0.4.0 on 5.2.0 is now installable. Current state is: passing
• ppx_deriving_ezjsonm.0.4.0 on 4.14.2 is now installable. Current state is: passing
• ppx_deriving_ezjsonm.0.4.0 on 5.2.0 is now installable. Current state is: passing
• ppx_deriving_json_schema.1.0.1 on 4.14.2 is now installable. Current state is: passing
• ppx_deriving_json_schema.1.0.1 on 5.2.0 is now installable. Current state is: passing
• ppx_deriving_jsonschema.0.0.3 on 4.14.2 is now installable. Current state is: passing
• ppx_deriving_jsonschema.0.0.3 on 5.2.0 is now installable. Current state is: passing
• ppx_deriving_qcheck.0.5 on 4.14.2 is now installable. Current state is: passing
• ppx_deriving_qcheck.0.5 on 5.2.0 is now installable. Current state is: passing
• ppx_deriving_yaml.0.4.0 on 4.14.2 is now installable. Current state is: passing
• ppx_deriving_yaml.0.4.0 on 5.2.0 is now installable. Current state is: passing
• ppx_expect.v0.16.1 on 4.14.2 is now installable. Current state is: passing
• ppx_expect.v0.16.1 on 5.2.0 is now installable. Current state is: passing
• ppx_expect.v0.17.2 on 5.2.0 is now installable. Current state is: passing
• ppx_irmin.3.10.0 on 4.14.2 is now installable. Current state is: passing
• ppx_irmin.3.10.0 on 5.2.0 is now installable. Current state is: passing
• ppx_minidebug.2.0.2 on 4.14.2 is now installable. Current state is: passing
• ppx_minidebug.2.0.2 on 5.2.0 is now installable. Current state is: passing
• ppx_parser.0.2.0 on 4.14.2 is now installable. Current state is: passing
• ppx_parser.0.2.0 on 5.2.0 is now installable. Current state is: passing
• ppx_trace.0.8 on 4.14.2 is now installable. Current state is: passing
• ppx_trace.0.8 on 5.2.0 is now installable. Current state is: passing
• ppxlib.0.33.1~5.3preview on 4.14.2 is now installable. Current state is: passing
• ppxlib.0.33.1~5.3preview on 5.2.0 is now installable. Current state is: passing
• pratter.4.0.0 on 4.14.2 is now installable. Current state is: passing
• pratter.4.0.0 on 5.2.0 is now installable. Current state is: passing
• printbox-ext-plot.0.12 on 4.14.2 is now installable. Current state is: passing
• printbox-ext-plot.0.12 on 5.2.0 is now installable. Current state is: passing
• printbox-html.0.12 on 4.14.2 is now installable. Current state is: passing
• printbox-html.0.12 on 5.2.0 is now installable. Current state is: passing
• printbox-md.0.12 on 4.14.2 is now installable. Current state is: passing
• printbox-md.0.12 on 5.2.0 is now installable. Current state is: passing
• printbox-text.0.12 on 4.14.2 is now installable. Current state is: passing
• printbox-text.0.12 on 5.2.0 is now installable. Current state is: passing
• printbox.0.12 on 4.14.2 is now installable. Current state is: passing
• printbox.0.12 on 5.2.0 is now installable. Current state is: passing
• provider.0.0.11 on 4.14.2 is now installable. Current state is: passing
• provider.0.0.11 on 5.2.0 is now installable. Current state is: passing
• ptime.1.2.0 on 4.14.2 is now installable. Current state is: passing
• ptime.1.2.0 on 5.2.0 is now installable. Current state is: passing
• pure-html.3.8.0 on 4.14.2 is now installable. Current state is: passing
• pure-html.3.8.0 on 5.2.0 is now installable. Current state is: passing
• qcheck-alcotest.0.23 on 4.14.2 is now installable. Current state is: passing
• qcheck-alcotest.0.23 on 5.2.0 is now installable. Current state is: passing
• qcheck-core.0.23 on 4.14.2 is now installable. Current state is: passing
• qcheck-core.0.23 on 5.2.0 is now installable. Current state is: passing
• qcheck-lin.0.5 on 4.14.2 is now installable. Current state is: passing
• qcheck-lin.0.5 on 5.2.0 is now installable. Current state is: passing
• qcheck-multicoretests-util.0.5 on 4.14.2 is now installable. Current state is: passing
• qcheck-multicoretests-util.0.5 on 5.2.0 is now installable. Current state is: passing
• qcheck-ounit.0.23 on 4.14.2 is now installable. Current state is: passing
• qcheck-ounit.0.23 on 5.2.0 is now installable. Current state is: passing
• qcheck-stm.0.5 on 4.14.2 is now installable. Current state is: passing
• qcheck-stm.0.5 on 5.2.0 is now installable. Current state is: passing
• qcheck.0.23 on 4.14.2 is now installable. Current state is: passing
• qcheck.0.23 on 5.2.0 is now installable. Current state is: passing
• qrc.0.2.0 on 4.14.2 is now installable. Current state is: passing
• qrc.0.2.0 on 5.2.0 is now installable. Current state is: passing
• reason.3.14.0 on 4.14.2 is now installable. Current state is: passing
• reason.3.14.0 on 5.2.0 is now installable. Current state is: passing
• received.0.11.0 on 4.14.2 is now installable. Current state is: passing
• received.0.11.0 on 5.2.0 is now installable. Current state is: passing
• red-black-tree.1.0.5 on 4.14.2 is now installable. Current state is: passing
• red-black-tree.1.0.5 on 5.2.0 is now installable. Current state is: passing
• res.5.0.2 on 4.14.2 is now installable. Current state is: passing
• res.5.0.2 on 5.2.0 is now installable. Current state is: passing
• river.0.4 on 4.14.2 is now installable. Current state is: passing
• river.0.4 on 5.2.0 is now installable. Current state is: passing
• rml.1.09.07 on 4.14.2 had its build status changed: internal failure to passing
• rpmfile-cli.0.4.0 on 5.2.0 is now installable. Current state is: passing
• rpmfile-eio.0.5.0 on 5.2.0 is now installable. Current state is: passing
• rpmfile-unix.0.5.0 on 4.14.2 is now installable. Current state is: passing
• rpmfile-unix.0.5.0 on 5.2.0 is now installable. Current state is: passing
• rpmfile.0.5.0 on 4.14.2 is now installable. Current state is: passing
• rpmfile.0.5.0 on 5.2.0 is now installable. Current state is: passing
• rtop.3.14.0 on 4.14.2 is now installable. Current state is: passing
• rtop.3.14.0 on 5.2.0 is now installable. Current state is: passing
• rust-staticlib-gen.0.2.2 on 4.14.2 is now installable. Current state is: passing
• rust-staticlib-gen.0.2.2 on 5.2.0 is now installable. Current state is: passing
• rust-staticlib-virtual.0.2.2 on 4.14.2 is now installable. Current state is: passing
• rust-staticlib-virtual.0.2.2 on 5.2.0 is now installable. Current state is: passing
• saturn.1.0.0 on 4.14.2 is now installable. Current state is: passing
• saturn.1.0.0 on 5.2.0 is now installable. Current state is: passing
• scfg.0.3 on 4.14.2 is now installable. Current state is: passing
• scfg.0.3 on 5.2.0 is now installable. Current state is: passing
• sedlex.3.3 on 4.14.2 is now installable. Current state is: passing
• sedlex.3.3 on 5.2.0 is now installable. Current state is: passing
• sel.0.5.0 on 4.14.2 is now installable. Current state is: passing
• sel.0.5.0 on 5.2.0 is now installable. Current state is: passing
• semaphore-compat.1.0.2 on 4.14.2 is now installable. Current state is: passing
• semaphore-compat.1.0.2 on 5.2.0 is now installable. Current state is: passing
• sendmail-lwt.0.11.0 on 4.14.2 is now installable. Current state is: passing
• sendmail-lwt.0.11.0 on 5.2.0 is now installable. Current state is: passing
• sendmail-miou-unix.0.11.0 on 5.2.0 is now installable. Current state is: passing
• sendmail-mirage.0.11.0 on 4.14.2 is now installable. Current state is: passing
• sendmail-mirage.0.11.0 on 5.2.0 is now installable. Current state is: passing
• sendmail.0.11.0 on 4.14.2 is now installable. Current state is: passing
• sendmail.0.11.0 on 5.2.0 is now installable. Current state is: passing
• serial.0.1.0 on 4.14.2 is now installable. Current state is: passing
• serial.0.1.0 on 5.2.0 is now installable. Current state is: passing
• sexps-rewriter.0.0.3 on 5.2.0 is now installable. Current state is: passing
• slipshow.0.0.33 on 4.14.2 is now installable. Current state is: passing
• slipshow.0.0.33 on 5.2.0 is now installable. Current state is: passing
• smaws-clients.0.1~preview1 on 5.2.0 is now installable. Current state is: passing
• smaws-lib.0.1~preview1 on 5.2.0 is now installable. Current state is: passing
• smtml.0.4.1 on 4.14.2 is now installable. Current state is: passing
• smtml.0.4.1 on 5.2.0 is now installable. Current state is: passing
• snoke.0.3 on 5.2.0 had its build status changed: not available to passing
• solid.0.3.0 on 4.14.2 is now installable. Current state is: passing
• solid.0.3.0 on 5.2.0 is now installable. Current state is: passing
• solid_server.0.3.0 on 4.14.2 is now installable. Current state is: passing
• solid_server.0.3.0 on 5.2.0 is now installable. Current state is: passing
• solid_tools.0.3.0 on 4.14.2 is now installable. Current state is: passing
• solid_tools.0.3.0 on 5.2.0 is now installable. Current state is: passing
• solo5.0.9.0 on 4.14.2 is now installable. Current state is: passing
• solo5.0.9.0 on 5.2.0 is now installable. Current state is: passing
• srt.0.3.1 on 4.14.2 is now installable. Current state is: passing
• srt.0.3.1 on 5.2.0 is now installable. Current state is: passing
• stdune.3.17.0 on 4.14.2 is now installable. Current state is: passing
• stdune.3.17.0 on 5.2.0 is now installable. Current state is: passing
• stk.0.3.0 on 5.2.0 is now installable. Current state is: passing
• stk_iconv.0.3.0 on 4.14.2 is now installable. Current state is: passing
• stk_iconv.0.3.0 on 5.2.0 is now installable. Current state is: passing
• stk_ocf.0.3.0 on 5.2.0 is now installable. Current state is: passing
• stk_ppx.0.3.0 on 5.2.0 is now installable. Current state is: passing
• stk_rdf.0.3.0 on 5.2.0 is now installable. Current state is: passing
• swapfs.0.1.0 on 4.14.2 is now installable. Current state is: passing
• swapfs.0.1.0 on 5.2.0 is now installable. Current state is: passing
• tar-eio.3.1.2 on 5.2.0 is now installable. Current state is: passing
• tar-mirage.3.1.2 on 4.14.2 is now installable. Current state is: passing
• tar-mirage.3.1.2 on 5.2.0 is now installable. Current state is: passing
• tar-unix.3.1.2 on 4.14.2 is now installable. Current state is: passing
• tar-unix.3.1.2 on 5.2.0 is now installable. Current state is: passing
• tar.3.1.2 on 4.14.2 is now installable. Current state is: passing
• tar.3.1.2 on 5.2.0 is now installable. Current state is: passing
• term-tools.0.0.2 on 4.14.2 is now installable. Current state is: passing
• term-tools.0.0.2 on 5.2.0 is now installable. Current state is: passing
• testo-diff.0.1.0 on 4.14.2 is now installable. Current state is: passing
• testo-diff.0.1.0 on 5.2.0 is now installable. Current state is: passing
• testo-lwt.0.1.0 on 4.14.2 is now installable. Current state is: passing
• testo-lwt.0.1.0 on 5.2.0 is now installable. Current state is: passing
• testo-util.0.1.0 on 4.14.2 is now installable. Current state is: passing
• testo-util.0.1.0 on 5.2.0 is now installable. Current state is: passing
• testo.0.1.0 on 4.14.2 is now installable. Current state is: passing
• testo.0.1.0 on 5.2.0 is now installable. Current state is: passing
• tezt-bam.0.3 on 4.14.2 is now installable. Current state is: passing
• tezt-bam.0.3 on 5.2.0 is now installable. Current state is: passing
• theora.0.4.1 on 4.14.2 is now installable. Current state is: passing
• theora.0.4.1 on 5.2.0 is now installable. Current state is: passing
• timmy-jsoo.1.1.5 on 4.14.2 is now installable. Current state is: passing
• timmy-jsoo.1.1.5 on 5.2.0 is now installable. Current state is: passing
• timmy-lwt.1.1.5 on 4.14.2 is now installable. Current state is: passing
• timmy-lwt.1.1.5 on 5.2.0 is now installable. Current state is: passing
• timmy-unix.1.1.5 on 4.14.2 is now installable. Current state is: passing
• timmy-unix.1.1.5 on 5.2.0 is now installable. Current state is: passing
• timmy.1.1.5 on 4.14.2 is now installable. Current state is: passing
• timmy.1.1.5 on 5.2.0 is now installable. Current state is: passing
• tls-eio.1.0.4 on 5.2.0 is now installable. Current state is: passing
• tls-lwt.1.0.4 on 4.14.2 is now installable. Current state is: passing
• tls-lwt.1.0.4 on 5.2.0 is now installable. Current state is: passing
• tls-miou-unix.1.0.4 on 5.2.0 is now installable. Current state is: passing
• tls-mirage.1.0.4 on 4.14.2 is now installable. Current state is: passing
• tls-mirage.1.0.4 on 5.2.0 is now installable. Current state is: passing
• tls.1.0.4 on 4.14.2 is now installable. Current state is: passing
• tls.1.0.4 on 5.2.0 is now installable. Current state is: passing
• topiary.0.5.1 on 4.14.2 is now installable. Current state is: passing
• topiary.0.5.1 on 5.2.0 is now installable. Current state is: passing
• trace-fuchsia.0.8 on 4.14.2 is now installable. Current state is: passing
• trace-fuchsia.0.8 on 5.2.0 is now installable. Current state is: passing
• trace-tef.0.8 on 4.14.2 is now installable. Current state is: passing
• trace-tef.0.8 on 5.2.0 is now installable. Current state is: passing
• trace.0.8 on 4.14.2 is now installable. Current state is: passing
• trace.0.8 on 5.2.0 is now installable. Current state is: passing
• tracy-client.0.5.1 on 4.14.2 is now installable. Current state is: passing
• tracy-client.0.5.1 on 5.2.0 is now installable. Current state is: passing
• trs.1.0.0 on 4.14.2 is now installable. Current state is: passing
• trs.1.0.0 on 5.2.0 is now installable. Current state is: passing
• tsdl.1.1.0 on 4.14.2 is now installable. Current state is: passing
• tsdl.1.1.0 on 5.2.0 is now installable. Current state is: passing
• typerep.v0.17.1 on 5.2.0 is now installable. Current state is: passing
• unison-gui.2.53.7 on 4.14.2 is now installable. Current state is: passing
• unison-gui.2.53.7 on 5.2.0 is now installable. Current state is: passing
• unison.2.53.7 on 4.14.2 is now installable. Current state is: passing
• unison.2.53.7 on 5.2.0 is now installable. Current state is: passing
• uspf-lwt.0.0.4 on 4.14.2 is now installable. Current state is: passing
• uspf-lwt.0.0.4 on 5.2.0 is now installable. Current state is: passing
• uspf-mirage.0.0.4 on 4.14.2 is now installable. Current state is: passing
• uspf-mirage.0.0.4 on 5.2.0 is now installable. Current state is: passing
• uspf-unix.0.0.4 on 4.14.2 is now installable. Current state is: passing
• uspf-unix.0.0.4 on 5.2.0 is now installable. Current state is: passing
• uspf.0.0.4 on 4.14.2 is now installable. Current state is: passing
• uspf.0.0.4 on 5.2.0 is now installable. Current state is: passing
• utop.2.15.0 on 4.14.2 is now installable. Current state is: passing
• utop.2.15.0 on 5.2.0 is now installable. Current state is: passing
• uucd.16.0.0 on 4.14.2 is now installable. Current state is: passing
• uucd.16.0.0 on 5.2.0 is now installable. Current state is: passing
• uucp.16.0.0 on 4.14.2 is now installable. Current state is: passing
• uucp.16.0.0 on 5.2.0 is now installable. Current state is: passing
• uuidm.0.9.9 on 4.14.2 is now installable. Current state is: passing
• uuidm.0.9.9 on 5.2.0 is now installable. Current state is: passing
• uunf.16.0.0 on 4.14.2 is now installable. Current state is: passing
• uunf.16.0.0 on 5.2.0 is now installable. Current state is: passing
• uuseg.16.0.0 on 4.14.2 is now installable. Current state is: passing
• uuseg.16.0.0 on 5.2.0 is now installable. Current state is: passing
• vscoq-language-server.2.2.1 on 4.14.2 is now installable. Current state is: passing
• vscoq-language-server.2.2.1 on 5.2.0 is now installable. Current state is: passing
• webauthn.0.2.0 on 4.14.2 is now installable. Current state is: passing
• webauthn.0.2.0 on 5.2.0 is now installable. Current state is: passing
• websocket-lwt-unix.2.17 on 4.14.2 is now installable. Current state is: passing
• websocket-lwt-unix.2.17 on 5.2.0 is now installable. Current state is: passing
• websocket.2.17 on 4.14.2 is now installable. Current state is: passing
• websocket.2.17 on 5.2.0 is now installable. Current state is: passing
• why3-coq.1.8.0 on 4.14.2 is now installable. Current state is: passing
• why3-coq.1.8.0 on 5.2.0 is now installable. Current state is: passing
• why3-ide.1.8.0 on 4.14.2 is now installable. Current state is: passing
• why3-ide.1.8.0 on 5.2.0 is now installable. Current state is: passing
• why3.1.8.0 on 4.14.2 is now installable. Current state is: passing
• why3.1.8.0 on 5.2.0 is now installable. Current state is: passing
• x509.1.0.5 on 4.14.2 is now installable. Current state is: passing
• x509.1.0.5 on 5.2.0 is now installable. Current state is: passing
• xdg.3.17.0 on 4.14.2 is now installable. Current state is: passing
• xdg.3.17.0 on 5.2.0 is now installable. Current state is: passing
• xlsx2csv.0.1.2 on 4.14.2 is now installable. Current state is: passing
• xlsx2csv.0.1.2 on 5.2.0 is now installable. Current state is: passing
• yocaml.2.1.0 on 5.2.0 is now installable. Current state is: passing
• yocaml_cmarkit.2.1.0 on 5.2.0 is now installable. Current state is: passing
• yocaml_eio.2.1.0 on 5.2.0 is now installable. Current state is: passing
• yocaml_git.2.1.0 on 5.2.0 is now installable. Current state is: passing
• yocaml_jingoo.2.1.0 on 5.2.0 is now installable. Current state is: passing
• yocaml_mustache.2.1.0 on 5.2.0 is now installable. Current state is: passing
• yocaml_omd.2.1.0 on 5.2.0 is now installable. Current state is: passing
• yocaml_otoml.2.1.0 on 5.2.0 is now installable. Current state is: passing
• yocaml_runtime.2.1.0 on 5.2.0 is now installable. Current state is: passing
• yocaml_syndication.2.1.0 on 5.2.0 is now installable. Current state is: passing
• yocaml_unix.2.1.0 on 5.2.0 is now installable. Current state is: passing
• yocaml_yaml.2.1.0 on 5.2.0 is now installable. Current state is: passing
• yosqlite.0.2 on 5.2.0 is now installable. Current state is: passing
• z3.4.13.3 on 4.14.2 is now installable. Current state is: passing
• z3.4.13.3 on 5.2.0 is now installable. Current state is: passing
• zarr-eio.0.1.0 on 5.2.0 is now installable. Current state is: passing
• zarr-lwt.0.1.0 on 4.14.2 is now installable. Current state is: passing
• zarr-lwt.0.1.0 on 5.2.0 is now installable. Current state is: passing
• zarr-sync.0.1.0 on 4.14.2 is now installable. Current state is: passing
• zarr-sync.0.1.0 on 5.2.0 is now installable. Current state is: passing
• zarr.0.1.0 on 4.14.2 is now installable. Current state is: passing
• zarr.0.1.0 on 5.2.0 is now installable. Current state is: passing