Packages now failing:
- conf-mesa.1 on 4.14.2 had its build status changed: internal failure to failing
- cubicle.1.2.0 on 4.14.2 had its build status changed: passing to failing
- functory.0.6 on 4.14.2 had its build status changed: passing to failing
- jasmin.2025.06.1 on 4.14.2 is now installable. Current state is: failing
- jasmin.2025.06.1 on 5.3.0 is now installable. Current state is: failing
- portmidi.0.4 on 4.14.2 is now installable. Current state is: failing
- profiler-plugin.1.30 on 4.14.2 had its build status changed: partially failing to failing
Packages now partially failing:
Packages now not available:
- azure-cosmos-db.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
- azure-cosmos-db.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- claudius.1.1.2 on 5.3.0 is not available anymore. Previous state was: passing
- coq-lsp.0.2.3+9.0 on 4.14.2 is not available anymore. Previous state was: passing
- coq-lsp.0.2.3+9.0 on 5.3.0 is not available anymore. Previous state was: passing
- dockerfile-cmd.8.3.0 on 4.14.2 is not available anymore. Previous state was: passing
- dockerfile-cmd.8.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- dockerfile-opam.8.3.0 on 4.14.2 is not available anymore. Previous state was: passing
- dockerfile-opam.8.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- dockerfile.8.3.0 on 4.14.2 is not available anymore. Previous state was: passing
- dockerfile.8.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- elpi.3.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- elpi.3.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- fd-send-recv.2.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- fd-send-recv.2.0.2 on 5.3.0 is not available anymore. Previous state was: passing
- iomux.0.3 on 4.14.2 is not available anymore. Previous state was: passing
- iomux.0.3 on 5.3.0 is not available anymore. Previous state was: passing
- jasmin.2025.06.0 on 4.14.2 is not available anymore. Previous state was: failing
- jasmin.2025.06.0 on 5.3.0 is not available anymore. Previous state was: failing
- menhir.20250903 on 4.14.2 is not available anymore. Previous state was: passing
- menhir.20250903 on 5.3.0 is not available anymore. Previous state was: passing
- menhirCST.20250903 on 4.14.2 is not available anymore. Previous state was: passing
- menhirCST.20250903 on 5.3.0 is not available anymore. Previous state was: passing
- menhirLib.20250903 on 4.14.2 is not available anymore. Previous state was: passing
- menhirLib.20250903 on 5.3.0 is not available anymore. Previous state was: passing
- menhirSdk.20250903 on 4.14.2 is not available anymore. Previous state was: passing
- menhirSdk.20250903 on 5.3.0 is not available anymore. Previous state was: passing
- ocaml-protoc-plugin.6.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- ocaml-protoc-plugin.6.1.0 on 5.3.0 is not available anymore. Previous state was: passing
- opam-publish.2.5.1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-publish.2.5.1 on 5.3.0 is not available anymore. Previous state was: passing
- portmidi.0.1 on 4.14.2 is not available anymore. Previous state was: failing
- proton.1.0.14 on 4.14.2 is not available anymore. Previous state was: passing
- proton.1.0.14 on 5.3.0 is not available anymore. Previous state was: passing
- why3-coq.1.8.1 on 4.14.2 is not available anymore. Previous state was: passing
- why3-coq.1.8.1 on 5.3.0 is not available anymore. Previous state was: passing
- why3-ide.1.8.1 on 4.14.2 is not available anymore. Previous state was: passing
- why3-ide.1.8.1 on 5.3.0 is not available anymore. Previous state was: passing
- why3.1.8.1 on 4.14.2 is not available anymore. Previous state was: passing
- why3.1.8.1 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_cmarkit.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_eio.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_git.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_jingoo.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_markdown.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_mustache.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_omd.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_otoml.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_runtime.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_syndication.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_unix.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_yaml.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- zanuda.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
Packages now failing with an internal failure:
Packages now passing: