Home|Differences with the last checks|Previous runs

Differences between 48c9f6e and 2625e98 (git diff)

Packages now failing:

• conf-assimp.1 on 5.3.0 had its build status changed: internal failure to failing
• conf-gles2.1 on 5.3.0 had its build status changed: internal failure to failing
• conf-leveldb.2 on 4.14.2 had its build status changed: internal failure to failing
• conf-r-mathlib.1 on 5.3.0 had its build status changed: internal failure to failing
• conf-rocksdb.1 on 4.14.2 had its build status changed: internal failure to failing
• conf-tidy.1 on 4.14.2 had its build status changed: internal failure to failing
• fm-simplex-plugin.1.30 on 4.14.2 had its build status changed: passing to failing
• jasmin.2025.06.2 on 4.14.2 is now installable. Current state is: failing
• jasmin.2025.06.2 on 5.3.0 is now installable. Current state is: failing
• lo.0.2.0 on 4.14.2 had its build status changed: internal failure to failing
• nlopt.0.7.0 on 5.3.0 had its build status changed: internal failure to failing
• owl.1.2 on 5.3.0 had its build status changed: internal failure to failing
• rune.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: failing

Packages now partially failing:

• chamo.4.0 on 4.14.2 had its build status changed: internal failure to partially failing
• chamo.4.2.0 on 5.3.0 had its build status changed: internal failure to partially failing
• conf-calcium.1 on 4.14.2 had its build status changed: internal failure to partially failing
• fehu.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: partially failing
• flint.0.4.2 on 4.14.2 is now installable. Current state is: partially failing
• flint.0.4.2 on 5.3.0 is now installable. Current state is: partially failing
• kaun.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: partially failing
• lablgtk3-rsvg2.3.1.5 on 5.3.0 had its build status changed: internal failure to partially failing
• liquid_interpreter.0.1.3 on 4.14.2 is now installable. Current state is: partially failing
• liquid_ml.0.1.3 on 4.14.2 is now installable. Current state is: partially failing
• liquid_parser.0.1.3 on 4.14.2 is now installable. Current state is: partially failing
• liquid_std.0.1.3 on 4.14.2 is now installable. Current state is: partially failing
• liquid_syntax.0.1.3 on 4.14.2 is now installable. Current state is: partially failing
• llama_interactive.0.1.0 on 4.14.2 had its build status changed: internal failure to partially failing
• nlopt-ocaml.transition on 4.14.2 had its build status changed: internal failure to partially failing
• owl-ode.0.5.0 on 4.14.2 had its build status changed: internal failure to partially failing
• owl-top.1.2 on 4.14.2 had its build status changed: internal failure to partially failing
• profiler-plugin.1.30 on 4.14.2 had its build status changed: failing to partially failing
• quill.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: partially failing
• raven.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: partially failing
• sowilo.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: partially failing
• tezos-baking-017-PtNairob.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-injector-016-PtMumbai.16.1 on 4.14.2 had its build status changed: internal failure to partially failing

Packages now not available:

• albatross.2.6.0 on 4.14.2 is not available anymore. Previous state was: passing
• albatross.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• alice.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• azure-cosmos-db.0.3.1 on 4.14.2 is not available anymore. Previous state was: passing
• azure-cosmos-db.0.3.1 on 5.3.0 is not available anymore. Previous state was: passing
• bibfmt.0.7.9 on 4.14.2 is not available anymore. Previous state was: passing
• bibfmt.0.7.9 on 5.3.0 is not available anymore. Previous state was: passing
• bin.0.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• bin.0.0.2 on 5.3.0 is not available anymore. Previous state was: passing
• bstr.0.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• bstr.0.0.2 on 5.3.0 is not available anymore. Previous state was: passing
• ca-certs-nss.3.117 on 4.14.2 is not available anymore. Previous state was: passing
• ca-certs-nss.3.117 on 5.3.0 is not available anymore. Previous state was: passing
• cachet-lwt.0.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• cachet-lwt.0.0.2 on 5.3.0 is not available anymore. Previous state was: passing
• cachet-solo5.0.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• cachet-solo5.0.0.2 on 5.3.0 is not available anymore. Previous state was: passing
• cachet.0.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• cachet.0.0.2 on 5.3.0 is not available anymore. Previous state was: passing
• cairn.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• cairn.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• charrua-client.2.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• charrua-client.2.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• charrua-server.2.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• charrua-server.2.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• charrua-unix.2.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• charrua-unix.2.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• charrua.2.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• charrua.2.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• checked_oint.1.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• checked_oint.1.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• cmdliner.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• cmdliner.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• coin.0.1.4 on 4.14.2 is not available anymore. Previous state was: passing
• coin.0.1.4 on 5.3.0 is not available anymore. Previous state was: passing
• colombe.0.12.0 on 4.14.2 is not available anymore. Previous state was: passing
• colombe.0.12.0 on 5.3.0 is not available anymore. Previous state was: passing
• conf-libclang.15 on 4.14.2 is not available anymore. Previous state was: passing
• conf-libclang.15 on 5.3.0 is not available anymore. Previous state was: passing
• conf-openblas.0.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• conf-openblas.0.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• coq-lsp.0.2.4+9.1 on 4.14.2 is not available anymore. Previous state was: passing
• coq-lsp.0.2.4+9.1 on 5.3.0 is not available anymore. Previous state was: passing
• coq-waterproof.3.1.0+9.0 on 4.14.2 is not available anymore. Previous state was: passing
• coq-waterproof.3.1.0+9.0 on 5.3.0 is not available anymore. Previous state was: passing
• crowbar.0.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• crowbar.0.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• crypt.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• crypt.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-api.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-api.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-cli.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-cli.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-core.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-core.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-etc.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-etc.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-git-cli.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-git-cli.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-git.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-git.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-common.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-common.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-cpp-parsing.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-cpp-parsing.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-cpp-spec.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-cpp-spec.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-cpp.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-cpp.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-fortran-parsing.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-fortran-parsing.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-fortran-spec.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-fortran-spec.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-fortran.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-fortran.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-java-parsing.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-java-parsing.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-java-spec.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-java-spec.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-java.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-java.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-python-parsing.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-python-parsing.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-python-spec.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-python-spec.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-python.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-python.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-verilog-parsing.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-verilog-parsing.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-verilog-spec.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-verilog-spec.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-verilog.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-verilog.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-misc.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-misc.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• dkim-bin.0.8.0 on 4.14.2 is not available anymore. Previous state was: passing
• dkim-bin.0.8.0 on 5.3.0 is not available anymore. Previous state was: passing
• dkim-lwt-unix.0.8.0 on 4.14.2 is not available anymore. Previous state was: passing
• dkim-lwt-unix.0.8.0 on 5.3.0 is not available anymore. Previous state was: passing
• dkim-mirage.0.8.0 on 4.14.2 is not available anymore. Previous state was: passing
• dkim-mirage.0.8.0 on 5.3.0 is not available anymore. Previous state was: passing
• dkim.0.8.0 on 4.14.2 is not available anymore. Previous state was: passing
• dkim.0.8.0 on 5.3.0 is not available anymore. Previous state was: passing
• dns-certify.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dns-certify.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dns-cli.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dns-cli.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client-lwt.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dns-client-lwt.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client-miou-unix.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client-mirage.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dns-client-mirage.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dns-client.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dns-mirage.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dns-mirage.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dns-resolver.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dns-resolver.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dns-server.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dns-server.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dns-stub.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dns-stub.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dns-tsig.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dns-tsig.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dns.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dns.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dnssec.10.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• dnssec.10.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• dockerfile-cmd.8.3.3 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile-cmd.8.3.3 on 5.3.0 is not available anymore. Previous state was: passing
• dockerfile-opam.8.3.3 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile-opam.8.3.3 on 5.3.0 is not available anymore. Previous state was: passing
• dockerfile.8.3.3 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile.8.3.3 on 5.3.0 is not available anymore. Previous state was: passing
• doi2bib.0.7.9 on 4.14.2 is not available anymore. Previous state was: passing
• doi2bib.0.7.9 on 5.3.0 is not available anymore. Previous state was: passing
• dream-html.3.11.1 on 4.14.2 is not available anymore. Previous state was: passing
• dream-html.3.11.1 on 5.3.0 is not available anymore. Previous state was: passing
• elpi.3.4.3 on 4.14.2 is not available anymore. Previous state was: passing
• elpi.3.4.3 on 5.3.0 is not available anymore. Previous state was: passing
• fehu.1.0.0~alpha1 on 5.3.0 is not available anymore. Previous state was: partially failing
• fit.1.3.2 on 4.14.2 is not available anymore. Previous state was: passing
• fit.1.3.2 on 5.3.0 is not available anymore. Previous state was: passing
• flint.0.4.0 on 4.14.2 is not available anymore. Previous state was: partially failing
• flint.0.4.0 on 5.3.0 is not available anymore. Previous state was: partially failing
• frama-c-metacsl.0.9 on 4.14.2 is not available anymore. Previous state was: internal failure
• frama-c-metacsl.0.9 on 5.3.0 is not available anymore. Previous state was: internal failure
• frama-c.32.0~beta on 4.14.2 is not available anymore. Previous state was: internal failure
• frama-c.32.0~beta on 5.3.0 is not available anymore. Previous state was: passing
• gappa.1.4.1 on 4.14.2 is not available anymore. Previous state was: passing
• gappa.1.4.1 on 5.3.0 is not available anymore. Previous state was: passing
• gendarme-json.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• gendarme-json.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• gendarme-toml.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• gendarme-toml.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• gendarme-yaml.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• gendarme-yaml.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• gendarme.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• gendarme.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• goblint-cil.2.0.8 on 4.14.2 is not available anymore. Previous state was: passing
• goblint-cil.2.0.8 on 5.3.0 is not available anymore. Previous state was: passing
• hol2dk.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• hol2dk.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• html_of_jsx.0.0.6 on 4.14.2 is not available anymore. Previous state was: passing
• html_of_jsx.0.0.6 on 5.3.0 is not available anymore. Previous state was: passing
• hugin.1.0.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
• hxd.0.3.5 on 4.14.2 is not available anymore. Previous state was: passing
• hxd.0.3.5 on 5.3.0 is not available anymore. Previous state was: passing
• jasmin.2025.06.1 on 4.14.2 is not available anymore. Previous state was: failing
• jasmin.2025.06.1 on 5.3.0 is not available anymore. Previous state was: failing
• json-data-encoding-browser.1.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• json-data-encoding-browser.1.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• json-data-encoding-bson.1.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• json-data-encoding-bson.1.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• json-data-encoding.1.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• json-data-encoding.1.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• kaun.1.0.0~alpha1 on 5.3.0 is not available anymore. Previous state was: partially failing
• lablgtk3.3.1.5 on 4.14.2 is not available anymore. Previous state was: passing
• lablgtk3.3.1.5 on 5.3.0 is not available anymore. Previous state was: internal failure
• liquid_interpreter.0.1.2 on 4.14.2 is not available anymore. Previous state was: partially failing
• liquid_ml.0.1.2 on 4.14.2 is not available anymore. Previous state was: partially failing
• liquid_parser.0.1.2 on 4.14.2 is not available anymore. Previous state was: partially failing
• liquid_std.0.1.2 on 4.14.2 is not available anymore. Previous state was: partially failing
• liquid_syntax.0.1.2 on 4.14.2 is not available anymore. Previous state was: partially failing
• lun.0.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• lun.0.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• mazeppa.0.6.0 on 4.14.2 is not available anymore. Previous state was: passing
• mazeppa.0.6.0 on 5.3.0 is not available anymore. Previous state was: internal failure
• melange-fetch.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• melange-jest.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• melange-testing-library.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• melange-testing-library.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• melange-webapi.0.21.0 on 4.14.2 is not available anymore. Previous state was: passing
• melange.5.1.0-414 on 4.14.2 is not available anymore. Previous state was: passing
• melange.5.1.0-53 on 5.3.0 is not available anymore. Previous state was: passing
• mirage-runtime.4.10.3 on 4.14.2 is not available anymore. Previous state was: passing
• mirage-runtime.4.10.3 on 5.3.0 is not available anymore. Previous state was: passing
• mirage.4.10.3 on 4.14.2 is not available anymore. Previous state was: passing
• mirage.4.10.3 on 5.3.0 is not available anymore. Previous state was: passing
• moonpool-lwt.0.9 on 5.3.0 is not available anymore. Previous state was: passing
• moonpool.0.9 on 5.3.0 is not available anymore. Previous state was: passing
• mrmime.0.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• mrmime.0.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• nx-datasets.1.0.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
• nx.1.0.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
• ocaml-protoc.3.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• ocaml-protoc.3.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• ocaml-solo5.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• opam-build.0.2.6 on 4.14.2 is not available anymore. Previous state was: passing
• opam-build.0.2.6 on 5.3.0 is not available anymore. Previous state was: passing
• opam-check-npm-deps.4.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-check-npm-deps.4.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-client.2.5.0~beta1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-client.2.5.0~beta1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-core.2.5.0~beta1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-core.2.5.0~beta1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-devel.2.5.0~beta1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-devel.2.5.0~beta1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-format.2.5.0~beta1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-format.2.5.0~beta1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-installer.2.5.0~beta1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-installer.2.5.0~beta1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-publish.2.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• opam-publish.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• opam-repository.2.5.0~beta1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-repository.2.5.0~beta1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-solver.2.5.0~beta1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-solver.2.5.0~beta1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-state.2.5.0~beta1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-state.2.5.0~beta1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-test.0.2.6 on 4.14.2 is not available anymore. Previous state was: passing
• opam-test.0.2.6 on 5.3.0 is not available anymore. Previous state was: passing
• otp.0.2 on 4.14.2 is not available anymore. Previous state was: internal failure
• otp.0.2 on 5.3.0 is not available anymore. Previous state was: internal failure
• pbrt.3.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• pbrt.3.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• pbrt_services.3.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• pbrt_services.3.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• pbrt_yojson.3.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• pbrt_yojson.3.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• pcre2.8.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• pcre2.8.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_lun.0.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_lun.0.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_marshal.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_marshal.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_marshal_ext.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_marshal_ext.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_parser.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_parser.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_repr.0.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_repr.0.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• prettym.0.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• prettym.0.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• prometheus-app.1.2 on 4.14.2 is not available anymore. Previous state was: passing
• prometheus-app.1.2 on 5.3.0 is not available anymore. Previous state was: passing
• prometheus.1.2 on 4.14.2 is not available anymore. Previous state was: passing
• prometheus.1.2 on 5.3.0 is not available anymore. Previous state was: passing
• pure-html.3.11.1 on 4.14.2 is not available anymore. Previous state was: passing
• pure-html.3.11.1 on 5.3.0 is not available anymore. Previous state was: passing
• qcow-stream.0.12.1 on 4.14.2 is not available anymore. Previous state was: passing
• qcow-stream.0.12.1 on 5.3.0 is not available anymore. Previous state was: passing
• qcow-tool.0.12.1 on 4.14.2 is not available anymore. Previous state was: passing
• qcow-types.0.12.1 on 4.14.2 is not available anymore. Previous state was: passing
• qcow-types.0.12.1 on 5.3.0 is not available anymore. Previous state was: passing
• qcow.0.12.1 on 4.14.2 is not available anymore. Previous state was: passing
• quickjs.0.1.2 on 4.14.2 is not available anymore. Previous state was: passing
• quickjs.0.1.2 on 5.3.0 is not available anymore. Previous state was: passing
• quill.1.0.0~alpha1 on 5.3.0 is not available anymore. Previous state was: partially failing
• raven.1.0.0~alpha1 on 5.3.0 is not available anymore. Previous state was: internal failure
• reason.3.17.0 on 4.14.2 is not available anymore. Previous state was: passing
• reason.3.17.0 on 5.3.0 is not available anymore. Previous state was: passing
• received.0.11.0 on 4.14.2 is not available anymore. Previous state was: passing
• received.0.11.0 on 5.3.0 is not available anymore. Previous state was: passing
• repr-bench.0.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• repr-bench.0.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• repr-fuzz.0.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• repr-fuzz.0.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• repr.0.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• repr.0.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• rosetta.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• rosetta.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• rtop.3.17.0 on 4.14.2 is not available anymore. Previous state was: passing
• rtop.3.17.0 on 5.3.0 is not available anymore. Previous state was: passing
• rune.1.0.0~alpha1 on 5.3.0 is not available anymore. Previous state was: failing
• saga.1.0.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
• salto-analyzer.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• sel.0.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• sel.0.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• sendmail-lwt.0.12.0 on 4.14.2 is not available anymore. Previous state was: passing
• sendmail-lwt.0.12.0 on 5.3.0 is not available anymore. Previous state was: passing
• sendmail-miou-unix.0.12.0 on 5.3.0 is not available anymore. Previous state was: passing
• sendmail-mirage.0.12.0 on 4.14.2 is not available anymore. Previous state was: passing
• sendmail-mirage.0.12.0 on 5.3.0 is not available anymore. Previous state was: passing
• sendmail.0.12.0 on 4.14.2 is not available anymore. Previous state was: passing
• sendmail.0.12.0 on 5.3.0 is not available anymore. Previous state was: passing
• server-reason-react.0.3.1 on 5.3.0 is not available anymore. Previous state was: passing
• slice.0.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• slice.0.0.2 on 5.3.0 is not available anymore. Previous state was: passing
• slipshow.0.6.0 on 4.14.2 is not available anymore. Previous state was: passing
• slipshow.0.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• smtml.0.13.0 on 4.14.2 is not available anymore. Previous state was: passing
• smtml.0.13.0 on 5.3.0 is not available anymore. Previous state was: passing
• sowilo.1.0.0~alpha1 on 5.3.0 is not available anymore. Previous state was: partially failing
• syslog-rfc5424.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• syslog-rfc5424.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• talon.1.0.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
• tyre.0.5 on 4.14.2 is not available anymore. Previous state was: passing
• tyre.0.5 on 5.3.0 is not available anymore. Previous state was: passing
• unison-gui.2.53.7 on 4.14.2 is not available anymore. Previous state was: passing
• unison-gui.2.53.7 on 5.3.0 is not available anymore. Previous state was: passing
• unison.2.53.7 on 4.14.2 is not available anymore. Previous state was: passing
• unison.2.53.7 on 5.3.0 is not available anymore. Previous state was: passing
• uspf-lwt.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• uspf-lwt.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• uspf-mirage.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• uspf-mirage.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• uspf.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• uspf.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• uuuu.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• uuuu.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• visitors.20251010 on 4.14.2 is not available anymore. Previous state was: passing
• visitors.20251010 on 5.3.0 is not available anymore. Previous state was: passing
• vscoq-language-server.2.3.3 on 4.14.2 is not available anymore. Previous state was: passing
• vscoq-language-server.2.3.3 on 5.3.0 is not available anymore. Previous state was: passing
• vsrocq-language-server.2.3.3 on 4.14.2 is not available anymore. Previous state was: passing
• vsrocq-language-server.2.3.3 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_cmarkit.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_eio.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_git.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_jingoo.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_markdown.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_mustache.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_omd.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_otoml.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_runtime.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_syndication.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_unix.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_yaml.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing

Packages now failing with an internal failure:

• acpc.1.2.3 on 4.14.2 had its build status changed: passing to internal failure
• acpc.2.0.0 on 5.3.0 had its build status changed: passing to internal failure
• cachet-solo5.0.0.3 on 4.14.2 is now installable. Current state is: internal failure
• cachet-solo5.0.0.3 on 5.3.0 is now installable. Current state is: internal failure
• cactus.1.0.0 on 4.14.2 had its build status changed: passing to internal failure
• cactus.1.0.0 on 5.3.0 had its build status changed: passing to internal failure
• caisar-ir.0.2 on 4.14.2 had its build status changed: passing to internal failure
• caisar-onnx.0.2 on 4.14.2 had its build status changed: passing to internal failure
• caisar-onnx.0.2 on 5.3.0 had its build status changed: passing to internal failure
• caisar.4.0 on 4.14.2 had its build status changed: passing to internal failure
• caisar.4.0 on 5.3.0 had its build status changed: passing to internal failure
• conf-ao.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-asciidoc.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-boost.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-cairo.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-cmake.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-efl.1.8 on 5.3.0 had its build status changed: passing to internal failure
• conf-emacs.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-ffmpeg.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-flex.2 on 5.3.0 had its build status changed: passing to internal failure
• conf-flint.3.0 on 4.14.2 had its build status changed: failing to internal failure
• conf-flint.3.0 on 5.3.0 had its build status changed: failing to internal failure
• conf-freetype.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-freetype.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-ghostscript.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-glade.2 on 4.14.2 had its build status changed: passing to internal failure
• conf-gles2.1 on 4.14.2 had its build status changed: failing to internal failure
• conf-glfw3.2 on 4.14.2 had its build status changed: passing to internal failure
• conf-gnome-icon-theme3.0 on 5.3.0 had its build status changed: passing to internal failure
• conf-gnutls.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-gstreamer.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-gstreamer.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-gtk2.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-gtk3.18 on 5.3.0 had its build status changed: passing to internal failure
• conf-gtksourceview.2 on 5.3.0 had its build status changed: passing to internal failure
• conf-gtksourceview3.0+2 on 4.14.2 had its build status changed: passing to internal failure
• conf-gtksourceview3.0+2 on 5.3.0 had its build status changed: passing to internal failure
• conf-libXft.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libgccjit.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libglu.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-librsvg2.0 on 5.3.0 had its build status changed: passing to internal failure
• conf-libxrandr.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-lilv.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-lilv.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-llvm-static.19 on 4.14.2 had its build status changed: passing to internal failure
• conf-llvm-static.19 on 5.3.0 had its build status changed: passing to internal failure
• conf-llvm.17 on 4.14.2 had its build status changed: passing to internal failure
• conf-llvm.17 on 5.3.0 had its build status changed: passing to internal failure
• conf-mad.2 on 4.14.2 had its build status changed: passing to internal failure
• conf-mad.2 on 5.3.0 had its build status changed: passing to internal failure
• conf-mariadb.2 on 4.14.2 had its build status changed: passing to internal failure
• conf-mariadb.2 on 5.3.0 had its build status changed: passing to internal failure
• conf-mesa.1 on 4.14.2 had its build status changed: failing to internal failure
• conf-mesa.1 on 5.3.0 had its build status changed: failing to internal failure
• conf-mpfr.3 on 4.14.2 had its build status changed: passing to internal failure
• conf-mpi.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-mysql.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-mysql.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-nanomsg.0 on 4.14.2 had its build status changed: passing to internal failure
• conf-nanomsg.0 on 5.3.0 had its build status changed: passing to internal failure
• conf-npm.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-openblas.0.2.3 on 4.14.2 is now installable. Current state is: internal failure
• conf-rust-2024.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-sdl-image.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-sdl2-net.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-sdl2.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-sdpa.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-sundials.2 on 4.14.2 had its build status changed: passing to internal failure
• conf-sundials.2 on 5.3.0 had its build status changed: passing to internal failure
• conf-swi-prolog.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-texlive.2 on 5.3.0 had its build status changed: passing to internal failure
• conf-tk.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-xen.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-xkbcommon.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-xkbcommon.1 on 5.3.0 had its build status changed: passing to internal failure
• diffast-langs-cpp-spec.0.3.6 on 4.14.2 is now installable. Current state is: internal failure
• frama-c-lannotate.0.2.4 on 4.14.2 had its build status changed: passing to internal failure
• frama-c-metacsl.0.10~beta on 4.14.2 is now installable. Current state is: internal failure
• frama-c-metacsl.0.10~beta on 5.3.0 is now installable. Current state is: internal failure
• frama-c.32.0 on 4.14.2 is now installable. Current state is: internal failure
• frama-c.32.0 on 5.3.0 is now installable. Current state is: internal failure
• fstar.2025.10.06 on 4.14.2 had its build status changed: passing to internal failure
• fswatch_lwt.11-0.1.0 on 4.14.2 had its build status changed: passing to internal failure
• fswatch_lwt.11-0.1.0 on 5.3.0 had its build status changed: passing to internal failure
• lablgtk3-extras.3.0.1 on 4.14.2 had its build status changed: passing to internal failure
• lablgtk3-extras.3.0.1 on 5.3.0 had its build status changed: passing to internal failure
• lablgtk3-goocanvas2.3.1.5 on 4.14.2 had its build status changed: passing to internal failure
• mlmpfr.4.2.1 on 4.14.2 had its build status changed: failing to internal failure
• mlmpfr.4.2.1 on 5.3.0 had its build status changed: failing to internal failure
• mlsolver.1.5 on 4.14.2 had its build status changed: passing to internal failure
• mlsolver.1.5 on 5.3.0 had its build status changed: passing to internal failure
• octez-accuser-Proxford.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-accuser-PsParisC.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-accuser-PtLimaPt.16.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-accuser-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-accuser-PtNairob.19.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-accuser-PtParisB.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-baker-PsParisC.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-baker-PtLimaPt.16.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-baker-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-baker-PtParisB.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-bls12-381-hash.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-bls12-381-polynomial.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-bls12-381-signature.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-codec.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-crawler.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-injector.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-l2-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-mec.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-node-config.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-node.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-plompiler.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-plonk.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-proto-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-protocol-000-Ps9mPmXa-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-protocol-001-PtCJ7pwo-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-protocol-002-PsYLVpVv-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-protocol-003-PsddFKi3-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-protocol-004-Pt24m4xi-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-protocol-005-PsBabyM1-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-protocol-006-PsCARTHA-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-protocol-007-PsDELPH1-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-protocol-008-PtEdo2Zk-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-protocol-009-PsFLoren-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-protocol-010-PtGRANAD-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-protocol-011-PtHangz2-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-protocol-013-PtJakart-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-protocol-014-PtKathma-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-protocol-015-PtLimaPt-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-protocol-016-PtMumbai-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-protocol-017-PtNairob-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-protocol-019-PtParisB-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-protocol-020-PsParisC-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-protocol-alpha-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-protocol-compiler.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-proxy-server.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-rpc-process.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-shell-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-signer.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-smart-rollup-client-Proxford.18.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-smart-rollup-client-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-smart-rollup-client-PtNairob.18.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-smart-rollup-node-Proxford.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-smart-rollup-node-PsParisC.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-smart-rollup-node-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-smart-rollup-node-lib.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• oranger.4.3.5 on 5.3.0 had its build status changed: failing to internal failure
• owl-ode-odepack.0.5.0 on 4.14.2 had its build status changed: partially failing to internal failure
• owl-ode.0.5.0 on 5.3.0 had its build status changed: partially failing to internal failure
• owl-opt.0.0.1 on 5.3.0 had its build status changed: partially failing to internal failure
• owl-plplot.1.1 on 4.14.2 had its build status changed: partially failing to internal failure
• owl-top.1.2 on 5.3.0 had its build status changed: partially failing to internal failure
• proton.1.0.17 on 4.14.2 had its build status changed: passing to internal failure
• proton.1.0.17 on 5.3.0 had its build status changed: passing to internal failure
• revops.2.5 on 5.3.0 had its build status changed: passing to internal failure
• statocaml_profile.0.1.0 on 4.14.2 had its build status changed: passing to internal failure
• statocaml_profile.0.1.0 on 5.3.0 had its build status changed: passing to internal failure
• tezos-client-001-PtCJ7pwo.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-002-PsYLVpVv.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-003-PsddFKi3.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-004-Pt24m4xi.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-005-PsBabyM1.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-006-PsCARTHA.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-007-PsDELPH1.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-008-PtEdo2Zk.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-009-PsFLoren.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-010-PtGRANAD.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-011-PtHangz2.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-013-PtJakart.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-014-PtKathma.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-015-PtLimaPt.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-016-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-017-PtNairob.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-alpha.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-base-unix.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-base.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-commands.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-genesis.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-context-hash-irmin.1.0.0 on 5.3.0 had its build status changed: passing to internal failure
• tezos-context.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-dal-node-services.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-000-Ps9mPmXa.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-001-PtCJ7pwo.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-002-PsYLVpVv.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-008-PtEdo2Zk.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-store.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-test-helpers-extra.16.1 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-test-helpers.12.3 on 4.14.2 had its build status changed: passing to internal failure
• tezos-test-helpers.12.3 on 5.3.0 had its build status changed: passing to internal failure
• tezos-test-helpers.17.3 on 4.14.2 had its build status changed: passing to internal failure
• tezos-tree-encoding.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-tx-rollup-015-PtLimaPt.16.1 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-validation.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-version.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-wasmer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• visitors.20251114 on 4.14.2 is now installable. Current state is: internal failure
• visitors.20251114 on 5.3.0 is now installable. Current state is: internal failure

Packages now passing:

• albatross.2.6.1 on 4.14.2 is now installable. Current state is: passing
• albatross.2.6.1 on 5.3.0 is now installable. Current state is: passing
• alice.0.2.0 on 5.3.0 is now installable. Current state is: passing
• arc.0.0.1 on 4.14.2 is now installable. Current state is: passing
• arc.0.0.1 on 5.3.0 is now installable. Current state is: passing
• avro-simple.0.1 on 5.3.0 is now installable. Current state is: passing
• azure-cosmos-db.0.3.2 on 4.14.2 is now installable. Current state is: passing
• azure-cosmos-db.0.3.2 on 5.3.0 is now installable. Current state is: passing
• bibfmt.0.9.0 on 4.14.2 is now installable. Current state is: passing
• bibfmt.0.9.0 on 5.3.0 is now installable. Current state is: passing
• bin.0.0.3 on 4.14.2 is now installable. Current state is: passing
• bin.0.0.3 on 5.3.0 is now installable. Current state is: passing
• bstr.0.0.3 on 4.14.2 is now installable. Current state is: passing
• bstr.0.0.3 on 5.3.0 is now installable. Current state is: passing
• ca-certs-nss.3.118 on 4.14.2 is now installable. Current state is: passing
• ca-certs-nss.3.118 on 5.3.0 is now installable. Current state is: passing
• cachet-lwt.0.0.3 on 4.14.2 is now installable. Current state is: passing
• cachet-lwt.0.0.3 on 5.3.0 is now installable. Current state is: passing
• cachet.0.0.3 on 4.14.2 is now installable. Current state is: passing
• cachet.0.0.3 on 5.3.0 is now installable. Current state is: passing
• cairn.2.1 on 4.14.2 is now installable. Current state is: passing
• cairn.2.1 on 5.3.0 is now installable. Current state is: passing
• caml-mode.4.9 on 4.14.2 had its build status changed: internal failure to passing
• camlid.0.2 on 4.14.2 is now installable. Current state is: passing
• camlid.0.2 on 5.3.0 is now installable. Current state is: passing
• charrua-client.3.0.0 on 4.14.2 is now installable. Current state is: passing
• charrua-client.3.0.0 on 5.3.0 is now installable. Current state is: passing
• charrua-server.3.0.0 on 4.14.2 is now installable. Current state is: passing
• charrua-server.3.0.0 on 5.3.0 is now installable. Current state is: passing
• charrua-unix.3.0.0 on 4.14.2 is now installable. Current state is: passing
• charrua-unix.3.0.0 on 5.3.0 is now installable. Current state is: passing
• charrua.3.0.0 on 4.14.2 is now installable. Current state is: passing
• charrua.3.0.0 on 5.3.0 is now installable. Current state is: passing
• checked_oint.1.0.1 on 4.14.2 is now installable. Current state is: passing
• checked_oint.1.0.1 on 5.3.0 is now installable. Current state is: passing
• cmdliner.2.1.0 on 4.14.2 is now installable. Current state is: passing
• cmdliner.2.1.0 on 5.3.0 is now installable. Current state is: passing
• coin.0.1.5 on 4.14.2 is now installable. Current state is: passing
• coin.0.1.5 on 5.3.0 is now installable. Current state is: passing
• colombe.0.12.1 on 4.14.2 is now installable. Current state is: passing
• colombe.0.12.1 on 5.3.0 is now installable. Current state is: passing
• conf-adwaita-icon-theme.2 on 5.3.0 had its build status changed: internal failure to passing
• conf-antic.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-blas.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-boost.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-capnproto.2 on 4.14.2 had its build status changed: internal failure to passing
• conf-capnproto.2 on 5.3.0 had its build status changed: internal failure to passing
• conf-dbm.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
• conf-dpkg.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-dpkg.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-fdkaac.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-gcc.1.0 on 5.3.0 had its build status changed: internal failure to passing
• conf-gnomecanvas.2 on 5.3.0 had its build status changed: internal failure to passing
• conf-gnustep-base.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-gnustep-base.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-gnutls.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-goocanvas2.0 on 4.14.2 had its build status changed: internal failure to passing
• conf-graphviz.0.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-graphviz.0.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-lapack.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-libclang.21 on 4.14.2 is now installable. Current state is: passing
• conf-libclang.21 on 5.3.0 is now installable. Current state is: passing
• conf-libdrm.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-libdw.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-libfuse.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-libgif.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-libgl.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-libgl.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-libgsasl.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-libmaxminddb.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-nauty.1.0 on 4.14.2 had its build status changed: internal failure to passing
• conf-npm.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-openbabel.0.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-openblas.0.2.3 on 5.3.0 is now installable. Current state is: passing
• conf-pandoc.0.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-plplot.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-postgresql.2 on 4.14.2 had its build status changed: internal failure to passing
• conf-ppl.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-radare2.0.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-radare2.0.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-ruby.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
• conf-rust-2021.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-rust-2021.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-rust-wasm.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-rust.0.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-samplerate.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-scdoc.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-sdl-ttf.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-texlive.2 on 4.14.2 had its build status changed: internal failure to passing
• conf-tk.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-vim.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-wayland-protocols.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-wget.1 on 4.14.2 had its build status changed: internal failure to passing
• coq-lsp.0.2.5+9.1 on 4.14.2 is now installable. Current state is: passing
• coq-lsp.0.2.5+9.1 on 5.3.0 is now installable. Current state is: passing
• coq-waterproof.3.1.0+9.1 on 4.14.2 is now installable. Current state is: passing
• coq-waterproof.3.1.0+9.1 on 5.3.0 is now installable. Current state is: passing
• crowbar.0.2.2 on 4.14.2 is now installable. Current state is: passing
• crowbar.0.2.2 on 5.3.0 is now installable. Current state is: passing
• crypt.2.1 on 4.14.2 is now installable. Current state is: passing
• crypt.2.1 on 5.3.0 is now installable. Current state is: passing
• css.0.3.0 on 4.14.2 had its build status changed: internal failure to passing
• css.0.3.0 on 5.3.0 had its build status changed: internal failure to passing
• css.0.4.0 on 5.3.0 is now installable. Current state is: passing
• cubicle.1.2.0 on 4.14.2 had its build status changed: failing to passing
• diffast-api.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-api.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-cli.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-cli.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-core.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-core.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-etc.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-etc.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-git-cli.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-git-cli.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-git.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-git.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-common.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-common.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-cpp-parsing.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-cpp-parsing.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-cpp-spec.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-cpp.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-cpp.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-fortran-parsing.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-fortran-parsing.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-fortran-spec.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-fortran-spec.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-fortran.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-fortran.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-java-parsing.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-java-parsing.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-java-spec.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-java-spec.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-java.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-java.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-python-parsing.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-python-parsing.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-python-spec.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-python-spec.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-python.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-python.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-verilog-parsing.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-verilog-parsing.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-verilog-spec.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-verilog-spec.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-verilog.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-verilog.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-misc.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-misc.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast.0.3.6 on 5.3.0 is now installable. Current state is: passing
• dkim-bin.0.9.0 on 4.14.2 is now installable. Current state is: passing
• dkim-bin.0.9.0 on 5.3.0 is now installable. Current state is: passing
• dkim-lwt-unix.0.9.0 on 4.14.2 is now installable. Current state is: passing
• dkim-lwt-unix.0.9.0 on 5.3.0 is now installable. Current state is: passing
• dkim-mirage.0.9.0 on 4.14.2 is now installable. Current state is: passing
• dkim-mirage.0.9.0 on 5.3.0 is now installable. Current state is: passing
• dkim.0.9.0 on 4.14.2 is now installable. Current state is: passing
• dkim.0.9.0 on 5.3.0 is now installable. Current state is: passing
• dmarc.0.0.1 on 4.14.2 is now installable. Current state is: passing
• dmarc.0.0.1 on 5.3.0 is now installable. Current state is: passing
• dns-certify.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dns-certify.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dns-cli.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dns-cli.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dns-client-lwt.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dns-client-lwt.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dns-client-miou-unix.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dns-client-mirage.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dns-client-mirage.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dns-client.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dns-client.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dns-mirage.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dns-mirage.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dns-resolver.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dns-resolver.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dns-server.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dns-server.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dns-stub.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dns-stub.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dns-tsig.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dns-tsig.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dns.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dns.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dnssec.10.2.3 on 4.14.2 is now installable. Current state is: passing
• dnssec.10.2.3 on 5.3.0 is now installable. Current state is: passing
• dockerfile-cmd.8.3.4 on 4.14.2 is now installable. Current state is: passing
• dockerfile-cmd.8.3.4 on 5.3.0 is now installable. Current state is: passing
• dockerfile-opam.8.3.4 on 4.14.2 is now installable. Current state is: passing
• dockerfile-opam.8.3.4 on 5.3.0 is now installable. Current state is: passing
• dockerfile.8.3.4 on 4.14.2 is now installable. Current state is: passing
• dockerfile.8.3.4 on 5.3.0 is now installable. Current state is: passing
• doi2bib.0.9.0 on 4.14.2 is now installable. Current state is: passing
• doi2bib.0.9.0 on 5.3.0 is now installable. Current state is: passing
• dream-html.3.11.2 on 4.14.2 is now installable. Current state is: passing
• dream-html.3.11.2 on 5.3.0 is now installable. Current state is: passing
• elpi.3.4.5 on 4.14.2 is now installable. Current state is: passing
• elpi.3.4.5 on 5.3.0 is now installable. Current state is: passing
• expr.0.5.2 on 4.14.2 is now installable. Current state is: passing
• expr.0.5.2 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-avcodec.1.2.7 on 4.14.2 had its build status changed: internal failure to passing
• ffmpeg-avdevice.1.2.7 on 5.3.0 had its build status changed: internal failure to passing
• ffmpeg-avfilter.1.2.7 on 5.3.0 had its build status changed: internal failure to passing
• ffmpeg-swresample.1.2.7 on 4.14.2 had its build status changed: internal failure to passing
• ffmpeg-swscale.1.2.7 on 4.14.2 had its build status changed: internal failure to passing
• ffmpeg-swscale.1.2.7 on 5.3.0 had its build status changed: internal failure to passing
• fit.1.4.0 on 4.14.2 is now installable. Current state is: passing
• fit.1.4.0 on 5.3.0 is now installable. Current state is: passing
• gappa.1.6.0 on 4.14.2 is now installable. Current state is: passing
• gappa.1.6.0 on 5.3.0 is now installable. Current state is: passing
• gendarme-csv.0.4.0 on 4.14.2 is now installable. Current state is: passing
• gendarme-csv.0.4.0 on 5.3.0 is now installable. Current state is: passing
• gendarme-ezjsonm.0.4.0 on 4.14.2 is now installable. Current state is: passing
• gendarme-ezjsonm.0.4.0 on 5.3.0 is now installable. Current state is: passing
• gendarme-json.0.4.0 on 4.14.2 is now installable. Current state is: passing
• gendarme-json.0.4.0 on 5.3.0 is now installable. Current state is: passing
• gendarme-toml.0.4.0 on 4.14.2 is now installable. Current state is: passing
• gendarme-toml.0.4.0 on 5.3.0 is now installable. Current state is: passing
• gendarme-yaml.0.4.0 on 4.14.2 is now installable. Current state is: passing
• gendarme-yaml.0.4.0 on 5.3.0 is now installable. Current state is: passing
• gendarme-yojson.0.4.0 on 4.14.2 is now installable. Current state is: passing
• gendarme-yojson.0.4.0 on 5.3.0 is now installable. Current state is: passing
• gendarme.0.4.0 on 4.14.2 is now installable. Current state is: passing
• gendarme.0.4.0 on 5.3.0 is now installable. Current state is: passing
• goblint-cil.2.0.9 on 4.14.2 is now installable. Current state is: passing
• goblint-cil.2.0.9 on 5.3.0 is now installable. Current state is: passing
• hol2dk.2.1.0 on 4.14.2 is now installable. Current state is: passing
• hol2dk.2.1.0 on 5.3.0 is now installable. Current state is: passing
• html_of_jsx.0.0.7 on 4.14.2 is now installable. Current state is: passing
• html_of_jsx.0.0.7 on 5.3.0 is now installable. Current state is: passing
• hugin.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: passing
• hxd.0.3.6 on 4.14.2 is now installable. Current state is: passing
• hxd.0.3.6 on 5.3.0 is now installable. Current state is: passing
• json-data-encoding-browser.1.1.1 on 4.14.2 is now installable. Current state is: passing
• json-data-encoding-browser.1.1.1 on 5.3.0 is now installable. Current state is: passing
• json-data-encoding-bson.1.1.1 on 4.14.2 is now installable. Current state is: passing
• json-data-encoding-bson.1.1.1 on 5.3.0 is now installable. Current state is: passing
• json-data-encoding.1.1.1 on 4.14.2 is now installable. Current state is: passing
• json-data-encoding.1.1.1 on 5.3.0 is now installable. Current state is: passing
• kot.20251212 on 4.14.2 is now installable. Current state is: passing
• kot.20251212 on 5.3.0 is now installable. Current state is: passing
• lablgtk3-gtkspell3.3.1.5 on 5.3.0 had its build status changed: internal failure to passing
• lablgtk3-sourceview3.3.1.5 on 4.14.2 had its build status changed: internal failure to passing
• lablgtk3-sourceview3.3.1.5 on 5.3.0 had its build status changed: internal failure to passing
• lablgtk3.3.1.5-1 on 4.14.2 is now installable. Current state is: passing
• lablgtk3.3.1.5-1 on 5.3.0 is now installable. Current state is: passing
• labltk.8.06.15 on 5.3.0 had its build status changed: internal failure to passing
• lmdb.1.0 on 5.3.0 had its build status changed: internal failure to passing
• lun.0.0.2 on 4.14.2 is now installable. Current state is: passing
• lun.0.0.2 on 5.3.0 is now installable. Current state is: passing
• mastodon-archive-viewer.0.4.0 on 4.14.2 had its build status changed: internal failure to passing
• mastodon-archive-viewer.0.4.0 on 5.3.0 had its build status changed: internal failure to passing
• mazeppa.0.7.2 on 4.14.2 is now installable. Current state is: passing
• mazeppa.0.7.2 on 5.3.0 is now installable. Current state is: passing
• mc2.0.1 on 5.3.0 had its build status changed: internal failure to passing
• melange-fetch.0.2.0 on 4.14.2 is now installable. Current state is: passing
• melange-fetch.0.2.0 on 5.3.0 is now installable. Current state is: passing
• melange-jest.0.2.0 on 4.14.2 is now installable. Current state is: passing
• melange-jest.0.2.0 on 5.3.0 is now installable. Current state is: passing
• melange-testing-library.0.2.0 on 4.14.2 is now installable. Current state is: passing
• melange-testing-library.0.2.0 on 5.3.0 is now installable. Current state is: passing
• melange-webapi.0.22.0 on 4.14.2 is now installable. Current state is: passing
• melange-webapi.0.22.0 on 5.3.0 is now installable. Current state is: passing
• melange.6.0.1-414 on 4.14.2 is now installable. Current state is: passing
• melange.6.0.1-53 on 5.3.0 is now installable. Current state is: passing
• mirage-runtime.4.10.4 on 4.14.2 is now installable. Current state is: passing
• mirage-runtime.4.10.4 on 5.3.0 is now installable. Current state is: passing
• mirage.4.10.4 on 4.14.2 is now installable. Current state is: passing
• mirage.4.10.4 on 5.3.0 is now installable. Current state is: passing
• mlcuddidl.3.0.8 on 4.14.2 had its build status changed: failing to passing
• mlcuddidl.3.0.8 on 5.3.0 had its build status changed: not available to passing
• moonpool-lwt.0.10 on 5.3.0 is now installable. Current state is: passing
• moonpool.0.10 on 5.3.0 is now installable. Current state is: passing
• mrmime.0.7.1 on 4.14.2 is now installable. Current state is: passing
• mrmime.0.7.1 on 5.3.0 is now installable. Current state is: passing
• nx-datasets.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: passing
• nx.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: passing
• ocaml-protoc.4.0 on 4.14.2 is now installable. Current state is: passing
• ocaml-protoc.4.0 on 5.3.0 is now installable. Current state is: passing
• ocaml-solo5.1.2.0 on 5.3.0 is now installable. Current state is: passing
• ojs_base.0.9.0 on 5.3.0 is now installable. Current state is: passing
• ojs_base_all.0.9.0 on 5.3.0 is now installable. Current state is: passing
• ojs_base_ppx.0.9.0 on 5.3.0 is now installable. Current state is: passing
• ojs_ed.0.9.0 on 5.3.0 is now installable. Current state is: passing
• ojs_filetree.0.9.0 on 5.3.0 is now installable. Current state is: passing
• ojs_list.0.9.0 on 5.3.0 is now installable. Current state is: passing
• opam-build.0.3.0 on 4.14.2 is now installable. Current state is: passing
• opam-build.0.3.0 on 5.3.0 is now installable. Current state is: passing
• opam-client.2.5.0 on 4.14.2 is now installable. Current state is: passing
• opam-client.2.5.0 on 5.3.0 is now installable. Current state is: passing
• opam-core.2.5.0 on 4.14.2 is now installable. Current state is: passing
• opam-core.2.5.0 on 5.3.0 is now installable. Current state is: passing
• opam-devel.2.5.0 on 4.14.2 is now installable. Current state is: passing
• opam-devel.2.5.0 on 5.3.0 is now installable. Current state is: passing
• opam-format.2.5.0 on 4.14.2 is now installable. Current state is: passing
• opam-format.2.5.0 on 5.3.0 is now installable. Current state is: passing
• opam-installer.2.5.0 on 4.14.2 is now installable. Current state is: passing
• opam-installer.2.5.0 on 5.3.0 is now installable. Current state is: passing
• opam-publish.2.7.1 on 4.14.2 is now installable. Current state is: passing
• opam-publish.2.7.1 on 5.3.0 is now installable. Current state is: passing
• opam-repository.2.5.0 on 4.14.2 is now installable. Current state is: passing
• opam-repository.2.5.0 on 5.3.0 is now installable. Current state is: passing
• opam-solver.2.5.0 on 4.14.2 is now installable. Current state is: passing
• opam-solver.2.5.0 on 5.3.0 is now installable. Current state is: passing
• opam-state.2.5.0 on 4.14.2 is now installable. Current state is: passing
• opam-state.2.5.0 on 5.3.0 is now installable. Current state is: passing
• opam-test.0.3.0 on 4.14.2 is now installable. Current state is: passing
• opam-test.0.3.0 on 5.3.0 is now installable. Current state is: passing
• opium.0.20.0 on 5.3.0 had its build status changed: internal failure to passing
• otp.0.2.2 on 4.14.2 is now installable. Current state is: passing
• otp.0.2.2 on 5.3.0 is now installable. Current state is: passing
• pancake.2.0.1 on 5.3.0 is now installable. Current state is: passing
• pbrt.4.0 on 4.14.2 is now installable. Current state is: passing
• pbrt.4.0 on 5.3.0 is now installable. Current state is: passing
• pbrt_services.4.0 on 4.14.2 is now installable. Current state is: passing
• pbrt_services.4.0 on 5.3.0 is now installable. Current state is: passing
• pbrt_yojson.4.0 on 4.14.2 is now installable. Current state is: passing
• pbrt_yojson.4.0 on 5.3.0 is now installable. Current state is: passing
• pcre2.8.0.4 on 4.14.2 is now installable. Current state is: passing
• pcre2.8.0.4 on 5.3.0 is now installable. Current state is: passing
• ppx_lun.0.0.2 on 4.14.2 is now installable. Current state is: passing
• ppx_lun.0.0.2 on 5.3.0 is now installable. Current state is: passing
• ppx_marshal.0.4.0 on 4.14.2 is now installable. Current state is: passing
• ppx_marshal.0.4.0 on 5.3.0 is now installable. Current state is: passing
• ppx_marshal_ext.0.4.0 on 4.14.2 is now installable. Current state is: passing
• ppx_marshal_ext.0.4.0 on 5.3.0 is now installable. Current state is: passing
• ppx_parser.0.2.1 on 4.14.2 is now installable. Current state is: passing
• ppx_parser.0.2.1 on 5.3.0 is now installable. Current state is: passing
• ppx_repr.0.8.0 on 4.14.2 is now installable. Current state is: passing
• ppx_repr.0.8.0 on 5.3.0 is now installable. Current state is: passing
• prettym.0.0.4 on 4.14.2 is now installable. Current state is: passing
• prettym.0.0.4 on 5.3.0 is now installable. Current state is: passing
• prometheus-app.1.3 on 4.14.2 is now installable. Current state is: passing
• prometheus-app.1.3 on 5.3.0 is now installable. Current state is: passing
• prometheus.1.3 on 4.14.2 is now installable. Current state is: passing
• prometheus.1.3 on 5.3.0 is now installable. Current state is: passing
• public-suffix.0.0.1 on 4.14.2 is now installable. Current state is: passing
• public-suffix.0.0.1 on 5.3.0 is now installable. Current state is: passing
• pure-html.3.11.2 on 4.14.2 is now installable. Current state is: passing
• pure-html.3.11.2 on 5.3.0 is now installable. Current state is: passing
• purl.1.0.0 on 4.14.2 is now installable. Current state is: passing
• purl.1.0.0 on 5.3.0 is now installable. Current state is: passing
• qcow-stream.0.12.2 on 4.14.2 is now installable. Current state is: passing
• qcow-stream.0.12.2 on 5.3.0 is now installable. Current state is: passing
• qcow-tool.0.12.2 on 4.14.2 is now installable. Current state is: passing
• qcow-types.0.12.2 on 4.14.2 is now installable. Current state is: passing
• qcow-types.0.12.2 on 5.3.0 is now installable. Current state is: passing
• qcow.0.12.2 on 4.14.2 is now installable. Current state is: passing
• query-json.0.5.52 on 4.14.2 is now installable. Current state is: passing
• query-json.0.5.52 on 5.3.0 is now installable. Current state is: passing
• query-json.0.6.1 on 5.3.0 is now installable. Current state is: passing
• quickjs.0.4.0 on 4.14.2 is now installable. Current state is: passing
• quickjs.0.4.0 on 5.3.0 is now installable. Current state is: passing
• raga.0.1.0 on 4.14.2 is now installable. Current state is: passing
• raga.0.1.0 on 5.3.0 is now installable. Current state is: passing
• reason.3.17.2 on 4.14.2 is now installable. Current state is: passing
• reason.3.17.2 on 5.3.0 is now installable. Current state is: passing
• received.0.12.1 on 4.14.2 is now installable. Current state is: passing
• received.0.12.1 on 5.3.0 is now installable. Current state is: passing
• repr-bench.0.8.0 on 4.14.2 is now installable. Current state is: passing
• repr-bench.0.8.0 on 5.3.0 is now installable. Current state is: passing
• repr-fuzz.0.8.0 on 4.14.2 is now installable. Current state is: passing
• repr-fuzz.0.8.0 on 5.3.0 is now installable. Current state is: passing
• repr.0.8.0 on 4.14.2 is now installable. Current state is: passing
• repr.0.8.0 on 5.3.0 is now installable. Current state is: passing
• rizzo.0.2.0 on 5.3.0 is now installable. Current state is: passing
• rosetta.0.4.0 on 4.14.2 is now installable. Current state is: passing
• rosetta.0.4.0 on 5.3.0 is now installable. Current state is: passing
• rtop.3.17.2 on 4.14.2 is now installable. Current state is: passing
• rtop.3.17.2 on 5.3.0 is now installable. Current state is: passing
• runtime_events_tools.0.5.3 on 5.3.0 had its build status changed: failing to passing
• runtime_events_tools_bare.0.5.3 on 5.3.0 had its build status changed: failing to passing
• saga.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: passing
• salto-analyzer.0.2 on 4.14.2 is now installable. Current state is: passing
• sel.0.8.0 on 4.14.2 is now installable. Current state is: passing
• sel.0.8.0 on 5.3.0 is now installable. Current state is: passing
• sendmail-lwt.0.12.1 on 4.14.2 is now installable. Current state is: passing
• sendmail-lwt.0.12.1 on 5.3.0 is now installable. Current state is: passing
• sendmail-miou-unix.0.12.1 on 5.3.0 is now installable. Current state is: passing
• sendmail-mirage.0.12.1 on 4.14.2 is now installable. Current state is: passing
• sendmail-mirage.0.12.1 on 5.3.0 is now installable. Current state is: passing
• sendmail.0.12.1 on 4.14.2 is now installable. Current state is: passing
• sendmail.0.12.1 on 5.3.0 is now installable. Current state is: passing
• serialport.0.1 on 4.14.2 is now installable. Current state is: passing
• serialport.0.1 on 5.3.0 is now installable. Current state is: passing
• server-reason-react.0.4.0 on 4.14.2 is now installable. Current state is: passing
• server-reason-react.0.4.0 on 5.3.0 is now installable. Current state is: passing
• shcaml.0.2.1 on 4.14.2 had its build status changed: failing to passing
• slice.0.0.3 on 4.14.2 is now installable. Current state is: passing
• slice.0.0.3 on 5.3.0 is now installable. Current state is: passing
• slipshow.0.7.0 on 4.14.2 is now installable. Current state is: passing
• slipshow.0.7.0 on 5.3.0 is now installable. Current state is: passing
• smtml.0.16.0 on 4.14.2 is now installable. Current state is: passing
• smtml.0.16.0 on 5.3.0 is now installable. Current state is: passing
• soupault.5.2.0 on 5.3.0 is now installable. Current state is: passing
• syslog-rfc5424.0.2 on 4.14.2 is now installable. Current state is: passing
• syslog-rfc5424.0.2 on 5.3.0 is now installable. Current state is: passing
• talon.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: passing
• tyre.1.0 on 4.14.2 is now installable. Current state is: passing
• tyre.1.0 on 5.3.0 is now installable. Current state is: passing
• unison-gui.2.53.8 on 4.14.2 is now installable. Current state is: passing
• unison-gui.2.53.8 on 5.3.0 is now installable. Current state is: passing
• unison.2.53.8 on 4.14.2 is now installable. Current state is: passing
• unison.2.53.8 on 5.3.0 is now installable. Current state is: passing
• universal-portal.0.3.0 on 5.3.0 is now installable. Current state is: passing
• uspf-lwt.0.2.0 on 4.14.2 is now installable. Current state is: passing
• uspf-lwt.0.2.0 on 5.3.0 is now installable. Current state is: passing
• uspf-mirage.0.2.0 on 4.14.2 is now installable. Current state is: passing
• uspf-mirage.0.2.0 on 5.3.0 is now installable. Current state is: passing
• uspf.0.2.0 on 4.14.2 is now installable. Current state is: passing
• uspf.0.2.0 on 5.3.0 is now installable. Current state is: passing
• uuuu.0.4.0 on 4.14.2 is now installable. Current state is: passing
• uuuu.0.4.0 on 5.3.0 is now installable. Current state is: passing
• vscoq-language-server.2.3.4 on 4.14.2 is now installable. Current state is: passing
• vscoq-language-server.2.3.4 on 5.3.0 is now installable. Current state is: passing
• vsrocq-language-server.2.3.4 on 4.14.2 is now installable. Current state is: passing
• vsrocq-language-server.2.3.4 on 5.3.0 is now installable. Current state is: passing
• xdge.1.0.0 on 5.3.0 is now installable. Current state is: passing
• yocaml.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_cmarkit.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_eio.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_git.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_jingoo.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_markdown.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_mustache.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_omd.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_otoml.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_runtime.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_syndication.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_unix.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_yaml.2.7.0 on 5.3.0 is now installable. Current state is: passing