opam-health-check diff

Home|Differences with the last checks|Previous runs

Differences between 3003310 and 21f97b2 (git diff)

Packages now failing:

bitstring.5.0.2 on 5.3.0 is now installable. Current state is: failing
cgi.0.10 on 4.14.2 had its build status changed: passing to failing
conf-r-mathlib.1 on 4.14.2 had its build status changed: internal failure to failing
conf-rocksdb.1 on 5.3.0 had its build status changed: internal failure to failing
profiler-plugin.1.30 on 4.14.2 had its build status changed: partially failing to failing
snappy.0.1.2 on 4.14.2 had its build status changed: internal failure to failing
snappy.0.1.2 on 5.3.0 had its build status changed: internal failure to failing
sodium.0.6.0 on 4.14.2 had its build status changed: internal failure to failing

Packages now partially failing:

lablgtk3-rsvg2.3.1.5 on 4.14.2 had its build status changed: internal failure to partially failing
lablgtk3-rsvg2.3.1.5 on 5.3.0 had its build status changed: internal failure to partially failing
mysql_protocol.3.0.3 on 5.3.0 had its build status changed: passing to partially failing
owl-jupyter.1.0 on 4.14.2 had its build status changed: internal failure to partially failing
owl-opt-lbfgs.0.0.1 on 4.14.2 had its build status changed: internal failure to partially failing
owl-plplot.1.1 on 4.14.2 had its build status changed: internal failure to partially failing
ppx_bitstring.4.1.0 on 5.3.0 had its build status changed: passing to partially failing
ppx_bitstring.5.0.2 on 5.3.0 is now installable. Current state is: partially failing
rankers.2.0.7 on 5.3.0 had its build status changed: internal failure to partially failing
rankers.2.0.9 on 5.3.0 had its build status changed: internal failure to partially failing
raygui.1.5.1 on 4.14.2 had its build status changed: internal failure to partially failing
satML-plugin.1.30 on 4.14.2 had its build status changed: passing to partially failing
shapefile.0.2.1 on 5.3.0 had its build status changed: passing to partially failing
slack.0.1 on 4.14.2 had its build status changed: internal failure to partially failing
sodium-fmt.1.0.0 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-dac-client-lib.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-embedded-protocol-002-PsYLVpVv.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-layer2-store.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-lazy-containers.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-scoru-wasm-helpers.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-scoru-wasm.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-shell-services-test-helpers.16.1 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-signer-backends.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-signer-services.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-smart-rollup-017-PtNairob.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-smart-rollup-alpha.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-smart-rollup-layer2-016-PtMumbai.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-smart-rollup-layer2-017-PtNairob.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-store.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-test-helpers-extra.16.1 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-tx-rollup-015-PtLimaPt.16.1 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-wasmer.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-workers.17.3 on 4.14.2 had its build status changed: internal failure to partially failing

Packages now not available:

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
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
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
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
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
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
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
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
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
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

Packages now failing with an internal failure:

acpc.2.0.0 on 5.3.0 had its build status changed: passing to internal failure
activitypub.0.1.0 on 5.3.0 had its build status changed: passing to internal failure
arrakis.1.1.1 on 4.14.2 had its build status changed: passing to internal failure
arrakis.1.1.1 on 5.3.0 had its build status changed: passing to internal failure
calli.0.2 on 4.14.2 had its build status changed: passing to internal failure
calli.0.2 on 5.3.0 had its build status changed: passing to internal failure
caml-mode.4.9 on 4.14.2 had its build status changed: passing to internal failure
caml-mode.4.9 on 5.3.0 had its build status changed: passing to internal failure
camlbz2.transition on 5.3.0 had its build status changed: passing to internal failure
camlkit-base.0.3.0 on 4.14.2 had its build status changed: passing to internal failure
camlkit-base.0.3.0 on 5.3.0 had its build status changed: passing to internal failure
camlkit-gui.0.3.0 on 4.14.2 had its build status changed: passing to internal failure
camlkit-gui.0.3.0 on 5.3.0 had its build status changed: passing to internal failure
camlkit.0.3.0 on 4.14.2 had its build status changed: passing to internal failure
camlkit.0.3.0 on 5.3.0 had its build status changed: passing to internal failure
camyll.0.4.4 on 4.14.2 had its build status changed: passing to internal failure
capnp-rpc-lwt.1.2.4 on 5.3.0 had its build status changed: passing to internal failure
capnp-rpc-lwt.2.0 on 5.3.0 had its build status changed: passing to internal failure
capnp-rpc-net.1.2.4 on 4.14.2 had its build status changed: passing to internal failure
capnp-rpc-net.2.1 on 5.3.0 had its build status changed: passing to internal failure
capnp-rpc-unix.1.2.4 on 4.14.2 had its build status changed: passing to internal failure
capnp-rpc-unix.1.2.4 on 5.3.0 had its build status changed: passing to internal failure
capnp-rpc-unix.2.1 on 5.3.0 had its build status changed: passing to internal failure
capnp-rpc.2.1 on 5.3.0 had its build status changed: passing to internal failure
caqti-driver-mariadb.2.2.4 on 5.3.0 had its build status changed: passing to internal failure
caqti-driver-pgx.2.2.4 on 4.14.2 had its build status changed: passing to internal failure
caqti-driver-pgx.2.2.4 on 5.3.0 had its build status changed: passing to internal failure
caqti-driver-postgresql.2.2.4 on 4.14.2 had its build status changed: passing to internal failure
caqti-driver-postgresql.2.2.4 on 5.3.0 had its build status changed: passing to internal failure
caqti-driver-sqlite3.2.2.4 on 4.14.2 had its build status changed: passing to internal failure
caqti-driver-sqlite3.2.2.4 on 5.3.0 had its build status changed: passing to internal failure
caqti-dynload.2.0.1 on 4.14.2 had its build status changed: passing to internal failure
caqti-dynload.2.0.1 on 5.3.0 had its build status changed: passing to internal failure
caqti-lwt.2.2.4 on 4.14.2 had its build status changed: passing to internal failure
caqti-lwt.2.2.4 on 5.3.0 had its build status changed: passing to internal failure
caqti-miou.2.2.4 on 5.3.0 had its build status changed: passing to internal failure
caqti-mirage.2.2.4 on 4.14.2 had its build status changed: passing to internal failure
caqti-mirage.2.2.4 on 5.3.0 had its build status changed: passing to internal failure
caqti-tls.2.1.2 on 4.14.2 had its build status changed: passing to internal failure
caqti-tls.2.1.2 on 5.3.0 had its build status changed: passing to internal failure
caqti-type-calendar.2.0.1 on 4.14.2 had its build status changed: passing to internal failure
caqti.2.2.4 on 5.3.0 had its build status changed: passing to internal failure
carbon.0.2.0 on 5.3.0 had its build status changed: passing to internal failure
conf-antic.1 on 4.14.2 had its build status changed: passing to internal failure
conf-asciidoc.1 on 4.14.2 had its build status changed: passing to internal failure
conf-asciidoc.1 on 5.3.0 had its build status changed: passing to internal failure
conf-assimp.1 on 4.14.2 had its build status changed: failing to internal failure
conf-boost.1 on 5.3.0 had its build status changed: passing to internal failure
conf-calcium.1 on 5.3.0 had its build status changed: partially failing to internal failure
conf-clang-format.1 on 4.14.2 had its build status changed: passing to internal failure
conf-cmake.1 on 4.14.2 had its build status changed: passing to internal failure
conf-diffutils.2 on 4.14.2 had its build status changed: passing to internal failure
conf-emacs.1 on 4.14.2 had its build status changed: passing to internal failure
conf-ffmpeg.1 on 5.3.0 had its build status changed: passing to internal failure
conf-frei0r.1 on 5.3.0 had its build status changed: passing to internal failure
conf-ftgl.1 on 4.14.2 had its build status changed: passing to internal failure
conf-gfortran.0 on 4.14.2 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-gles2.1 on 4.14.2 had its build status changed: failing to internal failure
conf-gtk2.1 on 4.14.2 had its build status changed: passing to internal failure
conf-gtk2.1 on 5.3.0 had its build status changed: passing to internal failure
conf-guile.1 on 5.3.0 had its build status changed: passing to internal failure
conf-hg.1.0 on 4.14.2 had its build status changed: passing to internal failure
conf-hg.1.0 on 5.3.0 had its build status changed: passing to internal failure
conf-hidapi.0 on 4.14.2 had its build status changed: passing to internal failure
conf-hidapi.0 on 5.3.0 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-lame.1 on 4.14.2 had its build status changed: passing to internal failure
conf-lame.1 on 5.3.0 had its build status changed: passing to internal failure
conf-leveldb.2 on 4.14.2 had its build status changed: failing to internal failure
conf-libX11.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libXft.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libargon2.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-libbz2.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libclang.15 on 4.14.2 had its build status changed: passing to internal failure
conf-libclang.15 on 5.3.0 had its build status changed: passing to internal failure
conf-libev.4-13 on 4.14.2 had its build status changed: passing to internal failure
conf-libev.4-13 on 5.3.0 had its build status changed: passing to internal failure
conf-libevent.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libevent.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libflac.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libflac.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libfontconfig.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libfontconfig.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libfuse.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libfuse.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-libgif.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libgif.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libgl.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libgl.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libglu.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libgsasl.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libgsasl.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libjpeg.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-liblinear-tools.1.0.0 on 5.3.0 had its build status changed: passing to internal failure
conf-liblo.1 on 4.14.2 had its build status changed: passing to internal failure
conf-liblo.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libmaxminddb.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libmaxminddb.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libmosquitto.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libmosquitto.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libmpg123.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libobjc2.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libobjc2.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libogg.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libogg.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libopus.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libopus.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libpcre.2 on 4.14.2 had its build status changed: passing to internal failure
conf-libpcre.2 on 5.3.0 had its build status changed: passing to internal failure
conf-libpng.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libportmidi.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libportmidi.1 on 5.3.0 had its build status changed: passing to internal failure
conf-librsvg2.0 on 5.3.0 had its build status changed: passing to internal failure
conf-libsamplerate.2 on 4.14.2 had its build status changed: passing to internal failure
conf-libsamplerate.2 on 5.3.0 had its build status changed: passing to internal failure
conf-libsodium.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libsodium.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libspeex.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libsvm.3 on 4.14.2 had its build status changed: passing to internal failure
conf-libsvm.3 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-libuv.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libvorbis.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libwayland.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libxcb-image.1 on 4.14.2 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-keysyms.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-libxcb-shm.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libxcb-xkb.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libxcb-xkb.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libxcb.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libxcb.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libxcursor.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libxi.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libxi.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libxinerama.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 4.14.2 had its build status changed: passing to internal failure
conf-llvm-shared.19 on 5.3.0 had its build status changed: passing to internal failure
conf-llvm-static.19 on 4.14.2 had its build status changed: passing to internal failure
conf-llvm-static.19 on 5.3.0 had its build status changed: passing to internal failure
conf-mpfr.3 on 5.3.0 had its build status changed: passing to internal failure
conf-nauty.1.0 on 5.3.0 had its build status changed: passing to internal failure
conf-ninja.1 on 4.14.2 had its build status changed: passing to internal failure
conf-oniguruma.1 on 5.3.0 had its build status changed: passing to internal failure
conf-pango.1 on 5.3.0 had its build status changed: passing to internal failure
conf-perl-ipc-system-simple.3 on 5.3.0 had its build status changed: passing to internal failure
conf-protoc-dev.1.0.0 on 5.3.0 had its build status changed: passing to internal failure
conf-protoc.4.4.0 on 4.14.2 had its build status changed: passing to internal failure
conf-python-2-7.1.2 on 4.14.2 had its build status changed: passing to internal failure
conf-python-2-7.1.2 on 5.3.0 had its build status changed: passing to internal failure
conf-python-3.9.0.0 on 4.14.2 had its build status changed: passing to internal failure
conf-r-mathlib.1 on 5.3.0 had its build status changed: failing to internal failure
conf-radare2.0.1 on 4.14.2 had its build status changed: passing to internal failure
conf-ruby.1.0.0 on 5.3.0 had its build status changed: passing to internal failure
conf-rust-2018.1 on 5.3.0 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.0.1 on 4.14.2 had its build status changed: passing to internal failure
conf-rust.0.1 on 5.3.0 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-net.1 on 4.14.2 had its build status changed: passing to internal failure
conf-sdl-ttf.1 on 4.14.2 had its build status changed: passing to internal failure
conf-sdl-ttf.1 on 5.3.0 had its build status changed: passing to internal failure
conf-sdl2-net.1 on 4.14.2 had its build status changed: passing to internal failure
conf-sdl2-net.1 on 5.3.0 had its build status changed: passing to internal failure
conf-sdpa.1 on 4.14.2 had its build status changed: passing to internal failure
conf-secp256k1.2 on 4.14.2 had its build status changed: passing to internal failure
conf-secp256k1.2 on 5.3.0 had its build status changed: passing to internal failure
conf-sfml2.1 on 4.14.2 had its build status changed: passing to internal failure
conf-snappy.1 on 4.14.2 had its build status changed: passing to internal failure
conf-snappy.1 on 5.3.0 had its build status changed: passing to internal failure
conf-sndfile.1 on 5.3.0 had its build status changed: passing to internal failure
conf-soundtouch.1 on 4.14.2 had its build status changed: passing to internal failure
conf-sqlite3.1 on 4.14.2 had its build status changed: passing to internal failure
conf-sqlite3.1 on 5.3.0 had its build status changed: passing to internal failure
conf-srt.2 on 5.3.0 had its build status changed: passing to internal failure
conf-swi-prolog.1 on 5.3.0 had its build status changed: passing to internal failure
conf-sysinfo.1 on 4.14.2 had its build status changed: passing to internal failure
conf-sysinfo.1 on 5.3.0 had its build status changed: passing to internal failure
conf-taglib.1 on 4.14.2 had its build status changed: passing to internal failure
conf-taglib.1 on 5.3.0 had its build status changed: passing to internal failure
conf-taglib_c.2 on 4.14.2 had its build status changed: passing to internal failure
conf-taglib_c.2 on 5.3.0 had its build status changed: passing to internal failure
conf-tcl.1 on 4.14.2 had its build status changed: passing to internal failure
conf-tidy.1 on 4.14.2 had its build status changed: failing to internal failure
conf-tidy.1 on 5.3.0 had its build status changed: failing to internal failure
conf-unwind.0 on 4.14.2 had its build status changed: passing to internal failure
conf-unwind.0 on 5.3.0 had its build status changed: passing to internal failure
conf-wayland-protocols.1 on 4.14.2 had its build status changed: passing to internal failure
conf-wayland-protocols.1 on 5.3.0 had its build status changed: passing to internal failure
conf-wget.1 on 4.14.2 had its build status changed: passing to internal failure
conf-xen.1 on 5.3.0 had its build status changed: passing to internal failure
conf-xkbcommon.1 on 4.14.2 had its build status changed: passing to internal failure
conf-xkbcommon.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
conf-zig.1 on 5.3.0 had its build status changed: passing to internal failure
conf-zmq.0.1 on 5.3.0 had its build status changed: passing to internal failure
diffast-langs-java-parsing-cli.0.2 on 5.3.0 had its build status changed: passing to internal failure
docteur.0.0.7 on 5.3.0 had its build status changed: passing to internal failure
doculib.1.3.5 on 4.14.2 had its build status changed: passing to internal failure
dotenv.0.0.3 on 4.14.2 had its build status changed: passing to internal failure
dream-cli.0.2.0 on 5.3.0 had its build status changed: passing to internal failure
dream-encoding.0.3.0 on 4.14.2 had its build status changed: passing to internal failure
dream-encoding.0.3.0 on 5.3.0 had its build status changed: passing to internal failure
dream-html.3.11.1 on 5.3.0 had its build status changed: passing to internal failure
dream-htmx.0.1.0 on 4.14.2 had its build status changed: passing to internal failure
dream-htmx.0.1.0 on 5.3.0 had its build status changed: passing to internal failure
dream-livereload.0.2.0 on 4.14.2 had its build status changed: passing to internal failure
dream-livereload.0.2.0 on 5.3.0 had its build status changed: passing to internal failure
dream-serve.1.0.1 on 5.3.0 had its build status changed: passing to internal failure
dream_middleware_ext.0.1.1 on 4.14.2 had its build status changed: passing to internal failure
dream_middleware_ext.0.1.1 on 5.3.0 had its build status changed: passing to internal failure
dropbox.0.2 on 4.14.2 had its build status changed: passing to internal failure
dssi.0.1.5 on 4.14.2 had its build status changed: failing to internal failure
efl.1.24.0 on 4.14.2 had its build status changed: failing to internal failure
efl.1.24.0 on 5.3.0 had its build status changed: failing to internal failure
eio-trace.0.4 on 5.3.0 had its build status changed: passing to internal failure
elasticsearch-cli.1.2 on 4.14.2 had its build status changed: partially failing to internal failure
eprover.3.1 on 5.3.0 had its build status changed: failing to internal failure
equinoxe-hlc.0.2.0 on 4.14.2 had its build status changed: passing to internal failure
equinoxe-hlc.0.2.0 on 5.3.0 had its build status changed: passing to internal failure
erssical.1.1.0 on 5.3.0 had its build status changed: passing to internal failure
fasmifra.1.1.0 on 4.14.2 had its build status changed: passing to internal failure
ff-pbt.0.6.2 on 5.3.0 had its build status changed: passing to internal failure
ff-sig.0.6.2 on 5.3.0 had its build status changed: passing to internal failure
ffmpeg-av.1.2.7 on 4.14.2 is now installable. Current state is: internal failure
ffmpeg-av.1.2.7 on 5.3.0 is now installable. Current state is: internal failure
ffmpeg-avcodec.1.2.7 on 4.14.2 is now installable. Current state is: internal failure
ffmpeg-avcodec.1.2.7 on 5.3.0 is now installable. Current state is: internal failure
ffmpeg-avdevice.1.2.7 on 4.14.2 is now installable. Current state is: internal failure
ffmpeg-avdevice.1.2.7 on 5.3.0 is now installable. Current state is: internal failure
ffmpeg-avfilter.1.2.7 on 4.14.2 is now installable. Current state is: internal failure
ffmpeg-avfilter.1.2.7 on 5.3.0 is now installable. Current state is: internal failure
ffmpeg-avutil.1.2.7 on 4.14.2 is now installable. Current state is: internal failure
ffmpeg-avutil.1.2.7 on 5.3.0 is now installable. Current state is: internal failure
ffmpeg-swresample.1.2.7 on 4.14.2 is now installable. Current state is: internal failure
ffmpeg-swresample.1.2.7 on 5.3.0 is now installable. Current state is: internal failure
ffmpeg.1.2.7 on 4.14.2 is now installable. Current state is: internal failure
fftw3.0.8.5 on 4.14.2 had its build status changed: failing to internal failure
frama-c-luncov.0.2.4 on 4.14.2 had its build status changed: passing to internal failure
frama-c-metacsl.0.9 on 5.3.0 had its build status changed: passing to internal failure
frama-c.31.0 on 4.14.2 had its build status changed: passing to internal failure
frama-c.31.0 on 5.3.0 had its build status changed: passing to internal failure
fstar.2025.10.06 on 5.3.0 had its build status changed: passing to internal failure
gd.1.1 on 5.3.0 had its build status changed: passing to internal failure
goblint-cil.2.0.8 on 5.3.0 had its build status changed: passing to internal failure
goblint.2.1.0 on 4.14.2 had its build status changed: passing to internal failure
graft.0.1.0 on 5.3.0 had its build status changed: passing to internal failure
incr_dom_interactive.v0.16.0 on 4.14.2 had its build status changed: passing to internal failure
incr_dom_sexp_form.v0.16.0 on 4.14.2 had its build status changed: passing to internal failure
incr_map.v0.16.0 on 4.14.2 had its build status changed: passing to internal failure
llopt.1.0.0 on 4.14.2 had its build status changed: partially failing to internal failure
lmdb.1.0 on 5.3.0 had its build status changed: passing to internal failure
nlopt-ocaml.transition on 4.14.2 had its build status changed: partially failing to internal failure
ocsipersist-sqlite.2.0.0 on 4.14.2 had its build status changed: passing to internal failure
octez-accuser-PtParisB.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
octez-libs.20.1 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-plompiler.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
octez-plonk.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
octez-proto-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
octez-protocol-001-PtCJ7pwo-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
octez-protocol-005-PsBabyM1-libs.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
oplsr.8.0.1 on 4.14.2 had its build status changed: failing to internal failure
opus.1.0.0 on 5.3.0 had its build status changed: passing to internal failure
oranger.4.3.5 on 4.14.2 had its build status changed: failing to internal failure
oranger.4.3.5 on 5.3.0 had its build status changed: failing to internal failure
orf.1.0.1 on 5.3.0 had its build status changed: passing to internal failure
orgeat.0.0.1 on 4.14.2 had its build status changed: passing to internal failure
orgeat.0.0.1 on 5.3.0 had its build status changed: passing to internal failure
orm.0.7.1 on 4.14.2 had its build status changed: passing to internal failure
orocksdb.0.2.2 on 5.3.0 had its build status changed: partially failing to internal failure
owl-ode.0.5.0 on 5.3.0 had its build status changed: partially failing to internal failure
owl-opt-lbfgs.0.0.1 on 5.3.0 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
why3-ide.1.8.2 on 4.14.2 had its build status changed: passing to internal failure

Packages now 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.31.0 on 4.14.2 is now installable. Current state is: passing
binaryen.0.31.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
chamo.4.0 on 4.14.2 had its build status changed: internal failure to passing
chamo.4.2.0 on 5.3.0 had its build status changed: internal failure to passing
climate.0.8.6 on 4.14.2 is now installable. Current state is: passing
climate.0.8.6 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-allegro5.1 on 4.14.2 had its build status changed: internal failure to passing
conf-cairo.1 on 4.14.2 had its build status changed: internal failure to passing
conf-clang-format.1 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-dpkg.1 on 4.14.2 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-ffmpeg.1 on 4.14.2 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-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-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-glfw3.2 on 5.3.0 had its build status changed: internal failure to passing
conf-gnomecanvas.2 on 4.14.2 had its build status changed: internal failure to passing
conf-gnomecanvas.2 on 5.3.0 had its build status changed: internal failure to passing
conf-gnuplot.0.1 on 4.14.2 had its build status changed: internal failure to passing
conf-gnuplot.0.1 on 5.3.0 had its build status changed: internal failure to passing
conf-gnustep-base.1 on 4.14.2 had its build status changed: internal failure to passing
conf-gnustep-gui.1 on 5.3.0 had its build status changed: internal failure to passing
conf-gnutls.1 on 4.14.2 had its build status changed: internal failure to passing
conf-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-goocanvas2.0 on 4.14.2 had its build status changed: internal failure to passing
conf-graphviz.0.1 on 4.14.2 had its build status changed: internal failure to passing
conf-graphviz.0.1 on 5.3.0 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-libdw.1 on 4.14.2 had its build status changed: internal failure to passing
conf-libxrandr.1 on 5.3.0 had its build status changed: internal failure to passing
conf-mad.2 on 5.3.0 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-nanomsg.0 on 4.14.2 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-ode.1 on 5.3.0 had its build status changed: internal failure to passing
conf-openbabel.0.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-plplot.1 on 5.3.0 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-ppl.1 on 4.14.2 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-radare2.0.1 on 5.3.0 had its build status changed: internal failure to passing
conf-rdkit.1 on 5.3.0 had its build status changed: internal failure to passing
conf-rubberband.1 on 4.14.2 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-2021.1 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
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
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
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
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-swscale.1.2.7 on 4.14.2 is now installable. Current state is: passing
ffmpeg-swscale.1.2.7 on 5.3.0 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
functory.0.6 on 4.14.2 had its build status changed: failing to passing
lablgtk3-gtkspell3.3.1.5 on 5.3.0 had its build status changed: internal failure to passing
lablgtk3-sourceview3.3.1.5 on 4.14.2 had its build status changed: internal failure to passing
lablgtk3-sourceview3.3.1.5 on 5.3.0 had its build status changed: internal failure to passing
lablgtk3.3.1.5 on 4.14.2 had its build status changed: internal failure to passing
lablgtk3.3.1.5 on 5.3.0 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.0 on 4.14.2 is now installable. Current state is: passing
libbinaryen.124.0.0 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
mazeppa.0.6.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
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
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
salto-analyzer.0.1 on 4.14.2 had its build status changed: internal failure to passing
saltoIL.0.1.11 on 4.14.2 had its build status changed: internal failure to 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_gui.0.1.0 on 5.3.0 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
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
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