Home|Differences with the last checks|Previous runs

Differences between 0b0de1c and f089d85 (git diff)

Packages now failing:

• antic.0.3.2 on 4.14.1 had its build status changed: partially failing to failing
• antic.0.3.2 on 5.1.0 had its build status changed: partially failing to failing
• arb.0.3.2 on 4.14.1 had its build status changed: partially failing to failing
• arb.0.3.2 on 5.1.0 had its build status changed: partially failing to failing
• argon2.1.0.2 on 4.14.1 is now installable. Current state is: failing
• argon2.1.0.2 on 5.1.0 is now installable. Current state is: failing
• cubicle.1.2.0 on 4.14.1 had its build status changed: passing to failing
• dssi.0.1.5 on 4.14.1 is now installable. Current state is: failing
• dssi.0.1.5 on 5.1.0 is now installable. Current state is: failing
• fm-simplex-plugin.1.30 on 4.14.1 had its build status changed: partially failing to failing
• frama-clang.0.0.15 on 4.14.1 is now installable. Current state is: failing
• frama-clang.0.0.15 on 5.1.0 is now installable. Current state is: failing
• glfw-ocaml.3.3.1-2 on 4.14.1 had its build status changed: partially failing to failing
• glfw-ocaml.3.3.1-2 on 5.1.0 had its build status changed: partially failing to failing
• guile.1.0 on 4.14.1 had its build status changed: internal failure to failing
• guile.1.0 on 5.1.0 had its build status changed: internal failure to failing
• lbvs_consent.2.1.2 on 4.14.1 had its build status changed: internal failure to failing
• lbvs_consent.2.2.0 on 5.1.0 had its build status changed: internal failure to failing
• lp-glpk.0.4.0 on 4.14.1 had its build status changed: partially failing to failing
• lp-glpk.0.4.0 on 5.1.0 had its build status changed: partially failing to failing
• mosquitto.0.2.1-0 on 4.14.1 had its build status changed: partially failing to failing
• multicont.1.0.2 on 5.1.0 had its build status changed: passing to failing
• ocamlfuse.2.7.1-cvs10 on 4.14.1 had its build status changed: partially failing to failing
• ocamlfuse.2.7.1-cvs10 on 5.1.0 had its build status changed: partially failing to failing
• opentelemetry-cohttp-lwt.0.9 on 4.14.1 is now installable. Current state is: failing
• opentelemetry-cohttp-lwt.0.9 on 5.1.0 is now installable. Current state is: failing
• oranger.4.3.5 on 4.14.1 had its build status changed: internal failure to failing
• oranger.4.3.5 on 5.1.0 had its build status changed: internal failure to failing
• pari-bindings.0.1 on 4.14.1 had its build status changed: passing to failing
• pari-bindings.0.1 on 5.1.0 had its build status changed: passing to failing

Packages now partially failing:

• octez-accuser-PtNairob.19.1 on 4.14.1 had its build status changed: internal failure to partially failing
• pari.0.1 on 4.14.1 had its build status changed: passing to partially failing
• pari.0.1 on 5.1.0 had its build status changed: passing to partially failing
• profiler-plugin.1.30 on 4.14.1 had its build status changed: passing to partially failing
• rankers.2.0.7 on 4.14.1 had its build status changed: internal failure to partially failing
• rankers.2.0.7 on 5.1.0 had its build status changed: internal failure to partially failing
• rankers.2.0.9 on 5.1.0 had its build status changed: internal failure to partially failing
• svmwrap.5.0.0 on 4.14.1 had its build status changed: internal failure to partially failing
• svmwrap.5.1.1 on 5.1.0 had its build status changed: internal failure to partially failing
• tezos-baking-017-PtNairob.17.3 on 4.14.1 had its build status changed: internal failure to partially failing

Packages now not available:

• alt-ergo-lib.2.5.2 on 4.14.1 is not available anymore. Previous state was: passing
• alt-ergo-lib.2.5.2 on 5.1.0 is not available anymore. Previous state was: passing
• alt-ergo-parsers.2.5.2 on 4.14.1 is not available anymore. Previous state was: passing
• alt-ergo-parsers.2.5.2 on 5.1.0 is not available anymore. Previous state was: passing
• alt-ergo-plugin-ab-why3.2.5.2 on 4.14.1 is not available anymore. Previous state was: passing
• alt-ergo-plugin-ab-why3.2.5.2 on 5.1.0 is not available anymore. Previous state was: passing
• alt-ergo.2.5.2 on 4.14.1 is not available anymore. Previous state was: passing
• alt-ergo.2.5.2 on 5.1.0 is not available anymore. Previous state was: passing
• argon2.1.0.1 on 4.14.1 is not available anymore. Previous state was: passing
• argon2.1.0.1 on 5.1.0 is not available anymore. Previous state was: passing
• azure-cosmos-db.0.2.3 on 4.14.1 is not available anymore. Previous state was: passing
• azure-cosmos-db.0.2.3 on 5.1.0 is not available anymore. Previous state was: passing
• bnfgen.3.0.0 on 4.14.1 is not available anymore. Previous state was: passing
• bnfgen.3.0.0 on 5.1.0 is not available anymore. Previous state was: passing
• bst.7.0.1 on 4.14.1 is not available anymore. Previous state was: passing
• bst.7.0.1 on 5.1.0 is not available anymore. Previous state was: passing
• camlbz2.0.7.0 on 4.14.1 is not available anymore. Previous state was: passing
• chrome-trace.3.14.2 on 4.14.1 is not available anymore. Previous state was: passing
• chrome-trace.3.14.2 on 5.1.0 is not available anymore. Previous state was: passing
• coccinelle.1.1.1 on 4.14.1 is not available anymore. Previous state was: passing
• conf-bluetooth.1 on 4.14.1 is not available anymore. Previous state was: failing
• conf-bluetooth.1 on 5.1.0 is not available anymore. Previous state was: failing
• coq-serapi.8.19.0+0.19.1 on 4.14.1 is not available anymore. Previous state was: passing
• coq-serapi.8.19.0+0.19.1 on 5.1.0 is not available anymore. Previous state was: passing
• data-encoding.1.0.0 on 4.14.1 is not available anymore. Previous state was: passing
• data-encoding.1.0.0 on 5.1.0 is not available anymore. Previous state was: passing
• down.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
• down.0.1.0 on 5.1.0 is not available anymore. Previous state was: passing
• dream-html.3.2.0 on 4.14.1 is not available anymore. Previous state was: passing
• dream-html.3.2.0 on 5.1.0 is not available anymore. Previous state was: passing
• dssi.0.1.2 on 4.14.1 is not available anymore. Previous state was: partially failing
• dssi.0.1.2 on 5.1.0 is not available anymore. Previous state was: partially failing
• dune-action-plugin.3.14.2 on 4.14.1 is not available anymore. Previous state was: passing
• dune-action-plugin.3.14.2 on 5.1.0 is not available anymore. Previous state was: passing
• dune-build-info.3.14.2 on 4.14.1 is not available anymore. Previous state was: passing
• dune-build-info.3.14.2 on 5.1.0 is not available anymore. Previous state was: passing
• dune-configurator.3.14.2 on 4.14.1 is not available anymore. Previous state was: passing
• dune-configurator.3.14.2 on 5.1.0 is not available anymore. Previous state was: passing
• dune-glob.3.14.2 on 4.14.1 is not available anymore. Previous state was: passing
• dune-glob.3.14.2 on 5.1.0 is not available anymore. Previous state was: passing
• dune-private-libs.3.14.2 on 4.14.1 is not available anymore. Previous state was: passing
• dune-private-libs.3.14.2 on 5.1.0 is not available anymore. Previous state was: passing
• dune-rpc-lwt.3.14.2 on 4.14.1 is not available anymore. Previous state was: passing
• dune-rpc-lwt.3.14.2 on 5.1.0 is not available anymore. Previous state was: passing
• dune-rpc.3.14.2 on 4.14.1 is not available anymore. Previous state was: passing
• dune-rpc.3.14.2 on 5.1.0 is not available anymore. Previous state was: passing
• dune-site.3.14.2 on 4.14.1 is not available anymore. Previous state was: passing
• dune-site.3.14.2 on 5.1.0 is not available anymore. Previous state was: passing
• dune.3.14.2 on 4.14.1 is not available anymore. Previous state was: passing
• dune.3.14.2 on 5.1.0 is not available anymore. Previous state was: passing
• dyn.3.14.2 on 4.14.1 is not available anymore. Previous state was: passing
• dyn.3.14.2 on 5.1.0 is not available anymore. Previous state was: passing
• eliom.10.3.1 on 4.14.1 is not available anymore. Previous state was: passing
• eliom.10.3.1 on 5.1.0 is not available anymore. Previous state was: passing
• ffmpeg-av.1.1.10 on 4.14.1 is not available anymore. Previous state was: passing
• ffmpeg-av.1.1.10 on 5.1.0 is not available anymore. Previous state was: passing
• ffmpeg-avcodec.1.1.10 on 4.14.1 is not available anymore. Previous state was: passing
• ffmpeg-avcodec.1.1.10 on 5.1.0 is not available anymore. Previous state was: passing
• ffmpeg-avdevice.1.1.10 on 4.14.1 is not available anymore. Previous state was: passing
• ffmpeg-avdevice.1.1.10 on 5.1.0 is not available anymore. Previous state was: passing
• ffmpeg-avfilter.1.1.10 on 4.14.1 is not available anymore. Previous state was: passing
• ffmpeg-avfilter.1.1.10 on 5.1.0 is not available anymore. Previous state was: passing
• ffmpeg-avutil.1.1.10 on 4.14.1 is not available anymore. Previous state was: passing
• ffmpeg-avutil.1.1.10 on 5.1.0 is not available anymore. Previous state was: passing
• ffmpeg-swresample.1.1.10 on 4.14.1 is not available anymore. Previous state was: passing
• ffmpeg-swresample.1.1.10 on 5.1.0 is not available anymore. Previous state was: passing
• ffmpeg-swscale.1.1.10 on 4.14.1 is not available anymore. Previous state was: passing
• ffmpeg-swscale.1.1.10 on 5.1.0 is not available anymore. Previous state was: passing
• ffmpeg.1.1.10 on 4.14.1 is not available anymore. Previous state was: passing
• ffmpeg.1.1.10 on 5.1.0 is not available anymore. Previous state was: passing
• forester.3.1.0 on 5.1.0 is not available anymore. Previous state was: passing
• frama-clang.0.0.14 on 4.14.1 is not available anymore. Previous state was: partially failing
• frama-clang.0.0.14 on 5.1.0 is not available anymore. Previous state was: partially failing
• gospel.0.2.0 on 4.14.1 is not available anymore. Previous state was: passing
• gospel.0.2.0 on 5.1.0 is not available anymore. Previous state was: passing
• iostream-camlzip.0.2 on 4.14.1 is not available anymore. Previous state was: passing
• iostream-camlzip.0.2 on 5.1.0 is not available anymore. Previous state was: passing
• iostream.0.2 on 4.14.1 is not available anymore. Previous state was: passing
• iostream.0.2 on 5.1.0 is not available anymore. Previous state was: passing
• js_of_ocaml-compiler.5.7.1 on 4.14.1 is not available anymore. Previous state was: passing
• js_of_ocaml-compiler.5.7.1 on 5.1.0 is not available anymore. Previous state was: passing
• js_of_ocaml-lwt.5.7.1 on 4.14.1 is not available anymore. Previous state was: passing
• js_of_ocaml-lwt.5.7.1 on 5.1.0 is not available anymore. Previous state was: passing
• js_of_ocaml-ppx.5.7.1 on 4.14.1 is not available anymore. Previous state was: passing
• js_of_ocaml-ppx.5.7.1 on 5.1.0 is not available anymore. Previous state was: passing
• js_of_ocaml-ppx_deriving_json.5.7.1 on 4.14.1 is not available anymore. Previous state was: passing
• js_of_ocaml-ppx_deriving_json.5.7.1 on 5.1.0 is not available anymore. Previous state was: passing
• js_of_ocaml-toplevel.5.7.1 on 4.14.1 is not available anymore. Previous state was: passing
• js_of_ocaml-toplevel.5.7.1 on 5.1.0 is not available anymore. Previous state was: passing
• js_of_ocaml-tyxml.5.7.1 on 4.14.1 is not available anymore. Previous state was: passing
• js_of_ocaml-tyxml.5.7.1 on 5.1.0 is not available anymore. Previous state was: passing
• js_of_ocaml.5.7.1 on 4.14.1 is not available anymore. Previous state was: passing
• js_of_ocaml.5.7.1 on 5.1.0 is not available anymore. Previous state was: passing
• json-data-encoding-browser.1.0.0 on 4.14.1 is not available anymore. Previous state was: passing
• json-data-encoding-browser.1.0.0 on 5.1.0 is not available anymore. Previous state was: passing
• json-data-encoding-bson.1.0.0 on 4.14.1 is not available anymore. Previous state was: passing
• json-data-encoding-bson.1.0.0 on 5.1.0 is not available anymore. Previous state was: passing
• json-data-encoding.1.0.0 on 4.14.1 is not available anymore. Previous state was: passing
• json-data-encoding.1.0.0 on 5.1.0 is not available anymore. Previous state was: passing
• lastfm.0.3.3 on 4.14.1 is not available anymore. Previous state was: passing
• lastfm.0.3.3 on 5.1.0 is not available anymore. Previous state was: passing
• linenoise.1.5 on 4.14.1 is not available anymore. Previous state was: passing
• linenoise.1.5 on 5.1.0 is not available anymore. Previous state was: passing
• memprof-limits.0.2.0 on 4.14.1 is not available anymore. Previous state was: passing
• merlin.4.13-414 on 4.14.1 is not available anymore. Previous state was: passing
• metadata.0.2.0 on 4.14.1 is not available anymore. Previous state was: passing
• metadata.0.2.0 on 5.1.0 is not available anymore. Previous state was: passing
• mimic-happy-eyeballs.0.0.6 on 4.14.1 is not available anymore. Previous state was: passing
• mimic-happy-eyeballs.0.0.6 on 5.1.0 is not available anymore. Previous state was: passing
• mimic.0.0.6 on 4.14.1 is not available anymore. Previous state was: passing
• mimic.0.0.6 on 5.1.0 is not available anymore. Previous state was: passing
• miou.0.0.1~beta2 on 5.1.0 is not available anymore. Previous state was: passing
• mirage-block-partition.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
• mirage-block-partition.0.1.0 on 5.1.0 is not available anymore. Previous state was: passing
• mirage-block-xen.2.1.1 on 4.14.1 is not available anymore. Previous state was: passing
• mirage-block-xen.2.1.1 on 5.1.0 is not available anymore. Previous state was: passing
• mirage-kv-unix.2.1.0 on 4.14.1 is not available anymore. Previous state was: passing
• mirage-kv-unix.2.1.0 on 5.1.0 is not available anymore. Previous state was: passing
• mirage-monitoring.0.0.4 on 4.14.1 is not available anymore. Previous state was: passing
• mirage-random.3.0.0 on 4.14.1 is not available anymore. Previous state was: passing
• mirage-random.3.0.0 on 5.1.0 is not available anymore. Previous state was: passing
• mirage-runtime.4.4.2 on 4.14.1 is not available anymore. Previous state was: passing
• mirage-runtime.4.4.2 on 5.1.0 is not available anymore. Previous state was: passing
• mirage.4.4.2 on 4.14.1 is not available anymore. Previous state was: passing
• mirage.4.4.2 on 5.1.0 is not available anymore. Previous state was: passing
• moonpool.0.5.1 on 4.14.1 is not available anymore. Previous state was: passing
• moonpool.0.5.1 on 5.1.0 is not available anymore. Previous state was: passing
• mpi.1.05 on 4.14.1 is not available anymore. Previous state was: passing
• mpi.1.05 on 5.1.0 is not available anymore. Previous state was: passing
• mrmime.0.6.0 on 4.14.1 is not available anymore. Previous state was: passing
• mrmime.0.6.0 on 5.1.0 is not available anymore. Previous state was: passing
• multipart_form-cohttp-lwt.0.5.0 on 4.14.1 is not available anymore. Previous state was: passing
• multipart_form-cohttp-lwt.0.5.0 on 5.1.0 is not available anymore. Previous state was: passing
• multipart_form-lwt.0.5.0 on 4.14.1 is not available anymore. Previous state was: passing
• multipart_form-lwt.0.5.0 on 5.1.0 is not available anymore. Previous state was: passing
• multipart_form.0.5.0 on 4.14.1 is not available anymore. Previous state was: passing
• multipart_form.0.5.0 on 5.1.0 is not available anymore. Previous state was: passing
• ocamlc-loc.3.14.2 on 4.14.1 is not available anymore. Previous state was: passing
• ocamlc-loc.3.14.2 on 5.1.0 is not available anymore. Previous state was: passing
• ocamlregextkit.1.0.0 on 4.14.1 is not available anymore. Previous state was: passing
• ocamlregextkit.1.0.0 on 5.1.0 is not available anymore. Previous state was: passing
• ocplib-simplex.0.5 on 4.14.1 is not available anymore. Previous state was: passing
• ocplib-simplex.0.5 on 5.1.0 is not available anymore. Previous state was: passing
• ocsigen-start.6.2.0 on 4.14.1 is not available anymore. Previous state was: passing
• ocsigen-start.6.2.0 on 5.1.0 is not available anymore. Previous state was: passing
• odep.0.2.0 on 4.14.1 is not available anymore. Previous state was: passing
• odep.0.2.0 on 5.1.0 is not available anymore. Previous state was: passing
• omlr.1.0.2 on 4.14.1 is not available anymore. Previous state was: passing
• omod.0.0.3 on 4.14.1 is not available anymore. Previous state was: passing
• omod.0.0.3 on 5.1.0 is not available anymore. Previous state was: passing
• opam-client.2.2.0~beta1 on 4.14.1 is not available anymore. Previous state was: passing
• opam-client.2.2.0~beta1 on 5.1.0 is not available anymore. Previous state was: passing
• opam-core.2.2.0~beta1 on 4.14.1 is not available anymore. Previous state was: passing
• opam-core.2.2.0~beta1 on 5.1.0 is not available anymore. Previous state was: passing
• opam-devel.2.2.0~beta1 on 4.14.1 is not available anymore. Previous state was: passing
• opam-devel.2.2.0~beta1 on 5.1.0 is not available anymore. Previous state was: passing
• opam-format.2.2.0~beta1 on 4.14.1 is not available anymore. Previous state was: passing
• opam-format.2.2.0~beta1 on 5.1.0 is not available anymore. Previous state was: passing
• opam-installer.2.2.0~beta1 on 4.14.1 is not available anymore. Previous state was: passing
• opam-installer.2.2.0~beta1 on 5.1.0 is not available anymore. Previous state was: passing
• opam-repository.2.2.0~beta1 on 4.14.1 is not available anymore. Previous state was: passing
• opam-repository.2.2.0~beta1 on 5.1.0 is not available anymore. Previous state was: passing
• opam-solver.2.2.0~beta1 on 4.14.1 is not available anymore. Previous state was: passing
• opam-solver.2.2.0~beta1 on 5.1.0 is not available anymore. Previous state was: passing
• opam-state.2.2.0~beta1 on 4.14.1 is not available anymore. Previous state was: passing
• opam-state.2.2.0~beta1 on 5.1.0 is not available anymore. Previous state was: passing
• opentelemetry-client-cohttp-lwt.0.8 on 4.14.1 is not available anymore. Previous state was: passing
• opentelemetry-client-cohttp-lwt.0.8 on 5.1.0 is not available anymore. Previous state was: passing
• opentelemetry-client-ocurl.0.8 on 4.14.1 is not available anymore. Previous state was: passing
• opentelemetry-client-ocurl.0.8 on 5.1.0 is not available anymore. Previous state was: passing
• opentelemetry-cohttp-lwt.0.8 on 4.14.1 is not available anymore. Previous state was: failing
• opentelemetry-cohttp-lwt.0.8 on 5.1.0 is not available anymore. Previous state was: failing
• opentelemetry-lwt.0.8 on 4.14.1 is not available anymore. Previous state was: passing
• opentelemetry-lwt.0.8 on 5.1.0 is not available anymore. Previous state was: passing
• opentelemetry.0.8 on 4.14.1 is not available anymore. Previous state was: passing
• opentelemetry.0.8 on 5.1.0 is not available anymore. Previous state was: passing
• ordering.3.14.2 on 4.14.1 is not available anymore. Previous state was: passing
• ordering.3.14.2 on 5.1.0 is not available anymore. Previous state was: passing
• ortac-core.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
• ortac-core.0.1.0 on 5.1.0 is not available anymore. Previous state was: passing
• ortac-qcheck-stm.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
• ortac-qcheck-stm.0.1.0 on 5.1.0 is not available anymore. Previous state was: passing
• ortac-runtime.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
• ortac-runtime.0.1.0 on 5.1.0 is not available anymore. Previous state was: passing
• otoml.1.0.4 on 4.14.1 is not available anymore. Previous state was: passing
• otoml.1.0.4 on 5.1.0 is not available anymore. Previous state was: passing
• patch.1.0.1 on 4.14.1 is not available anymore. Previous state was: passing
• patch.1.0.1 on 5.1.0 is not available anymore. Previous state was: passing
• pecu.0.6 on 4.14.1 is not available anymore. Previous state was: passing
• pecu.0.6 on 5.1.0 is not available anymore. Previous state was: passing
• ppx_blob.0.7.2 on 4.14.1 is not available anymore. Previous state was: passing
• ppx_blob.0.7.2 on 5.1.0 is not available anymore. Previous state was: passing
• ppx_minidebug.1.4.0 on 4.14.1 is not available anymore. Previous state was: passing
• ppx_minidebug.1.4.0 on 5.1.0 is not available anymore. Previous state was: passing
• pringo.1.3 on 4.14.1 is not available anymore. Previous state was: passing
• pringo.1.3 on 5.1.0 is not available anymore. Previous state was: passing
• progress.0.2.2 on 4.14.1 is not available anymore. Previous state was: passing
• progress.0.2.2 on 5.1.0 is not available anymore. Previous state was: passing
• smtlib-utils.0.4 on 4.14.1 is not available anymore. Previous state was: passing
• smtlib-utils.0.4 on 5.1.0 is not available anymore. Previous state was: passing
• solo5.0.8.0 on 4.14.1 is not available anymore. Previous state was: failing
• solo5.0.8.0 on 5.1.0 is not available anymore. Previous state was: failing
• soupault.4.8.0 on 4.14.1 is not available anymore. Previous state was: passing
• soupault.4.8.0 on 5.1.0 is not available anymore. Previous state was: passing
• stdlib-random.1.1.0 on 4.14.1 is not available anymore. Previous state was: passing
• stdlib-random.1.1.0 on 5.1.0 is not available anymore. Previous state was: passing
• stdune.3.14.2 on 4.14.1 is not available anymore. Previous state was: passing
• stdune.3.14.2 on 5.1.0 is not available anymore. Previous state was: passing
• tcpip.8.0.0 on 4.14.1 is not available anymore. Previous state was: passing
• tcpip.8.0.0 on 5.1.0 is not available anymore. Previous state was: passing
• terminal.0.2.2 on 4.14.1 is not available anymore. Previous state was: passing
• terminal.0.2.2 on 5.1.0 is not available anymore. Previous state was: passing
• tezos-rust-libs.1.6 on 4.14.1 is not available anymore. Previous state was: passing
• tezos-rust-libs.1.6 on 5.1.0 is not available anymore. Previous state was: passing
• tls-async.0.17.3 on 4.14.1 is not available anymore. Previous state was: passing
• tls-async.0.17.3 on 5.1.0 is not available anymore. Previous state was: passing
• tls-eio.0.17.3 on 5.1.0 is not available anymore. Previous state was: passing
• tls-lwt.0.17.3 on 4.14.1 is not available anymore. Previous state was: passing
• tls-lwt.0.17.3 on 5.1.0 is not available anymore. Previous state was: passing
• tls-mirage.0.17.3 on 4.14.1 is not available anymore. Previous state was: passing
• tls-mirage.0.17.3 on 5.1.0 is not available anymore. Previous state was: passing
• tls.0.17.3 on 4.14.1 is not available anymore. Previous state was: passing
• tls.0.17.3 on 5.1.0 is not available anymore. Previous state was: passing
• tuntap.2.0.0 on 4.14.1 is not available anymore. Previous state was: passing
• tuntap.2.0.0 on 5.1.0 is not available anymore. Previous state was: passing
• unstrctrd.0.3 on 4.14.1 is not available anymore. Previous state was: passing
• unstrctrd.0.3 on 5.1.0 is not available anymore. Previous state was: passing
• wayland.2.0 on 5.1.0 is not available anymore. Previous state was: passing
• xdg.3.14.2 on 4.14.1 is not available anymore. Previous state was: passing
• xdg.3.14.2 on 5.1.0 is not available anymore. Previous state was: passing
• z3.4.12.6 on 4.14.1 is not available anymore. Previous state was: passing
• z3.4.12.6 on 5.1.0 is not available anymore. Previous state was: passing
• zmq-async.5.2.2 on 4.14.1 is not available anymore. Previous state was: passing
• zmq-async.5.2.2 on 5.1.0 is not available anymore. Previous state was: passing
• zmq-lwt.5.2.2 on 4.14.1 is not available anymore. Previous state was: passing
• zmq-lwt.5.2.2 on 5.1.0 is not available anymore. Previous state was: passing
• zmq.5.2.2 on 4.14.1 is not available anymore. Previous state was: passing
• zmq.5.2.2 on 5.1.0 is not available anymore. Previous state was: passing
• zstd.0.3 on 4.14.1 is not available anymore. Previous state was: failing
• zstd.0.3 on 5.1.0 is not available anymore. Previous state was: failing

Packages now failing with an internal failure:

• octez-baker-PtLimaPt.16.1 on 4.14.1 had its build status changed: partially failing to internal failure
• octez-baker-PtMumbai.17.3 on 4.14.1 had its build status changed: partially failing to internal failure
• octez-baker-PtNairob.19.1 on 4.14.1 had its build status changed: partially failing to internal failure
• octez-client.19.1 on 4.14.1 had its build status changed: partially failing to internal failure

Packages now passing:

• 0install-gtk.2.18 on 4.14.1 had its build status changed: partially failing to passing
• 0install-gtk.2.18 on 5.1.0 had its build status changed: partially failing to passing
• alt-ergo-lib.2.5.3 on 4.14.1 is now installable. Current state is: passing
• alt-ergo-lib.2.5.3 on 5.1.0 is now installable. Current state is: passing
• alt-ergo-parsers.2.5.3 on 4.14.1 is now installable. Current state is: passing
• alt-ergo-parsers.2.5.3 on 5.1.0 is now installable. Current state is: passing
• alt-ergo-plugin-ab-why3.2.5.3 on 4.14.1 is now installable. Current state is: passing
• alt-ergo-plugin-ab-why3.2.5.3 on 5.1.0 is now installable. Current state is: passing
• alt-ergo.2.5.3 on 4.14.1 is now installable. Current state is: passing
• alt-ergo.2.5.3 on 5.1.0 is now installable. Current state is: passing
• altgr-ergo.2.4.3 on 4.14.1 had its build status changed: partially failing to passing
• altgr-ergo.2.4.3 on 5.1.0 had its build status changed: partially failing to passing
• azure-cosmos-db.0.2.4 on 4.14.1 is now installable. Current state is: passing
• azure-cosmos-db.0.2.4 on 5.1.0 is now installable. Current state is: passing
• bimage-gtk.0.2.1 on 4.14.1 had its build status changed: partially failing to passing
• bimage-gtk.0.2.1 on 5.1.0 had its build status changed: partially failing to passing
• bnfgen.3.1.0 on 4.14.1 is now installable. Current state is: passing
• bnfgen.3.1.0 on 5.1.0 is now installable. Current state is: passing
• bst.7.1.0 on 4.14.1 is now installable. Current state is: passing
• bst.7.1.0 on 5.1.0 is now installable. Current state is: passing
• bz2.0.8.0 on 4.14.1 is now installable. Current state is: passing
• bz2.0.8.0 on 5.1.0 is now installable. Current state is: passing
• camlbz2.transition on 4.14.1 is now installable. Current state is: passing
• camlbz2.transition on 5.1.0 is now installable. Current state is: passing
• cgi.0.10 on 4.14.1 had its build status changed: failing to passing
• chrome-trace.3.15.0 on 4.14.1 is now installable. Current state is: passing
• chrome-trace.3.15.0 on 5.1.0 is now installable. Current state is: passing
• coap-core.0.1.0 on 4.14.1 is now installable. Current state is: passing
• coap-core.0.1.0 on 5.1.0 is now installable. Current state is: passing
• coap-server-lwt.0.1.0 on 4.14.1 is now installable. Current state is: passing
• coap-server-lwt.0.1.0 on 5.1.0 is now installable. Current state is: passing
• coap.0.1.0 on 4.14.1 is now installable. Current state is: passing
• coap.0.1.0 on 5.1.0 is now installable. Current state is: passing
• coccinelle.1.2 on 4.14.1 is now installable. Current state is: passing
• combic.1.0.0 on 4.14.1 is now installable. Current state is: passing
• combic.1.0.0 on 5.1.0 is now installable. Current state is: passing
• conf-alsa.1 on 4.14.1 is now installable. Current state is: passing
• conf-alsa.1 on 5.1.0 is now installable. Current state is: passing
• conf-brotli.0.0.1 on 4.14.1 had its build status changed: internal failure to passing
• conf-brotli.0.0.1 on 5.1.0 had its build status changed: internal failure to passing
• conf-calcium.1 on 4.14.1 had its build status changed: failing to passing
• conf-calcium.1 on 5.1.0 had its build status changed: failing to passing
• conf-clang-format.1 on 4.14.1 had its build status changed: failing to passing
• conf-clang-format.1 on 5.1.0 had its build status changed: failing to passing
• conf-csdp.1 on 4.14.1 had its build status changed: failing to passing
• conf-csdp.1 on 5.1.0 had its build status changed: failing to passing
• conf-dssi.1 on 4.14.1 is now installable. Current state is: passing
• conf-dssi.1 on 5.1.0 is now installable. Current state is: passing
• conf-ftgl.1 on 4.14.1 had its build status changed: failing to passing
• conf-ftgl.1 on 5.1.0 had its build status changed: failing to passing
• conf-glfw3.2 on 4.14.1 had its build status changed: failing to passing
• conf-glfw3.2 on 5.1.0 had its build status changed: failing to passing
• conf-glpk.1 on 4.14.1 had its build status changed: failing to passing
• conf-glpk.1 on 5.1.0 had its build status changed: failing to passing
• conf-gobject-introspection.1.0 on 4.14.1 had its build status changed: failing to passing
• conf-gobject-introspection.1.0 on 5.1.0 had its build status changed: failing to passing
• conf-guile.1 on 4.14.1 had its build status changed: internal failure to passing
• conf-guile.1 on 5.1.0 had its build status changed: internal failure to passing
• conf-libMagickCore.1 on 4.14.1 had its build status changed: failing to passing
• conf-libMagickCore.1 on 5.1.0 had its build status changed: failing to passing
• conf-libdw.1 on 4.14.1 had its build status changed: failing to passing
• conf-libdw.1 on 5.1.0 had its build status changed: failing to passing
• conf-libfuse.1 on 4.14.1 had its build status changed: failing to passing
• conf-libfuse.1 on 5.1.0 had its build status changed: failing to passing
• conf-liblinear-tools.1.0.0 on 4.14.1 had its build status changed: failing to passing
• conf-liblinear-tools.1.0.0 on 5.1.0 had its build status changed: failing to passing
• conf-libmosquitto.1 on 4.14.1 had its build status changed: failing to passing
• conf-libmosquitto.1 on 5.1.0 had its build status changed: failing to passing
• conf-rdkit.1 on 4.14.1 had its build status changed: internal failure to passing
• conf-rdkit.1 on 5.1.0 had its build status changed: internal failure to passing
• coq-serapi.8.19.0+0.19.2 on 4.14.1 is now installable. Current state is: passing
• coq-serapi.8.19.0+0.19.2 on 5.1.0 is now installable. Current state is: passing
• coqide.8.19.1 on 4.14.1 had its build status changed: partially failing to passing
• coqide.8.19.1 on 5.1.0 had its build status changed: partially failing to passing
• cubicle.1.2.0 on 5.1.0 had its build status changed: failing to passing
• data-encoding.1.0.1 on 4.14.1 is now installable. Current state is: passing
• data-encoding.1.0.1 on 5.1.0 is now installable. Current state is: passing
• deadlock.1.0 on 4.14.1 had its build status changed: partially failing to passing
• doculib.1.3.5 on 4.14.1 had its build status changed: partially failing to passing
• doculib.1.3.5 on 5.1.0 had its build status changed: partially failing to passing
• dose3-extra.7.0.0 on 5.1.0 had its build status changed: not available to passing
• down.0.2.0 on 4.14.1 is now installable. Current state is: passing
• down.0.2.0 on 5.1.0 is now installable. Current state is: passing
• dream-html.3.3.1 on 4.14.1 is now installable. Current state is: passing
• dream-html.3.3.1 on 5.1.0 is now installable. Current state is: passing
• dune-action-plugin.3.15.0 on 4.14.1 is now installable. Current state is: passing
• dune-action-plugin.3.15.0 on 5.1.0 is now installable. Current state is: passing
• dune-build-info.3.15.0 on 4.14.1 is now installable. Current state is: passing
• dune-build-info.3.15.0 on 5.1.0 is now installable. Current state is: passing
• dune-configurator.3.15.0 on 4.14.1 is now installable. Current state is: passing
• dune-configurator.3.15.0 on 5.1.0 is now installable. Current state is: passing
• dune-glob.3.15.0 on 4.14.1 is now installable. Current state is: passing
• dune-glob.3.15.0 on 5.1.0 is now installable. Current state is: passing
• dune-private-libs.3.15.0 on 4.14.1 is now installable. Current state is: passing
• dune-private-libs.3.15.0 on 5.1.0 is now installable. Current state is: passing
• dune-rpc-lwt.3.15.0 on 4.14.1 is now installable. Current state is: passing
• dune-rpc-lwt.3.15.0 on 5.1.0 is now installable. Current state is: passing
• dune-rpc.3.15.0 on 4.14.1 is now installable. Current state is: passing
• dune-rpc.3.15.0 on 5.1.0 is now installable. Current state is: passing
• dune-site.3.15.0 on 4.14.1 is now installable. Current state is: passing
• dune-site.3.15.0 on 5.1.0 is now installable. Current state is: passing
• dune.3.15.0 on 4.14.1 is now installable. Current state is: passing
• dune.3.15.0 on 5.1.0 is now installable. Current state is: passing
• dyn.3.15.0 on 4.14.1 is now installable. Current state is: passing
• dyn.3.15.0 on 5.1.0 is now installable. Current state is: passing
• eio-trace.0.1 on 5.1.0 had its build status changed: partially failing to passing
• eliom.10.4.1 on 4.14.1 is now installable. Current state is: passing
• eliom.10.4.1 on 5.1.0 is now installable. Current state is: passing
• fasmifra.1.1.0 on 4.14.1 had its build status changed: internal failure to passing
• fasmifra.1.1.0 on 5.1.0 had its build status changed: internal failure to passing
• ffmpeg-av.1.1.11 on 4.14.1 is now installable. Current state is: passing
• ffmpeg-av.1.1.11 on 5.1.0 is now installable. Current state is: passing
• ffmpeg-avcodec.1.1.11 on 4.14.1 is now installable. Current state is: passing
• ffmpeg-avcodec.1.1.11 on 5.1.0 is now installable. Current state is: passing
• ffmpeg-avdevice.1.1.11 on 4.14.1 is now installable. Current state is: passing
• ffmpeg-avdevice.1.1.11 on 5.1.0 is now installable. Current state is: passing
• ffmpeg-avfilter.1.1.11 on 4.14.1 is now installable. Current state is: passing
• ffmpeg-avfilter.1.1.11 on 5.1.0 is now installable. Current state is: passing
• ffmpeg-avutil.1.1.11 on 4.14.1 is now installable. Current state is: passing
• ffmpeg-avutil.1.1.11 on 5.1.0 is now installable. Current state is: passing
• ffmpeg-swresample.1.1.11 on 4.14.1 is now installable. Current state is: passing
• ffmpeg-swresample.1.1.11 on 5.1.0 is now installable. Current state is: passing
• ffmpeg-swscale.1.1.11 on 4.14.1 is now installable. Current state is: passing
• ffmpeg-swscale.1.1.11 on 5.1.0 is now installable. Current state is: passing
• ffmpeg.1.1.11 on 4.14.1 is now installable. Current state is: passing
• ffmpeg.1.1.11 on 5.1.0 is now installable. Current state is: passing
• flint.0.3.2 on 4.14.1 had its build status changed: failing to passing
• flint.0.3.2 on 5.1.0 had its build status changed: failing to passing
• forester.4.0.1 on 5.1.0 is now installable. Current state is: passing
• frama-c-metacsl.0.6 on 4.14.1 had its build status changed: partially failing to passing
• frama-c-metacsl.0.6 on 5.1.0 had its build status changed: partially failing to passing
• frama-c.28.1 on 4.14.1 had its build status changed: partially failing to passing
• frama-c.28.1 on 5.1.0 had its build status changed: partially failing to passing
• fred.0.1.0 on 4.14.1 is now installable. Current state is: passing
• fred.0.1.0 on 5.1.0 is now installable. Current state is: passing
• functory.0.6 on 4.14.1 had its build status changed: failing to passing
• gccjit.0.3.2 on 4.14.1 had its build status changed: failing to passing
• gccjit.0.3.2 on 5.1.0 had its build status changed: failing to passing
• gospel.0.3.0 on 4.14.1 is now installable. Current state is: passing
• gospel.0.3.0 on 5.1.0 is now installable. Current state is: passing
• hl_yaml.1.0.0 on 5.1.0 is now installable. Current state is: passing
• hts_shrink.3.0.1 on 4.14.1 had its build status changed: internal failure to passing
• hts_shrink.3.0.1 on 5.1.0 had its build status changed: internal failure to passing
• iostream-camlzip.0.2.2 on 4.14.1 is now installable. Current state is: passing
• iostream-camlzip.0.2.2 on 5.1.0 is now installable. Current state is: passing
• iostream.0.2.2 on 4.14.1 is now installable. Current state is: passing
• iostream.0.2.2 on 5.1.0 is now installable. Current state is: passing
• js_of_ocaml-compiler.5.7.2 on 4.14.1 is now installable. Current state is: passing
• js_of_ocaml-compiler.5.7.2 on 5.1.0 is now installable. Current state is: passing
• js_of_ocaml-lwt.5.7.2 on 4.14.1 is now installable. Current state is: passing
• js_of_ocaml-lwt.5.7.2 on 5.1.0 is now installable. Current state is: passing
• js_of_ocaml-ppx.5.7.2 on 4.14.1 is now installable. Current state is: passing
• js_of_ocaml-ppx.5.7.2 on 5.1.0 is now installable. Current state is: passing
• js_of_ocaml-ppx_deriving_json.5.7.2 on 4.14.1 is now installable. Current state is: passing
• js_of_ocaml-ppx_deriving_json.5.7.2 on 5.1.0 is now installable. Current state is: passing
• js_of_ocaml-toplevel.5.7.2 on 4.14.1 is now installable. Current state is: passing
• js_of_ocaml-toplevel.5.7.2 on 5.1.0 is now installable. Current state is: passing
• js_of_ocaml-tyxml.5.7.2 on 4.14.1 is now installable. Current state is: passing
• js_of_ocaml-tyxml.5.7.2 on 5.1.0 is now installable. Current state is: passing
• js_of_ocaml.5.7.2 on 4.14.1 is now installable. Current state is: passing
• js_of_ocaml.5.7.2 on 5.1.0 is now installable. Current state is: passing
• json-data-encoding-browser.1.0.1 on 4.14.1 is now installable. Current state is: passing
• json-data-encoding-browser.1.0.1 on 5.1.0 is now installable. Current state is: passing
• json-data-encoding-bson.1.0.1 on 4.14.1 is now installable. Current state is: passing
• json-data-encoding-bson.1.0.1 on 5.1.0 is now installable. Current state is: passing
• json-data-encoding.1.0.1 on 4.14.1 is now installable. Current state is: passing
• json-data-encoding.1.0.1 on 5.1.0 is now installable. Current state is: passing
• lablgtk3-extras.3.0.1 on 4.14.1 had its build status changed: partially failing to passing
• lablgtk3-extras.3.0.1 on 5.1.0 had its build status changed: partially failing to passing
• lablgtk3-goocanvas2.3.1.4 on 4.14.1 had its build status changed: partially failing to passing
• lablgtk3-goocanvas2.3.1.4 on 5.1.0 had its build status changed: partially failing to passing
• lablgtk3-gtkspell3.3.1.4 on 4.14.1 had its build status changed: partially failing to passing
• lablgtk3-gtkspell3.3.1.4 on 5.1.0 had its build status changed: partially failing to passing
• lablgtk3-rsvg2.3.1.4 on 4.14.1 had its build status changed: partially failing to passing
• lablgtk3-rsvg2.3.1.4 on 5.1.0 had its build status changed: partially failing to passing
• lablgtk3-sourceview3.3.1.4 on 4.14.1 had its build status changed: partially failing to passing
• lablgtk3-sourceview3.3.1.4 on 5.1.0 had its build status changed: partially failing to passing
• lablgtk3.3.1.4 on 4.14.1 had its build status changed: failing to passing
• lablgtk3.3.1.4 on 5.1.0 had its build status changed: failing to passing
• lastfm.0.3.4 on 4.14.1 is now installable. Current state is: passing
• lastfm.0.3.4 on 5.1.0 is now installable. Current state is: passing
• linenoise.1.5.1 on 4.14.1 is now installable. Current state is: passing
• linenoise.1.5.1 on 5.1.0 is now installable. Current state is: passing
• linwrap.9.1.4 on 4.14.1 had its build status changed: internal failure to passing
• linwrap.9.1.5 on 5.1.0 had its build status changed: internal failure to passing
• memprof-limits.0.2.1 on 4.14.1 is now installable. Current state is: passing
• merlin.4.14-414 on 4.14.1 is now installable. Current state is: passing
• metadata.0.3.0 on 4.14.1 is now installable. Current state is: passing
• metadata.0.3.0 on 5.1.0 is now installable. Current state is: passing
• mimic-happy-eyeballs.0.0.7 on 4.14.1 is now installable. Current state is: passing
• mimic-happy-eyeballs.0.0.7 on 5.1.0 is now installable. Current state is: passing
• mimic.0.0.7 on 4.14.1 is now installable. Current state is: passing
• mimic.0.0.7 on 5.1.0 is now installable. Current state is: passing
• miou.0.1.0 on 5.1.0 is now installable. Current state is: passing
• mirage-block-partition.0.2.0 on 4.14.1 is now installable. Current state is: passing
• mirage-block-partition.0.2.0 on 5.1.0 is now installable. Current state is: passing
• mirage-block-xen.2.1.2 on 4.14.1 is now installable. Current state is: passing
• mirage-block-xen.2.1.2 on 5.1.0 is now installable. Current state is: passing
• mirage-kv-unix.3.0.0 on 4.14.1 is now installable. Current state is: passing
• mirage-kv-unix.3.0.0 on 5.1.0 is now installable. Current state is: passing
• mirage-monitoring.0.0.5 on 4.14.1 is now installable. Current state is: passing
• mirage-random.4.0.0 on 4.14.1 is now installable. Current state is: passing
• mirage-random.4.0.0 on 5.1.0 is now installable. Current state is: passing
• mirage-runtime.4.5.0 on 4.14.1 is now installable. Current state is: passing
• mirage-runtime.4.5.0 on 5.1.0 is now installable. Current state is: passing
• mirage.4.5.0 on 4.14.1 is now installable. Current state is: passing
• mirage.4.5.0 on 5.1.0 is now installable. Current state is: passing
• molenc.16.13.0 on 4.14.1 had its build status changed: internal failure to passing
• molenc.16.23.0 on 5.1.0 had its build status changed: internal failure to passing
• moonpool-lwt.0.6 on 5.1.0 is now installable. Current state is: passing
• moonpool.0.6 on 4.14.1 is now installable. Current state is: passing
• moonpool.0.6 on 5.1.0 is now installable. Current state is: passing
• mpi.1.06 on 4.14.1 is now installable. Current state is: passing
• mpi.1.06 on 5.1.0 is now installable. Current state is: passing
• mqtt.0.2.2 on 4.14.1 is now installable. Current state is: passing
• mqtt.0.2.2 on 5.1.0 is now installable. Current state is: passing
• mrmime.0.6.1 on 4.14.1 is now installable. Current state is: passing
• mrmime.0.6.1 on 5.1.0 is now installable. Current state is: passing
• multipart_form-cohttp-lwt.0.6.0 on 4.14.1 is now installable. Current state is: passing
• multipart_form-cohttp-lwt.0.6.0 on 5.1.0 is now installable. Current state is: passing
• multipart_form-eio.0.6.0 on 5.1.0 is now installable. Current state is: passing
• multipart_form-lwt.0.6.0 on 4.14.1 is now installable. Current state is: passing
• multipart_form-lwt.0.6.0 on 5.1.0 is now installable. Current state is: passing
• multipart_form.0.6.0 on 4.14.1 is now installable. Current state is: passing
• multipart_form.0.6.0 on 5.1.0 is now installable. Current state is: passing
• ocaml-solo5.0.8.3 on 4.14.1 had its build status changed: partially failing to passing
• ocaml-top.1.2.0 on 4.14.1 had its build status changed: partially failing to passing
• ocaml-top.1.2.0 on 5.1.0 had its build status changed: partially failing to passing
• ocamlc-loc.3.15.0 on 4.14.1 is now installable. Current state is: passing
• ocamlc-loc.3.15.0 on 5.1.0 is now installable. Current state is: passing
• ocamlregextkit.1.0.1 on 4.14.1 is now installable. Current state is: passing
• ocamlregextkit.1.0.1 on 5.1.0 is now installable. Current state is: passing
• ocplib-simplex.0.5.1 on 4.14.1 is now installable. Current state is: passing
• ocplib-simplex.0.5.1 on 5.1.0 is now installable. Current state is: passing
• ocsigen-start.6.3.0 on 4.14.1 is now installable. Current state is: passing
• ocsigen-start.6.3.0 on 5.1.0 is now installable. Current state is: passing
• odep.0.2.1 on 4.14.1 is now installable. Current state is: passing
• odep.0.2.1 on 5.1.0 is now installable. Current state is: passing
• omlr.1.0.3 on 4.14.1 is now installable. Current state is: passing
• omlr.1.0.3 on 5.1.0 is now installable. Current state is: passing
• omod.0.0.4 on 4.14.1 is now installable. Current state is: passing
• omod.0.0.4 on 5.1.0 is now installable. Current state is: passing
• opam-client.2.2.0~beta2 on 4.14.1 is now installable. Current state is: passing
• opam-client.2.2.0~beta2 on 5.1.0 is now installable. Current state is: passing
• opam-core.2.2.0~beta2 on 4.14.1 is now installable. Current state is: passing
• opam-core.2.2.0~beta2 on 5.1.0 is now installable. Current state is: passing
• opam-devel.2.2.0~beta2 on 4.14.1 is now installable. Current state is: passing
• opam-devel.2.2.0~beta2 on 5.1.0 is now installable. Current state is: passing
• opam-format.2.2.0~beta2 on 4.14.1 is now installable. Current state is: passing
• opam-format.2.2.0~beta2 on 5.1.0 is now installable. Current state is: passing
• opam-installer.2.2.0~beta2 on 4.14.1 is now installable. Current state is: passing
• opam-installer.2.2.0~beta2 on 5.1.0 is now installable. Current state is: passing
• opam-repository.2.2.0~beta2 on 4.14.1 is now installable. Current state is: passing
• opam-repository.2.2.0~beta2 on 5.1.0 is now installable. Current state is: passing
• opam-solver.2.2.0~beta2 on 4.14.1 is now installable. Current state is: passing
• opam-solver.2.2.0~beta2 on 5.1.0 is now installable. Current state is: passing
• opam-state.2.2.0~beta2 on 4.14.1 is now installable. Current state is: passing
• opam-state.2.2.0~beta2 on 5.1.0 is now installable. Current state is: passing
• opentelemetry-client-cohttp-lwt.0.9 on 4.14.1 is now installable. Current state is: passing
• opentelemetry-client-cohttp-lwt.0.9 on 5.1.0 is now installable. Current state is: passing
• opentelemetry-client-ocurl.0.9 on 4.14.1 is now installable. Current state is: passing
• opentelemetry-client-ocurl.0.9 on 5.1.0 is now installable. Current state is: passing
• opentelemetry-lwt.0.9 on 4.14.1 is now installable. Current state is: passing
• opentelemetry-lwt.0.9 on 5.1.0 is now installable. Current state is: passing
• opentelemetry.0.9 on 4.14.1 is now installable. Current state is: passing
• opentelemetry.0.9 on 5.1.0 is now installable. Current state is: passing
• ordering.3.15.0 on 4.14.1 is now installable. Current state is: passing
• ordering.3.15.0 on 5.1.0 is now installable. Current state is: passing
• ortac-core.0.2.0 on 4.14.1 is now installable. Current state is: passing
• ortac-core.0.2.0 on 5.1.0 is now installable. Current state is: passing
• ortac-qcheck-stm.0.2.0 on 4.14.1 is now installable. Current state is: passing
• ortac-qcheck-stm.0.2.0 on 5.1.0 is now installable. Current state is: passing
• ortac-runtime-qcheck-stm.0.2.0 on 4.14.1 is now installable. Current state is: passing
• ortac-runtime-qcheck-stm.0.2.0 on 5.1.0 is now installable. Current state is: passing
• ortac-runtime.0.2.0 on 4.14.1 is now installable. Current state is: passing
• ortac-runtime.0.2.0 on 5.1.0 is now installable. Current state is: passing
• osdp.1.1.1 on 4.14.1 had its build status changed: partially failing to passing
• osdp.1.1.1 on 5.1.0 had its build status changed: partially failing to passing
• otoml.1.0.5 on 4.14.1 is now installable. Current state is: passing
• otoml.1.0.5 on 5.1.0 is now installable. Current state is: passing
• patch.2.0.0 on 4.14.1 is now installable. Current state is: passing
• patch.2.0.0 on 5.1.0 is now installable. Current state is: passing
• pecu.0.7 on 4.14.1 is now installable. Current state is: passing
• pecu.0.7 on 5.1.0 is now installable. Current state is: passing
• picos.0.2.0 on 4.14.1 is now installable. Current state is: passing
• picos.0.2.0 on 5.1.0 is now installable. Current state is: passing
• ppx_blob.0.8.0 on 4.14.1 is now installable. Current state is: passing
• ppx_blob.0.8.0 on 5.1.0 is now installable. Current state is: passing
• ppx_minidebug.1.5.0 on 4.14.1 is now installable. Current state is: passing
• ppx_minidebug.1.5.0 on 5.1.0 is now installable. Current state is: passing
• pringo.1.4 on 4.14.1 is now installable. Current state is: passing
• pringo.1.4 on 5.1.0 is now installable. Current state is: passing
• progress.0.3.0 on 4.14.1 is now installable. Current state is: passing
• progress.0.3.0 on 5.1.0 is now installable. Current state is: passing
• reason.3.11.0 on 4.14.1 had its build status changed: internal failure to passing
• signal.0.4.2 on 4.14.1 is now installable. Current state is: passing
• signal.0.4.2 on 5.1.0 is now installable. Current state is: passing
• smtlib-utils.0.5 on 4.14.1 is now installable. Current state is: passing
• smtlib-utils.0.5 on 5.1.0 is now installable. Current state is: passing
• solo5.0.8.1 on 4.14.1 is now installable. Current state is: passing
• solo5.0.8.1 on 5.1.0 is now installable. Current state is: passing
• soupault.4.9.0 on 4.14.1 is now installable. Current state is: passing
• soupault.4.9.0 on 5.1.0 is now installable. Current state is: passing
• starred_ml.0.0.3 on 5.1.0 is now installable. Current state is: passing
• stdlib-random.1.2.0 on 4.14.1 is now installable. Current state is: passing
• stdlib-random.1.2.0 on 5.1.0 is now installable. Current state is: passing
• stdune.3.15.0 on 4.14.1 is now installable. Current state is: passing
• stdune.3.15.0 on 5.1.0 is now installable. Current state is: passing
• tcpip.8.0.1 on 4.14.1 is now installable. Current state is: passing
• tcpip.8.0.1 on 5.1.0 is now installable. Current state is: passing
• terminal.0.3.0 on 4.14.1 is now installable. Current state is: passing
• terminal.0.3.0 on 5.1.0 is now installable. Current state is: passing
• terml.0.0.1 on 5.1.0 is now installable. Current state is: passing
• tezos-base58.1.0.0 on 5.1.0 had its build status changed: internal failure to passing
• tezos-rust-libs.1.7 on 4.14.1 is now installable. Current state is: passing
• tezos-rust-libs.1.7 on 5.1.0 is now installable. Current state is: passing
• tls-async.0.17.4 on 4.14.1 is now installable. Current state is: passing
• tls-async.0.17.4 on 5.1.0 is now installable. Current state is: passing
• tls-eio.0.17.4 on 5.1.0 is now installable. Current state is: passing
• tls-lwt.0.17.4 on 4.14.1 is now installable. Current state is: passing
• tls-lwt.0.17.4 on 5.1.0 is now installable. Current state is: passing
• tls-mirage.0.17.4 on 4.14.1 is now installable. Current state is: passing
• tls-mirage.0.17.4 on 5.1.0 is now installable. Current state is: passing
• tls.0.17.4 on 4.14.1 is now installable. Current state is: passing
• tls.0.17.4 on 5.1.0 is now installable. Current state is: passing
• tuntap.2.0.1 on 4.14.1 is now installable. Current state is: passing
• tuntap.2.0.1 on 5.1.0 is now installable. Current state is: passing
• unison-gui.2.53.4 on 4.14.1 had its build status changed: partially failing to passing
• unison-gui.2.53.4 on 5.1.0 had its build status changed: partially failing to passing
• unstrctrd.0.4 on 4.14.1 is now installable. Current state is: passing
• unstrctrd.0.4 on 5.1.0 is now installable. Current state is: passing
• wayland.2.1 on 5.1.0 is now installable. Current state is: passing
• why3-ide.1.7.1 on 4.14.1 had its build status changed: partially failing to passing
• why3-ide.1.7.1 on 5.1.0 had its build status changed: partially failing to passing
• xdg.3.15.0 on 4.14.1 is now installable. Current state is: passing
• xdg.3.15.0 on 5.1.0 is now installable. Current state is: passing
• xmldiff.0.7.0 on 4.14.1 had its build status changed: internal failure to passing
• xmldiff.0.7.0 on 5.1.0 had its build status changed: internal failure to passing
• xmldiff_js.0.7.0 on 4.14.1 had its build status changed: internal failure to passing
• xmldiff_js.0.7.0 on 5.1.0 had its build status changed: internal failure to passing
• z3.4.13.0 on 4.14.1 is now installable. Current state is: passing
• z3.4.13.0 on 5.1.0 is now installable. Current state is: passing
• zmq-async.5.3.0 on 4.14.1 is now installable. Current state is: passing
• zmq-async.5.3.0 on 5.1.0 is now installable. Current state is: passing
• zmq-eio.5.3.0 on 5.1.0 is now installable. Current state is: passing
• zmq-lwt.5.3.0 on 4.14.1 is now installable. Current state is: passing
• zmq-lwt.5.3.0 on 5.1.0 is now installable. Current state is: passing
• zmq.5.3.0 on 4.14.1 is now installable. Current state is: passing
• zmq.5.3.0 on 5.1.0 is now installable. Current state is: passing
• zstd.0.4 on 4.14.1 is now installable. Current state is: passing
• zstd.0.4 on 5.1.0 is now installable. Current state is: passing