Packages now failing:
Packages now partially failing:
Packages now not available:
- albatross.2.6.1 on 4.14.2 is not available anymore. Previous state was: passing
- albatross.2.6.1 on 5.3.0 is not available anymore. Previous state was: passing
- atd.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- atd.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- atdcpp.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- atdcpp.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- atdd.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- atdd.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- atdgen-codec-runtime.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- atdgen-codec-runtime.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- atdgen-runtime.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- atdgen-runtime.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- atdgen.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- atdgen.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- atdj.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- atdj.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- atdpy.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- atdpy.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- atds.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- atds.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- atdts.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- atdts.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- cohttp-curl-lwt.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- cohttp-curl-lwt.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- cohttp-curl.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- cohttp-curl.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- cohttp-eio.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- cohttp-lwt-jsoo.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- cohttp-lwt-jsoo.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- cohttp-lwt-unix.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- cohttp-lwt-unix.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- cohttp-lwt.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- cohttp-lwt.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- cohttp-mirage.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- cohttp-mirage.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- cohttp-server-lwt-unix.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- cohttp-server-lwt-unix.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- cohttp-top.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- cohttp-top.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- cohttp.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- cohttp.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- expr.0.5.2 on 4.14.2 is not available anymore. Previous state was: passing
- expr.0.5.2 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib.0.6.1 on 4.14.2 is not available anymore. Previous state was: passing
- fmlib.0.6.1 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_browser.0.6.1 on 4.14.2 is not available anymore. Previous state was: passing
- fmlib_browser.0.6.1 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_js.0.6.1 on 4.14.2 is not available anymore. Previous state was: passing
- fmlib_js.0.6.1 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_parse.0.6.1 on 4.14.2 is not available anymore. Previous state was: passing
- fmlib_parse.0.6.1 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_pretty.0.6.1 on 4.14.2 is not available anymore. Previous state was: passing
- fmlib_pretty.0.6.1 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_std.0.6.1 on 4.14.2 is not available anymore. Previous state was: passing
- fmlib_std.0.6.1 on 5.3.0 is not available anymore. Previous state was: passing
- github-data.4.5.0 on 4.14.2 is not available anymore. Previous state was: passing
- github-data.4.5.0 on 5.3.0 is not available anymore. Previous state was: passing
- github-jsoo.4.5.0 on 4.14.2 is not available anymore. Previous state was: passing
- github-jsoo.4.5.0 on 5.3.0 is not available anymore. Previous state was: passing
- github-unix.4.5.0 on 4.14.2 is not available anymore. Previous state was: passing
- github-unix.4.5.0 on 5.3.0 is not available anymore. Previous state was: passing
- github.4.5.0 on 4.14.2 is not available anymore. Previous state was: passing
- github.4.5.0 on 5.3.0 is not available anymore. Previous state was: passing
- http.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- http.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- jasmin.2025.06.2 on 4.14.2 is not available anymore. Previous state was: failing
- jasmin.2025.06.2 on 5.3.0 is not available anymore. Previous state was: failing
- jsonrpc.1.24.0 on 4.14.2 is not available anymore. Previous state was: passing
- jsonrpc.1.24.0 on 5.3.0 is not available anymore. Previous state was: passing
- libsail.0.20 on 4.14.2 is not available anymore. Previous state was: passing
- libsail.0.20 on 5.3.0 is not available anymore. Previous state was: passing
- lsp.1.24.0 on 4.14.2 is not available anymore. Previous state was: passing
- lsp.1.24.0 on 5.3.0 is not available anymore. Previous state was: passing
- lwt.6.0.0~alpha00 on 4.14.2 is not available anymore. Previous state was: passing
- lwt.6.0.0~alpha00 on 5.3.0 is not available anymore. Previous state was: passing
- lwt_direct.6.0.0~alpha00 on 5.3.0 is not available anymore. Previous state was: passing
- lwt_ppx.5.9.2 on 4.14.2 is not available anymore. Previous state was: passing
- lwt_ppx.5.9.2 on 5.3.0 is not available anymore. Previous state was: passing
- mlx.0.10 on 4.14.2 is not available anymore. Previous state was: passing
- mlx.0.10 on 5.3.0 is not available anymore. Previous state was: passing
- ocamlmerlin-mlx.0.10 on 4.14.2 is not available anymore. Previous state was: passing
- ocamlmerlin-mlx.0.10 on 5.3.0 is not available anymore. Previous state was: passing
- pacomb.1.3 on 4.14.2 is not available anymore. Previous state was: passing
- pacomb.1.3 on 5.3.0 is not available anymore. Previous state was: passing
- ppx_deriving_qcheck.0.7 on 4.14.2 is not available anymore. Previous state was: passing
- ppx_deriving_qcheck.0.7 on 5.3.0 is not available anymore. Previous state was: passing
- qcheck-alcotest.0.27 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck-alcotest.0.27 on 5.3.0 is not available anymore. Previous state was: passing
- qcheck-core.0.27 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck-core.0.27 on 5.3.0 is not available anymore. Previous state was: passing
- qcheck-ounit.0.27 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck-ounit.0.27 on 5.3.0 is not available anymore. Previous state was: passing
- qcheck.0.27 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck.0.27 on 5.3.0 is not available anymore. Previous state was: passing
- quickjs.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
- quickjs.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
- sail.0.20 on 4.14.2 is not available anymore. Previous state was: passing
- sail.0.20 on 5.3.0 is not available anymore. Previous state was: passing
- sail_c_backend.0.20 on 4.14.2 is not available anymore. Previous state was: passing
- sail_c_backend.0.20 on 5.3.0 is not available anymore. Previous state was: passing
- sail_coq_backend.0.20 on 4.14.2 is not available anymore. Previous state was: passing
- sail_coq_backend.0.20 on 5.3.0 is not available anymore. Previous state was: passing
- sail_doc_backend.0.20 on 4.14.2 is not available anymore. Previous state was: passing
- sail_doc_backend.0.20 on 5.3.0 is not available anymore. Previous state was: passing
- sail_latex_backend.0.20 on 4.14.2 is not available anymore. Previous state was: passing
- sail_latex_backend.0.20 on 5.3.0 is not available anymore. Previous state was: passing
- sail_lean_backend.0.20 on 4.14.2 is not available anymore. Previous state was: passing
- sail_lean_backend.0.20 on 5.3.0 is not available anymore. Previous state was: passing
- sail_lem_backend.0.20 on 4.14.2 is not available anymore. Previous state was: passing
- sail_lem_backend.0.20 on 5.3.0 is not available anymore. Previous state was: passing
- sail_ocaml_backend.0.20 on 4.14.2 is not available anymore. Previous state was: passing
- sail_ocaml_backend.0.20 on 5.3.0 is not available anymore. Previous state was: passing
- sail_output.0.20 on 4.14.2 is not available anymore. Previous state was: passing
- sail_output.0.20 on 5.3.0 is not available anymore. Previous state was: passing
- sail_smt_backend.0.20 on 4.14.2 is not available anymore. Previous state was: passing
- sail_smt_backend.0.20 on 5.3.0 is not available anymore. Previous state was: passing
- sail_sv_backend.0.20 on 4.14.2 is not available anymore. Previous state was: passing
- sail_sv_backend.0.20 on 5.3.0 is not available anymore. Previous state was: passing
- secp256k1.0.4.4 on 4.14.2 is not available anymore. Previous state was: passing
- smtml.0.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- smtml.0.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- synchronizer.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_cmarkit.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_eio.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_git.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_jingoo.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_markdown.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_mustache.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_omd.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_otoml.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_runtime.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_syndication.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_unix.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_yaml.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
Packages now failing with an internal failure:
Packages now passing:
- acpc.1.2.3 on 4.14.2 had its build status changed: internal failure to passing
- albatross.2.6.2 on 4.14.2 is now installable. Current state is: passing
- albatross.2.6.2 on 5.3.0 is now installable. Current state is: passing
- atd.3.0.1 on 4.14.2 is now installable. Current state is: passing
- atd.3.0.1 on 5.3.0 is now installable. Current state is: passing
- atdcpp.3.0.1 on 4.14.2 is now installable. Current state is: passing
- atdcpp.3.0.1 on 5.3.0 is now installable. Current state is: passing
- atdd.3.0.1 on 4.14.2 is now installable. Current state is: passing
- atdd.3.0.1 on 5.3.0 is now installable. Current state is: passing
- atdgen-codec-runtime.3.0.1 on 4.14.2 is now installable. Current state is: passing
- atdgen-codec-runtime.3.0.1 on 5.3.0 is now installable. Current state is: passing
- atdgen-runtime.3.0.1 on 4.14.2 is now installable. Current state is: passing
- atdgen-runtime.3.0.1 on 5.3.0 is now installable. Current state is: passing
- atdgen.3.0.1 on 4.14.2 is now installable. Current state is: passing
- atdgen.3.0.1 on 5.3.0 is now installable. Current state is: passing
- atdj.3.0.1 on 4.14.2 is now installable. Current state is: passing
- atdj.3.0.1 on 5.3.0 is now installable. Current state is: passing
- atdpy.3.0.1 on 4.14.2 is now installable. Current state is: passing
- atdpy.3.0.1 on 5.3.0 is now installable. Current state is: passing
- atds.3.0.1 on 4.14.2 is now installable. Current state is: passing
- atds.3.0.1 on 5.3.0 is now installable. Current state is: passing
- atdts.3.0.1 on 4.14.2 is now installable. Current state is: passing
- atdts.3.0.1 on 5.3.0 is now installable. Current state is: passing
- cachet-solo5.0.0.3 on 4.14.2 had its build status changed: internal failure to passing
- cachet-solo5.0.0.3 on 5.3.0 had its build status changed: internal failure to passing
- cactus.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
- cactus.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- caisar-ir.0.2 on 4.14.2 had its build status changed: internal failure to passing
- caisar-onnx.0.2 on 4.14.2 had its build status changed: internal failure to passing
- caisar-onnx.0.2 on 5.3.0 had its build status changed: internal failure to passing
- caisar.4.0 on 4.14.2 had its build status changed: internal failure to passing
- caisar.4.0 on 5.3.0 had its build status changed: internal failure to passing
- cohttp-curl-lwt.6.2.1 on 4.14.2 is now installable. Current state is: passing
- cohttp-curl-lwt.6.2.1 on 5.3.0 is now installable. Current state is: passing
- cohttp-curl.6.2.1 on 4.14.2 is now installable. Current state is: passing
- cohttp-curl.6.2.1 on 5.3.0 is now installable. Current state is: passing
- cohttp-eio.6.2.1 on 5.3.0 is now installable. Current state is: passing
- cohttp-lwt-jsoo.6.2.1 on 4.14.2 is now installable. Current state is: passing
- cohttp-lwt-jsoo.6.2.1 on 5.3.0 is now installable. Current state is: passing
- cohttp-lwt-unix.6.2.1 on 4.14.2 is now installable. Current state is: passing
- cohttp-lwt-unix.6.2.1 on 5.3.0 is now installable. Current state is: passing
- cohttp-lwt.6.2.1 on 4.14.2 is now installable. Current state is: passing
- cohttp-lwt.6.2.1 on 5.3.0 is now installable. Current state is: passing
- cohttp-mirage.6.2.1 on 4.14.2 is now installable. Current state is: passing
- cohttp-mirage.6.2.1 on 5.3.0 is now installable. Current state is: passing
- cohttp-server-lwt-unix.6.2.1 on 4.14.2 is now installable. Current state is: passing
- cohttp-server-lwt-unix.6.2.1 on 5.3.0 is now installable. Current state is: passing
- cohttp-top.6.2.1 on 4.14.2 is now installable. Current state is: passing
- cohttp-top.6.2.1 on 5.3.0 is now installable. Current state is: passing
- cohttp.6.2.1 on 4.14.2 is now installable. Current state is: passing
- cohttp.6.2.1 on 5.3.0 is now installable. Current state is: passing
- conf-antic.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-ao.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-arb.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-asciidoc.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-cairo.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-cmake.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-cmake.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-csdp.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-emacs.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-ffmpeg.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-freetype.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-freetype.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-ghostscript.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-ghostscript.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-glfw3.2 on 5.3.0 had its build status changed: internal failure to passing
- conf-gnustep-gui.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-gnustep-gui.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-gstreamer.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-gtk2.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-gtksourceview.2 on 5.3.0 had its build status changed: internal failure to passing
- conf-gtksourceview3.0+2 on 4.14.2 had its build status changed: internal failure to passing
- conf-gtksourceview3.0+2 on 5.3.0 had its build status changed: internal failure to passing
- conf-lapack.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libMagickCore.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libMagickCore.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libXft.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libgccjit.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libglu.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libxrandr.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-lilv.1 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-llvm.17 on 4.14.2 had its build status changed: internal failure to passing
- conf-llvm.17 on 5.3.0 had its build status changed: internal failure to passing
- conf-mpfr.3 on 4.14.2 had its build status changed: internal failure to passing
- conf-mpi.1 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-mysql.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-mysql.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-nanomsg.0 on 4.14.2 had its build status changed: internal failure to passing
- conf-openblas.0.2.3 on 4.14.2 had its build status changed: internal failure to passing
- conf-rust-2024.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-sdl-image.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-sdl2-net.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-sdl2.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-sdpa.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-sundials.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-swi-prolog.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-texlive.2 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
- diffast-langs-cpp-spec.0.3.6 on 4.14.2 had its build status changed: internal failure to passing
- expr.0.6.0 on 4.14.2 is now installable. Current state is: passing
- expr.0.6.0 on 5.3.0 is now installable. Current state is: passing
- ffmpeg-av.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
- fmlib.0.6.2 on 4.14.2 is now installable. Current state is: passing
- fmlib.0.6.2 on 5.3.0 is now installable. Current state is: passing
- fmlib_browser.0.6.2 on 4.14.2 is now installable. Current state is: passing
- fmlib_browser.0.6.2 on 5.3.0 is now installable. Current state is: passing
- fmlib_js.0.6.2 on 4.14.2 is now installable. Current state is: passing
- fmlib_js.0.6.2 on 5.3.0 is now installable. Current state is: passing
- fmlib_parse.0.6.2 on 4.14.2 is now installable. Current state is: passing
- fmlib_parse.0.6.2 on 5.3.0 is now installable. Current state is: passing
- fmlib_pretty.0.6.2 on 4.14.2 is now installable. Current state is: passing
- fmlib_pretty.0.6.2 on 5.3.0 is now installable. Current state is: passing
- fmlib_std.0.6.2 on 4.14.2 is now installable. Current state is: passing
- fmlib_std.0.6.2 on 5.3.0 is now installable. Current state is: passing
- frama-c-lannotate.0.2.4 on 5.3.0 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 4.14.2 had its build status changed: internal failure to passing
- frama-c-metacsl.0.10~beta on 5.3.0 had its build status changed: internal failure to passing
- frama-c.32.0 on 4.14.2 had its build status changed: internal failure to passing
- frama-c.32.0 on 5.3.0 had its build status changed: internal failure to passing
- frontmatter_extractor.0.1 on 4.14.2 is now installable. Current state is: passing
- frontmatter_extractor.0.1 on 5.3.0 is now installable. Current state is: passing
- fstar.2025.10.06 on 4.14.2 had its build status changed: internal failure to passing
- fswatch_lwt.11-0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- fswatch_lwt.11-0.1.0 on 5.3.0 had its build status changed: internal failure to passing
- github-data.4.5.1 on 4.14.2 is now installable. Current state is: passing
- github-data.4.5.1 on 5.3.0 is now installable. Current state is: passing
- github-jsoo.4.5.1 on 4.14.2 is now installable. Current state is: passing
- github-jsoo.4.5.1 on 5.3.0 is now installable. Current state is: passing
- github-unix.4.5.1 on 4.14.2 is now installable. Current state is: passing
- github-unix.4.5.1 on 5.3.0 is now installable. Current state is: passing
- github.4.5.1 on 4.14.2 is now installable. Current state is: passing
- github.4.5.1 on 5.3.0 is now installable. Current state is: passing
- http.6.2.1 on 4.14.2 is now installable. Current state is: passing
- http.6.2.1 on 5.3.0 is now installable. Current state is: passing
- jsonrpc.1.25.0 on 4.14.2 is now installable. Current state is: passing
- jsonrpc.1.25.0 on 5.3.0 is now installable. Current state is: passing
- lablgtk3-extras.3.0.1 on 4.14.2 had its build status changed: internal failure to passing
- lablgtk3-extras.3.0.1 on 5.3.0 had its build status changed: internal failure to passing
- lablgtk3-goocanvas2.3.1.5 on 4.14.2 had its build status changed: internal failure to passing
- libsail.0.20.1 on 4.14.2 is now installable. Current state is: passing
- libsail.0.20.1 on 5.3.0 is now installable. Current state is: passing
- lsp.1.25.0 on 4.14.2 is now installable. Current state is: passing
- lsp.1.25.0 on 5.3.0 is now installable. Current state is: passing
- lwt.6.0.0-beta01 on 4.14.2 is now installable. Current state is: passing
- lwt.6.0.0-beta01 on 5.3.0 is now installable. Current state is: passing
- lwt_direct.6.0.0-beta01 on 5.3.0 is now installable. Current state is: passing
- lwt_ppx.6.0.0-beta01 on 4.14.2 is now installable. Current state is: passing
- lwt_ppx.6.0.0-beta01 on 5.3.0 is now installable. Current state is: passing
- lwt_runtime_events.6.0.0-beta01 on 5.3.0 is now installable. Current state is: passing
- menhir-lsp.0.1.1 on 4.14.2 is now installable. Current state is: passing
- menhir-lsp.0.1.1 on 5.3.0 is now installable. Current state is: passing
- mlsolver.1.5 on 4.14.2 had its build status changed: internal failure to passing
- mlsolver.1.5 on 5.3.0 had its build status changed: internal failure to passing
- mlx.0.11 on 4.14.2 is now installable. Current state is: passing
- mlx.0.11 on 5.3.0 is now installable. Current state is: passing
- ocamlmerlin-mlx.0.11 on 4.14.2 is now installable. Current state is: passing
- ocamlmerlin-mlx.0.11 on 5.3.0 is now installable. Current state is: passing
- opam-check-npm-deps.4.1.0 on 4.14.2 is now installable. Current state is: passing
- opam-check-npm-deps.4.1.0 on 5.3.0 is now installable. Current state is: passing
- pacomb.1.4.3 on 4.14.2 is now installable. Current state is: passing
- pacomb.1.4.3 on 5.3.0 is now installable. Current state is: passing
- polymarket.0.1.0 on 5.3.0 is now installable. Current state is: passing
- ppx_deriving_qcheck.0.9 on 4.14.2 is now installable. Current state is: passing
- ppx_deriving_qcheck.0.9 on 5.3.0 is now installable. Current state is: passing
- profiler-plugin.1.30 on 4.14.2 had its build status changed: partially failing to passing
- proton.1.0.17 on 4.14.2 had its build status changed: internal failure to passing
- proton.1.0.17 on 5.3.0 had its build status changed: internal failure to passing
- qcheck-alcotest.0.91 on 4.14.2 is now installable. Current state is: passing
- qcheck-alcotest.0.91 on 5.3.0 is now installable. Current state is: passing
- qcheck-core.0.91 on 4.14.2 is now installable. Current state is: passing
- qcheck-core.0.91 on 5.3.0 is now installable. Current state is: passing
- qcheck-ounit.0.91 on 4.14.2 is now installable. Current state is: passing
- qcheck-ounit.0.91 on 5.3.0 is now installable. Current state is: passing
- qcheck.0.91 on 4.14.2 is now installable. Current state is: passing
- qcheck.0.91 on 5.3.0 is now installable. Current state is: passing
- quickjs.0.4.1 on 4.14.2 is now installable. Current state is: passing
- quickjs.0.4.1 on 5.3.0 is now installable. Current state is: passing
- regl.0.1.0 on 4.14.2 is now installable. Current state is: passing
- regl.0.1.0 on 5.3.0 is now installable. Current state is: passing
- revops.2.5 on 5.3.0 had its build status changed: internal failure to passing
- sail.0.20.1 on 4.14.2 is now installable. Current state is: passing
- sail.0.20.1 on 5.3.0 is now installable. Current state is: passing
- sail_c_backend.0.20.1 on 4.14.2 is now installable. Current state is: passing
- sail_c_backend.0.20.1 on 5.3.0 is now installable. Current state is: passing
- sail_coq_backend.0.20.1 on 4.14.2 is now installable. Current state is: passing
- sail_coq_backend.0.20.1 on 5.3.0 is now installable. Current state is: passing
- sail_doc_backend.0.20.1 on 4.14.2 is now installable. Current state is: passing
- sail_doc_backend.0.20.1 on 5.3.0 is now installable. Current state is: passing
- sail_latex_backend.0.20.1 on 4.14.2 is now installable. Current state is: passing
- sail_latex_backend.0.20.1 on 5.3.0 is now installable. Current state is: passing
- sail_lean_backend.0.20.1 on 4.14.2 is now installable. Current state is: passing
- sail_lean_backend.0.20.1 on 5.3.0 is now installable. Current state is: passing
- sail_lem_backend.0.20.1 on 4.14.2 is now installable. Current state is: passing
- sail_lem_backend.0.20.1 on 5.3.0 is now installable. Current state is: passing
- sail_maker.0.20.1 on 4.14.2 is now installable. Current state is: passing
- sail_maker.0.20.1 on 5.3.0 is now installable. Current state is: passing
- sail_ocaml_backend.0.20.1 on 4.14.2 is now installable. Current state is: passing
- sail_ocaml_backend.0.20.1 on 5.3.0 is now installable. Current state is: passing
- sail_output.0.20.1 on 4.14.2 is now installable. Current state is: passing
- sail_output.0.20.1 on 5.3.0 is now installable. Current state is: passing
- sail_smt_backend.0.20.1 on 4.14.2 is now installable. Current state is: passing
- sail_smt_backend.0.20.1 on 5.3.0 is now installable. Current state is: passing
- sail_sv_backend.0.20.1 on 4.14.2 is now installable. Current state is: passing
- sail_sv_backend.0.20.1 on 5.3.0 is now installable. Current state is: passing
- satML-plugin.1.30 on 4.14.2 had its build status changed: partially failing to passing
- secp256k1.0.5.0 on 4.14.2 is now installable. Current state is: passing
- secp256k1.0.5.0 on 5.3.0 is now installable. Current state is: passing
- shellwords.1.0.0 on 4.14.2 is now installable. Current state is: passing
- shellwords.1.0.0 on 5.3.0 is now installable. Current state is: passing
- smtml.0.18.0 on 4.14.2 is now installable. Current state is: passing
- smtml.0.18.0 on 5.3.0 is now installable. Current state is: passing
- statocaml_profile.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- statocaml_profile.0.1.0 on 5.3.0 had its build status changed: internal failure to passing
- synchronizer.0.2 on 5.3.0 is now installable. Current state is: passing
- tezos-context-hash-irmin.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- tezos-test-helpers.12.3 on 4.14.2 had its build status changed: internal failure to passing
- tezos-test-helpers.12.3 on 5.3.0 had its build status changed: internal failure to passing
- tezos-test-helpers.17.3 on 4.14.2 had its build status changed: internal failure to passing
- visitors.20251114 on 4.14.2 had its build status changed: internal failure to passing
- visitors.20251114 on 5.3.0 had its build status changed: internal failure to passing
- yocaml.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_cmarkit.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_eio.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_git.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_jingoo.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_markdown.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_mustache.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_omd.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_otoml.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_runtime.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_syndication.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_unix.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_yaml.2.8.0 on 5.3.0 is now installable. Current state is: passing
Home|Differences with the last checks|Previous runs