Packages now failing:
Packages now partially failing:
Packages now not available:
- DkSDKFFIOCaml_StdExport-linux_x86_64.1.0.0~1 on 5.3 is not available anymore. Previous state was: passing
- MlFront_Cache.2.3.1 on 5.3 is not available anymore. Previous state was: passing
- MlFront_Cli.2.3.1 on 5.3 is not available anymore. Previous state was: passing
- MlFront_Config.2.3.1 on 5.3 is not available anymore. Previous state was: passing
- MlFront_Core.2.3.1 on 5.3 is not available anymore. Previous state was: passing
- MlFront_Errors.2.3.1 on 5.3 is not available anymore. Previous state was: passing
- MlFront_Logs.2.3.1 on 5.3 is not available anymore. Previous state was: passing
- MlFront_Manip.2.3.1 on 5.3 is not available anymore. Previous state was: passing
- MlFront_Signify.2.3.1 on 5.3 is not available anymore. Previous state was: passing
- MlFront_ZipFile.2.3.1 on 5.3 is not available anymore. Previous state was: passing
- SourceCode_ASCII.0.1.0 on 5.3 is not available anymore. Previous state was: passing
- TCSLib.0.5 on 5.3 is not available anymore. Previous state was: passing
- acgtk.2.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- aifad.2.3.1 on 5.3 is not available anymore. Previous state was: partially failing
- albatross.2.6.0 on 5.3 is not available anymore. Previous state was: partially failing
- alt-ergo-lib.2.6.2 on 5.3 is not available anymore. Previous state was: passing
- alt-ergo-parsers.2.6.2 on 5.3 is not available anymore. Previous state was: passing
- alt-ergo-plugin-ab-why3.2.6.2 on 5.3 is not available anymore. Previous state was: passing
- alt-ergo.2.6.2 on 5.3 is not available anymore. Previous state was: passing
- ambient-context-eio.0.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- ambient-context-lwt.0.1.0 on 5.3 is not available anymore. Previous state was: passing
- ambient-context.0.1.0 on 5.3 is not available anymore. Previous state was: passing
- anders.1.1.1 on 5.3 is not available anymore. Previous state was: passing
- ansifmt.1.0.0~pre2 on 5.3 is not available anymore. Previous state was: passing
- arp.4.0.0 on 5.3 is not available anymore. Previous state was: partially failing
- art.0.2.0 on 5.3 is not available anymore. Previous state was: passing
- async_ssl.v0.17.0-1 on 5.3 is not available anymore. Previous state was: partially failing
- atd.2.16.0 on 5.3 is not available anymore. Previous state was: passing
- atdcpp.2.16.0 on 5.3 is not available anymore. Previous state was: passing
- atdd.2.16.0 on 5.3 is not available anymore. Previous state was: passing
- atdgen-codec-runtime.2.16.0 on 5.3 is not available anymore. Previous state was: passing
- atdgen-runtime.2.16.0 on 5.3 is not available anymore. Previous state was: passing
- atdgen.2.16.0 on 5.3 is not available anymore. Previous state was: passing
- atdj.2.16.0 on 5.3 is not available anymore. Previous state was: passing
- atdpy.2.16.0 on 5.3 is not available anymore. Previous state was: passing
- atds.2.16.0 on 5.3 is not available anymore. Previous state was: passing
- atdts.2.16.0 on 5.3 is not available anymore. Previous state was: passing
- awa-mirage.0.5.2 on 5.3 is not available anymore. Previous state was: partially failing
- awa.0.5.2 on 5.3 is not available anymore. Previous state was: partially failing
- azure-cosmos-db.0.3.1 on 5.3 is not available anymore. Previous state was: partially failing
- baby.20241204 on 5.3 is not available anymore. Previous state was: passing
- batteries.3.10.0 on 5.3 is not available anymore. Previous state was: passing
- bibfmt.0.7.7 on 5.3 is not available anymore. Previous state was: passing
- bin.0.0.2 on 5.3 is not available anymore. Previous state was: passing
- binaryen.0.26.0 on 5.3 is not available anymore. Previous state was: partially failing
- binsec.0.10.1 on 5.3 is not available anymore. Previous state was: partially failing
- biotk.0.3 on 5.3 is not available anymore. Previous state was: passing
- bitstring.5.0.1 on 5.3 is not available anymore. Previous state was: passing
- bitwuzla-c.1.0.5 on 5.3 is not available anymore. Previous state was: passing
- bitwuzla-cxx.0.8.2 on 5.3 is not available anymore. Previous state was: passing
- bitwuzla.1.0.5 on 5.3 is not available anymore. Previous state was: passing
- bogue.20250815 on 5.3 is not available anymore. Previous state was: passing
- bos.0.2.1 on 5.3 is not available anymore. Previous state was: passing
- brr-lwd.0.4 on 5.3 is not available anymore. Previous state was: passing
- bstr.0.0.2 on 5.3 is not available anymore. Previous state was: passing
- bytesrw.0.2.0 on 5.3 is not available anymore. Previous state was: passing
- ca-certs-nss.3.117 on 5.3 is not available anymore. Previous state was: partially failing
- ca-certs.1.0.1 on 5.3 is not available anymore. Previous state was: partially failing
- cachet-lwt.0.0.2 on 5.3 is not available anymore. Previous state was: passing
- cachet-solo5.0.0.2 on 5.3 is not available anymore. Previous state was: passing
- cachet.0.0.2 on 5.3 is not available anymore. Previous state was: passing
- cairn.2.0 on 5.3 is not available anymore. Previous state was: passing
- caisar.4.0 on 5.3 is not available anymore. Previous state was: partially failing
- calendars.1.0.0 on 5.3 is not available anymore. Previous state was: passing
- camels.0.0.4 on 5.3 is not available anymore. Previous state was: passing
- camlidl.1.13 on 5.3 is not available anymore. Previous state was: passing
- camlp5-buildscripts.0.06 on 5.3 is not available anymore. Previous state was: partially failing
- camlp5.8.04.00 on 5.3 is not available anymore. Previous state was: partially failing
- camlpdf.2.8.1 on 5.3 is not available anymore. Previous state was: passing
- camlzip.1.13 on 5.3 is not available anymore. Previous state was: passing
- canary.0.0.1 on 5.3 is not available anymore. Previous state was: partially failing
- capnp-rpc-net.2.1 on 5.3 is not available anymore. Previous state was: partially failing
- capnp-rpc-unix.2.1 on 5.3 is not available anymore. Previous state was: partially failing
- capnp-rpc.2.1 on 5.3 is not available anymore. Previous state was: partially failing
- caqti-async.2.2.4 on 5.3 is not available anymore. Previous state was: partially failing
- caqti-driver-mariadb.2.2.4 on 5.3 is not available anymore. Previous state was: partially failing
- caqti-driver-pgx.2.2.4 on 5.3 is not available anymore. Previous state was: partially failing
- caqti-driver-postgresql.2.2.4 on 5.3 is not available anymore. Previous state was: partially failing
- caqti-driver-sqlite3.2.2.4 on 5.3 is not available anymore. Previous state was: partially failing
- caqti-dynload.2.0.1 on 5.3 is not available anymore. Previous state was: partially failing
- caqti-eio.2.2.4 on 5.3 is not available anymore. Previous state was: partially failing
- caqti-lwt.2.2.4 on 5.3 is not available anymore. Previous state was: partially failing
- caqti-miou.2.2.4 on 5.3 is not available anymore. Previous state was: partially failing
- caqti-mirage.2.2.4 on 5.3 is not available anymore. Previous state was: partially failing
- caqti-tls.2.1.2 on 5.3 is not available anymore. Previous state was: partially failing
- caqti-type-calendar.2.0.1 on 5.3 is not available anymore. Previous state was: partially failing
- caqti.2.2.4 on 5.3 is not available anymore. Previous state was: partially failing
- carton-git-lwt.1.1.0 on 5.3 is not available anymore. Previous state was: passing
- carton-lwt.1.1.0 on 5.3 is not available anymore. Previous state was: passing
- carton.1.1.0 on 5.3 is not available anymore. Previous state was: passing
- catala-format.0.3.0 on 5.3 is not available anymore. Previous state was: partially failing
- charrua-client.2.1.1 on 5.3 is not available anymore. Previous state was: passing
- charrua-server.2.1.1 on 5.3 is not available anymore. Previous state was: passing
- charrua-unix.2.1.1 on 5.3 is not available anymore. Previous state was: passing
- charrua.2.1.1 on 5.3 is not available anymore. Previous state was: passing
- charset.0.2.0 on 5.3 is not available anymore. Previous state was: passing
- checked_oint.1.0.0 on 5.3 is not available anymore. Previous state was: partially failing
- checkseum.0.5.2 on 5.3 is not available anymore. Previous state was: passing
- chrome-trace.3.20.2 on 5.3 is not available anymore. Previous state was: passing
- climate.0.8.5 on 5.3 is not available anymore. Previous state was: passing
- cmarkit.0.3.0 on 5.3 is not available anymore. Previous state was: passing
- cmdlang-stdlib-runner.0.0.10 on 5.3 is not available anymore. Previous state was: passing
- cmdlang-to-base.0.0.10 on 5.3 is not available anymore. Previous state was: passing
- cmdlang-to-climate.0.0.10 on 5.3 is not available anymore. Previous state was: passing
- cmdlang-to-cmdliner.0.0.10 on 5.3 is not available anymore. Previous state was: passing
- cmdlang.0.0.10 on 5.3 is not available anymore. Previous state was: passing
- cmdliner.2.0.0 on 5.3 is not available anymore. Previous state was: passing
- coccinelle.1.3.0 on 5.3 is not available anymore. Previous state was: partially failing
- codept-lib.0.12.1 on 5.3 is not available anymore. Previous state was: passing
- codept.0.12.1 on 5.3 is not available anymore. Previous state was: passing
- cohttp-async.6.1.1 on 5.3 is not available anymore. Previous state was: partially failing
- cohttp-bench.6.1.1 on 5.3 is not available anymore. Previous state was: partially failing
- cohttp-curl-async.6.1.1 on 5.3 is not available anymore. Previous state was: passing
- cohttp-curl-lwt.6.1.1 on 5.3 is not available anymore. Previous state was: passing
- cohttp-curl.6.1.1 on 5.3 is not available anymore. Previous state was: passing
- cohttp-eio.6.1.1 on 5.3 is not available anymore. Previous state was: partially failing
- cohttp-lwt-jsoo.6.1.1 on 5.3 is not available anymore. Previous state was: partially failing
- cohttp-lwt-unix.6.1.1 on 5.3 is not available anymore. Previous state was: partially failing
- cohttp-lwt.6.1.1 on 5.3 is not available anymore. Previous state was: partially failing
- cohttp-mirage.6.1.1 on 5.3 is not available anymore. Previous state was: partially failing
- cohttp-server-lwt-unix.6.1.1 on 5.3 is not available anymore. Previous state was: passing
- cohttp-top.6.1.1 on 5.3 is not available anymore. Previous state was: partially failing
- cohttp.6.1.1 on 5.3 is not available anymore. Previous state was: partially failing
- coin.0.1.4 on 5.3 is not available anymore. Previous state was: passing
- colombe.0.12.0 on 5.3 is not available anymore. Previous state was: passing
- conan-cli.0.0.6 on 5.3 is not available anymore. Previous state was: passing
- conan-database.0.0.6 on 5.3 is not available anymore. Previous state was: passing
- conan-lwt.0.0.6 on 5.3 is not available anymore. Previous state was: passing
- conan-unix.0.0.6 on 5.3 is not available anymore. Previous state was: passing
- conan.0.0.6 on 5.3 is not available anymore. Previous state was: passing
- conex-mirage-crypto.0.11.1 on 5.3 is not available anymore. Previous state was: partially failing
- conex.0.11.1 on 5.3 is not available anymore. Previous state was: passing
- conf-allegro5.1 on 5.3 is not available anymore. Previous state was: passing
- conf-libclang.15 on 5.3 is not available anymore. Previous state was: failing
- conf-openblas.0.2.2 on 5.3 is not available anymore. Previous state was: passing
- conf-pkg-config.4 on 5.3 is not available anymore. Previous state was: passing
- conf-rocksdb.1 on 5.3 is not available anymore. Previous state was: passing
- containers-data.3.16 on 5.3 is not available anymore. Previous state was: passing
- containers.3.16 on 5.3 is not available anymore. Previous state was: passing
- coq-core.9.1.0 on 5.3 is not available anymore. Previous state was: passing
- coq-lsp.0.2.4+9.1 on 5.3 is not available anymore. Previous state was: passing
- coq-waterproof.3.0.0+9.0 on 5.3 is not available anymore. Previous state was: passing
- coq.9.1.0 on 5.3 is not available anymore. Previous state was: passing
- coqide-server.9.1.0 on 5.3 is not available anymore. Previous state was: passing
- core.v0.17.1 on 5.3 is not available anymore. Previous state was: passing
- cpdf.2.8.1 on 5.3 is not available anymore. Previous state was: passing
- crowbar.0.2.1 on 5.3 is not available anymore. Previous state was: passing
- crs.0.0.20250914 on 5.3 is not available anymore. Previous state was: passing
- crypt.1.3 on 5.3 is not available anymore. Previous state was: failing
- cryptokit.1.20 on 5.3 is not available anymore. Previous state was: passing
- cryptoverif.2.11 on 5.3 is not available anymore. Previous state was: passing
- css.0.3.0 on 5.3 is not available anymore. Previous state was: partially failing
- ctypes-foreign.0.23.0 on 5.3 is not available anymore. Previous state was: passing
- ctypes.0.23.0 on 5.3 is not available anymore. Previous state was: passing
- current.0.7.1 on 5.3 is not available anymore. Previous state was: passing
- current_docker.0.7.1 on 5.3 is not available anymore. Previous state was: passing
- current_examples.0.7.1 on 5.3 is not available anymore. Previous state was: partially failing
- current_git.0.7.1 on 5.3 is not available anymore. Previous state was: passing
- current_github.0.7.1 on 5.3 is not available anymore. Previous state was: partially failing
- current_gitlab.0.7.1 on 5.3 is not available anymore. Previous state was: partially failing
- current_ocluster.0.3.0 on 5.3 is not available anymore. Previous state was: partially failing
- current_rpc.0.7.1 on 5.3 is not available anymore. Previous state was: partially failing
- current_slack.0.7.1 on 5.3 is not available anymore. Previous state was: partially failing
- current_ssh.0.7.1 on 5.3 is not available anymore. Previous state was: passing
- current_web.0.7.1 on 5.3 is not available anymore. Previous state was: partially failing
- curses.1.0.11 on 5.3 is not available anymore. Previous state was: passing
- dap.1.0.6 on 5.3 is not available anymore. Previous state was: passing
- decompress.1.5.3 on 5.3 is not available anymore. Previous state was: passing
- diffast-api.0.3.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- diffast-cli.0.3.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- diffast-core.0.3.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- diffast-etc.0.3.5.1 on 5.3 is not available anymore. Previous state was: passing
- diffast-git-cli.0.3.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- diffast-git.0.3.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- diffast-langs-common.0.3.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- diffast-langs-cpp-parsing.0.3.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- diffast-langs-cpp-spec.0.3.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- diffast-langs-cpp.0.3.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- diffast-langs-fortran-parsing.0.3.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- diffast-langs-fortran-spec.0.3.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- diffast-langs-fortran.0.3.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- diffast-langs-java-parsing.0.3.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- diffast-langs-java-spec.0.3.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- diffast-langs-java.0.3.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- diffast-langs-python-parsing.0.3.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- diffast-langs-python-spec.0.3.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- diffast-langs-python.0.3.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- diffast-langs-verilog-parsing.0.3.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- diffast-langs-verilog-spec.0.3.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- diffast-langs-verilog.0.3.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- diffast-misc.0.3.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- diffast.0.3.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- digestif.1.3.0 on 5.3 is not available anymore. Previous state was: passing
- directories.0.6 on 5.3 is not available anymore. Previous state was: passing
- dirsp-exchange-kbb2017.0.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- dirsp-exchange.0.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- dirsp-proscript-mirage.0.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- dirsp-proscript.0.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- dkim-bin.0.8.0 on 5.3 is not available anymore. Previous state was: partially failing
- dkim-lwt-unix.0.8.0 on 5.3 is not available anymore. Previous state was: partially failing
- dkim-mirage.0.8.0 on 5.3 is not available anymore. Previous state was: partially failing
- dkim.0.8.0 on 5.3 is not available anymore. Previous state was: partially failing
- dkml-c-probe.3.0.0 on 5.3 is not available anymore. Previous state was: passing
- dkml-component-staging-ocamlrun.4.12.1~v1.0.2 on 5.3 is not available anymore. Previous state was: failing
- dkml-component-xx-console.0.1.1 on 5.3 is not available anymore. Previous state was: passing
- dkml-dune-dsl-show.0.1.4 on 5.3 is not available anymore. Previous state was: partially failing
- dkml-install-installer.0.5.3 on 5.3 is not available anymore. Previous state was: passing
- dkml-install-runner.0.5.3 on 5.3 is not available anymore. Previous state was: passing
- dkml-install.0.5.3 on 5.3 is not available anymore. Previous state was: passing
- dkml-option-vcpkg.0.1.0 on 5.3 is not available anymore. Previous state was: passing
- dkml-package-console.0.5.3 on 5.3 is not available anymore. Previous state was: passing
- dns-certify.10.2.1 on 5.3 is not available anymore. Previous state was: partially failing
- dns-cli.10.2.1 on 5.3 is not available anymore. Previous state was: partially failing
- dns-client-lwt.10.2.1 on 5.3 is not available anymore. Previous state was: partially failing
- dns-client-miou-unix.10.2.1 on 5.3 is not available anymore. Previous state was: partially failing
- dns-client-mirage.10.2.1 on 5.3 is not available anymore. Previous state was: partially failing
- dns-client.10.2.1 on 5.3 is not available anymore. Previous state was: partially failing
- dns-mirage.10.2.1 on 5.3 is not available anymore. Previous state was: partially failing
- dns-resolver.10.2.1 on 5.3 is not available anymore. Previous state was: partially failing
- dns-server.10.2.1 on 5.3 is not available anymore. Previous state was: partially failing
- dns-stub.10.2.1 on 5.3 is not available anymore. Previous state was: partially failing
- dns-tsig.10.2.1 on 5.3 is not available anymore. Previous state was: partially failing
- dns.10.2.1 on 5.3 is not available anymore. Previous state was: partially failing
- dnssec.10.2.1 on 5.3 is not available anymore. Previous state was: partially failing
- docfd.3.0.0 on 5.3 is not available anymore. Previous state was: partially failing
- dockerfile-cmd.8.3.2 on 5.3 is not available anymore. Previous state was: passing
- dockerfile-opam.8.3.2 on 5.3 is not available anymore. Previous state was: passing
- dockerfile.8.3.2 on 5.3 is not available anymore. Previous state was: passing
- doi2bib.0.7.7 on 5.3 is not available anymore. Previous state was: partially failing
- dream-html.3.11.1 on 5.3 is not available anymore. Previous state was: partially failing
- dune-action-plugin.3.20.2 on 5.3 is not available anymore. Previous state was: passing
- dune-build-info.3.20.2 on 5.3 is not available anymore. Previous state was: passing
- dune-configurator.3.20.2 on 5.3 is not available anymore. Previous state was: passing
- dune-glob.3.20.2 on 5.3 is not available anymore. Previous state was: passing
- dune-private-libs.3.20.2 on 5.3 is not available anymore. Previous state was: passing
- dune-release.2.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- dune-rpc-lwt.3.20.2 on 5.3 is not available anymore. Previous state was: passing
- dune-rpc.3.20.2 on 5.3 is not available anymore. Previous state was: passing
- dune-site.3.20.2 on 5.3 is not available anymore. Previous state was: passing
- dune.3.20.2 on 5.3 is not available anymore. Previous state was: passing
- dunolint-lib-base.0.0.20251006 on 5.3 is not available anymore. Previous state was: passing
- dunolint-lib.0.0.20251006 on 5.3 is not available anymore. Previous state was: passing
- dunolint.0.0.20251006 on 5.3 is not available anymore. Previous state was: passing
- duration.0.2.1 on 5.3 is not available anymore. Previous state was: passing
- dyn.3.20.2 on 5.3 is not available anymore. Previous state was: passing
- earlybird.1.3.4 on 5.3 is not available anymore. Previous state was: passing
- elpi.3.4.1 on 5.3 is not available anymore. Previous state was: passing
- embedded_ocaml_templates.0.8 on 5.3 is not available anymore. Previous state was: passing
- exenum.0.86 on 5.3 is not available anymore. Previous state was: passing
- ez_api.2.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- ez_cmdliner.0.4.3 on 5.3 is not available anymore. Previous state was: passing
- ez_file.0.3.0 on 5.3 is not available anymore. Previous state was: passing
- ezcurl-lwt.0.2.4 on 5.3 is not available anymore. Previous state was: passing
- ezcurl.0.2.4 on 5.3 is not available anymore. Previous state was: passing
- fehu.1.0.0~alpha1 on 5.3 is not available anymore. Previous state was: partially failing
- ffmpeg-av.1.2.6 on 5.3 is not available anymore. Previous state was: passing
- ffmpeg-avcodec.1.2.6 on 5.3 is not available anymore. Previous state was: passing
- ffmpeg-avdevice.1.2.6 on 5.3 is not available anymore. Previous state was: passing
- ffmpeg-avfilter.1.2.6 on 5.3 is not available anymore. Previous state was: passing
- ffmpeg-avutil.1.2.6 on 5.3 is not available anymore. Previous state was: passing
- ffmpeg-swresample.1.2.6 on 5.3 is not available anymore. Previous state was: passing
- ffmpeg-swscale.1.2.6 on 5.3 is not available anymore. Previous state was: passing
- ffmpeg.1.2.6 on 5.3 is not available anymore. Previous state was: passing
- fit.1.3.2 on 5.3 is not available anymore. Previous state was: passing
- flint.0.4.0 on 5.3 is not available anymore. Previous state was: passing
- fmlib.0.5.11 on 5.3 is not available anymore. Previous state was: passing
- fmlib_browser.0.5.11 on 5.3 is not available anymore. Previous state was: passing
- fmlib_js.0.5.11 on 5.3 is not available anymore. Previous state was: passing
- fmlib_parse.0.5.11 on 5.3 is not available anymore. Previous state was: passing
- fmlib_pretty.0.5.11 on 5.3 is not available anymore. Previous state was: passing
- fmlib_std.0.5.11 on 5.3 is not available anymore. Previous state was: passing
- fpath-base.0.3.1 on 5.3 is not available anymore. Previous state was: passing
- fpath-sexp0.0.3.1 on 5.3 is not available anymore. Previous state was: passing
- frama-c-lannotate.0.2.4 on 5.3 is not available anymore. Previous state was: partially failing
- frama-c-metacsl.0.9 on 5.3 is not available anymore. Previous state was: partially failing
- frama-c.31.0 on 5.3 is not available anymore. Previous state was: partially failing
- frama-clang.0.0.18 on 5.3 is not available anymore. Previous state was: partially failing
- fstar.2025.10.06 on 5.3 is not available anymore. Previous state was: passing
- gapi-ocaml.0.4.6 on 5.3 is not available anymore. Previous state was: passing
- gappa.1.4.1 on 5.3 is not available anymore. Previous state was: passing
- gen_js_api.1.1.5 on 5.3 is not available anymore. Previous state was: passing
- gendarme-json.0.3.0 on 5.3 is not available anymore. Previous state was: partially failing
- gendarme-toml.0.3.0 on 5.3 is not available anymore. Previous state was: partially failing
- gendarme-yaml.0.3.0 on 5.3 is not available anymore. Previous state was: partially failing
- gendarme.0.3.0 on 5.3 is not available anymore. Previous state was: passing
- git-kv.0.2.0 on 5.3 is not available anymore. Previous state was: partially failing
- git-net.0.2.0 on 5.3 is not available anymore. Previous state was: partially failing
- github-data.4.5.0 on 5.3 is not available anymore. Previous state was: passing
- github-jsoo.4.5.0 on 5.3 is not available anymore. Previous state was: partially failing
- github-unix.4.5.0 on 5.3 is not available anymore. Previous state was: partially failing
- github.4.5.0 on 5.3 is not available anymore. Previous state was: partially failing
- gmp-xen.6.0.0-1 on 5.3 is not available anymore. Previous state was: failing
- gmp.6.3.0 on 5.3 is not available anymore. Previous state was: passing
- goblint-cil.2.0.7 on 5.3 is not available anymore. Previous state was: passing
- goblint.2.6.0 on 5.3 is not available anymore. Previous state was: partially failing
- google-drive-ocamlfuse.0.7.32 on 5.3 is not available anymore. Previous state was: passing
- gospel.0.3.0 on 5.3 is not available anymore. Previous state was: partially failing
- grace.0.2.0 on 5.3 is not available anymore. Previous state was: passing
- grenier.0.15 on 5.3 is not available anymore. Previous state was: passing
- handlebars-ml.0.1.2 on 5.3 is not available anymore. Previous state was: passing
- hdr_histogram.0.0.4 on 5.3 is not available anymore. Previous state was: passing
- hevea.2.36 on 5.3 is not available anymore. Previous state was: passing
- hol2dk.2.0.0 on 5.3 is not available anymore. Previous state was: passing
- html_of_jsx.0.0.6 on 5.3 is not available anymore. Previous state was: passing
- http-date.0.1 on 5.3 is not available anymore. Previous state was: passing
- http.6.1.1 on 5.3 is not available anymore. Previous state was: passing
- httpcats.0.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- hugin.1.0.0~alpha1 on 5.3 is not available anymore. Previous state was: passing
- hurl.0.0.1~beta1 on 5.3 is not available anymore. Previous state was: partially failing
- hxd.0.3.5 on 5.3 is not available anymore. Previous state was: passing
- integers.0.7.0 on 5.3 is not available anymore. Previous state was: passing
- interval-map.0.2.0 on 5.3 is not available anymore. Previous state was: passing
- ip2proxy.3.1.0 on 5.3 is not available anymore. Previous state was: passing
- ipaddr-cstruct.5.6.1 on 5.3 is not available anymore. Previous state was: partially failing
- ipaddr-sexp.5.6.1 on 5.3 is not available anymore. Previous state was: passing
- ipaddr.5.6.1 on 5.3 is not available anymore. Previous state was: passing
- iri.1.1.0 on 5.3 is not available anymore. Previous state was: passing
- jasmin.2025.06.1 on 5.3 is not available anymore. Previous state was: passing
- jext.0.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- jingoo.1.5.1 on 5.3 is not available anymore. Previous state was: passing
- js_of_ocaml-compiler.6.2.0 on 5.3 is not available anymore. Previous state was: passing
- js_of_ocaml-lwt.6.2.0 on 5.3 is not available anymore. Previous state was: passing
- js_of_ocaml-ppx.6.2.0 on 5.3 is not available anymore. Previous state was: passing
- js_of_ocaml-ppx_deriving_json.6.2.0 on 5.3 is not available anymore. Previous state was: passing
- js_of_ocaml-toplevel.6.2.0 on 5.3 is not available anymore. Previous state was: passing
- js_of_ocaml-tyxml.6.2.0 on 5.3 is not available anymore. Previous state was: passing
- js_of_ocaml.6.2.0 on 5.3 is not available anymore. Previous state was: passing
- json-data-encoding-browser.1.0.1 on 5.3 is not available anymore. Previous state was: passing
- json-data-encoding-bson.1.0.1 on 5.3 is not available anymore. Previous state was: partially failing
- json-data-encoding.1.0.1 on 5.3 is not available anymore. Previous state was: partially failing
- jsonrpc.1.24.0 on 5.3 is not available anymore. Previous state was: passing
- kaun.1.0.0~alpha1 on 5.3 is not available anymore. Previous state was: partially failing
- kdf.1.0.0 on 5.3 is not available anymore. Previous state was: passing
- kind2.2.3.0 on 5.3 is not available anymore. Previous state was: passing
- kqueue.0.4.0 on 5.3 is not available anymore. Previous state was: passing
- lablgtk3.3.1.5 on 5.3 is not available anymore. Previous state was: passing
- lambda-term.3.3.2 on 5.3 is not available anymore. Previous state was: passing
- landmarks-ppx.1.5 on 5.3 is not available anymore. Previous state was: partially failing
- landmarks.1.5 on 5.3 is not available anymore. Previous state was: passing
- ledgerwallet-tezos.0.4.1 on 5.3 is not available anymore. Previous state was: partially failing
- lem.2025-03-13 on 5.3 is not available anymore. Previous state was: passing
- letsencrypt-app.1.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- letsencrypt-dns.1.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- letsencrypt-mirage.1.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- letsencrypt.1.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- libbinaryen.121.0.0 on 5.3 is not available anymore. Previous state was: passing
- libdash.0.3 on 5.3 is not available anymore. Previous state was: passing
- libsail.0.20 on 5.3 is not available anymore. Previous state was: partially failing
- linol-eio.0.10 on 5.3 is not available anymore. Previous state was: partially failing
- linol-lwt.0.10 on 5.3 is not available anymore. Previous state was: passing
- linol.0.10 on 5.3 is not available anymore. Previous state was: passing
- liquid_interpreter.0.1.2 on 5.3 is not available anymore. Previous state was: partially failing
- liquid_ml.0.1.2 on 5.3 is not available anymore. Previous state was: partially failing
- liquid_parser.0.1.2 on 5.3 is not available anymore. Previous state was: passing
- liquid_std.0.1.2 on 5.3 is not available anymore. Previous state was: partially failing
- liquid_syntax.0.1.2 on 5.3 is not available anymore. Previous state was: passing
- liquidsoap-js.2.4.0 on 5.3 is not available anymore. Previous state was: partially failing
- liquidsoap-lang.2.4.0 on 5.3 is not available anymore. Previous state was: partially failing
- liquidsoap-mode.2.4.0 on 5.3 is not available anymore. Previous state was: partially failing
- liquidsoap.2.4.0 on 5.3 is not available anymore. Previous state was: partially failing
- lmdb.1.0 on 5.3 is not available anymore. Previous state was: passing
- loc.0.2.2 on 5.3 is not available anymore. Previous state was: passing
- logs.0.9.0 on 5.3 is not available anymore. Previous state was: passing
- lsp.1.24.0 on 5.3 is not available anymore. Previous state was: passing
- lua-ml.0.9.4 on 5.3 is not available anymore. Previous state was: passing
- lun.0.0.1 on 5.3 is not available anymore. Previous state was: passing
- lwd.0.4 on 5.3 is not available anymore. Previous state was: passing
- lwt.6.0.0~alpha00 on 5.3 is not available anymore. Previous state was: passing
- lwt_eio.0.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- lwt_ppx.5.9.2 on 5.3 is not available anymore. Previous state was: passing
- macaddr-cstruct.5.6.1 on 5.3 is not available anymore. Previous state was: partially failing
- macaddr-sexp.5.6.1 on 5.3 is not available anymore. Previous state was: passing
- macaddr.5.6.1 on 5.3 is not available anymore. Previous state was: passing
- malfunction.0.7 on 5.3 is not available anymore. Previous state was: passing
- mazeppa.0.5.2 on 5.3 is not available anymore. Previous state was: partially failing
- mdx.2.5.1 on 5.3 is not available anymore. Previous state was: passing
- melange-fest.0.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- melange-fetch.0.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- melange-jest.0.1.1 on 5.3 is not available anymore. Previous state was: partially failing
- melange-testing-library.0.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- melange-webapi.0.21.0 on 5.3 is not available anymore. Previous state was: partially failing
- mem_usage.0.1.2 on 5.3 is not available anymore. Previous state was: passing
- memcpy.0.2.2 on 5.3 is not available anymore. Previous state was: passing
- menhir.20250912 on 5.3 is not available anymore. Previous state was: passing
- menhirCST.20250912 on 5.3 is not available anymore. Previous state was: passing
- menhirLib.20250912 on 5.3 is not available anymore. Previous state was: passing
- menhirSdk.20250912 on 5.3 is not available anymore. Previous state was: passing
- metadata.0.3.1 on 5.3 is not available anymore. Previous state was: passing
- mimic-happy-eyeballs.0.0.9 on 5.3 is not available anymore. Previous state was: partially failing
- mimic.0.0.9 on 5.3 is not available anymore. Previous state was: partially failing
- minios-xen.0.9 on 5.3 is not available anymore. Previous state was: passing
- miou.0.5.0 on 5.3 is not available anymore. Previous state was: passing
- mirage-crypto-ec.2.0.2 on 5.3 is not available anymore. Previous state was: passing
- mirage-crypto-pk.2.0.2 on 5.3 is not available anymore. Previous state was: passing
- mirage-crypto-rng-miou-unix.2.0.2 on 5.3 is not available anymore. Previous state was: passing
- mirage-crypto-rng-mirage.2.0.2 on 5.3 is not available anymore. Previous state was: passing
- mirage-crypto-rng.2.0.2 on 5.3 is not available anymore. Previous state was: passing
- mirage-crypto.2.0.2 on 5.3 is not available anymore. Previous state was: passing
- mirage-net-solo5.0.8.0 on 5.3 is not available anymore. Previous state was: passing
- mirage-ptime.5.1.0 on 5.3 is not available anymore. Previous state was: passing
- mirage-runtime.4.10.2 on 5.3 is not available anymore. Previous state was: passing
- mirage-xen-minios.0.9.3 on 5.3 is not available anymore. Previous state was: passing
- mirage-xen-posix.3.3.1 on 5.3 is not available anymore. Previous state was: passing
- mirage.4.10.2 on 5.3 is not available anymore. Previous state was: partially failing
- mlx.0.10 on 5.3 is not available anymore. Previous state was: passing
- moonpool-lwt.0.9 on 5.3 is not available anymore. Previous state was: partially failing
- moonpool.0.9 on 5.3 is not available anymore. Previous state was: partially failing
- mpi.1.06 on 5.3 is not available anymore. Previous state was: passing
- mrmime.0.7.0 on 5.3 is not available anymore. Previous state was: partially failing
- multicore-magic-dscheck.2.3.1 on 5.3 is not available anymore. Previous state was: passing
- multicore-magic.2.3.1 on 5.3 is not available anymore. Previous state was: passing
- multipart_form-cohttp-lwt.0.7.0 on 5.3 is not available anymore. Previous state was: partially failing
- multipart_form-eio.0.7.0 on 5.3 is not available anymore. Previous state was: partially failing
- multipart_form-lwt.0.7.0 on 5.3 is not available anymore. Previous state was: partially failing
- multipart_form-miou.0.7.0 on 5.3 is not available anymore. Previous state was: partially failing
- multipart_form.0.7.0 on 5.3 is not available anymore. Previous state was: partially failing
- ninja_utils.0.9.0 on 5.3 is not available anymore. Previous state was: passing
- nottui-lwt.0.4 on 5.3 is not available anymore. Previous state was: passing
- nottui-pretty.0.4 on 5.3 is not available anymore. Previous state was: passing
- nottui-unix.0.4 on 5.3 is not available anymore. Previous state was: passing
- nottui.0.4 on 5.3 is not available anymore. Previous state was: passing
- nx-datasets.1.0.0~alpha1 on 5.3 is not available anymore. Previous state was: passing
- nx.1.0.0~alpha1 on 5.3 is not available anymore. Previous state was: passing
- obuild.0.1.11 on 5.3 is not available anymore. Previous state was: passing
- obuilder-spec.0.6.0 on 5.3 is not available anymore. Previous state was: passing
- obuilder.0.6.0 on 5.3 is not available anymore. Previous state was: passing
- ocaml-protoc.3.1.1 on 5.3 is not available anymore. Previous state was: passing
- ocaml-solo5-cross-aarch64.1.1.0 on 5.3 is not available anymore. Previous state was: passing
- ocaml-solo5.1.1.0 on 5.3 is not available anymore. Previous state was: passing
- ocaml-unikraft-arm64.1.0.0 on 5.3 is not available anymore. Previous state was: passing
- ocaml-unikraft-backend-firecracker-arm64.0.18.0 on 5.3 is not available anymore. Previous state was: passing
- ocaml-unikraft-backend-firecracker-x86_64.0.18.0 on 5.3 is not available anymore. Previous state was: passing
- ocaml-unikraft-backend-firecracker.0.18.0 on 5.3 is not available anymore. Previous state was: passing
- ocaml-unikraft-backend-qemu-arm64.0.18.0 on 5.3 is not available anymore. Previous state was: passing
- ocaml-unikraft-backend-qemu-x86_64.0.18.0 on 5.3 is not available anymore. Previous state was: passing
- ocaml-unikraft-backend-qemu.0.18.0 on 5.3 is not available anymore. Previous state was: passing
- ocaml-unikraft-default-arm64.1.0.0 on 5.3 is not available anymore. Previous state was: passing
- ocaml-unikraft-default-x86_64.1.0.0 on 5.3 is not available anymore. Previous state was: passing
- ocaml-unikraft-option-debug.0.18.0 on 5.3 is not available anymore. Previous state was: passing
- ocaml-unikraft-toolchain-arm64.0.18.0 on 5.3 is not available anymore. Previous state was: passing
- ocaml-unikraft-toolchain-x86_64.0.18.0 on 5.3 is not available anymore. Previous state was: passing
- ocaml-unikraft-x86_64.1.0.0 on 5.3 is not available anymore. Previous state was: passing
- ocaml-unikraft.1.0.0 on 5.3 is not available anymore. Previous state was: passing
- ocaml-version.4.0.3 on 5.3 is not available anymore. Previous state was: passing
- ocaml_intrinsics_kernel.v0.17.1 on 5.3 is not available anymore. Previous state was: passing
- ocamlbrowser.5.3.0 on 5.3 is not available anymore. Previous state was: passing
- ocamlc-loc.3.20.2 on 5.3 is not available anymore. Previous state was: passing
- ocamlformat-lib.0.27.0 on 5.3 is not available anymore. Previous state was: passing
- ocamlformat-mlx-lib.0.27.0.1 on 5.3 is not available anymore. Previous state was: passing
- ocamlformat-mlx.0.27.0.1 on 5.3 is not available anymore. Previous state was: passing
- ocamlformat-rpc-lib.0.27.0 on 5.3 is not available anymore. Previous state was: passing
- ocamlformat.0.27.0 on 5.3 is not available anymore. Previous state was: passing
- ocamlfuse.2.7.1-cvs13 on 5.3 is not available anymore. Previous state was: passing
- ocamlmerlin-mlx.0.10 on 5.3 is not available anymore. Previous state was: passing
- ocamlmig.5.3-20250429 on 5.3 is not available anymore. Previous state was: failing
- ocf.0.9.0 on 5.3 is not available anymore. Previous state was: passing
- ocf_ppx.0.9.0 on 5.3 is not available anymore. Previous state was: passing
- ocluster-api.0.3.0 on 5.3 is not available anymore. Previous state was: partially failing
- ocluster-worker.0.3.0 on 5.3 is not available anymore. Previous state was: partially failing
- ocluster.0.3.0 on 5.3 is not available anymore. Previous state was: partially failing
- ocp-browser.1.4.0 on 5.3 is not available anymore. Previous state was: passing
- ocp-index.1.4.0 on 5.3 is not available anymore. Previous state was: passing
- ocsigen-i18n.4.0.0 on 5.3 is not available anymore. Previous state was: passing
- ocsigen-ppx-rpc.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- ocsigenserver.6.0.0 on 5.3 is not available anymore. Previous state was: partially failing
- ocsipersist-dbm-config.2.0.0 on 5.3 is not available anymore. Previous state was: partially failing
- ocsipersist-dbm.2.0.0 on 5.3 is not available anymore. Previous state was: passing
- ocsipersist-lib.2.0.0 on 5.3 is not available anymore. Previous state was: passing
- ocsipersist-pgsql-config.2.0.0 on 5.3 is not available anymore. Previous state was: partially failing
- ocsipersist-pgsql.2.0.0 on 5.3 is not available anymore. Previous state was: partially failing
- ocsipersist-sqlite-config.2.0.0 on 5.3 is not available anymore. Previous state was: partially failing
- ocsipersist-sqlite.2.0.0 on 5.3 is not available anymore. Previous state was: passing
- ocsipersist.2.0.0 on 5.3 is not available anymore. Previous state was: passing
- octez-alcotezt.20.1 on 5.3 is not available anymore. Previous state was: partially failing
- octez-distributed-internal.20.1 on 5.3 is not available anymore. Previous state was: passing
- octez-distributed-lwt-internal.20.1 on 5.3 is not available anymore. Previous state was: passing
- octez-smart-rollup-wasm-debugger-plugin.20.1 on 5.3 is not available anymore. Previous state was: passing
- odep.0.2.1 on 5.3 is not available anymore. Previous state was: partially failing
- odoc-driver.3.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- odoc-md.3.1.0 on 5.3 is not available anymore. Previous state was: passing
- odoc-parser.3.1.0 on 5.3 is not available anymore. Previous state was: passing
- odoc.3.1.0 on 5.3 is not available anymore. Previous state was: passing
- ojs.1.1.5 on 5.3 is not available anymore. Previous state was: passing
- ojs_base.0.8.0 on 5.3 is not available anymore. Previous state was: partially failing
- ojs_base_all.0.8.0 on 5.3 is not available anymore. Previous state was: partially failing
- ojs_base_ppx.0.8.0 on 5.3 is not available anymore. Previous state was: partially failing
- ojs_ed.0.8.0 on 5.3 is not available anymore. Previous state was: partially failing
- ojs_filetree.0.8.0 on 5.3 is not available anymore. Previous state was: partially failing
- ojs_list.0.8.0 on 5.3 is not available anymore. Previous state was: partially failing
- omod.0.0.4 on 5.3 is not available anymore. Previous state was: passing
- oniguruma.0.1.2 on 5.3 is not available anymore. Previous state was: passing
- opam-0install.0.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- opam-build.0.2.5 on 5.3 is not available anymore. Previous state was: partially failing
- opam-check-npm-deps.3.0.1 on 5.3 is not available anymore. Previous state was: partially failing
- opam-client.2.4.1 on 5.3 is not available anymore. Previous state was: partially failing
- opam-core.2.4.1 on 5.3 is not available anymore. Previous state was: partially failing
- opam-devel.2.4.1 on 5.3 is not available anymore. Previous state was: partially failing
- opam-format.2.4.1 on 5.3 is not available anymore. Previous state was: partially failing
- opam-installer.2.4.1 on 5.3 is not available anymore. Previous state was: partially failing
- opam-publish.2.7.0 on 5.3 is not available anymore. Previous state was: partially failing
- opam-repository.2.4.1 on 5.3 is not available anymore. Previous state was: partially failing
- opam-solver.2.4.1 on 5.3 is not available anymore. Previous state was: partially failing
- opam-state.2.4.1 on 5.3 is not available anymore. Previous state was: partially failing
- opam-test.0.2.5 on 5.3 is not available anymore. Previous state was: partially failing
- opentelemetry-client-cohttp-eio.0.12 on 5.3 is not available anymore. Previous state was: partially failing
- opentelemetry-client-cohttp-lwt.0.12 on 5.3 is not available anymore. Previous state was: partially failing
- opentelemetry-client-ocurl.0.12 on 5.3 is not available anymore. Previous state was: passing
- opentelemetry-cohttp-lwt.0.12 on 5.3 is not available anymore. Previous state was: partially failing
- opentelemetry-logs.0.12 on 5.3 is not available anymore. Previous state was: passing
- opentelemetry-lwt.0.12 on 5.3 is not available anymore. Previous state was: passing
- opentelemetry.0.12 on 5.3 is not available anymore. Previous state was: passing
- oplot.0.80 on 5.3 is not available anymore. Previous state was: passing
- orb.1.0.0 on 5.3 is not available anymore. Previous state was: partially failing
- ordering.3.20.2 on 5.3 is not available anymore. Previous state was: passing
- ortac-core.0.7.2 on 5.3 is not available anymore. Previous state was: partially failing
- ortac-dune.0.7.2 on 5.3 is not available anymore. Previous state was: partially failing
- ortac-qcheck-stm.0.7.2 on 5.3 is not available anymore. Previous state was: partially failing
- ortac-runtime-qcheck-stm.0.7.2 on 5.3 is not available anymore. Previous state was: passing
- ortac-runtime.0.7.2 on 5.3 is not available anymore. Previous state was: passing
- ortac-wrapper.0.7.2 on 5.3 is not available anymore. Previous state was: partially failing
- pa_ppx.0.20 on 5.3 is not available anymore. Previous state was: partially failing
- pa_ppx_hashcons.0.11 on 5.3 is not available anymore. Previous state was: partially failing
- pa_ppx_migrate.0.13 on 5.3 is not available anymore. Previous state was: partially failing
- pa_ppx_migrate_ocaml_parsetree.0.01 on 5.3 is not available anymore. Previous state was: partially failing
- pa_ppx_quotation2extension.0.02 on 5.3 is not available anymore. Previous state was: partially failing
- pa_ppx_regexp.0.05 on 5.3 is not available anymore. Previous state was: partially failing
- pa_ppx_static.0.02 on 5.3 is not available anymore. Previous state was: partially failing
- pa_ppx_unique.0.11 on 5.3 is not available anymore. Previous state was: partially failing
- pacomb.1.3 on 5.3 is not available anymore. Previous state was: partially failing
- pageantty.0.0.2 on 5.3 is not available anymore. Previous state was: passing
- passage.0.1.7 on 5.3 is not available anymore. Previous state was: partially failing
- patch.3.0.0 on 5.3 is not available anymore. Previous state was: passing
- patricia-tree.0.11.0 on 5.3 is not available anymore. Previous state was: passing
- pbrt.3.1.1 on 5.3 is not available anymore. Previous state was: passing
- pbrt_services.3.1.1 on 5.3 is not available anymore. Previous state was: partially failing
- pbrt_yojson.3.1.1 on 5.3 is not available anymore. Previous state was: partially failing
- pcre2.8.0.3 on 5.3 is not available anymore. Previous state was: passing
- pf-qubes.0.1.1 on 5.3 is not available anymore. Previous state was: partially failing
- polly.0.4.1 on 5.3 is not available anymore. Previous state was: passing
- portmidi.0.4 on 5.3 is not available anymore. Previous state was: passing
- posix-base.2.2.0 on 5.3 is not available anymore. Previous state was: passing
- posix-bindings.3 on 5.3 is not available anymore. Previous state was: passing
- posix-getopt.2.2.0 on 5.3 is not available anymore. Previous state was: passing
- posix-math2.2.2.0 on 5.3 is not available anymore. Previous state was: passing
- posix-signal.2.2.0 on 5.3 is not available anymore. Previous state was: passing
- posix-socket-unix.3.0.0 on 5.3 is not available anymore. Previous state was: passing
- posix-socket.3.0.0 on 5.3 is not available anymore. Previous state was: passing
- posix-time2.2.2.0 on 5.3 is not available anymore. Previous state was: passing
- posix-types.2.2.0 on 5.3 is not available anymore. Previous state was: passing
- posix-uname.2.2.0 on 5.3 is not available anymore. Previous state was: passing
- postgresql.5.3.2 on 5.3 is not available anymore. Previous state was: partially failing
- ppx_bitstring.5.0.1 on 5.3 is not available anymore. Previous state was: passing
- ppx_deriving.6.1.1 on 5.3 is not available anymore. Previous state was: passing
- ppx_deriving_jsonschema.0.0.4 on 5.3 is not available anymore. Previous state was: passing
- ppx_deriving_qcheck.0.7 on 5.3 is not available anymore. Previous state was: passing
- ppx_deriving_rpc.9.0.0 on 5.3 is not available anymore. Previous state was: partially failing
- ppx_deriving_variant_string.1.0.1 on 5.3 is not available anymore. Previous state was: passing
- ppx_expect_nobase.v0.17.2.2 on 5.3 is not available anymore. Previous state was: partially failing
- ppx_inline_test_nobase.v0.17.0.2 on 5.3 is not available anymore. Previous state was: partially failing
- ppx_lun.0.0.1 on 5.3 is not available anymore. Previous state was: partially failing
- ppx_marshal.0.3.0 on 5.3 is not available anymore. Previous state was: partially failing
- ppx_marshal_ext.0.3.0 on 5.3 is not available anymore. Previous state was: partially failing
- ppx_matches.0.1 on 5.3 is not available anymore. Previous state was: partially failing
- ppx_minidebug.2.4.0 on 5.3 is not available anymore. Previous state was: passing
- ppx_parser.0.2.0 on 5.3 is not available anymore. Previous state was: partially failing
- ppx_regexp.0.5.1 on 5.3 is not available anymore. Previous state was: partially failing
- ppx_repr.0.7.0 on 5.3 is not available anymore. Previous state was: partially failing
- ppx_subliner.0.2.1 on 5.3 is not available anymore. Previous state was: partially failing
- ppx_trace.0.10 on 5.3 is not available anymore. Previous state was: partially failing
- ppxlib-tools.0.37.0 on 5.3 is not available anymore. Previous state was: passing
- ppxlib.0.37.0 on 5.3 is not available anymore. Previous state was: passing
- pratter.5.0.1 on 5.3 is not available anymore. Previous state was: passing
- prettym.0.0.3 on 5.3 is not available anymore. Previous state was: passing
- print-table.0.1.0 on 5.3 is not available anymore. Previous state was: passing
- prometheus-app.1.2 on 5.3 is not available anymore. Previous state was: partially failing
- prometheus.1.2 on 5.3 is not available anymore. Previous state was: passing
- pure-html.3.11.1 on 5.3 is not available anymore. Previous state was: passing
- qcheck-alcotest.0.26 on 5.3 is not available anymore. Previous state was: passing
- qcheck-core.0.26 on 5.3 is not available anymore. Previous state was: passing
- qcheck-ounit.0.26 on 5.3 is not available anymore. Previous state was: passing
- qcheck.0.26 on 5.3 is not available anymore. Previous state was: passing
- qcow-stream.0.12.1 on 5.3 is not available anymore. Previous state was: partially failing
- qcow-types.0.12.1 on 5.3 is not available anymore. Previous state was: partially failing
- qiskit.1.0.2 on 5.3 is not available anymore. Previous state was: passing
- quickjs.0.1.2 on 5.3 is not available anymore. Previous state was: passing
- quill.1.0.0~alpha1 on 5.3 is not available anymore. Previous state was: partially failing
- raven.1.0.0~alpha1 on 5.3 is not available anymore. Previous state was: partially failing
- raygui.1.4.0 on 5.3 is not available anymore. Previous state was: passing
- raylib.1.4.0 on 5.3 is not available anymore. Previous state was: passing
- reason-react-ppx.0.16.0 on 5.3 is not available anymore. Previous state was: partially failing
- reason-react.0.16.0 on 5.3 is not available anymore. Previous state was: partially failing
- reason.3.17.0 on 5.3 is not available anymore. Previous state was: passing
- received.0.11.0 on 5.3 is not available anymore. Previous state was: partially failing
- repr-bench.0.7.0 on 5.3 is not available anymore. Previous state was: partially failing
- repr-fuzz.0.7.0 on 5.3 is not available anymore. Previous state was: partially failing
- repr.0.7.0 on 5.3 is not available anymore. Previous state was: partially failing
- resource-pooling.1.2 on 5.3 is not available anymore. Previous state was: passing
- rfc1951.1.5.3 on 5.3 is not available anymore. Previous state was: passing
- rfsm.2.0 on 5.3 is not available anymore. Previous state was: partially failing
- rocq-core.9.1.0 on 5.3 is not available anymore. Previous state was: passing
- rocq-devtools.9.1.0 on 5.3 is not available anymore. Previous state was: passing
- rocq-prover.9.0.0 on 5.3 is not available anymore. Previous state was: passing
- rocq-runtime.9.1.0 on 5.3 is not available anymore. Previous state was: passing
- rocq-stdlib.9.0.0 on 5.3 is not available anymore. Previous state was: passing
- rocqide.9.1.0 on 5.3 is not available anymore. Previous state was: passing
- rosetta.0.3.0 on 5.3 is not available anymore. Previous state was: passing
- rpclib-async.9.0.0 on 5.3 is not available anymore. Previous state was: partially failing
- rpclib-html.9.0.0 on 5.3 is not available anymore. Previous state was: partially failing
- rpclib-js.9.0.0 on 5.3 is not available anymore. Previous state was: partially failing
- rpclib-lwt.9.0.0 on 5.3 is not available anymore. Previous state was: partially failing
- rpclib.9.0.0 on 5.3 is not available anymore. Previous state was: partially failing
- rtop.3.17.0 on 5.3 is not available anymore. Previous state was: passing
- rtree.0.1.1 on 5.3 is not available anymore. Previous state was: partially failing
- rune.1.0.0~alpha1 on 5.3 is not available anymore. Previous state was: passing
- runtime_events_tools.0.5.3 on 5.3 is not available anymore. Previous state was: failing
- runtime_events_tools_bare.0.5.3 on 5.3 is not available anymore. Previous state was: failing
- saga.1.0.0~alpha1 on 5.3 is not available anymore. Previous state was: passing
- sail.0.20 on 5.3 is not available anymore. Previous state was: partially failing
- sail_c_backend.0.20 on 5.3 is not available anymore. Previous state was: partially failing
- sail_coq_backend.0.20 on 5.3 is not available anymore. Previous state was: partially failing
- sail_doc_backend.0.20 on 5.3 is not available anymore. Previous state was: partially failing
- sail_latex_backend.0.20 on 5.3 is not available anymore. Previous state was: partially failing
- sail_lean_backend.0.20 on 5.3 is not available anymore. Previous state was: partially failing
- sail_lem_backend.0.20 on 5.3 is not available anymore. Previous state was: partially failing
- sail_ocaml_backend.0.20 on 5.3 is not available anymore. Previous state was: partially failing
- sail_output.0.20 on 5.3 is not available anymore. Previous state was: partially failing
- sail_smt_backend.0.20 on 5.3 is not available anymore. Previous state was: partially failing
- sail_sv_backend.0.20 on 5.3 is not available anymore. Previous state was: partially failing
- satex.0.1.1 on 5.3 is not available anymore. Previous state was: passing
- savvy.0.4.0 on 5.3 is not available anymore. Previous state was: partially failing
- sek.20201012 on 5.3 is not available anymore. Previous state was: passing
- sel.0.7.0 on 5.3 is not available anymore. Previous state was: passing
- sendmail-lwt.0.12.0 on 5.3 is not available anymore. Previous state was: partially failing
- sendmail-miou-unix.0.12.0 on 5.3 is not available anymore. Previous state was: partially failing
- sendmail-mirage.0.12.0 on 5.3 is not available anymore. Previous state was: partially failing
- sendmail.0.12.0 on 5.3 is not available anymore. Previous state was: partially failing
- server-reason-react.0.3.1 on 5.3 is not available anymore. Previous state was: partially failing
- sherlodoc.3.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- slice.0.0.2 on 5.3 is not available anymore. Previous state was: passing
- slipshow.0.6.0 on 5.3 is not available anymore. Previous state was: partially failing
- smtml.0.12.0 on 5.3 is not available anymore. Previous state was: passing
- solo5-cross-aarch64.0.9.3 on 5.3 is not available anymore. Previous state was: passing
- solo5.0.9.3 on 5.3 is not available anymore. Previous state was: passing
- soupault.4.11.0 on 5.3 is not available anymore. Previous state was: partially failing
- sowilo.1.0.0~alpha1 on 5.3 is not available anymore. Previous state was: passing
- spectrum.0.6.0 on 5.3 is not available anymore. Previous state was: partially failing
- sqlite3.5.3.1 on 5.3 is not available anymore. Previous state was: passing
- starpath.0.1.2 on 5.3 is not available anymore. Previous state was: passing
- starred_ml.0.0.7 on 5.3 is not available anymore. Previous state was: partially failing
- stdune.3.20.2 on 5.3 is not available anymore. Previous state was: passing
- stone.0.6 on 5.3 is not available anymore. Previous state was: passing
- store.0.1 on 5.3 is not available anymore. Previous state was: passing
- synchronizer.0.1 on 5.3 is not available anymore. Previous state was: passing
- syndic.1.7.0 on 5.3 is not available anymore. Previous state was: passing
- syslog-rfc5424.0.1 on 5.3 is not available anymore. Previous state was: passing
- talon.1.0.0~alpha1 on 5.3 is not available anymore. Previous state was: passing
- tar-eio.3.3.0 on 5.3 is not available anymore. Previous state was: passing
- tar-mirage.3.3.0 on 5.3 is not available anymore. Previous state was: passing
- tar-unix.3.3.0 on 5.3 is not available anymore. Previous state was: passing
- tar.3.3.0 on 5.3 is not available anymore. Previous state was: passing
- testo-diff.0.2.0 on 5.3 is not available anymore. Previous state was: passing
- testo-lwt.0.2.0 on 5.3 is not available anymore. Previous state was: passing
- testo-util.0.2.0 on 5.3 is not available anymore. Previous state was: passing
- testo.0.2.0 on 5.3 is not available anymore. Previous state was: passing
- textmate-language.0.4.0 on 5.3 is not available anymore. Previous state was: passing
- tezos-bls12-381-polynomial.1.0.1 on 5.3 is not available anymore. Previous state was: partially failing
- tezos-context-hash-irmin.1.0.0 on 5.3 is not available anymore. Previous state was: partially failing
- tezos-hacl-glue.12.3 on 5.3 is not available anymore. Previous state was: passing
- tezos-openapi.20.1 on 5.3 is not available anymore. Previous state was: partially failing
- tezos-plompiler.1.0.1 on 5.3 is not available anymore. Previous state was: partially failing
- tezos-plonk.1.0.1 on 5.3 is not available anymore. Previous state was: partially failing
- tezos-protocol-environment-packer.12.3 on 5.3 is not available anymore. Previous state was: passing
- tezos-protocol-environment-sigs.12.3 on 5.3 is not available anymore. Previous state was: passing
- tezos-rust-libs.1.7 on 5.3 is not available anymore. Previous state was: passing
- tezos-sapling-parameters.1.1.0 on 5.3 is not available anymore. Previous state was: passing
- tezt.4.2.0 on 5.3 is not available anymore. Previous state was: partially failing
- timedesc-json.3.1.0 on 5.3 is not available anymore. Previous state was: passing
- timedesc-sexp.3.1.0 on 5.3 is not available anymore. Previous state was: passing
- timedesc-tzdb.3.1.0 on 5.3 is not available anymore. Previous state was: passing
- timedesc-tzlocal-js.3.1.0 on 5.3 is not available anymore. Previous state was: passing
- timedesc-tzlocal.3.1.0 on 5.3 is not available anymore. Previous state was: passing
- timedesc.3.1.0 on 5.3 is not available anymore. Previous state was: passing
- tiny_httpd.0.19 on 5.3 is not available anymore. Previous state was: passing
- tiny_httpd_camlzip.0.19 on 5.3 is not available anymore. Previous state was: passing
- tls-async.2.0.3 on 5.3 is not available anymore. Previous state was: partially failing
- tls-eio.2.0.3 on 5.3 is not available anymore. Previous state was: partially failing
- tls-lwt.2.0.3 on 5.3 is not available anymore. Previous state was: partially failing
- tls-miou-unix.2.0.3 on 5.3 is not available anymore. Previous state was: partially failing
- tls-mirage.2.0.3 on 5.3 is not available anymore. Previous state was: partially failing
- tls.2.0.3 on 5.3 is not available anymore. Previous state was: partially failing
- topkg-care.1.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- topkg.1.1.0 on 5.3 is not available anymore. Previous state was: passing
- trace-fuchsia.0.10 on 5.3 is not available anymore. Previous state was: passing
- trace-tef.0.10 on 5.3 is not available anymore. Previous state was: passing
- trace.0.10 on 5.3 is not available anymore. Previous state was: passing
- tracy-client.0.6 on 5.3 is not available anymore. Previous state was: passing
- tsdl-ttf.0.6 on 5.3 is not available anymore. Previous state was: passing
- tsdl.1.1.0 on 5.3 is not available anymore. Previous state was: passing
- tuntap.2.0.1 on 5.3 is not available anymore. Previous state was: passing
- tyre.0.5 on 5.3 is not available anymore. Previous state was: passing
- tyxml-lwd.0.4 on 5.3 is not available anymore. Previous state was: passing
- unidecode.0.4.0 on 5.3 is not available anymore. Previous state was: passing
- unikraft-musl.0.18.0 on 5.3 is not available anymore. Previous state was: passing
- unikraft.0.18.0 on 5.3 is not available anymore. Previous state was: passing
- unionFind.20250818 on 5.3 is not available anymore. Previous state was: passing
- unisim_archisec.0.0.13 on 5.3 is not available anymore. Previous state was: passing
- unison-gui.2.53.7 on 5.3 is not available anymore. Previous state was: passing
- unison.2.53.7 on 5.3 is not available anymore. Previous state was: passing
- uring.2.7.0 on 5.3 is not available anymore. Previous state was: partially failing
- uspf-lwt.0.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- uspf-mirage.0.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- uspf.0.1.0 on 5.3 is not available anymore. Previous state was: partially failing
- utop.2.16.0 on 5.3 is not available anymore. Previous state was: passing
- uuuu.0.3.0 on 5.3 is not available anymore. Previous state was: passing
- vif.0.0.1~beta1 on 5.3 is not available anymore. Previous state was: partially failing
- visitors.20251010 on 5.3 is not available anymore. Previous state was: passing
- volgo-base.0.0.21 on 5.3 is not available anymore. Previous state was: passing
- volgo-git-backend.0.0.21 on 5.3 is not available anymore. Previous state was: passing
- volgo-git-eio.0.0.21 on 5.3 is not available anymore. Previous state was: passing
- volgo-git-unix.0.0.21 on 5.3 is not available anymore. Previous state was: passing
- volgo-hg-backend.0.0.21 on 5.3 is not available anymore. Previous state was: passing
- volgo-hg-eio.0.0.21 on 5.3 is not available anymore. Previous state was: passing
- volgo-hg-unix.0.0.21 on 5.3 is not available anymore. Previous state was: passing
- volgo-vcs.0.0.21 on 5.3 is not available anymore. Previous state was: passing
- volgo.0.0.21 on 5.3 is not available anymore. Previous state was: passing
- vscoq-language-server.2.2.6 on 5.3 is not available anymore. Previous state was: passing
- vsrocq-language-server.2.3.1 on 5.3 is not available anymore. Previous state was: passing
- wasm_of_ocaml-compiler.6.2.0 on 5.3 is not available anymore. Previous state was: passing
- wayland.2.2 on 5.3 is not available anymore. Previous state was: passing
- wcwidth.1.0.1 on 5.3 is not available anymore. Previous state was: passing
- why3find.1.2.0 on 5.3 is not available anymore. Previous state was: passing
- x509.1.0.6 on 5.3 is not available anymore. Previous state was: partially failing
- xapi-backtrace.0.7 on 5.3 is not available anymore. Previous state was: partially failing
- xdg.3.20.2 on 5.3 is not available anymore. Previous state was: passing
- xedbindings.0.11 on 5.3 is not available anymore. Previous state was: passing
- xtmpl.1.1.0 on 5.3 is not available anymore. Previous state was: passing
- xtmpl_js.1.1.0 on 5.3 is not available anymore. Previous state was: passing
- xtmpl_ppx.1.1.0 on 5.3 is not available anymore. Previous state was: passing
- yocaml.2.6.0 on 5.3 is not available anymore. Previous state was: passing
- yocaml_cmarkit.2.6.0 on 5.3 is not available anymore. Previous state was: passing
- yocaml_eio.2.6.0 on 5.3 is not available anymore. Previous state was: partially failing
- yocaml_git.2.6.0 on 5.3 is not available anymore. Previous state was: partially failing
- yocaml_jingoo.2.6.0 on 5.3 is not available anymore. Previous state was: passing
- yocaml_markdown.2.6.0 on 5.3 is not available anymore. Previous state was: failing
- yocaml_mustache.2.6.0 on 5.3 is not available anymore. Previous state was: passing
- yocaml_omd.2.6.0 on 5.3 is not available anymore. Previous state was: passing
- yocaml_otoml.2.6.0 on 5.3 is not available anymore. Previous state was: passing
- yocaml_runtime.2.6.0 on 5.3 is not available anymore. Previous state was: partially failing
- yocaml_syndication.2.6.0 on 5.3 is not available anymore. Previous state was: passing
- yocaml_unix.2.6.0 on 5.3 is not available anymore. Previous state was: partially failing
- yocaml_yaml.2.6.0 on 5.3 is not available anymore. Previous state was: passing
- z3.4.15.2 on 5.3 is not available anymore. Previous state was: passing
- zanuda.2.0.0 on 5.3 is not available anymore. Previous state was: partially failing
Packages now failing with an internal failure:
Packages now passing: