Packages now failing:
Packages now partially failing:
Packages now not available:
- ansifmt.1.0.0~pre2 on 5.3.0 is not available anymore. Previous state was: passing
- binaryen.0.26.0 on 4.14.2 is not available anymore. Previous state was: passing
- binaryen.0.26.0 on 5.3.0 is not available anymore. Previous state was: passing
- bitstring.5.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- bytesrw.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- bytesrw.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- catala-format.1.0.0~beta on 4.14.2 is not available anymore. Previous state was: passing
- catala-format.1.0.0~beta on 5.3.0 is not available anymore. Previous state was: passing
- catala-lsp.1.0.0~beta on 4.14.2 is not available anymore. Previous state was: passing
- catala-lsp.1.0.0~beta on 5.3.0 is not available anymore. Previous state was: passing
- catala.1.0.0~beta on 4.14.2 is not available anymore. Previous state was: passing
- catala.1.0.0~beta on 5.3.0 is not available anymore. Previous state was: passing
- climate.0.8.5 on 4.14.2 is not available anymore. Previous state was: passing
- climate.0.8.5 on 5.3.0 is not available anymore. Previous state was: passing
- cmarkit.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
- cmarkit.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- coq-waterproof.3.0.0+9.0 on 4.14.2 is not available anymore. Previous state was: passing
- coq-waterproof.3.0.0+9.0 on 5.3.0 is not available anymore. Previous state was: passing
- crypt.1.3 on 4.14.2 is not available anymore. Previous state was: failing
- crypt.1.3 on 5.3.0 is not available anymore. Previous state was: failing
- cryptoverif.2.11 on 4.14.2 is not available anymore. Previous state was: passing
- cryptoverif.2.11 on 5.3.0 is not available anymore. Previous state was: passing
- ctypes-foreign.0.23.0 on 4.14.2 is not available anymore. Previous state was: passing
- ctypes-foreign.0.23.0 on 5.3.0 is not available anymore. Previous state was: passing
- ctypes.0.23.0 on 4.14.2 is not available anymore. Previous state was: passing
- ctypes.0.23.0 on 5.3.0 is not available anymore. Previous state was: passing
- current.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
- current.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
- current_docker.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
- current_docker.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
- current_examples.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
- current_examples.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
- current_git.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
- current_git.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
- current_github.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
- current_github.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
- current_gitlab.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
- current_gitlab.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
- current_rpc.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
- current_rpc.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
- current_slack.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
- current_slack.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
- current_ssh.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
- current_ssh.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
- current_web.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
- current_web.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
- directories.0.6 on 4.14.2 is not available anymore. Previous state was: passing
- directories.0.6 on 5.3.0 is not available anymore. Previous state was: passing
- dkml-c-probe.3.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- dkml-c-probe.3.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- elpi.3.4.2 on 4.14.2 is not available anymore. Previous state was: passing
- elpi.3.4.2 on 5.3.0 is not available anymore. Previous state was: passing
- ffmpeg-av.1.2.6 on 4.14.2 is not available anymore. Previous state was: internal failure
- ffmpeg-av.1.2.6 on 5.3.0 is not available anymore. Previous state was: internal failure
- ffmpeg-avcodec.1.2.6 on 4.14.2 is not available anymore. Previous state was: internal failure
- ffmpeg-avcodec.1.2.6 on 5.3.0 is not available anymore. Previous state was: internal failure
- ffmpeg-avdevice.1.2.6 on 4.14.2 is not available anymore. Previous state was: internal failure
- ffmpeg-avdevice.1.2.6 on 5.3.0 is not available anymore. Previous state was: internal failure
- ffmpeg-avfilter.1.2.6 on 4.14.2 is not available anymore. Previous state was: passing
- ffmpeg-avfilter.1.2.6 on 5.3.0 is not available anymore. Previous state was: passing
- ffmpeg-avutil.1.2.6 on 4.14.2 is not available anymore. Previous state was: internal failure
- ffmpeg-avutil.1.2.6 on 5.3.0 is not available anymore. Previous state was: passing
- ffmpeg-swresample.1.2.6 on 4.14.2 is not available anymore. Previous state was: passing
- ffmpeg-swresample.1.2.6 on 5.3.0 is not available anymore. Previous state was: internal failure
- ffmpeg-swscale.1.2.6 on 4.14.2 is not available anymore. Previous state was: internal failure
- ffmpeg-swscale.1.2.6 on 5.3.0 is not available anymore. Previous state was: passing
- ffmpeg.1.2.6 on 4.14.2 is not available anymore. Previous state was: internal failure
- ffmpeg.1.2.6 on 5.3.0 is not available anymore. Previous state was: passing
- fpath-base.0.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- fpath-sexp0.0.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- fpath-sexp0.0.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- frama-c.31.0 on 4.14.2 is not available anymore. Previous state was: passing
- frama-c.31.0 on 5.3.0 is not available anymore. Previous state was: passing
- handlebars-ml.0.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- handlebars-ml.0.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- libbinaryen.121.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- libbinaryen.121.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- logs.0.9.0 on 4.14.2 is not available anymore. Previous state was: passing
- logs.0.9.0 on 5.3.0 is not available anymore. Previous state was: passing
- mazeppa.0.5.2 on 4.14.2 is not available anymore. Previous state was: passing
- mazeppa.0.5.2 on 5.3.0 is not available anymore. Previous state was: passing
- melange-fest.0.1.0 on 5.3.0 had its build status changed: passing to not available
- melange-fetch.0.1.0 on 5.3.0 had its build status changed: passing to not available
- melange-jest.0.1.1 on 5.3.0 had its build status changed: passing to not available
- melange-moment.0.4.0 on 5.3.0 had its build status changed: passing to not available
- melange-webapi.0.21.0 on 5.3.0 had its build status changed: passing to not available
- ocf.0.9.0 on 4.14.2 is not available anymore. Previous state was: passing
- ocf.0.9.0 on 5.3.0 is not available anymore. Previous state was: passing
- ocf_ppx.0.9.0 on 4.14.2 is not available anymore. Previous state was: passing
- ocf_ppx.0.9.0 on 5.3.0 is not available anymore. Previous state was: passing
- opam-client.2.5.0~alpha1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-client.2.5.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
- opam-core.2.5.0~alpha1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-core.2.5.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
- opam-devel.2.5.0~alpha1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-devel.2.5.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
- opam-format.2.5.0~alpha1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-format.2.5.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
- opam-installer.2.5.0~alpha1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-installer.2.5.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
- opam-repository.2.5.0~alpha1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-repository.2.5.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
- opam-solver.2.5.0~alpha1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-solver.2.5.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
- opam-state.2.5.0~alpha1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-state.2.5.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
- opatch.3.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- opatch.3.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- oplot.0.80 on 4.14.2 is not available anymore. Previous state was: passing
- oplot.0.80 on 5.3.0 is not available anymore. Previous state was: passing
- pancake.2.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- patch.3.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- patch.3.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- ppx_bitstring.5.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- ppx_expect_nobase.v0.17.2.2 on 4.14.2 is not available anymore. Previous state was: passing
- ppx_expect_nobase.v0.17.2.2 on 5.3.0 is not available anymore. Previous state was: passing
- qcheck-alcotest.0.26 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck-alcotest.0.26 on 5.3.0 is not available anymore. Previous state was: passing
- qcheck-core.0.26 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck-core.0.26 on 5.3.0 is not available anymore. Previous state was: passing
- qcheck-ounit.0.26 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck-ounit.0.26 on 5.3.0 is not available anymore. Previous state was: passing
- qcheck.0.26 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck.0.26 on 5.3.0 is not available anymore. Previous state was: passing
- rfsm.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- saltoIL.0.1.11 on 4.14.2 is not available anymore. Previous state was: internal failure
- tezt.4.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- tezt.4.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- topkg-care.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- topkg-care.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
- topkg.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- topkg.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
- tsdl.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- tsdl.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
- unikraft-musl.0.18.0 on 4.14.2 is not available anymore. Previous state was: passing
- unikraft-musl.0.18.0 on 5.3.0 is not available anymore. Previous state was: passing
- universal-portal.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
- vscoq-language-server.2.2.6 on 4.14.2 is not available anymore. Previous state was: passing
- vscoq-language-server.2.2.6 on 5.3.0 is not available anymore. Previous state was: passing
- vsrocq-language-server.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- vsrocq-language-server.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- xtmpl.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- xtmpl.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
- xtmpl_js.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- xtmpl_js.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
- xtmpl_ppx.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- xtmpl_ppx.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
Packages now failing with an internal failure:
Packages now passing:
- acgtk.2.2.0 on 5.3.0 is now installable. Current state is: passing
- alice.0.1.0 on 5.3.0 is now installable. Current state is: passing
- ansifmt.2.0.0 on 5.3.0 is now installable. Current state is: passing
- azure-cosmos-db.0.3.1 on 5.3.0 had its build status changed: internal failure to passing
- bam.0.4 on 4.14.2 had its build status changed: internal failure to passing
- bam.0.4 on 5.3.0 had its build status changed: internal failure to passing
- bap-abi.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-analyze.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-api.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-arm.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-beagle-strings.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-beagle.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-bil.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-byteweight-frontend.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-c.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-cache.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-callsites.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-constant-tracker.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-core-theory.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-cxxfilt.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-demangle.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-dependencies.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-disassemble.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- binaryen.0.34.0 on 4.14.2 is now installable. Current state is: passing
- binaryen.0.34.0 on 5.3.0 is now installable. Current state is: passing
- bytesrw.0.3.0 on 4.14.2 is now installable. Current state is: passing
- bytesrw.0.3.0 on 5.3.0 is now installable. Current state is: passing
- camlbz2.transition on 4.14.2 had its build status changed: internal failure to passing
- catala-format.1.0.0 on 4.14.2 is now installable. Current state is: passing
- catala-format.1.0.0 on 5.3.0 is now installable. Current state is: passing
- catala-lsp.1.0.0 on 4.14.2 is now installable. Current state is: passing
- catala-lsp.1.0.0 on 5.3.0 is now installable. Current state is: passing
- catala.1.0.0 on 4.14.2 is now installable. Current state is: passing
- catala.1.0.0 on 5.3.0 is now installable. Current state is: passing
- climate.0.9.0 on 4.14.2 is now installable. Current state is: passing
- climate.0.9.0 on 5.3.0 is now installable. Current state is: passing
- cmarkit.0.4.0 on 4.14.2 is now installable. Current state is: passing
- cmarkit.0.4.0 on 5.3.0 is now installable. Current state is: passing
- conf-arb.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-cairo.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-clang-format.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-dbm.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- conf-diffutils.2 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-efl.1.8 on 4.14.2 had its build status changed: internal failure to passing
- conf-efl.1.8 on 5.3.0 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-flex.2 on 5.3.0 had its build status changed: internal failure to passing
- conf-freeglut.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-frei0r.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-ftgl.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-g++.1.0 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 4.14.2 had its build status changed: internal failure to passing
- conf-gnutls.1 on 5.3.0 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-gsl.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-gsl.2 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-gstreamer.1 on 5.3.0 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 4.14.2 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-jack.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-jack.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-jq.1 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-libX11.1 on 4.14.2 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-libdrm.1 on 4.14.2 is now installable. Current state is: passing
- conf-libdw.1 on 4.14.2 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-libglu.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-librsvg2.0 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 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-shared.19 on 4.14.2 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-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-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 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-nanomsg.0 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-nmap.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- conf-npm.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-ode.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-openblas.0.2.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-openblas.0.2.2 on 5.3.0 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-perl-string-shellquote.3 on 4.14.2 had its build status changed: internal failure to passing
- conf-povray.1 on 5.3.0 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-pulseaudio.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-python-3-7.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- conf-rubberband.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-2018.1 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-scdoc.1 on 4.14.2 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-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-sdl-net.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-image.1 on 5.3.0 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-ttf.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-sdl2-ttf.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 5.3.0 had its build status changed: internal failure to passing
- conf-sndfile.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-soundtouch.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-srt.2 on 4.14.2 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-sundials.2 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-texlive.2 on 5.3.0 had its build status changed: internal failure to passing
- conf-tk.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-vim.1 on 4.14.2 had its build status changed: internal failure to passing
- coq-waterproof.3.1.0+9.0 on 4.14.2 is now installable. Current state is: passing
- coq-waterproof.3.1.0+9.0 on 5.3.0 is now installable. Current state is: passing
- crockford.1.0.0 on 4.14.2 is now installable. Current state is: passing
- crockford.1.0.0 on 5.3.0 is now installable. Current state is: passing
- crypt.2.0 on 4.14.2 is now installable. Current state is: passing
- crypt.2.0 on 5.3.0 is now installable. Current state is: passing
- cryptoverif.2.12 on 4.14.2 is now installable. Current state is: passing
- cryptoverif.2.12 on 5.3.0 is now installable. Current state is: passing
- ctypes-foreign.0.24.0 on 4.14.2 is now installable. Current state is: passing
- ctypes-foreign.0.24.0 on 5.3.0 is now installable. Current state is: passing
- ctypes.0.24.0 on 4.14.2 is now installable. Current state is: passing
- ctypes.0.24.0 on 5.3.0 is now installable. Current state is: passing
- current.0.7.2 on 4.14.2 is now installable. Current state is: passing
- current.0.7.2 on 5.3.0 is now installable. Current state is: passing
- current_docker.0.7.2 on 4.14.2 is now installable. Current state is: passing
- current_docker.0.7.2 on 5.3.0 is now installable. Current state is: passing
- current_examples.0.7.2 on 4.14.2 is now installable. Current state is: passing
- current_examples.0.7.2 on 5.3.0 is now installable. Current state is: passing
- current_git.0.7.2 on 4.14.2 is now installable. Current state is: passing
- current_git.0.7.2 on 5.3.0 is now installable. Current state is: passing
- current_github.0.7.2 on 4.14.2 is now installable. Current state is: passing
- current_github.0.7.2 on 5.3.0 is now installable. Current state is: passing
- current_gitlab.0.7.2 on 4.14.2 is now installable. Current state is: passing
- current_gitlab.0.7.2 on 5.3.0 is now installable. Current state is: passing
- current_rpc.0.7.2 on 4.14.2 is now installable. Current state is: passing
- current_rpc.0.7.2 on 5.3.0 is now installable. Current state is: passing
- current_slack.0.7.2 on 4.14.2 is now installable. Current state is: passing
- current_slack.0.7.2 on 5.3.0 is now installable. Current state is: passing
- current_ssh.0.7.2 on 4.14.2 is now installable. Current state is: passing
- current_ssh.0.7.2 on 5.3.0 is now installable. Current state is: passing
- current_web.0.7.2 on 4.14.2 is now installable. Current state is: passing
- current_web.0.7.2 on 5.3.0 is now installable. Current state is: passing
- directories.0.7 on 4.14.2 is now installable. Current state is: passing
- directories.0.7 on 5.3.0 is now installable. Current state is: passing
- dkml-c-probe.3.2.0 on 4.14.2 is now installable. Current state is: passing
- dkml-c-probe.3.2.0 on 5.3.0 is now installable. Current state is: passing
- elpi.3.4.3 on 4.14.2 is now installable. Current state is: passing
- elpi.3.4.3 on 5.3.0 is now installable. Current state is: passing
- ez_dune_describe.0.1 on 4.14.2 had its build status changed: internal failure to passing
- ez_dune_describe.0.1 on 5.3.0 had its build status changed: internal failure to passing
- ffmpeg-av.1.2.7 on 4.14.2 is now installable. Current state is: passing
- ffmpeg-avdevice.1.2.7 on 4.14.2 is now installable. Current state is: passing
- ffmpeg-avutil.1.2.7 on 4.14.2 is now installable. Current state is: passing
- ffmpeg-swresample.1.2.7 on 5.3.0 is now installable. Current state is: passing
- ffmpeg.1.2.7 on 4.14.2 is now installable. Current state is: passing
- ffmpeg.1.2.7 on 5.3.0 is now installable. Current state is: passing
- flux.0.0.1~beta1 on 5.3.0 is now installable. Current state is: passing
- fluxt.0.0.1~beta1 on 5.3.0 is now installable. Current state is: passing
- fpath-base.0.4.0 on 5.3.0 is now installable. Current state is: passing
- fpath-sexp0.0.4.0 on 4.14.2 is now installable. Current state is: passing
- fpath-sexp0.0.4.0 on 5.3.0 is now installable. Current state is: 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 5.3.0 had its build status changed: internal failure to passing
- frama-c.32.0~beta 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
- handlebars-ml.0.3.0 on 4.14.2 is now installable. Current state is: passing
- handlebars-ml.0.3.0 on 5.3.0 is now installable. Current state is: passing
- jsonfeed.1.1.0 on 5.3.0 is now installable. Current state is: passing
- lablgtk3.3.1.5 on 4.14.2 had its build status changed: internal failure to passing
- ladspa.0.2.2 on 5.3.0 had its build status changed: internal failure to passing
- libbinaryen.124.0.1 on 4.14.2 is now installable. Current state is: passing
- libbinaryen.124.0.1 on 5.3.0 is now installable. Current state is: passing
- logs.0.10.0 on 4.14.2 is now installable. Current state is: passing
- logs.0.10.0 on 5.3.0 is now installable. Current state is: passing
- mazeppa.0.6.0 on 4.14.2 is now installable. Current state is: passing
- ocf.1.0.0 on 4.14.2 is now installable. Current state is: passing
- ocf.1.0.0 on 5.3.0 is now installable. Current state is: passing
- ocf_ppx.1.0.0 on 4.14.2 is now installable. Current state is: passing
- ocf_ppx.1.0.0 on 5.3.0 is now installable. Current state is: passing
- odoc-driver.3.1.0 on 5.3.0 had its build status changed: failing to passing
- opam-client.2.5.0~beta1 on 4.14.2 is now installable. Current state is: passing
- opam-client.2.5.0~beta1 on 5.3.0 is now installable. Current state is: passing
- opam-core.2.5.0~beta1 on 4.14.2 is now installable. Current state is: passing
- opam-core.2.5.0~beta1 on 5.3.0 is now installable. Current state is: passing
- opam-devel.2.5.0~beta1 on 4.14.2 is now installable. Current state is: passing
- opam-devel.2.5.0~beta1 on 5.3.0 is now installable. Current state is: passing
- opam-format.2.5.0~beta1 on 4.14.2 is now installable. Current state is: passing
- opam-format.2.5.0~beta1 on 5.3.0 is now installable. Current state is: passing
- opam-installer.2.5.0~beta1 on 4.14.2 is now installable. Current state is: passing
- opam-installer.2.5.0~beta1 on 5.3.0 is now installable. Current state is: passing
- opam-repository.2.5.0~beta1 on 4.14.2 is now installable. Current state is: passing
- opam-repository.2.5.0~beta1 on 5.3.0 is now installable. Current state is: passing
- opam-solver.2.5.0~beta1 on 4.14.2 is now installable. Current state is: passing
- opam-solver.2.5.0~beta1 on 5.3.0 is now installable. Current state is: passing
- opam-state.2.5.0~beta1 on 4.14.2 is now installable. Current state is: passing
- opam-state.2.5.0~beta1 on 5.3.0 is now installable. Current state is: passing
- opatch.3.1.0 on 4.14.2 is now installable. Current state is: passing
- opatch.3.1.0 on 5.3.0 is now installable. Current state is: passing
- oplot.0.85 on 4.14.2 is now installable. Current state is: passing
- oplot.0.85 on 5.3.0 is now installable. Current state is: passing
- patch.3.1.0 on 4.14.2 is now installable. Current state is: passing
- patch.3.1.0 on 5.3.0 is now installable. Current state is: passing
- ppx_deriving_jsont.0.1.1 on 4.14.2 is now installable. Current state is: passing
- ppx_deriving_jsont.0.1.1 on 5.3.0 is now installable. Current state is: passing
- ppx_expect_nobase.v0.17.3.0 on 4.14.2 is now installable. Current state is: passing
- ppx_expect_nobase.v0.17.3.0 on 5.3.0 is now installable. Current state is: passing
- qcaml.0.1.4 on 5.3.0 is now installable. Current state is: passing
- qcheck-alcotest.0.27 on 4.14.2 is now installable. Current state is: passing
- qcheck-alcotest.0.27 on 5.3.0 is now installable. Current state is: passing
- qcheck-core.0.27 on 4.14.2 is now installable. Current state is: passing
- qcheck-core.0.27 on 5.3.0 is now installable. Current state is: passing
- qcheck-ounit.0.27 on 4.14.2 is now installable. Current state is: passing
- qcheck-ounit.0.27 on 5.3.0 is now installable. Current state is: passing
- qcheck.0.27 on 4.14.2 is now installable. Current state is: passing
- qcheck.0.27 on 5.3.0 is now installable. Current state is: passing
- rfsm.2.2 on 5.3.0 is now installable. Current state is: passing
- salto-analyzer.0.1 on 4.14.2 had its build status changed: internal failure to passing
- saltoIL.0.2.0 on 4.14.2 is now installable. Current state is: passing
- sihl-web.0.3.0~rc1 on 5.3.0 had its build status changed: internal failure to passing
- slacko.0.15.0 on 4.14.2 had its build status changed: internal failure to passing
- slacko.0.15.0 on 5.3.0 had its build status changed: internal failure to passing
- slipshow.0.6.0 on 4.14.2 had its build status changed: internal failure to passing
- slipshow.0.6.0 on 5.3.0 had its build status changed: internal failure to passing
- smtml.0.13.0 on 4.14.2 had its build status changed: internal failure to passing
- smtml.0.13.0 on 5.3.0 had its build status changed: internal failure to passing
- snf_mcp.0.2.1 on 5.3.0 had its build status changed: internal failure to passing
- snoke.0.3 on 4.14.2 had its build status changed: internal failure to passing
- snoke.0.3 on 5.3.0 had its build status changed: internal failure to passing
- solid.0.5.0 on 4.14.2 had its build status changed: internal failure to passing
- solid.0.5.0 on 5.3.0 had its build status changed: internal failure to passing
- solid_server.0.5.0 on 4.14.2 had its build status changed: internal failure to passing
- solid_server.0.5.0 on 5.3.0 had its build status changed: internal failure to passing
- solid_tools.0.5.0 on 4.14.2 had its build status changed: internal failure to passing
- solidity-common.0.2.0 on 4.14.2 had its build status changed: internal failure to passing
- solidity-parser.0.2.0 on 5.3.0 had its build status changed: internal failure to passing
- solidity-test.0.2.0 on 4.14.2 had its build status changed: internal failure to passing
- solidity-typechecker.0.2.0 on 4.14.2 had its build status changed: internal failure to passing
- statocaml_html.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- stone.0.6.1 on 5.3.0 is now installable. Current state is: passing
- tezos-lazy-containers.16.1 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
- tezos-stdlib.12.3 on 5.3.0 had its build status changed: internal failure to passing
- tezt.4.3.0 on 4.14.2 is now installable. Current state is: passing
- tezt.4.3.0 on 5.3.0 is now installable. Current state is: passing
- topkg-care.1.1.1 on 4.14.2 is now installable. Current state is: passing
- topkg-care.1.1.1 on 5.3.0 is now installable. Current state is: passing
- topkg.1.1.1 on 4.14.2 is now installable. Current state is: passing
- topkg.1.1.1 on 5.3.0 is now installable. Current state is: passing
- tsdl-mixer.0.6 on 5.3.0 had its build status changed: internal failure to passing
- tsdl.1.2.0 on 4.14.2 is now installable. Current state is: passing
- tsdl.1.2.0 on 5.3.0 is now installable. Current state is: passing
- unikraft-musl.0.20.0 on 4.14.2 is now installable. Current state is: passing
- unikraft-musl.0.20.0 on 5.3.0 is now installable. Current state is: passing
- vscoq-language-server.2.3.3 on 4.14.2 is now installable. Current state is: passing
- vscoq-language-server.2.3.3 on 5.3.0 is now installable. Current state is: passing
- vsrocq-language-server.2.3.3 on 4.14.2 is now installable. Current state is: passing
- vsrocq-language-server.2.3.3 on 5.3.0 is now installable. Current state is: passing
- xtmpl.1.2.0 on 4.14.2 is now installable. Current state is: passing
- xtmpl.1.2.0 on 5.3.0 is now installable. Current state is: passing
- xtmpl_js.1.2.0 on 4.14.2 is now installable. Current state is: passing
- xtmpl_js.1.2.0 on 5.3.0 is now installable. Current state is: passing
- xtmpl_ppx.1.2.0 on 4.14.2 is now installable. Current state is: passing
- xtmpl_ppx.1.2.0 on 5.3.0 is now installable. Current state is: passing