Packages now failing:
Packages now partially failing:
Packages now not available:
- 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
- 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
- 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: internal failure
- 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
- 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
- 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
- fehu.1.0.0~alpha1 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
- 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
- hugin.1.0.0~alpha1 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
- kaun.1.0.0~alpha1 on 5.3.0 is not available anymore. Previous state was: partially failing
- 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
- 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: passing
- melange-fetch.0.1.0 on 4.14.2 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
- 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-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-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
- 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
- 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
- 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
- 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
- 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: partially failing
- 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
- 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
- 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
- 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
- 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.14.0 on 4.14.2 is not available anymore. Previous state was: passing
- smtml.0.14.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
- talon.1.0.0~alpha1 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
- 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:
Packages now passing:
- acp4.1.0.1 on 5.3.0 had its build status changed: internal failure to passing
- activitypub.0.1.0 on 5.3.0 had its build status changed: internal failure to passing
- alice.0.1.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
- bimage-gtk.0.2.1 on 5.3.0 had its build status changed: internal failure to 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
- catapult-daemon.0.2 on 4.14.2 had its build status changed: internal failure to passing
- cgi.0.10 on 4.14.2 had its build status changed: failing to 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-allegro5.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-allegro5.1 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-arb.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-asciidoc.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-autoconf.0.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-automake.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-automake.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-blas.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-dssi.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-dssi.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-flex.2 on 5.3.0 had its build status changed: internal failure to passing
- conf-lame.1 on 4.14.2 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-libdw.1 on 4.14.2 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-libelf.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
- conf-libev.4-13 on 4.14.2 had its build status changed: internal failure to passing
- conf-libfontconfig.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-libjpeg.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-liblinear-tools.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
- conf-libmaxminddb.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libpcre.2 on 5.3.0 had its build status changed: internal failure to passing
- conf-lilv.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-llvm-shared.19 on 5.3.0 had its build status changed: internal failure to passing
- conf-llvm-static.19 on 5.3.0 had its build status changed: internal failure to passing
- conf-mad.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-mad.2 on 5.3.0 had its build status changed: internal failure to passing
- conf-mariadb.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-mpi.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-opencc1_1.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-openimageio.1 on 5.3.0 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-plplot.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-portaudio.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-rust-2018.1 on 4.14.2 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 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-scdoc.1 on 4.14.2 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-vim.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-xen.1 on 4.14.2 had its build status changed: internal failure to 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
- 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 4.14.2 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
- 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
- ffmpeg-av.1.2.7 on 4.14.2 had its build status changed: internal failure to passing
- ffmpeg-av.1.2.7 on 5.3.0 had its build status changed: internal failure to passing
- ffmpeg-avcodec.1.2.7 on 4.14.2 had its build status changed: internal failure to passing
- ffmpeg-avcodec.1.2.7 on 5.3.0 had its build status changed: internal failure to passing
- ffmpeg-avdevice.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 4.14.2 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-avutil.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.1.2.7 on 5.3.0 had its build status changed: internal failure to passing
- frama-c-lannotate.0.2.4 on 4.14.2 had its build status changed: internal failure to passing
- frama-c-luncov.0.2.4 on 4.14.2 had its build status changed: internal failure to passing
- frama-c-metacsl.0.10~beta on 5.3.0 is now installable. Current state is: passing
- frama-c.32.0~beta on 4.14.2 had its build status changed: internal failure to passing
- frei0r.0.1.2 on 5.3.0 had its build status changed: internal failure to 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
- git-kv.0.2.0 on 5.3.0 had its build status changed: partially failing to 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
- hugin.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: passing
- mazeppa.0.7.0 on 4.14.2 is now installable. Current state is: passing
- mazeppa.0.7.0 on 5.3.0 is now installable. Current state is: 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-webapi.0.21.0 on 5.3.0 had its build status changed: not available to 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
- 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-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-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
- 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
- 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
- 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
- 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
- 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.6.1 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
- 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
- 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
- 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
- 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.15.0 on 4.14.2 is now installable. Current state is: passing
- smtml.0.15.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
- statocaml_html.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- talon.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: passing
- tezos-context-hash-irmin.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
- tezos-context-hash-irmin.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- tezos-context-hash.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
- tezos-context-hash.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- tezos-error-monad.12.3 on 4.14.2 had its build status changed: internal failure to passing
- tezos-error-monad.17.3 on 4.14.2 had its build status changed: internal failure to passing
- tezos-event-logging-test-helpers.12.3 on 4.14.2 had its build status changed: internal failure to passing
- tezos-event-logging-test-helpers.17.3 on 4.14.2 had its build status changed: internal failure to passing
- tezos-event-logging.12.3 on 5.3.0 had its build status changed: internal failure to passing
- tezos-event-logging.17.3 on 4.14.2 had its build status changed: internal failure to passing
- tezos-lazy-containers.16.1 on 4.14.2 had its build status changed: internal failure to passing
- tezos-micheline.12.3 on 5.3.0 had its build status changed: internal failure to passing
- tezos-micheline.17.3 on 4.14.2 had its build status changed: internal failure to passing
- tezos-rpc.12.3 on 5.3.0 had its build status changed: internal failure to passing
- tezos-rpc.17.3 on 4.14.2 had its build status changed: internal failure to passing
- tezos-rust-libs.1.7 on 4.14.2 had its build status changed: internal failure to passing
- tezos-rust-libs.1.7 on 5.3.0 had its build status changed: internal failure to passing
- tezos-stdlib-unix.12.3 on 4.14.2 had its build status changed: internal failure to passing
- tezos-stdlib-unix.17.3 on 4.14.2 had its build status changed: internal failure to passing
- tezos-stdlib.12.3 on 4.14.2 had its build status changed: internal failure to 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
- vsrocq-language-server.2.3.3 on 4.14.2 had its build status changed: internal failure to passing
- vsrocq-language-server.2.3.3 on 5.3.0 had its build status changed: internal failure to 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
Home|Differences with the last checks|Previous runs