Packages now failing:
Packages now partially failing:
Packages now not available:
- alice.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- art.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- art.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- cryptokit.1.20 on 4.14.2 is not available anymore. Previous state was: passing
- cryptokit.1.20 on 5.3.0 is not available anymore. Previous state was: passing
- current.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
- current.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
- current_docker.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
- current_docker.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
- current_examples.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
- current_examples.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
- current_git.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
- current_git.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
- current_github.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
- current_github.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
- current_gitlab.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
- current_gitlab.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
- current_rpc.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
- current_rpc.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
- current_slack.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
- current_slack.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
- current_ssh.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
- current_ssh.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
- current_web.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
- current_web.0.7.2 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
- ffmpeg-av.1.2.7 on 4.14.2 is not available anymore. Previous state was: passing
- ffmpeg-av.1.2.7 on 5.3.0 is not available anymore. Previous state was: passing
- ffmpeg-avcodec.1.2.7 on 4.14.2 is not available anymore. Previous state was: passing
- ffmpeg-avcodec.1.2.7 on 5.3.0 is not available anymore. Previous state was: passing
- ffmpeg-avdevice.1.2.7 on 4.14.2 is not available anymore. Previous state was: passing
- ffmpeg-avdevice.1.2.7 on 5.3.0 is not available anymore. Previous state was: passing
- ffmpeg-avfilter.1.2.7 on 4.14.2 is not available anymore. Previous state was: internal failure
- ffmpeg-avfilter.1.2.7 on 5.3.0 is not available anymore. Previous state was: passing
- ffmpeg-avutil.1.2.7 on 4.14.2 is not available anymore. Previous state was: passing
- ffmpeg-avutil.1.2.7 on 5.3.0 is not available anymore. Previous state was: passing
- ffmpeg-swresample.1.2.7 on 4.14.2 is not available anymore. Previous state was: passing
- ffmpeg-swresample.1.2.7 on 5.3.0 is not available anymore. Previous state was: passing
- ffmpeg-swscale.1.2.7 on 4.14.2 is not available anymore. Previous state was: internal failure
- ffmpeg-swscale.1.2.7 on 5.3.0 is not available anymore. Previous state was: passing
- ffmpeg.1.2.7 on 4.14.2 is not available anymore. Previous state was: passing
- ffmpeg.1.2.7 on 5.3.0 is not available anymore. Previous state was: passing
- fit.1.4.0 on 4.14.2 is not available anymore. Previous state was: passing
- fit.1.4.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
- memcpy.0.2.2 on 4.14.2 is not available anymore. Previous state was: passing
- memcpy.0.2.2 on 5.3.0 is not available anymore. Previous state was: passing
- menhir-lsp.0.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- menhir-lsp.0.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- metadata.0.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- metadata.0.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- miou.0.5.0 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
- ocamlformat-mlx-lib.0.27.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- ocamlformat-mlx-lib.0.27.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- ocamlformat-mlx.0.27.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- ocamlformat-mlx.0.27.0.1 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
- posix-base.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- posix-base.2.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- posix-bindings.3 on 4.14.2 is not available anymore. Previous state was: passing
- posix-bindings.3 on 5.3.0 is not available anymore. Previous state was: passing
- posix-getopt.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- posix-getopt.2.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- posix-math2.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- posix-math2.2.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- posix-signal.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- posix-signal.2.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- posix-socket-unix.3.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- posix-socket-unix.3.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- posix-socket.3.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- posix-socket.3.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- posix-time2.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- posix-time2.2.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- posix-types.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- posix-types.2.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- posix-uname.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- posix-uname.2.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- ppx_deriving_rpc.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- ppx_deriving_rpc.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- ppx_trace.0.10 on 4.14.2 is not available anymore. Previous state was: passing
- ppx_trace.0.10 on 5.3.0 is not available anymore. Previous state was: passing
- qcheck-alcotest.0.90 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck-alcotest.0.90 on 5.3.0 is not available anymore. Previous state was: passing
- qcheck-core.0.90 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck-core.0.90 on 5.3.0 is not available anymore. Previous state was: passing
- qcheck-ounit.0.90 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck-ounit.0.90 on 5.3.0 is not available anymore. Previous state was: passing
- qcheck.0.90 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck.0.90 on 5.3.0 is not available anymore. Previous state was: passing
- quickjs.0.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- quickjs.0.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- raygui.1.5.1 on 4.14.2 is not available anymore. Previous state was: partially failing
- raygui.1.5.1 on 5.3.0 is not available anymore. Previous state was: partially failing
- raylib.1.5.1 on 4.14.2 is not available anymore. Previous state was: partially failing
- raylib.1.5.1 on 5.3.0 is not available anymore. Previous state was: partially failing
- reason-react-ppx.0.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- reason-react-ppx.0.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- reason-react.0.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- reason-react.0.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- rfsm.2.2 on 5.3.0 is not available anymore. Previous state was: passing
- rizzo.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- rocq-prover.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- rocq-prover.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- rpclib-html.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- rpclib-html.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- rpclib-js.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- rpclib-js.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- rpclib-lwt.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- rpclib-lwt.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- rpclib.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- rpclib.9.0.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
- smtml.0.17.0 on 4.14.2 is not available anymore. Previous state was: passing
- smtml.0.17.0 on 5.3.0 is not available anymore. Previous state was: passing
- trace-fuchsia.0.10 on 4.14.2 is not available anymore. Previous state was: passing
- trace-fuchsia.0.10 on 5.3.0 is not available anymore. Previous state was: passing
- trace-tef.0.10 on 4.14.2 is not available anymore. Previous state was: passing
- trace-tef.0.10 on 5.3.0 is not available anymore. Previous state was: passing
- trace.0.10 on 4.14.2 is not available anymore. Previous state was: passing
- trace.0.10 on 5.3.0 is not available anymore. Previous state was: passing
- why3find.1.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- why3find.1.2.0 on 5.3.0 is not available anymore. Previous state was: passing
Packages now failing with an internal failure:
Packages now passing:
- alice.0.4.0 on 5.3.0 is now installable. Current state is: passing
- art.0.3.0 on 4.14.2 is now installable. Current state is: passing
- art.0.3.0 on 5.3.0 is now installable. Current state is: passing
- bls12-381-js.0.5.0 on 5.3.0 had its build status changed: internal failure to passing
- bls12-381-signature.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
- bls12-381-unix.2.0.1 on 4.14.2 had its build status changed: internal failure to passing
- cdb.1.0.1 on 5.3.0 had its build status changed: internal failure to passing
- certify.0.3.3 on 4.14.2 had its build status changed: internal failure to passing
- certify.0.3.3 on 5.3.0 had its build status changed: internal failure to passing
- cf_workers.0.1.5 on 4.14.2 had its build status changed: internal failure to passing
- cfstream.1.3.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: internal failure to passing
- cgroups.0.1 on 4.14.2 had its build status changed: internal failure to passing
- cgroups.0.1 on 5.3.0 had its build status changed: internal failure to passing
- chacha.1.1.0 on 4.14.2 had its build status changed: internal failure to passing
- chacha.1.1.0 on 5.3.0 had its build status changed: internal failure to passing
- charInfo_width.2.0.0 on 4.14.2 had its build status changed: internal failure to passing
- charInfo_width.2.0.0 on 5.3.0 had its build status changed: internal failure to passing
- charset.0.2.0 on 4.14.2 had its build status changed: internal failure to passing
- chess_com_api.1.0.1 on 5.3.0 had its build status changed: internal failure to passing
- cid.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- cid.0.1.0 on 5.3.0 had its build status changed: internal failure to passing
- combine.0.6 on 4.14.2 had its build status changed: internal failure to 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-arb.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-dssi.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-emacs.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-gegl.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-gegl.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-gfortran.0 on 4.14.2 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-glade.2 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-gnuplot.0.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-gnuplot.0.1 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-gnutls.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-gobject-introspection.1.0 on 4.14.2 had its build status changed: internal failure to passing
- conf-gobject-introspection.1.0 on 5.3.0 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-gstreamer.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-gstreamer.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-gtk2.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-gtk3.18 on 4.14.2 had its build status changed: internal failure to passing
- conf-gtk3.18 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-ladspa.1 on 5.3.0 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 5.3.0 had its build status changed: internal failure to passing
- conf-libclang.21 on 5.3.0 had its build status changed: internal failure to passing
- conf-libgccjit.1 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-lilv.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-llvm-static.19 on 4.14.2 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-mad.2 on 4.14.2 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-mariadb.2 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-nauty.1.0 on 5.3.0 had its build status changed: internal failure to passing
- conf-ncurses.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-ncurses.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-ninja.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-nlopt.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-nlopt.1 on 5.3.0 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-ode.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-openbabel.0.1 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-openblas.0.2.3 on 5.3.0 had its build status changed: internal failure to passing
- conf-opencc1_1.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-openimageio.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-pango.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-pulseaudio.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-python-2-7.1.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-qemu-img.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-qemu-img.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-r.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
- conf-rdkit.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-rdkit.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-ruby.1.0.0 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-rust-wasm.1 on 5.3.0 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-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-gfx.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-sdl-gfx.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-sdl-image.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-sdl-mixer.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-sdl-mixer.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-sdl2-image.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-sdl2-mixer.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-sdl2-mixer.1 on 5.3.0 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-net.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-sdl2.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 4.14.2 had its build status changed: internal failure to passing
- conf-sqlite3.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-swi-prolog.1 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 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-vips.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-vips.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-xen.1 on 4.14.2 had its build status changed: internal failure to passing
- cryptokit.1.21.1 on 4.14.2 is now installable. Current state is: passing
- cryptokit.1.21.1 on 5.3.0 is now installable. Current state is: passing
- current.0.7.3 on 4.14.2 is now installable. Current state is: passing
- current.0.7.3 on 5.3.0 is now installable. Current state is: passing
- current_docker.0.7.3 on 4.14.2 is now installable. Current state is: passing
- current_docker.0.7.3 on 5.3.0 is now installable. Current state is: passing
- current_examples.0.7.3 on 4.14.2 is now installable. Current state is: passing
- current_examples.0.7.3 on 5.3.0 is now installable. Current state is: passing
- current_git.0.7.3 on 4.14.2 is now installable. Current state is: passing
- current_git.0.7.3 on 5.3.0 is now installable. Current state is: passing
- current_github.0.7.3 on 4.14.2 is now installable. Current state is: passing
- current_github.0.7.3 on 5.3.0 is now installable. Current state is: passing
- current_gitlab.0.7.3 on 4.14.2 is now installable. Current state is: passing
- current_gitlab.0.7.3 on 5.3.0 is now installable. Current state is: passing
- current_rpc.0.7.3 on 4.14.2 is now installable. Current state is: passing
- current_rpc.0.7.3 on 5.3.0 is now installable. Current state is: passing
- current_slack.0.7.3 on 4.14.2 is now installable. Current state is: passing
- current_slack.0.7.3 on 5.3.0 is now installable. Current state is: passing
- current_ssh.0.7.3 on 4.14.2 is now installable. Current state is: passing
- current_ssh.0.7.3 on 5.3.0 is now installable. Current state is: passing
- current_web.0.7.3 on 4.14.2 is now installable. Current state is: passing
- current_web.0.7.3 on 5.3.0 is now installable. Current state is: passing
- expr.0.7.0 on 4.14.2 is now installable. Current state is: passing
- expr.0.7.0 on 5.3.0 is now installable. Current state is: passing
- ffmpeg-av.1.2.8 on 4.14.2 is now installable. Current state is: passing
- ffmpeg-av.1.2.8 on 5.3.0 is now installable. Current state is: passing
- ffmpeg-avcodec.1.2.8 on 4.14.2 is now installable. Current state is: passing
- ffmpeg-avcodec.1.2.8 on 5.3.0 is now installable. Current state is: passing
- ffmpeg-avdevice.1.2.8 on 4.14.2 is now installable. Current state is: passing
- ffmpeg-avdevice.1.2.8 on 5.3.0 is now installable. Current state is: passing
- ffmpeg-avfilter.1.2.8 on 4.14.2 is now installable. Current state is: passing
- ffmpeg-avfilter.1.2.8 on 5.3.0 is now installable. Current state is: passing
- ffmpeg-avutil.1.2.8 on 4.14.2 is now installable. Current state is: passing
- ffmpeg-avutil.1.2.8 on 5.3.0 is now installable. Current state is: passing
- ffmpeg-swresample.1.2.8 on 4.14.2 is now installable. Current state is: passing
- ffmpeg-swresample.1.2.8 on 5.3.0 is now installable. Current state is: passing
- ffmpeg-swscale.1.2.8 on 4.14.2 is now installable. Current state is: passing
- ffmpeg-swscale.1.2.8 on 5.3.0 is now installable. Current state is: passing
- ffmpeg.1.2.8 on 4.14.2 is now installable. Current state is: passing
- ffmpeg.1.2.8 on 5.3.0 is now installable. Current state is: passing
- fit.1.4.1 on 4.14.2 is now installable. Current state is: passing
- fit.1.4.1 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
- 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
- functory.0.6 on 4.14.2 had its build status changed: failing to passing
- intel_hex.0.1 on 4.14.2 is now installable. Current state is: passing
- intel_hex.0.1 on 5.3.0 is now installable. Current state is: passing
- jupyter.3.0.1 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-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
- memcpy.0.3.0 on 4.14.2 is now installable. Current state is: passing
- memcpy.0.3.0 on 5.3.0 is now installable. Current state is: passing
- menhir-lsp.0.2 on 4.14.2 is now installable. Current state is: passing
- menhir-lsp.0.2 on 5.3.0 is now installable. Current state is: passing
- metadata.0.3.2 on 4.14.2 is now installable. Current state is: passing
- metadata.0.3.2 on 5.3.0 is now installable. Current state is: passing
- miou.0.5.1 on 5.3.0 is now installable. Current state is: 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
- neo4j_bolt.0.3.0 on 4.14.2 is now installable. Current state is: passing
- neo4j_bolt.0.3.0 on 5.3.0 is now installable. Current state is: passing
- ocamlformat-mlx-lib.0.28.1.1 on 4.14.2 is now installable. Current state is: passing
- ocamlformat-mlx-lib.0.28.1.1 on 5.3.0 is now installable. Current state is: passing
- ocamlformat-mlx.0.28.1.1 on 4.14.2 is now installable. Current state is: passing
- ocamlformat-mlx.0.28.1.1 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
- opentelemetry-cohttp-lwt.0.12 on 4.14.2 had its build status changed: failing to passing
- opentelemetry-cohttp-lwt.0.12 on 5.3.0 had its build status changed: failing to 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.2.0 on 5.3.0 is now installable. Current state is: passing
- posix-base.4.0.1 on 4.14.2 is now installable. Current state is: passing
- posix-base.4.0.1 on 5.3.0 is now installable. Current state is: passing
- posix-bindings.4.0.1 on 4.14.2 is now installable. Current state is: passing
- posix-bindings.4.0.1 on 5.3.0 is now installable. Current state is: passing
- posix-errno.4.0.1 on 4.14.2 is now installable. Current state is: passing
- posix-errno.4.0.1 on 5.3.0 is now installable. Current state is: passing
- posix-getopt.4.0.1 on 4.14.2 is now installable. Current state is: passing
- posix-getopt.4.0.1 on 5.3.0 is now installable. Current state is: passing
- posix-math2.4.0.1 on 4.14.2 is now installable. Current state is: passing
- posix-math2.4.0.1 on 5.3.0 is now installable. Current state is: passing
- posix-resource.4.0.1 on 4.14.2 is now installable. Current state is: passing
- posix-resource.4.0.1 on 5.3.0 is now installable. Current state is: passing
- posix-signal.4.0.1 on 4.14.2 is now installable. Current state is: passing
- posix-signal.4.0.1 on 5.3.0 is now installable. Current state is: passing
- posix-socket-unix.4.0.1 on 4.14.2 is now installable. Current state is: passing
- posix-socket-unix.4.0.1 on 5.3.0 is now installable. Current state is: passing
- posix-socket.4.0.1 on 4.14.2 is now installable. Current state is: passing
- posix-socket.4.0.1 on 5.3.0 is now installable. Current state is: passing
- posix-stat.4.0.1 on 4.14.2 is now installable. Current state is: passing
- posix-stat.4.0.1 on 5.3.0 is now installable. Current state is: passing
- posix-time2.4.0.1 on 4.14.2 is now installable. Current state is: passing
- posix-time2.4.0.1 on 5.3.0 is now installable. Current state is: passing
- posix-types.4.0.1 on 4.14.2 is now installable. Current state is: passing
- posix-types.4.0.1 on 5.3.0 is now installable. Current state is: passing
- posix-uname.4.0.1 on 4.14.2 is now installable. Current state is: passing
- posix-uname.4.0.1 on 5.3.0 is now installable. Current state is: passing
- posix-unistd.4.0.1 on 4.14.2 is now installable. Current state is: passing
- posix-unistd.4.0.1 on 5.3.0 is now installable. Current state is: passing
- ppx_deriving_rpc.10.0.0 on 4.14.2 is now installable. Current state is: passing
- ppx_deriving_rpc.10.0.0 on 5.3.0 is now installable. Current state is: passing
- ppx_trace.0.10.1 on 4.14.2 is now installable. Current state is: passing
- ppx_trace.0.10.1 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
- 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
- qdrant.0.1.0 on 4.14.2 is now installable. Current state is: passing
- qdrant.0.1.0 on 5.3.0 is now installable. Current state is: passing
- quickjs.0.4.2 on 4.14.2 is now installable. Current state is: passing
- quickjs.0.4.2 on 5.3.0 is now installable. Current state is: passing
- reason-react-day-picker.0.1 on 4.14.2 is now installable. Current state is: passing
- reason-react-day-picker.0.1 on 5.3.0 is now installable. Current state is: passing
- reason-react-ppx.0.17.0 on 4.14.2 is now installable. Current state is: passing
- reason-react-ppx.0.17.0 on 5.3.0 is now installable. Current state is: passing
- reason-react.0.17.0 on 4.14.2 is now installable. Current state is: passing
- reason-react.0.17.0 on 5.3.0 is now installable. Current state is: passing
- restricted.1.1 on 5.3.0 is now installable. Current state is: passing
- rfsm.2.3 on 5.3.0 is now installable. Current state is: passing
- rizzo.0.3.0 on 5.3.0 is now installable. Current state is: passing
- rocq-prover.meta.1 on 4.14.2 is now installable. Current state is: passing
- rocq-prover.meta.1 on 5.3.0 is now installable. Current state is: passing
- rpclib-html.10.0.0 on 4.14.2 is now installable. Current state is: passing
- rpclib-html.10.0.0 on 5.3.0 is now installable. Current state is: passing
- rpclib-js.10.0.0 on 4.14.2 is now installable. Current state is: passing
- rpclib-js.10.0.0 on 5.3.0 is now installable. Current state is: passing
- rpclib-lwt.10.0.0 on 4.14.2 is now installable. Current state is: passing
- rpclib-lwt.10.0.0 on 5.3.0 is now installable. Current state is: passing
- rpclib.10.0.0 on 4.14.2 is now installable. Current state is: passing
- rpclib.10.0.0 on 5.3.0 is now installable. Current state is: 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
- shakuhachi.0.1.0 on 4.14.2 is now installable. Current state is: passing
- shakuhachi.0.1.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.19.0 on 4.14.2 is now installable. Current state is: passing
- smtml.0.19.0 on 5.3.0 is now installable. Current state is: passing
- tezos-base58.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
- tezos-base58.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- tezos-context-hash-irmin.1.0.0 on 4.14.2 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-stdlib.12.3 on 4.14.2 had its build status changed: internal failure to passing
- trace-fuchsia.0.10.1 on 4.14.2 is now installable. Current state is: passing
- trace-fuchsia.0.10.1 on 5.3.0 is now installable. Current state is: passing
- trace-tef.0.10.1 on 4.14.2 is now installable. Current state is: passing
- trace-tef.0.10.1 on 5.3.0 is now installable. Current state is: passing
- trace.0.10.1 on 4.14.2 is now installable. Current state is: passing
- trace.0.10.1 on 5.3.0 is now installable. Current state is: passing
- why3find.1.3.0 on 4.14.2 is now installable. Current state is: passing
- why3find.1.3.0 on 5.3.0 is now installable. Current state is: passing
Home|Differences with the last checks|Previous runs