opam-health-check diff

Home|Differences with the last checks|Previous runs

Differences between f92e43c and 8106bcf (git diff)

Packages now failing:

bibtex2html.1.99-1 on 4.14.2 had its build status changed: passing to failing
cubicle.1.2.0 on 4.14.2 had its build status changed: passing to failing
fm-simplex-plugin.1.30 on 4.14.2 had its build status changed: partially failing to failing
frama-c.30.0 on 4.14.2 had its build status changed: passing to failing
frama-c.30.0 on 5.3.0 had its build status changed: passing to failing
jasmin.2025.02.1 on 4.14.2 is now installable. Current state is: failing
jasmin.2025.02.1 on 5.3.0 is now installable. Current state is: failing
junit_alcotest.2.2.0 on 4.14.2 is now installable. Current state is: failing
junit_alcotest.2.2.0 on 5.3.0 is now installable. Current state is: failing
multicont.1.0.3 on 5.3.0 had its build status changed: passing to failing
owl.1.2 on 4.14.2 had its build status changed: passing to failing
owl.1.2 on 5.3.0 had its build status changed: passing to failing
profiler-plugin.1.30 on 4.14.2 had its build status changed: passing to failing

Packages now partially failing:

caqti-driver-mariadb.2.2.4 on 4.14.2 is now installable. Current state is: partially failing
caqti-driver-mariadb.2.2.4 on 5.3.0 is now installable. Current state is: partially failing
carton-git-lwt.1.0.0 on 5.3.0 had its build status changed: passing to partially failing
cudajit.0.7.0 on 4.14.2 is now installable. Current state is: partially failing
cudajit.0.7.0 on 5.3.0 is now installable. Current state is: partially failing
cviode.0.0.4 on 4.14.2 had its build status changed: passing to partially failing
frama-c-lannotate.0.2.3 on 4.14.2 had its build status changed: passing to partially failing
frama-c-luncov.0.2.1 on 4.14.2 had its build status changed: passing to partially failing
frama-c-metacsl.0.8 on 4.14.2 had its build status changed: passing to partially failing
frama-c-metacsl.0.8 on 5.3.0 had its build status changed: passing to partially failing
octez-client.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-dac-client.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-injector.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-l2-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
owl-ode-odepack.0.5.0 on 4.14.2 had its build status changed: passing to partially failing
owl-ode-odepack.0.5.0 on 5.3.0 had its build status changed: passing to partially failing
owl-ode.0.5.0 on 4.14.2 had its build status changed: passing to partially failing
owl-ode.0.5.0 on 5.3.0 had its build status changed: passing to partially failing
owl-opt.0.0.1 on 4.14.2 had its build status changed: passing to partially failing
owl-opt.0.0.1 on 5.3.0 had its build status changed: passing to partially failing
owl-top.1.2 on 4.14.2 had its build status changed: passing to partially failing
owl-top.1.2 on 5.3.0 had its build status changed: passing to partially failing

Packages now not available:

GT.0.5.3 on 4.14.2 is not available anymore. Previous state was: passing
MlFront_Cli.2.1.4~prerel2 on 4.14.2 is not available anymore. Previous state was: passing
MlFront_Cli.2.1.4~prerel2 on 5.3.0 is not available anymore. Previous state was: passing
alt-ergo-lib.2.6.0 on 4.14.2 is not available anymore. Previous state was: passing
alt-ergo-lib.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
alt-ergo-parsers.2.6.0 on 4.14.2 is not available anymore. Previous state was: passing
alt-ergo-parsers.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
alt-ergo-plugin-ab-why3.2.6.0 on 4.14.2 is not available anymore. Previous state was: passing
alt-ergo-plugin-ab-why3.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
alt-ergo.2.6.0 on 4.14.2 is not available anymore. Previous state was: passing
alt-ergo.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
base.v0.16.3 on 4.14.2 is not available anymore. Previous state was: passing
base.v0.16.3 on 5.3.0 is not available anymore. Previous state was: passing
ca-certs.1.0.0 on 4.14.2 is not available anymore. Previous state was: passing
ca-certs.1.0.0 on 5.3.0 is not available anymore. Previous state was: passing
caldav.0.2.3 on 4.14.2 is not available anymore. Previous state was: passing
caldav.0.2.3 on 5.3.0 is not available anymore. Previous state was: passing
camlp5-buildscripts.0.04 on 4.14.2 is not available anymore. Previous state was: passing
camlp5-buildscripts.0.04 on 5.3.0 is not available anymore. Previous state was: passing
camlp5.8.03.01 on 4.14.2 is not available anymore. Previous state was: passing
camlp5.8.03.01 on 5.3.0 is not available anymore. Previous state was: passing
camlpdf.2.8 on 4.14.2 is not available anymore. Previous state was: passing
camlpdf.2.8 on 5.3.0 is not available anymore. Previous state was: passing
camyll.0.4.3 on 4.14.2 is not available anymore. Previous state was: passing
camyll.0.4.3 on 5.3.0 is not available anymore. Previous state was: passing
caqti-driver-mariadb.2.1.1 on 4.14.2 is not available anymore. Previous state was: partially failing
caqti-driver-mariadb.2.1.1 on 5.3.0 is not available anymore. Previous state was: partially failing
caqti-driver-pgx.2.1.1 on 4.14.2 is not available anymore. Previous state was: passing
caqti-driver-pgx.2.1.1 on 5.3.0 is not available anymore. Previous state was: passing
caqti-driver-postgresql.2.1.2 on 4.14.2 is not available anymore. Previous state was: passing
caqti-driver-postgresql.2.1.2 on 5.3.0 is not available anymore. Previous state was: passing
caqti-driver-sqlite3.2.1.1 on 4.14.2 is not available anymore. Previous state was: passing
caqti-driver-sqlite3.2.1.1 on 5.3.0 is not available anymore. Previous state was: passing
caqti-eio.2.1.2 on 5.3.0 is not available anymore. Previous state was: passing
caqti-lwt.2.1.1 on 4.14.2 is not available anymore. Previous state was: passing
caqti-lwt.2.1.1 on 5.3.0 is not available anymore. Previous state was: passing
caqti-mirage.2.1.2 on 4.14.2 is not available anymore. Previous state was: passing
caqti-mirage.2.1.2 on 5.3.0 is not available anymore. Previous state was: passing
caqti.2.1.2 on 4.14.2 is not available anymore. Previous state was: passing
caqti.2.1.2 on 5.3.0 is not available anymore. Previous state was: passing
checked_oint.0.4.1 on 4.14.2 is not available anymore. Previous state was: passing
checked_oint.0.4.1 on 5.3.0 is not available anymore. Previous state was: passing
chrome-trace.3.17.2 on 4.14.2 is not available anymore. Previous state was: passing
chrome-trace.3.17.2 on 5.3.0 is not available anymore. Previous state was: passing
codept.0.12.0 on 4.14.2 is not available anymore. Previous state was: passing
conan-cli.0.0.5 on 4.14.2 is not available anymore. Previous state was: passing
conan-cli.0.0.5 on 5.3.0 is not available anymore. Previous state was: passing
conan-database.0.0.5 on 4.14.2 is not available anymore. Previous state was: passing
conan-database.0.0.5 on 5.3.0 is not available anymore. Previous state was: passing
conan-lwt.0.0.5 on 4.14.2 is not available anymore. Previous state was: passing
conan-lwt.0.0.5 on 5.3.0 is not available anymore. Previous state was: passing
conan-unix.0.0.5 on 4.14.2 is not available anymore. Previous state was: passing
conan-unix.0.0.5 on 5.3.0 is not available anymore. Previous state was: passing
conan.0.0.5 on 4.14.2 is not available anymore. Previous state was: passing
conan.0.0.5 on 5.3.0 is not available anymore. Previous state was: passing
conf-gmp-powm-sec.3 on 4.14.2 is not available anymore. Previous state was: passing
conf-gmp-powm-sec.3 on 5.3.0 is not available anymore. Previous state was: passing
conf-gmp.4 on 4.14.2 is not available anymore. Previous state was: passing
conf-gmp.4 on 5.3.0 is not available anymore. Previous state was: passing
conf-mbedtls.1 on 4.14.2 is not available anymore. Previous state was: internal failure
conf-mbedtls.1 on 5.3.0 is not available anymore. Previous state was: internal failure
coq-core.8.20.1 on 4.14.2 is not available anymore. Previous state was: passing
coq-core.8.20.1 on 5.3.0 is not available anymore. Previous state was: passing
coq-stdlib.8.20.1 on 4.14.2 is not available anymore. Previous state was: passing
coq-stdlib.8.20.1 on 5.3.0 is not available anymore. Previous state was: passing
coq.8.20.1 on 4.14.2 is not available anymore. Previous state was: passing
coq.8.20.1 on 5.3.0 is not available anymore. Previous state was: passing
coqide-server.8.20.1 on 4.14.2 is not available anymore. Previous state was: passing
coqide-server.8.20.1 on 5.3.0 is not available anymore. Previous state was: passing
cpdf.2.8 on 4.14.2 is not available anymore. Previous state was: passing
cpdf.2.8 on 5.3.0 is not available anymore. Previous state was: passing
cudajit.0.6.1 on 4.14.2 is not available anymore. Previous state was: partially failing
cudajit.0.6.1 on 5.3.0 is not available anymore. Previous state was: partially failing
diffast-api.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-api.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-cli.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-cli.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-core.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-core.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-git-cli.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-git-cli.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-git.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-git.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-langs-common.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-langs-common.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-langs-cpp-parsing-cli.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-langs-cpp-parsing-cli.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-langs-cpp-parsing.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-langs-cpp-parsing.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-langs-cpp-spec.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-langs-cpp-spec.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-langs-cpp.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-langs-cpp.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-langs-fortran-parsing-cli.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-langs-fortran-parsing-cli.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-langs-fortran-parsing.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-langs-fortran-parsing.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-langs-fortran-spec.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-langs-fortran-spec.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-langs-fortran.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-langs-fortran.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-langs-java-parsing-cli.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-langs-java-parsing-cli.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-langs-java-parsing.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-langs-java-parsing.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-langs-java-spec.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-langs-java-spec.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-langs-java.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-langs-java.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-langs-python-parsing-cli.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-langs-python-parsing-cli.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-langs-python-parsing.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-langs-python-parsing.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-langs-python-spec.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-langs-python-spec.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-langs-python.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-langs-python.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-langs-verilog-parsing-cli.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-langs-verilog-parsing-cli.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-langs-verilog-parsing.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-langs-verilog-parsing.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-langs-verilog-spec.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-langs-verilog-spec.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-langs-verilog.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-langs-verilog.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
digestif.1.2.0 on 4.14.2 is not available anymore. Previous state was: passing
digestif.1.2.0 on 5.3.0 is not available anymore. Previous state was: passing
dockerfile-cmd.8.2.5 on 4.14.2 is not available anymore. Previous state was: passing
dockerfile-cmd.8.2.5 on 5.3.0 is not available anymore. Previous state was: passing
dockerfile-opam.8.2.5 on 4.14.2 is not available anymore. Previous state was: passing
dockerfile-opam.8.2.5 on 5.3.0 is not available anymore. Previous state was: passing
dockerfile.8.2.5 on 4.14.2 is not available anymore. Previous state was: passing
dockerfile.8.2.5 on 5.3.0 is not available anymore. Previous state was: passing
domainslib.0.5.1 on 5.3.0 is not available anymore. Previous state was: passing
dream-html.3.10.0 on 4.14.2 is not available anymore. Previous state was: passing
dream-html.3.10.0 on 5.3.0 is not available anymore. Previous state was: passing
dtools.0.4.5 on 4.14.2 is not available anymore. Previous state was: passing
dtools.0.4.5 on 5.3.0 is not available anymore. Previous state was: passing
dune-action-plugin.3.17.2 on 4.14.2 is not available anymore. Previous state was: passing
dune-action-plugin.3.17.2 on 5.3.0 is not available anymore. Previous state was: passing
dune-build-info.3.17.2 on 4.14.2 is not available anymore. Previous state was: passing
dune-build-info.3.17.2 on 5.3.0 is not available anymore. Previous state was: passing
dune-configurator.3.17.2 on 4.14.2 is not available anymore. Previous state was: passing
dune-configurator.3.17.2 on 5.3.0 is not available anymore. Previous state was: passing
dune-glob.3.17.2 on 4.14.2 is not available anymore. Previous state was: passing
dune-glob.3.17.2 on 5.3.0 is not available anymore. Previous state was: passing
dune-private-libs.3.17.2 on 4.14.2 is not available anymore. Previous state was: passing
dune-private-libs.3.17.2 on 5.3.0 is not available anymore. Previous state was: passing
dune-rpc-lwt.3.17.2 on 4.14.2 is not available anymore. Previous state was: passing
dune-rpc-lwt.3.17.2 on 5.3.0 is not available anymore. Previous state was: passing
dune-rpc.3.17.2 on 4.14.2 is not available anymore. Previous state was: passing
dune-rpc.3.17.2 on 5.3.0 is not available anymore. Previous state was: passing
dune-site.3.17.2 on 4.14.2 is not available anymore. Previous state was: passing
dune-site.3.17.2 on 5.3.0 is not available anymore. Previous state was: passing
dune.3.17.2 on 4.14.2 is not available anymore. Previous state was: passing
dune.3.17.2 on 5.3.0 is not available anymore. Previous state was: passing
dyn.3.17.2 on 4.14.2 is not available anymore. Previous state was: passing
dyn.3.17.2 on 5.3.0 is not available anymore. Previous state was: passing
ffmpeg-av.1.2.2 on 4.14.2 is not available anymore. Previous state was: passing
ffmpeg-av.1.2.2 on 5.3.0 is not available anymore. Previous state was: passing
ffmpeg-avcodec.1.2.2 on 4.14.2 is not available anymore. Previous state was: passing
ffmpeg-avcodec.1.2.2 on 5.3.0 is not available anymore. Previous state was: passing
ffmpeg-avdevice.1.2.2 on 4.14.2 is not available anymore. Previous state was: passing
ffmpeg-avdevice.1.2.2 on 5.3.0 is not available anymore. Previous state was: passing
ffmpeg-avfilter.1.2.2 on 4.14.2 is not available anymore. Previous state was: passing
ffmpeg-avfilter.1.2.2 on 5.3.0 is not available anymore. Previous state was: passing
ffmpeg-avutil.1.2.2 on 4.14.2 is not available anymore. Previous state was: passing
ffmpeg-avutil.1.2.2 on 5.3.0 is not available anymore. Previous state was: passing
ffmpeg-swresample.1.2.2 on 4.14.2 is not available anymore. Previous state was: passing
ffmpeg-swresample.1.2.2 on 5.3.0 is not available anymore. Previous state was: passing
ffmpeg-swscale.1.2.2 on 4.14.2 is not available anymore. Previous state was: passing
ffmpeg-swscale.1.2.2 on 5.3.0 is not available anymore. Previous state was: passing
ffmpeg.1.2.2 on 4.14.2 is not available anymore. Previous state was: passing
ffmpeg.1.2.2 on 5.3.0 is not available anymore. Previous state was: passing
fstar.2025.02.17 on 4.14.2 is not available anymore. Previous state was: passing
fstar.2025.02.17 on 5.3.0 is not available anymore. Previous state was: passing
fswatch.11-0.1.4 on 4.14.2 is not available anymore. Previous state was: passing
fswatch.11-0.1.4 on 5.3.0 is not available anymore. Previous state was: passing
goblint-cil.2.0.5 on 4.14.2 is not available anymore. Previous state was: passing
goblint-cil.2.0.5 on 5.3.0 is not available anymore. Previous state was: passing
http-lwt-client.0.3.1 on 4.14.2 is not available anymore. Previous state was: passing
http-lwt-client.0.3.1 on 5.3.0 is not available anymore. Previous state was: passing
icalendar.0.1.10 on 4.14.2 is not available anymore. Previous state was: passing
icalendar.0.1.10 on 5.3.0 is not available anymore. Previous state was: passing
jasmin.2025.02.0 on 4.14.2 is not available anymore. Previous state was: failing
jasmin.2025.02.0 on 5.3.0 is not available anymore. Previous state was: failing
junit.2.1.0 on 4.14.2 is not available anymore. Previous state was: passing
junit.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
junit_alcotest.2.1.0 on 4.14.2 is not available anymore. Previous state was: passing
junit_alcotest.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
junit_ounit.2.1.0 on 4.14.2 is not available anymore. Previous state was: passing
junit_ounit.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
linol-eio.0.8 on 5.3.0 is not available anymore. Previous state was: passing
linol-lwt.0.8 on 4.14.2 is not available anymore. Previous state was: passing
linol-lwt.0.8 on 5.3.0 is not available anymore. Previous state was: passing
linol.0.8 on 4.14.2 is not available anymore. Previous state was: passing
linol.0.8 on 5.3.0 is not available anymore. Previous state was: passing
liquidsoap-js.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
liquidsoap-js.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
liquidsoap-lang.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
liquidsoap-lang.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
liquidsoap-mode.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
liquidsoap-mode.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
liquidsoap.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
liquidsoap.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
mazeppa.0.4.3 on 4.14.2 is not available anymore. Previous state was: passing
mazeppa.0.4.3 on 5.3.0 is not available anymore. Previous state was: passing
melange.5.0.1-414 on 4.14.2 is not available anymore. Previous state was: passing
melange.5.0.1-53 on 5.3.0 is not available anymore. Previous state was: passing
metadata.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
metadata.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
mkaudio.1.1.3 on 4.14.2 is not available anymore. Previous state was: passing
mkaudio.1.1.3 on 5.3.0 is not available anymore. Previous state was: passing
moonpool-io.0.7 on 5.3.0 is not available anymore. Previous state was: passing
moonpool-lwt.0.7 on 5.3.0 is not available anymore. Previous state was: passing
moonpool.0.7 on 4.14.2 is not available anymore. Previous state was: passing
moonpool.0.7 on 5.3.0 is not available anymore. Previous state was: passing
not-ocamlfind.0.13 on 4.14.2 is not available anymore. Previous state was: passing
not-ocamlfind.0.13 on 5.3.0 is not available anymore. Previous state was: passing
obelisk.0.8.0 on 4.14.2 is not available anymore. Previous state was: passing
obelisk.0.8.0 on 5.3.0 is not available anymore. Previous state was: passing
ocaml-version.3.7.3 on 4.14.2 is not available anymore. Previous state was: passing
ocaml-version.3.7.3 on 5.3.0 is not available anymore. Previous state was: passing
ocaml_intrinsics.v0.16.1 on 4.14.2 is not available anymore. Previous state was: passing
ocaml_intrinsics.v0.16.1 on 5.3.0 is not available anymore. Previous state was: passing
ocamlc-loc.3.17.2 on 4.14.2 is not available anymore. Previous state was: passing
ocamlc-loc.3.17.2 on 5.3.0 is not available anymore. Previous state was: passing
ocamlgraph.2.1.0 on 4.14.2 is not available anymore. Previous state was: passing
ocamlgraph.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
ocamlgraph_gtk.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
ocamlgraph_gtk.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
odoc-driver.3.0.0~beta1 on 5.3.0 is not available anymore. Previous state was: passing
odoc-md.3.0.0~beta1 on 4.14.2 is not available anymore. Previous state was: passing
odoc-md.3.0.0~beta1 on 5.3.0 is not available anymore. Previous state was: passing
odoc-parser.3.0.0~beta1 on 4.14.2 is not available anymore. Previous state was: passing
odoc-parser.3.0.0~beta1 on 5.3.0 is not available anymore. Previous state was: passing
odoc.3.0.0~beta1 on 4.14.2 is not available anymore. Previous state was: passing
odoc.3.0.0~beta1 on 5.3.0 is not available anymore. Previous state was: passing
opam-client.2.3.0 on 4.14.2 is not available anymore. Previous state was: passing
opam-client.2.3.0 on 5.3.0 is not available anymore. Previous state was: passing
opam-core.2.3.0 on 4.14.2 is not available anymore. Previous state was: passing
opam-core.2.3.0 on 5.3.0 is not available anymore. Previous state was: passing
opam-devel.2.3.0 on 4.14.2 is not available anymore. Previous state was: passing
opam-devel.2.3.0 on 5.3.0 is not available anymore. Previous state was: passing
opam-format.2.3.0 on 4.14.2 is not available anymore. Previous state was: passing
opam-format.2.3.0 on 5.3.0 is not available anymore. Previous state was: passing
opam-installer.2.3.0 on 4.14.2 is not available anymore. Previous state was: passing
opam-installer.2.3.0 on 5.3.0 is not available anymore. Previous state was: passing
opam-monorepo.0.4.1 on 4.14.2 is not available anymore. Previous state was: passing
opam-monorepo.0.4.1 on 5.3.0 is not available anymore. Previous state was: passing
opam-publish.2.5.0 on 4.14.2 is not available anymore. Previous state was: passing
opam-publish.2.5.0 on 5.3.0 is not available anymore. Previous state was: passing
opam-repository.2.3.0 on 4.14.2 is not available anymore. Previous state was: passing
opam-repository.2.3.0 on 5.3.0 is not available anymore. Previous state was: passing
opam-solver.2.3.0 on 4.14.2 is not available anymore. Previous state was: passing
opam-solver.2.3.0 on 5.3.0 is not available anymore. Previous state was: passing
opam-state.2.3.0 on 4.14.2 is not available anymore. Previous state was: passing
opam-state.2.3.0 on 5.3.0 is not available anymore. Previous state was: passing
opentelemetry-client-cohttp-lwt.0.11.1 on 4.14.2 is not available anymore. Previous state was: passing
opentelemetry-client-cohttp-lwt.0.11.1 on 5.3.0 is not available anymore. Previous state was: passing
opentelemetry-client-ocurl.0.11.1 on 4.14.2 is not available anymore. Previous state was: passing
opentelemetry-client-ocurl.0.11.1 on 5.3.0 is not available anymore. Previous state was: passing
opentelemetry-cohttp-lwt.0.11.1 on 4.14.2 is not available anymore. Previous state was: passing
opentelemetry-cohttp-lwt.0.11.1 on 5.3.0 is not available anymore. Previous state was: passing
opentelemetry-lwt.0.11.1 on 4.14.2 is not available anymore. Previous state was: passing
opentelemetry-lwt.0.11.1 on 5.3.0 is not available anymore. Previous state was: passing
opentelemetry.0.11.1 on 4.14.2 is not available anymore. Previous state was: passing
opentelemetry.0.11.1 on 5.3.0 is not available anymore. Previous state was: passing
ordering.3.17.2 on 4.14.2 is not available anymore. Previous state was: passing
ordering.3.17.2 on 5.3.0 is not available anymore. Previous state was: passing
ostap.0.6 on 4.14.2 is not available anymore. Previous state was: passing
owee.0.7 on 4.14.2 is not available anymore. Previous state was: passing
owee.0.7 on 5.3.0 is not available anymore. Previous state was: passing
pa_ppx.0.17 on 4.14.2 is not available anymore. Previous state was: passing
pa_ppx.0.17 on 5.3.0 is not available anymore. Previous state was: passing
plist-xml.0.5.0 on 4.14.2 is not available anymore. Previous state was: passing
plist-xml.0.5.0 on 5.3.0 is not available anymore. Previous state was: passing
ppx_deriving.6.0.3 on 4.14.2 is not available anymore. Previous state was: passing
ppx_deriving.6.0.3 on 5.3.0 is not available anymore. Previous state was: passing
ppx_deriving_encoding.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
ppx_deriving_encoding.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
ppx_deriving_hash.0.1.2 on 4.14.2 is not available anymore. Previous state was: passing
ppx_deriving_hash.0.1.2 on 5.3.0 is not available anymore. Previous state was: passing
ppx_deriving_qcheck.0.6 on 4.14.2 is not available anymore. Previous state was: passing
ppx_deriving_qcheck.0.6 on 5.3.0 is not available anymore. Previous state was: passing
ppx_deriving_yojson.3.9.1 on 4.14.2 is not available anymore. Previous state was: passing
ppx_deriving_yojson.3.9.1 on 5.3.0 is not available anymore. Previous state was: passing
ppx_minidebug.2.0.3 on 4.14.2 is not available anymore. Previous state was: passing
ppx_minidebug.2.0.3 on 5.3.0 is not available anymore. Previous state was: passing
ppx_trace.0.9 on 4.14.2 is not available anymore. Previous state was: passing
ppx_trace.0.9 on 5.3.0 is not available anymore. Previous state was: passing
pratter.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
pratter.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
prbnmcn-mcts.0.0.1 on 4.14.2 is not available anymore. Previous state was: passing
prbnmcn-mcts.0.0.1 on 5.3.0 is not available anymore. Previous state was: passing
pure-html.3.10.0 on 4.14.2 is not available anymore. Previous state was: passing
pure-html.3.10.0 on 5.3.0 is not available anymore. Previous state was: passing
qcheck-alcotest.0.24 on 4.14.2 is not available anymore. Previous state was: passing
qcheck-alcotest.0.24 on 5.3.0 is not available anymore. Previous state was: passing
qcheck-core.0.24 on 4.14.2 is not available anymore. Previous state was: passing
qcheck-core.0.24 on 5.3.0 is not available anymore. Previous state was: passing
qcheck-lin.0.7 on 4.14.2 is not available anymore. Previous state was: passing
qcheck-lin.0.7 on 5.3.0 is not available anymore. Previous state was: passing
qcheck-multicoretests-util.0.7 on 4.14.2 is not available anymore. Previous state was: passing
qcheck-multicoretests-util.0.7 on 5.3.0 is not available anymore. Previous state was: passing
qcheck-ounit.0.24 on 4.14.2 is not available anymore. Previous state was: passing
qcheck-ounit.0.24 on 5.3.0 is not available anymore. Previous state was: passing
qcheck-stm.0.7 on 4.14.2 is not available anymore. Previous state was: passing
qcheck-stm.0.7 on 5.3.0 is not available anymore. Previous state was: passing
qcheck.0.24 on 4.14.2 is not available anymore. Previous state was: passing
qcheck.0.24 on 5.3.0 is not available anymore. Previous state was: passing
reason.3.15.0 on 4.14.2 is not available anymore. Previous state was: passing
reason.3.15.0 on 5.3.0 is not available anymore. Previous state was: passing
rtop.3.15.0 on 4.14.2 is not available anymore. Previous state was: passing
rtop.3.15.0 on 5.3.0 is not available anymore. Previous state was: passing
safemoney.0.2.0 on 4.14.2 is not available anymore. Previous state was: partially failing
sedlex.3.3 on 4.14.2 is not available anymore. Previous state was: passing
sedlex.3.3 on 5.3.0 is not available anymore. Previous state was: passing
sherlodoc.3.0.0~beta1 on 4.14.2 is not available anymore. Previous state was: passing
sherlodoc.3.0.0~beta1 on 5.3.0 is not available anymore. Previous state was: passing
slipshow.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
slipshow.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
smtml.0.6.1 on 4.14.2 is not available anymore. Previous state was: passing
smtml.0.6.1 on 5.3.0 is not available anymore. Previous state was: passing
stdcompat.19 on 4.14.2 is not available anymore. Previous state was: passing
stdune.3.17.2 on 4.14.2 is not available anymore. Previous state was: passing
stdune.3.17.2 on 5.3.0 is not available anymore. Previous state was: passing
tcpip.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
tcpip.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
tiny_httpd.0.17.0 on 4.14.2 is not available anymore. Previous state was: passing
tiny_httpd.0.17.0 on 5.3.0 is not available anymore. Previous state was: passing
tiny_httpd_camlzip.0.17.0 on 4.14.2 is not available anymore. Previous state was: passing
tiny_httpd_camlzip.0.17.0 on 5.3.0 is not available anymore. Previous state was: passing
tls-eio.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
tls-lwt.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
tls-lwt.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
tls-miou-unix.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
tls-mirage.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
tls-mirage.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
tls.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
tls.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
trace-fuchsia.0.9 on 4.14.2 is not available anymore. Previous state was: passing
trace-fuchsia.0.9 on 5.3.0 is not available anymore. Previous state was: passing
trace-tef.0.9 on 4.14.2 is not available anymore. Previous state was: passing
trace-tef.0.9 on 5.3.0 is not available anymore. Previous state was: passing
trace.0.9 on 4.14.2 is not available anymore. Previous state was: passing
trace.0.9 on 5.3.0 is not available anymore. Previous state was: passing
tsort.2.1.0 on 4.14.2 is not available anymore. Previous state was: passing
tsort.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
twirp_cohttp_lwt_unix.0.1 on 4.14.2 is not available anymore. Previous state was: passing
twirp_cohttp_lwt_unix.0.1 on 5.3.0 is not available anymore. Previous state was: passing
twirp_core.0.1 on 4.14.2 is not available anymore. Previous state was: passing
twirp_core.0.1 on 5.3.0 is not available anymore. Previous state was: passing
twirp_ezcurl.0.1 on 4.14.2 is not available anymore. Previous state was: passing
twirp_ezcurl.0.1 on 5.3.0 is not available anymore. Previous state was: passing
twirp_tiny_httpd.0.1 on 4.14.2 is not available anymore. Previous state was: passing
twirp_tiny_httpd.0.1 on 5.3.0 is not available anymore. Previous state was: passing
x509.1.0.5 on 4.14.2 is not available anymore. Previous state was: passing
x509.1.0.5 on 5.3.0 is not available anymore. Previous state was: passing
xdg.3.17.2 on 4.14.2 is not available anymore. Previous state was: passing
xdg.3.17.2 on 5.3.0 is not available anymore. Previous state was: passing
yocaml.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
yocaml_cmarkit.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
yocaml_eio.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
yocaml_git.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
yocaml_jingoo.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
yocaml_mustache.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
yocaml_omd.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
yocaml_otoml.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
yocaml_runtime.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
yocaml_syndication.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
yocaml_unix.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
yocaml_yaml.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
z3.4.13.3 on 4.14.2 is not available anymore. Previous state was: passing
z3.4.13.3 on 5.3.0 is not available anymore. Previous state was: passing

Packages now failing with an internal failure:

GT.0.5.4 on 4.14.2 is now installable. Current state is: internal failure
GT.0.5.4 on 5.3.0 is now installable. Current state is: internal failure
OCanren.0.3.0 on 4.14.2 had its build status changed: passing to internal failure
OCanren.0.3.0 on 5.3.0 had its build status changed: not available to internal failure
bls12-381-legacy.0.4.4 on 4.14.2 had its build status changed: passing to internal failure
camlp5.8.03.04 on 4.14.2 is now installable. Current state is: internal failure
camlp5.8.03.04 on 5.3.0 is now installable. Current state is: internal failure
conf-automake.1 on 4.14.2 had its build status changed: passing to internal failure
conf-automake.1 on 5.3.0 had its build status changed: passing to internal failure
conf-calcium.1 on 4.14.2 had its build status changed: partially failing to internal failure
conf-ftgl.1 on 5.3.0 had its build status changed: passing to internal failure
conf-g++.1.0 on 5.3.0 had its build status changed: passing to internal failure
conf-gfortran.0 on 5.3.0 had its build status changed: passing to internal failure
conf-ghostscript.1 on 4.14.2 had its build status changed: passing to internal failure
conf-ghostscript.1 on 5.3.0 had its build status changed: passing to internal failure
conf-gles2.1 on 4.14.2 had its build status changed: failing to internal failure
conf-gles2.1 on 5.3.0 had its build status changed: failing to internal failure
conf-glib-2.1 on 4.14.2 had its build status changed: passing to internal failure
conf-gmp-paths.1 on 4.14.2 had its build status changed: passing to internal failure
conf-gmp-paths.1 on 5.3.0 had its build status changed: passing to internal failure
conf-gnome-icon-theme3.0 on 4.14.2 had its build status changed: passing to internal failure
conf-gnustep-gui.1 on 4.14.2 had its build status changed: passing to internal failure
conf-gsl.2 on 4.14.2 had its build status changed: passing to internal failure
conf-jq.1 on 4.14.2 had its build status changed: passing to internal failure
conf-jq.1 on 5.3.0 had its build status changed: passing to internal failure
conf-leveldb.2 on 5.3.0 had its build status changed: failing to internal failure
conf-libMagickCore.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libMagickCore.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libX11.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libXft.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libargon2.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libgccjit.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libgccjit.1 on 5.3.0 had its build status changed: passing to internal failure
conf-liblinear-tools.1.0.0 on 4.14.2 had its build status changed: passing to internal failure
conf-libpng.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libtheora.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libtool.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libxcb-image.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libxcb-shm.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libxinerama.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libxrandr.1 on 5.3.0 had its build status changed: passing to internal failure
conf-lilv.1 on 4.14.2 had its build status changed: passing to internal failure
conf-lilv.1 on 5.3.0 had its build status changed: passing to internal failure
conf-llvm.17 on 5.3.0 had its build status changed: passing to internal failure
conf-mad.2 on 4.14.2 had its build status changed: passing to internal failure
conf-mad.2 on 5.3.0 had its build status changed: passing to internal failure
conf-mbedtls.2 on 4.14.2 is now installable. Current state is: internal failure
conf-mbedtls.2 on 5.3.0 is now installable. Current state is: internal failure
conf-neko.1 on 4.14.2 had its build status changed: passing to internal failure
conf-neko.1 on 5.3.0 had its build status changed: passing to internal failure
conf-nlopt.1 on 5.3.0 had its build status changed: passing to internal failure
conf-ode.1 on 4.14.2 had its build status changed: passing to internal failure
conf-openbabel.0.1 on 4.14.2 had its build status changed: passing to internal failure
conf-openimageio.1 on 4.14.2 had its build status changed: passing to internal failure
conf-openimageio.1 on 5.3.0 had its build status changed: passing to internal failure
conf-pandoc.0.1 on 4.14.2 had its build status changed: passing to internal failure
conf-perl-string-shellquote.3 on 4.14.2 had its build status changed: passing to internal failure
conf-postgresql.2 on 4.14.2 had its build status changed: passing to internal failure
conf-protoc-dev.1.0.0 on 4.14.2 had its build status changed: passing to internal failure
conf-python3-tomli.1 on 5.3.0 had its build status changed: failing to internal failure
conf-r.1.0.0 on 4.14.2 had its build status changed: passing to internal failure
conf-radare2.0.1 on 4.14.2 had its build status changed: passing to internal failure
conf-rdkit.1 on 5.3.0 had its build status changed: passing to internal failure
conf-ruby.1.0.0 on 4.14.2 had its build status changed: passing to internal failure
conf-rust-2021.1 on 4.14.2 had its build status changed: passing to internal failure
conf-rust-2021.1 on 5.3.0 had its build status changed: passing to internal failure
conf-rust-2024.1 on 5.3.0 had its build status changed: failing to internal failure
conf-rust.0.1 on 4.14.2 had its build status changed: passing to internal failure
conf-sdl-image.1 on 5.3.0 had its build status changed: passing to internal failure
conf-sdl-mixer.1 on 4.14.2 had its build status changed: passing to internal failure
conf-sdl-mixer.1 on 5.3.0 had its build status changed: passing to internal failure
conf-sundials.2 on 5.3.0 had its build status changed: passing to internal failure
conf-texlive.1 on 4.14.2 had its build status changed: passing to internal failure
conf-texlive.1 on 5.3.0 had its build status changed: passing to internal failure
conf-zig.1 on 4.14.2 had its build status changed: passing to internal failure
ffmpeg-avcodec.1.2.4 on 4.14.2 is now installable. Current state is: internal failure
ffmpeg-avcodec.1.2.4 on 5.3.0 is now installable. Current state is: internal failure
frama-clang.0.0.17 on 4.14.2 had its build status changed: failing to internal failure
frama-clang.0.0.17 on 5.3.0 had its build status changed: failing to internal failure
gmp-freestanding.6.2.1 on 4.14.2 had its build status changed: partially failing to internal failure
imguiml.v1.90.6 on 4.14.2 had its build status changed: partially failing to internal failure
ledit.2.06 on 4.14.2 had its build status changed: passing to internal failure
ledit.2.06 on 5.3.0 had its build status changed: passing to internal failure
links.0.9.8 on 5.3.0 had its build status changed: passing to internal failure
lmdb.1.0 on 5.3.0 had its build status changed: passing to internal failure
logger-p5.0.4.5 on 4.14.2 had its build status changed: passing to internal failure
logger-p5.0.4.5 on 5.3.0 had its build status changed: passing to internal failure
noCanren.0.3.0 on 4.14.2 had its build status changed: passing to internal failure
octez-accuser-PtLimaPt.16.1 on 4.14.2 had its build status changed: partially failing to internal failure
octez-accuser-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
octez-baker-PtLimaPt.16.1 on 4.14.2 had its build status changed: partially failing to internal failure
octez-baker-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
octez-node.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
octez-protocol-016-PtMumbai-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
octez-smart-rollup-client-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
octez-smart-rollup-node-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
octez-smart-rollup-wasm-benchmark-lib.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
octez-tx-rollup-client-PtLimaPt.16.1 on 4.14.2 had its build status changed: partially failing to internal failure
octez-tx-rollup-node-PtLimaPt.16.1 on 4.14.2 had its build status changed: partially failing to internal failure
ollvm-tapir.0.99.1 on 4.14.2 had its build status changed: failing to internal failure
ollvm-tapir.0.99.1 on 5.3.0 had its build status changed: failing to internal failure
ollvm.0.99 on 4.14.2 had its build status changed: failing to internal failure
ollvm.0.99 on 5.3.0 had its build status changed: failing to internal failure
orpie.1.6.1 on 4.14.2 had its build status changed: passing to internal failure
ostap.0.6.1 on 4.14.2 is now installable. Current state is: internal failure
ostap.0.6.1 on 5.3.0 is now installable. Current state is: internal failure
p5scm.0.4.0 on 4.14.2 had its build status changed: failing to internal failure
pa_ppx.0.18 on 4.14.2 is now installable. Current state is: internal failure
pa_ppx.0.18 on 5.3.0 is now installable. Current state is: internal failure
pa_ppx_hashcons.0.11 on 4.14.2 had its build status changed: passing to internal failure
pa_ppx_hashcons.0.11 on 5.3.0 had its build status changed: passing to internal failure
pa_ppx_migrate.0.13 on 4.14.2 had its build status changed: passing to internal failure
pa_ppx_migrate.0.13 on 5.3.0 had its build status changed: passing to internal failure
pa_ppx_migrate_ocaml_parsetree.0.01 on 4.14.2 had its build status changed: passing to internal failure
pa_ppx_migrate_ocaml_parsetree.0.01 on 5.3.0 had its build status changed: passing to internal failure
pa_ppx_q_ast.0.11 on 4.14.2 had its build status changed: passing to internal failure
pa_ppx_q_ast.0.11 on 5.3.0 had its build status changed: passing to internal failure
pa_ppx_quotation2extension.0.02 on 4.14.2 had its build status changed: passing to internal failure
pa_ppx_quotation2extension.0.02 on 5.3.0 had its build status changed: passing to internal failure
pa_ppx_regexp.0.05 on 4.14.2 had its build status changed: passing to internal failure
pa_ppx_regexp.0.05 on 5.3.0 had its build status changed: passing to internal failure
pa_ppx_static.0.02 on 4.14.2 had its build status changed: passing to internal failure
pa_ppx_static.0.02 on 5.3.0 had its build status changed: passing to internal failure
pa_ppx_string.0.01 on 4.14.2 had its build status changed: passing to internal failure
pa_ppx_string.0.01 on 5.3.0 had its build status changed: passing to internal failure
pa_ppx_unique.0.11 on 4.14.2 had its build status changed: passing to internal failure
pa_ppx_unique.0.11 on 5.3.0 had its build status changed: passing to internal failure
pilat.1.6 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-baking-015-PtLimaPt-commands.16.1 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-baking-016-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-baking-alpha.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-client-000-Ps9mPmXa.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-client-001-PtCJ7pwo.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-client-002-PsYLVpVv.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-client-003-PsddFKi3.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-client-004-Pt24m4xi.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-client-005-PsBabyM1.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-client-006-PsCARTHA.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-client-007-PsDELPH1.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-client-008-PtEdo2Zk.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-client-009-PsFLoren.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-client-010-PtGRANAD.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-client-011-PtHangz2.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-client-012-Psithaca.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-client-013-PtJakart.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-client-014-PtKathma.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-client-015-PtLimaPt.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-client-016-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-client-017-PtNairob.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-client-alpha.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-client-base-unix.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-client-base.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-client-commands.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-context-ops.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-embedded-protocol-000-Ps9mPmXa.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-embedded-protocol-001-PtCJ7pwo.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-embedded-protocol-002-PsYLVpVv.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-embedded-protocol-006-PsCARTHA.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-embedded-protocol-007-PsDELPH1.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-embedded-protocol-008-PtEdo2Zk.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-embedded-protocol-011-PtHangz2.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-embedded-protocol-012-Psithaca.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-embedded-protocol-013-PtJakart.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-embedded-protocol-014-PtKathma.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-embedded-protocol-015-PtLimaPt.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-embedded-protocol-016-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-embedded-protocol-017-PtNairob.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-embedded-protocol-alpha.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-embedded-protocol-demo-counter.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-embedded-protocol-demo-noops.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-embedded-protocol-genesis.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-injector-015-PtLimaPt.16.1 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-injector-016-PtMumbai.16.1 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-layer2-utils-016-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-layer2-utils-017-PtNairob.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-mockup-commands.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-mockup-proxy.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-mockup-registration.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-mockup.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-environment-structs.12.3 on 4.14.2 had its build status changed: passing to internal failure
tezos-protocol-environment.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-007-PsDELPH1-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-007-PsDELPH1.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-008-PtEdo2Zk-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-008-PtEdo2Zk.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-009-PsFLoren-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-009-PsFLoren.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-010-PtGRANAD-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-010-PtGRANAD.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-011-PtHangz2-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-011-PtHangz2.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-012-Psithaca-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-012-Psithaca.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-013-PtJakart-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-013-PtJakart.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-014-PtKathma-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-014-PtKathma.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-015-PtLimaPt-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-015-PtLimaPt.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-016-PtMumbai-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-016-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-017-PtNairob-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-017-PtNairob.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-alpha-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-plugin-alpha.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-protocol-updater.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-proxy.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-sapling.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-scoru-wasm-fast.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-scoru-wasm-helpers.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-shell-context.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-shell.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-signer-backends.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-signer-services.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-smart-rollup-016-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-smart-rollup-017-PtNairob.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-smart-rollup-alpha.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-smart-rollup-layer2-016-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-smart-rollup-layer2-017-PtNairob.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-store.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-tx-rollup-015-PtLimaPt.16.1 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-validation.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-wasmer.16.1 on 4.14.2 had its build status changed: partially failing to internal failure
tezos-wasmer.16.1 on 5.3.0 had its build status changed: partially failing to internal failure
tezos-wasmer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
vhdlib.0.9.1 on 4.14.2 had its build status changed: failing to internal failure

Packages now passing:

CamelCase.0.3.0 on 5.3.0 is now installable. Current state is: passing
MlFront_Cache.2.3.0 on 4.14.2 is now installable. Current state is: passing
MlFront_Cache.2.3.0 on 5.3.0 is now installable. Current state is: passing
MlFront_Cli.2.3.0 on 4.14.2 is now installable. Current state is: passing
MlFront_Cli.2.3.0 on 5.3.0 is now installable. Current state is: passing
MlFront_Core.2.3.0 on 4.14.2 is now installable. Current state is: passing
MlFront_Core.2.3.0 on 5.3.0 is now installable. Current state is: passing
MlFront_Errors.2.3.0 on 4.14.2 is now installable. Current state is: passing
MlFront_Errors.2.3.0 on 5.3.0 is now installable. Current state is: passing
MlFront_Manip.2.3.0 on 4.14.2 is now installable. Current state is: passing
MlFront_Manip.2.3.0 on 5.3.0 is now installable. Current state is: passing
MlFront_ZipFile.2.3.0 on 4.14.2 is now installable. Current state is: passing
MlFront_ZipFile.2.3.0 on 5.3.0 is now installable. Current state is: passing
alt-ergo-lib.2.6.1 on 4.14.2 is now installable. Current state is: passing
alt-ergo-lib.2.6.1 on 5.3.0 is now installable. Current state is: passing
alt-ergo-parsers.2.6.1 on 4.14.2 is now installable. Current state is: passing
alt-ergo-parsers.2.6.1 on 5.3.0 is now installable. Current state is: passing
alt-ergo-plugin-ab-why3.2.6.1 on 4.14.2 is now installable. Current state is: passing
alt-ergo-plugin-ab-why3.2.6.1 on 5.3.0 is now installable. Current state is: passing
alt-ergo.2.6.1 on 4.14.2 is now installable. Current state is: passing
alt-ergo.2.6.1 on 5.3.0 is now installable. Current state is: passing
arrayjit.0.5.2 on 5.3.0 is now installable. Current state is: passing
base.v0.16.4 on 4.14.2 is now installable. Current state is: passing
base.v0.16.4 on 5.3.0 is now installable. Current state is: passing
boltzgen.0.9.5 on 5.3.0 is now installable. Current state is: passing
brisk-reconciler.1.0.0~alpha1 on 4.14.2 is now installable. Current state is: passing
ca-certs.1.0.1 on 4.14.2 is now installable. Current state is: passing
ca-certs.1.0.1 on 5.3.0 is now installable. Current state is: passing
caldav.0.2.4 on 4.14.2 is now installable. Current state is: passing
caldav.0.2.4 on 5.3.0 is now installable. Current state is: passing
camldiets.0.3 on 4.14.2 is now installable. Current state is: passing
camldiets.0.3 on 5.3.0 is now installable. Current state is: passing
camlp5-buildscripts.0.06 on 4.14.2 is now installable. Current state is: passing
camlp5-buildscripts.0.06 on 5.3.0 is now installable. Current state is: passing
camlpdf.2.8.1 on 4.14.2 is now installable. Current state is: passing
camlpdf.2.8.1 on 5.3.0 is now installable. Current state is: passing
camyll.0.4.4 on 4.14.2 is now installable. Current state is: passing
camyll.0.4.4 on 5.3.0 is now installable. Current state is: passing
caqti-driver-pgx.2.2.4 on 4.14.2 is now installable. Current state is: passing
caqti-driver-pgx.2.2.4 on 5.3.0 is now installable. Current state is: passing
caqti-driver-postgresql.2.2.4 on 4.14.2 is now installable. Current state is: passing
caqti-driver-postgresql.2.2.4 on 5.3.0 is now installable. Current state is: passing
caqti-driver-sqlite3.2.2.4 on 4.14.2 is now installable. Current state is: passing
caqti-driver-sqlite3.2.2.4 on 5.3.0 is now installable. Current state is: passing
caqti-eio.2.2.4 on 5.3.0 is now installable. Current state is: passing
caqti-lwt.2.2.4 on 4.14.2 is now installable. Current state is: passing
caqti-lwt.2.2.4 on 5.3.0 is now installable. Current state is: passing
caqti-miou.2.2.4 on 5.3.0 is now installable. Current state is: passing
caqti-mirage.2.2.4 on 4.14.2 is now installable. Current state is: passing
caqti-mirage.2.2.4 on 5.3.0 is now installable. Current state is: passing
caqti.2.2.4 on 4.14.2 is now installable. Current state is: passing
caqti.2.2.4 on 5.3.0 is now installable. Current state is: passing
checked_oint.0.6.0 on 4.14.2 is now installable. Current state is: passing
checked_oint.0.6.0 on 5.3.0 is now installable. Current state is: passing
chrome-trace.3.18.1 on 4.14.2 is now installable. Current state is: passing
chrome-trace.3.18.1 on 5.3.0 is now installable. Current state is: passing
codept-lib.0.12.1 on 4.14.2 is now installable. Current state is: passing
codept-lib.0.12.1 on 5.3.0 is now installable. Current state is: passing
codept.0.12.1 on 4.14.2 is now installable. Current state is: passing
codept.0.12.1 on 5.3.0 is now installable. Current state is: passing
conan-cli.0.0.6 on 4.14.2 is now installable. Current state is: passing
conan-cli.0.0.6 on 5.3.0 is now installable. Current state is: passing
conan-database.0.0.6 on 4.14.2 is now installable. Current state is: passing
conan-database.0.0.6 on 5.3.0 is now installable. Current state is: passing
conan-lwt.0.0.6 on 4.14.2 is now installable. Current state is: passing
conan-lwt.0.0.6 on 5.3.0 is now installable. Current state is: passing
conan-unix.0.0.6 on 4.14.2 is now installable. Current state is: passing
conan-unix.0.0.6 on 5.3.0 is now installable. Current state is: passing
conan.0.0.6 on 4.14.2 is now installable. Current state is: passing
conan.0.0.6 on 5.3.0 is now installable. Current state is: passing
conf-gmp-powm-sec.4 on 4.14.2 is now installable. Current state is: passing
conf-gmp-powm-sec.4 on 5.3.0 is now installable. Current state is: passing
conf-gmp.5 on 4.14.2 is now installable. Current state is: passing
conf-gmp.5 on 5.3.0 is now installable. Current state is: passing
conf-gtksourceview.2 on 4.14.2 had its build status changed: internal failure to passing
conf-rubberband.1 on 4.14.2 is now installable. Current state is: passing
conf-rubberband.1 on 5.3.0 is now installable. Current state is: passing
conf-rust-2024.1 on 4.14.2 had its build status changed: failing to passing
conf-scdoc.1 on 5.3.0 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-net.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-ttf.1 on 5.3.0 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-sndfile.1 on 4.14.2 is now installable. Current state is: passing
conf-sndfile.1 on 5.3.0 is now installable. Current state is: passing
conf-sysinfo.1 on 5.3.0 had its build status changed: internal failure to passing
conf-wayland-protocols.1 on 5.3.0 had its build status changed: internal failure to passing
conf-xen.1 on 5.3.0 had its build status changed: internal failure to passing
conf-xkbcommon.1 on 5.3.0 had its build status changed: internal failure to passing
conf-zig.1 on 5.3.0 had its build status changed: internal failure to passing
coq-core.9.0.0 on 4.14.2 is now installable. Current state is: passing
coq-core.9.0.0 on 5.3.0 is now installable. Current state is: passing
coq-stdlib.9.0.0 on 4.14.2 is now installable. Current state is: passing
coq-stdlib.9.0.0 on 5.3.0 is now installable. Current state is: passing
coq.9.0.0 on 4.14.2 is now installable. Current state is: passing
coq.9.0.0 on 5.3.0 is now installable. Current state is: passing
coqide-server.9.0.0 on 4.14.2 is now installable. Current state is: passing
coqide-server.9.0.0 on 5.3.0 is now installable. Current state is: passing
cpdf.2.8.1 on 4.14.2 is now installable. Current state is: passing
cpdf.2.8.1 on 5.3.0 is now installable. Current state is: passing
cubicle.1.2.0 on 5.3.0 had its build status changed: failing to passing
diffast-api.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-api.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-cli.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-cli.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-core.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-core.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-git-cli.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-git-cli.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-git.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-git.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-langs-common.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-langs-common.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-langs-cpp-parsing-cli.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-langs-cpp-parsing-cli.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-langs-cpp-parsing.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-langs-cpp-parsing.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-langs-cpp-spec.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-langs-cpp-spec.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-langs-cpp.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-langs-cpp.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-langs-fortran-parsing-cli.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-langs-fortran-parsing-cli.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-langs-fortran-parsing.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-langs-fortran-parsing.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-langs-fortran-spec.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-langs-fortran-spec.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-langs-fortran.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-langs-fortran.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-langs-java-parsing-cli.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-langs-java-parsing-cli.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-langs-java-parsing.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-langs-java-parsing.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-langs-java-spec.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-langs-java-spec.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-langs-java.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-langs-java.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-langs-python-parsing-cli.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-langs-python-parsing-cli.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-langs-python-parsing.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-langs-python-parsing.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-langs-python-spec.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-langs-python-spec.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-langs-python.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-langs-python.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-langs-verilog-parsing-cli.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-langs-verilog-parsing-cli.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-langs-verilog-parsing.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-langs-verilog-parsing.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-langs-verilog-spec.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-langs-verilog-spec.0.2 on 5.3.0 is now installable. Current state is: passing
diffast-langs-verilog.0.2 on 4.14.2 is now installable. Current state is: passing
diffast-langs-verilog.0.2 on 5.3.0 is now installable. Current state is: passing
diffast.0.2 on 4.14.2 is now installable. Current state is: passing
diffast.0.2 on 5.3.0 is now installable. Current state is: passing
digestif.1.3.0 on 4.14.2 is now installable. Current state is: passing
digestif.1.3.0 on 5.3.0 is now installable. Current state is: passing
dockerfile-cmd.8.2.6 on 4.14.2 is now installable. Current state is: passing
dockerfile-cmd.8.2.6 on 5.3.0 is now installable. Current state is: passing
dockerfile-opam.8.2.6 on 4.14.2 is now installable. Current state is: passing
dockerfile-opam.8.2.6 on 5.3.0 is now installable. Current state is: passing
dockerfile.8.2.6 on 4.14.2 is now installable. Current state is: passing
dockerfile.8.2.6 on 5.3.0 is now installable. Current state is: passing
domainslib.0.5.2 on 5.3.0 is now installable. Current state is: passing
dream-html.3.10.1 on 4.14.2 is now installable. Current state is: passing
dream-html.3.10.1 on 5.3.0 is now installable. Current state is: passing
dream_middleware_ext.0.1.0 on 4.14.2 is now installable. Current state is: passing
dream_middleware_ext.0.1.0 on 5.3.0 is now installable. Current state is: passing
dtools.0.4.6 on 4.14.2 is now installable. Current state is: passing
dtools.0.4.6 on 5.3.0 is now installable. Current state is: passing
dune-action-plugin.3.18.1 on 4.14.2 is now installable. Current state is: passing
dune-action-plugin.3.18.1 on 5.3.0 is now installable. Current state is: passing
dune-build-info.3.18.1 on 4.14.2 is now installable. Current state is: passing
dune-build-info.3.18.1 on 5.3.0 is now installable. Current state is: passing
dune-configurator.3.18.1 on 4.14.2 is now installable. Current state is: passing
dune-configurator.3.18.1 on 5.3.0 is now installable. Current state is: passing
dune-glob.3.18.1 on 4.14.2 is now installable. Current state is: passing
dune-glob.3.18.1 on 5.3.0 is now installable. Current state is: passing
dune-private-libs.3.18.1 on 4.14.2 is now installable. Current state is: passing
dune-private-libs.3.18.1 on 5.3.0 is now installable. Current state is: passing
dune-rpc-lwt.3.18.1 on 4.14.2 is now installable. Current state is: passing
dune-rpc-lwt.3.18.1 on 5.3.0 is now installable. Current state is: passing
dune-rpc.3.18.1 on 4.14.2 is now installable. Current state is: passing
dune-rpc.3.18.1 on 5.3.0 is now installable. Current state is: passing
dune-site.3.18.1 on 4.14.2 is now installable. Current state is: passing
dune-site.3.18.1 on 5.3.0 is now installable. Current state is: passing
dune.3.18.1 on 4.14.2 is now installable. Current state is: passing
dune.3.18.1 on 5.3.0 is now installable. Current state is: passing
dyn.3.18.1 on 4.14.2 is now installable. Current state is: passing
dyn.3.18.1 on 5.3.0 is now installable. Current state is: passing
fasmifra.2.1.0 on 5.3.0 is now installable. Current state is: passing
ffmpeg-av.1.2.4 on 4.14.2 is now installable. Current state is: passing
ffmpeg-av.1.2.4 on 5.3.0 is now installable. Current state is: passing
ffmpeg-avdevice.1.2.4 on 4.14.2 is now installable. Current state is: passing
ffmpeg-avdevice.1.2.4 on 5.3.0 is now installable. Current state is: passing
ffmpeg-avfilter.1.2.4 on 4.14.2 is now installable. Current state is: passing
ffmpeg-avfilter.1.2.4 on 5.3.0 is now installable. Current state is: passing
ffmpeg-avutil.1.2.4 on 4.14.2 is now installable. Current state is: passing
ffmpeg-avutil.1.2.4 on 5.3.0 is now installable. Current state is: passing
ffmpeg-swresample.1.2.4 on 4.14.2 is now installable. Current state is: passing
ffmpeg-swresample.1.2.4 on 5.3.0 is now installable. Current state is: passing
ffmpeg-swscale.1.2.4 on 4.14.2 is now installable. Current state is: passing
ffmpeg-swscale.1.2.4 on 5.3.0 is now installable. Current state is: passing
ffmpeg.1.2.4 on 4.14.2 is now installable. Current state is: passing
ffmpeg.1.2.4 on 5.3.0 is now installable. Current state is: passing
fstar.2025.03.25 on 4.14.2 is now installable. Current state is: passing
fstar.2025.03.25 on 5.3.0 is now installable. Current state is: passing
fswatch.11-0.1.6 on 4.14.2 is now installable. Current state is: passing
fswatch.11-0.1.6 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
goblint-cil.2.0.6 on 4.14.2 is now installable. Current state is: passing
goblint-cil.2.0.6 on 5.3.0 is now installable. Current state is: passing
http-lwt-client.0.3.2 on 4.14.2 is now installable. Current state is: passing
http-lwt-client.0.3.2 on 5.3.0 is now installable. Current state is: passing
icalendar.0.1.11 on 4.14.2 is now installable. Current state is: passing
icalendar.0.1.11 on 5.3.0 is now installable. Current state is: passing
junit.2.2.0 on 4.14.2 is now installable. Current state is: passing
junit.2.2.0 on 5.3.0 is now installable. Current state is: passing
junit_ounit.2.2.0 on 4.14.2 is now installable. Current state is: passing
junit_ounit.2.2.0 on 5.3.0 is now installable. Current state is: passing
labltk.8.06.15 on 5.3.0 had its build status changed: internal failure to passing
linol-eio.0.10 on 5.3.0 is now installable. Current state is: passing
linol-lwt.0.10 on 4.14.2 is now installable. Current state is: passing
linol-lwt.0.10 on 5.3.0 is now installable. Current state is: passing
linol.0.10 on 4.14.2 is now installable. Current state is: passing
linol.0.10 on 5.3.0 is now installable. Current state is: passing
liquidsoap-js.2.3.2 on 4.14.2 is now installable. Current state is: passing
liquidsoap-js.2.3.2 on 5.3.0 is now installable. Current state is: passing
liquidsoap-lang.2.3.2 on 4.14.2 is now installable. Current state is: passing
liquidsoap-lang.2.3.2 on 5.3.0 is now installable. Current state is: passing
liquidsoap-mode.2.3.2 on 4.14.2 is now installable. Current state is: passing
liquidsoap-mode.2.3.2 on 5.3.0 is now installable. Current state is: passing
liquidsoap.2.3.2 on 4.14.2 is now installable. Current state is: passing
liquidsoap.2.3.2 on 5.3.0 is now installable. Current state is: passing
mazeppa.0.5.2 on 4.14.2 is now installable. Current state is: passing
mazeppa.0.5.2 on 5.3.0 is now installable. Current state is: passing
melange.5.1.0-414 on 4.14.2 is now installable. Current state is: passing
melange.5.1.0-53 on 5.3.0 is now installable. Current state is: passing
metadata.0.3.1 on 4.14.2 is now installable. Current state is: passing
metadata.0.3.1 on 5.3.0 is now installable. Current state is: passing
mkaudio.1.1.4 on 4.14.2 is now installable. Current state is: passing
mkaudio.1.1.4 on 5.3.0 is now installable. Current state is: passing
moonpool-io.0.8 on 5.3.0 is now installable. Current state is: passing
moonpool-lwt.0.8 on 5.3.0 is now installable. Current state is: passing
moonpool.0.8 on 4.14.2 is now installable. Current state is: passing
moonpool.0.8 on 5.3.0 is now installable. Current state is: passing
neural_nets_lib.0.5.2 on 5.3.0 is now installable. Current state is: passing
not-ocamlfind.0.14 on 4.14.2 is now installable. Current state is: passing
not-ocamlfind.0.14 on 5.3.0 is now installable. Current state is: passing
obelisk.0.8.1 on 4.14.2 is now installable. Current state is: passing
obelisk.0.8.1 on 5.3.0 is now installable. Current state is: passing
ocaml-version.4.0.0 on 4.14.2 is now installable. Current state is: passing
ocaml-version.4.0.0 on 5.3.0 is now installable. Current state is: passing
ocaml_intrinsics.v0.16.2 on 4.14.2 is now installable. Current state is: passing
ocaml_intrinsics.v0.16.2 on 5.3.0 is now installable. Current state is: passing
ocamlc-loc.3.18.1 on 4.14.2 is now installable. Current state is: passing
ocamlc-loc.3.18.1 on 5.3.0 is now installable. Current state is: passing
ocamlgraph.2.2.0 on 4.14.2 is now installable. Current state is: passing
ocamlgraph.2.2.0 on 5.3.0 is now installable. Current state is: passing
ocamlgraph_gtk.2.2.0 on 4.14.2 is now installable. Current state is: passing
ocamlgraph_gtk.2.2.0 on 5.3.0 is now installable. Current state is: passing
odoc-driver.3.0.0 on 5.3.0 is now installable. Current state is: passing
odoc-md.3.0.0 on 4.14.2 is now installable. Current state is: passing
odoc-md.3.0.0 on 5.3.0 is now installable. Current state is: passing
odoc-parser.3.0.0 on 4.14.2 is now installable. Current state is: passing
odoc-parser.3.0.0 on 5.3.0 is now installable. Current state is: passing
odoc.3.0.0 on 4.14.2 is now installable. Current state is: passing
odoc.3.0.0 on 5.3.0 is now installable. Current state is: passing
opam-build.0.2.5 on 4.14.2 is now installable. Current state is: passing
opam-build.0.2.5 on 5.3.0 is now installable. Current state is: passing
opam-client.2.4.0~alpha1 on 4.14.2 is now installable. Current state is: passing
opam-client.2.4.0~alpha1 on 5.3.0 is now installable. Current state is: passing
opam-core.2.4.0~alpha1 on 4.14.2 is now installable. Current state is: passing
opam-core.2.4.0~alpha1 on 5.3.0 is now installable. Current state is: passing
opam-devel.2.4.0~alpha1 on 4.14.2 is now installable. Current state is: passing
opam-devel.2.4.0~alpha1 on 5.3.0 is now installable. Current state is: passing
opam-format.2.4.0~alpha1 on 4.14.2 is now installable. Current state is: passing
opam-format.2.4.0~alpha1 on 5.3.0 is now installable. Current state is: passing
opam-installer.2.4.0~alpha1 on 4.14.2 is now installable. Current state is: passing
opam-installer.2.4.0~alpha1 on 5.3.0 is now installable. Current state is: passing
opam-monorepo.0.4.2 on 4.14.2 is now installable. Current state is: passing
opam-monorepo.0.4.2 on 5.3.0 is now installable. Current state is: passing
opam-publish.2.5.1 on 4.14.2 is now installable. Current state is: passing
opam-publish.2.5.1 on 5.3.0 is now installable. Current state is: passing
opam-repository.2.4.0~alpha1 on 4.14.2 is now installable. Current state is: passing
opam-repository.2.4.0~alpha1 on 5.3.0 is now installable. Current state is: passing
opam-solver.2.4.0~alpha1 on 4.14.2 is now installable. Current state is: passing
opam-solver.2.4.0~alpha1 on 5.3.0 is now installable. Current state is: passing
opam-state.2.4.0~alpha1 on 4.14.2 is now installable. Current state is: passing
opam-state.2.4.0~alpha1 on 5.3.0 is now installable. Current state is: passing
opam-test.0.2.5 on 4.14.2 is now installable. Current state is: passing
opam-test.0.2.5 on 5.3.0 is now installable. Current state is: passing
opentelemetry-client-cohttp-lwt.0.11.2 on 4.14.2 is now installable. Current state is: passing
opentelemetry-client-cohttp-lwt.0.11.2 on 5.3.0 is now installable. Current state is: passing
opentelemetry-client-ocurl.0.11.2 on 4.14.2 is now installable. Current state is: passing
opentelemetry-client-ocurl.0.11.2 on 5.3.0 is now installable. Current state is: passing
opentelemetry-cohttp-lwt.0.11.2 on 4.14.2 is now installable. Current state is: passing
opentelemetry-cohttp-lwt.0.11.2 on 5.3.0 is now installable. Current state is: passing
opentelemetry-lwt.0.11.2 on 4.14.2 is now installable. Current state is: passing
opentelemetry-lwt.0.11.2 on 5.3.0 is now installable. Current state is: passing
opentelemetry.0.11.2 on 4.14.2 is now installable. Current state is: passing
opentelemetry.0.11.2 on 5.3.0 is now installable. Current state is: passing
ordering.3.18.1 on 4.14.2 is now installable. Current state is: passing
ordering.3.18.1 on 5.3.0 is now installable. Current state is: passing
orthologic-coq.0.9.1 on 5.3.0 is now installable. Current state is: passing
owee.0.8 on 4.14.2 is now installable. Current state is: passing
owee.0.8 on 5.3.0 is now installable. Current state is: passing
plist-xml.0.5.1 on 4.14.2 is now installable. Current state is: passing
plist-xml.0.5.1 on 5.3.0 is now installable. Current state is: passing
ppx_deriving.6.1.0 on 4.14.2 is now installable. Current state is: passing
ppx_deriving.6.1.0 on 5.3.0 is now installable. Current state is: passing
ppx_deriving_encoding.0.4.1 on 4.14.2 is now installable. Current state is: passing
ppx_deriving_encoding.0.4.1 on 5.3.0 is now installable. Current state is: passing
ppx_deriving_hash.0.1.3 on 4.14.2 is now installable. Current state is: passing
ppx_deriving_hash.0.1.3 on 5.3.0 is now installable. Current state is: passing
ppx_deriving_qcheck.0.7 on 4.14.2 is now installable. Current state is: passing
ppx_deriving_qcheck.0.7 on 5.3.0 is now installable. Current state is: passing
ppx_deriving_yojson.3.10.0 on 4.14.2 is now installable. Current state is: passing
ppx_deriving_yojson.3.10.0 on 5.3.0 is now installable. Current state is: passing
ppx_minidebug.2.2.0 on 4.14.2 is now installable. Current state is: passing
ppx_minidebug.2.2.0 on 5.3.0 is now installable. Current state is: passing
ppx_trace.0.9.1 on 4.14.2 is now installable. Current state is: passing
ppx_trace.0.9.1 on 5.3.0 is now installable. Current state is: passing
pratter.5.0.1 on 4.14.2 is now installable. Current state is: passing
pratter.5.0.1 on 5.3.0 is now installable. Current state is: passing
prbnmcn-mcts.0.0.2 on 4.14.2 is now installable. Current state is: passing
prbnmcn-mcts.0.0.2 on 5.3.0 is now installable. Current state is: passing
pure-html.3.10.1 on 4.14.2 is now installable. Current state is: passing
pure-html.3.10.1 on 5.3.0 is now installable. Current state is: passing
qcheck-alcotest.0.25 on 4.14.2 is now installable. Current state is: passing
qcheck-alcotest.0.25 on 5.3.0 is now installable. Current state is: passing
qcheck-core.0.25 on 4.14.2 is now installable. Current state is: passing
qcheck-core.0.25 on 5.3.0 is now installable. Current state is: passing
qcheck-lin.0.8 on 4.14.2 is now installable. Current state is: passing
qcheck-lin.0.8 on 5.3.0 is now installable. Current state is: passing
qcheck-multicoretests-util.0.8 on 4.14.2 is now installable. Current state is: passing
qcheck-multicoretests-util.0.8 on 5.3.0 is now installable. Current state is: passing
qcheck-ounit.0.25 on 4.14.2 is now installable. Current state is: passing
qcheck-ounit.0.25 on 5.3.0 is now installable. Current state is: passing
qcheck-stm.0.8 on 4.14.2 is now installable. Current state is: passing
qcheck-stm.0.8 on 5.3.0 is now installable. Current state is: passing
qcheck.0.25 on 4.14.2 is now installable. Current state is: passing
qcheck.0.25 on 5.3.0 is now installable. Current state is: passing
reason.3.16.0 on 4.14.2 is now installable. Current state is: passing
reason.3.16.0 on 5.3.0 is now installable. Current state is: passing
rocq-core.9.0.0 on 4.14.2 is now installable. Current state is: passing
rocq-core.9.0.0 on 5.3.0 is now installable. Current state is: passing
rocq-prover.9.0.0 on 4.14.2 is now installable. Current state is: passing
rocq-prover.9.0.0 on 5.3.0 is now installable. Current state is: passing
rocq-runtime.9.0.0 on 4.14.2 is now installable. Current state is: passing
rocq-runtime.9.0.0 on 5.3.0 is now installable. Current state is: passing
rocq-stdlib.9.0.0 on 4.14.2 is now installable. Current state is: passing
rocq-stdlib.9.0.0 on 5.3.0 is now installable. Current state is: passing
rocqide.9.0.0 on 4.14.2 is now installable. Current state is: passing
rocqide.9.0.0 on 5.3.0 is now installable. Current state is: passing
rtop.3.16.0 on 4.14.2 is now installable. Current state is: passing
rtop.3.16.0 on 5.3.0 is now installable. Current state is: passing
safemoney.0.3.0 on 4.14.2 is now installable. Current state is: passing
sedlex.3.4 on 4.14.2 is now installable. Current state is: passing
sedlex.3.4 on 5.3.0 is now installable. Current state is: passing
sherlodoc.3.0.0 on 4.14.2 is now installable. Current state is: passing
sherlodoc.3.0.0 on 5.3.0 is now installable. Current state is: passing
slipshow.0.2.0 on 4.14.2 is now installable. Current state is: passing
slipshow.0.2.0 on 5.3.0 is now installable. Current state is: passing
smtml.0.6.3 on 4.14.2 is now installable. Current state is: passing
smtml.0.6.3 on 5.3.0 is now installable. Current state is: passing
stdcompat.20.1 on 4.14.2 is now installable. Current state is: passing
stdune.3.18.1 on 4.14.2 is now installable. Current state is: passing
stdune.3.18.1 on 5.3.0 is now installable. Current state is: passing
subprocess.0.2.1 on 5.3.0 is now installable. Current state is: passing
tcpip.9.0.1 on 4.14.2 is now installable. Current state is: passing
tcpip.9.0.1 on 5.3.0 is now installable. Current state is: passing
tiny_httpd.0.19 on 4.14.2 is now installable. Current state is: passing
tiny_httpd.0.19 on 5.3.0 is now installable. Current state is: passing
tiny_httpd_camlzip.0.19 on 4.14.2 is now installable. Current state is: passing
tiny_httpd_camlzip.0.19 on 5.3.0 is now installable. Current state is: passing
tls-eio.2.0.1 on 5.3.0 is now installable. Current state is: passing
tls-lwt.2.0.1 on 4.14.2 is now installable. Current state is: passing
tls-lwt.2.0.1 on 5.3.0 is now installable. Current state is: passing
tls-miou-unix.2.0.1 on 5.3.0 is now installable. Current state is: passing
tls-mirage.2.0.1 on 4.14.2 is now installable. Current state is: passing
tls-mirage.2.0.1 on 5.3.0 is now installable. Current state is: passing
tls.2.0.1 on 4.14.2 is now installable. Current state is: passing
tls.2.0.1 on 5.3.0 is now installable. Current state is: passing
trace-fuchsia.0.9.1 on 4.14.2 is now installable. Current state is: passing
trace-fuchsia.0.9.1 on 5.3.0 is now installable. Current state is: passing
trace-tef.0.9.1 on 4.14.2 is now installable. Current state is: passing
trace-tef.0.9.1 on 5.3.0 is now installable. Current state is: passing
trace.0.9.1 on 4.14.2 is now installable. Current state is: passing
trace.0.9.1 on 5.3.0 is now installable. Current state is: passing
tsort.2.2.0 on 4.14.2 is now installable. Current state is: passing
tsort.2.2.0 on 5.3.0 is now installable. Current state is: passing
twirp_cohttp_lwt_unix.0.2 on 4.14.2 is now installable. Current state is: passing
twirp_cohttp_lwt_unix.0.2 on 5.3.0 is now installable. Current state is: passing
twirp_core.0.2 on 4.14.2 is now installable. Current state is: passing
twirp_core.0.2 on 5.3.0 is now installable. Current state is: passing
twirp_ezcurl.0.2 on 4.14.2 is now installable. Current state is: passing
twirp_ezcurl.0.2 on 5.3.0 is now installable. Current state is: passing
twirp_tiny_httpd.0.2 on 4.14.2 is now installable. Current state is: passing
twirp_tiny_httpd.0.2 on 5.3.0 is now installable. Current state is: passing
x509.1.0.6 on 4.14.2 is now installable. Current state is: passing
x509.1.0.6 on 5.3.0 is now installable. Current state is: passing
xdg.3.18.1 on 4.14.2 is now installable. Current state is: passing
xdg.3.18.1 on 5.3.0 is now installable. Current state is: passing
yocaml.2.2.0 on 5.3.0 is now installable. Current state is: passing
yocaml_cmarkit.2.2.0 on 5.3.0 is now installable. Current state is: passing
yocaml_eio.2.2.0 on 5.3.0 is now installable. Current state is: passing
yocaml_git.2.2.0 on 5.3.0 is now installable. Current state is: passing
yocaml_jingoo.2.2.0 on 5.3.0 is now installable. Current state is: passing
yocaml_mustache.2.2.0 on 5.3.0 is now installable. Current state is: passing
yocaml_omd.2.2.0 on 5.3.0 is now installable. Current state is: passing
yocaml_otoml.2.2.0 on 5.3.0 is now installable. Current state is: passing
yocaml_runtime.2.2.0 on 5.3.0 is now installable. Current state is: passing
yocaml_syndication.2.2.0 on 5.3.0 is now installable. Current state is: passing
yocaml_unix.2.2.0 on 5.3.0 is now installable. Current state is: passing
yocaml_yaml.2.2.0 on 5.3.0 is now installable. Current state is: passing
z3.4.14.1 on 4.14.2 is now installable. Current state is: passing
z3.4.14.1 on 5.3.0 is now installable. Current state is: passing