Home|Differences with the last checks|Previous runs

Differences between 3003310 and 2e72379 (git diff)

Packages now failing:

• bitstring.5.0.2 on 5.3.0 is now installable. Current state is: failing
• conf-mesa.1 on 4.14.2 had its build status changed: internal failure to failing
• conf-mesa.1 on 5.3.0 had its build status changed: internal failure to failing
• conf-r-mathlib.1 on 4.14.2 had its build status changed: internal failure to failing
• jasmin.2025.06.2 on 4.14.2 is now installable. Current state is: failing
• jasmin.2025.06.2 on 5.3.0 is now installable. Current state is: failing
• rune.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: 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
• stk.0.1.0 on 4.14.2 had its build status changed: passing to failing
• stk.0.1.0 on 5.3.0 had its build status changed: passing to failing
• stk.0.5.0 on 5.3.0 had its build status changed: passing to failing

Packages now partially failing:

• activitypub_gui.0.1.0 on 5.3.0 had its build status changed: passing to partially failing
• chamo.4.0 on 4.14.2 had its build status changed: internal failure to partially failing
• chamo.4.2.0 on 5.3.0 had its build status changed: internal failure to partially failing
• fehu.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: partially failing
• kaun.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: partially failing
• liquid_interpreter.0.1.3 on 4.14.2 is now installable. Current state is: partially failing
• liquid_ml.0.1.3 on 4.14.2 is now installable. Current state is: partially failing
• liquid_parser.0.1.3 on 4.14.2 is now installable. Current state is: partially failing
• liquid_std.0.1.3 on 4.14.2 is now installable. Current state is: partially failing
• liquid_syntax.0.1.3 on 4.14.2 is now installable. Current state is: partially failing
• mysql_protocol.3.0.3 on 5.3.0 had its build status changed: passing 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
• quill.1.0.0~alpha2 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
• raven.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: 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
• sowilo.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: partially failing
• statocaml_go.0.1.0 on 5.3.0 had its build status changed: passing to partially failing
• statocaml_gui.0.1.0 on 5.3.0 had its build status changed: internal failure to partially failing
• stk_ocf.0.5.0 on 5.3.0 had its build status changed: passing to partially failing
• stk_rdf.0.5.0 on 5.3.0 had its build status changed: passing to partially failing
• stk_xml.0.5.0 on 5.3.0 had its build status changed: passing 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-context.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-shell-services.17.3 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:

• albatross.2.6.0 on 4.14.2 is not available anymore. Previous state was: passing
• albatross.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• ansifmt.1.0.0~pre2 on 5.3.0 is not available anymore. Previous state was: passing
• azure-cosmos-db.0.3.1 on 4.14.2 is not available anymore. Previous state was: passing
• azure-cosmos-db.0.3.1 on 5.3.0 is not available anymore. Previous state was: internal failure
• bin.0.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• bin.0.0.2 on 5.3.0 is not available anymore. Previous state was: passing
• binaryen.0.26.0 on 4.14.2 is not available anymore. Previous state was: passing
• binaryen.0.26.0 on 5.3.0 is not available anymore. Previous state was: passing
• bitstring.5.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• bstr.0.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• bstr.0.0.2 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
• ca-certs-nss.3.117 on 4.14.2 is not available anymore. Previous state was: passing
• ca-certs-nss.3.117 on 5.3.0 is not available anymore. Previous state was: passing
• catala-format.1.0.0~beta on 4.14.2 is not available anymore. Previous state was: passing
• catala-format.1.0.0~beta on 5.3.0 is not available anymore. Previous state was: passing
• catala-lsp.1.0.0~beta on 4.14.2 is not available anymore. Previous state was: passing
• catala-lsp.1.0.0~beta on 5.3.0 is not available anymore. Previous state was: passing
• catala.1.0.0~beta on 4.14.2 is not available anymore. Previous state was: passing
• catala.1.0.0~beta on 5.3.0 is not available anymore. Previous state was: passing
• climate.0.8.5 on 4.14.2 is not available anymore. Previous state was: passing
• climate.0.8.5 on 5.3.0 is not available anymore. Previous state was: passing
• cmarkit.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• cmarkit.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• cmdliner.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• cmdliner.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• coin.0.1.4 on 4.14.2 is not available anymore. Previous state was: passing
• coin.0.1.4 on 5.3.0 is not available anymore. Previous state was: passing
• colombe.0.12.0 on 4.14.2 is not available anymore. Previous state was: passing
• colombe.0.12.0 on 5.3.0 is not available anymore. Previous state was: passing
• conf-libclang.15 on 4.14.2 is not available anymore. Previous state was: passing
• conf-libclang.15 on 5.3.0 is not available anymore. Previous state was: passing
• conf-openblas.0.2.2 on 4.14.2 is not available anymore. Previous state was: internal failure
• conf-openblas.0.2.2 on 5.3.0 is not available anymore. Previous state was: internal failure
• 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
• crowbar.0.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• crowbar.0.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• crypt.1.3 on 4.14.2 is not available anymore. Previous state was: failing
• crypt.1.3 on 5.3.0 is not available anymore. Previous state was: failing
• cryptoverif.2.11 on 4.14.2 is not available anymore. Previous state was: passing
• cryptoverif.2.11 on 5.3.0 is not available anymore. Previous state was: passing
• ctypes-foreign.0.23.0 on 4.14.2 is not available anymore. Previous state was: passing
• ctypes-foreign.0.23.0 on 5.3.0 is not available anymore. Previous state was: passing
• ctypes.0.23.0 on 4.14.2 is not available anymore. Previous state was: passing
• ctypes.0.23.0 on 5.3.0 is not available anymore. Previous state was: passing
• current.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
• current.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
• current_docker.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
• current_docker.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
• current_examples.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
• current_examples.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
• current_git.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
• current_git.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
• current_github.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
• current_github.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
• current_gitlab.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
• current_gitlab.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
• current_rpc.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
• current_rpc.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
• current_slack.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
• current_slack.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
• current_ssh.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
• current_ssh.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
• current_web.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
• current_web.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-api.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-api.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-cli.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-cli.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-core.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-core.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-etc.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-etc.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-git-cli.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-git-cli.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-git.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-git.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-common.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-common.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-cpp-parsing.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-cpp-parsing.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-cpp-spec.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-cpp-spec.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-cpp.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-cpp.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-fortran-parsing.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-fortran-parsing.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-fortran-spec.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-fortran-spec.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-fortran.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-fortran.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-java-parsing.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-java-parsing.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-java-spec.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-java-spec.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-java.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-java.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-python-parsing.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-python-parsing.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-python-spec.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-python-spec.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-python.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-python.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-verilog-parsing.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-verilog-parsing.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-verilog-spec.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-verilog-spec.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-langs-verilog.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-langs-verilog.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast-misc.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast-misc.0.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• diffast.0.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• diffast.0.3.5.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
• dkim-bin.0.8.0 on 4.14.2 is not available anymore. Previous state was: passing
• dkim-bin.0.8.0 on 5.3.0 is not available anymore. Previous state was: passing
• dkim-lwt-unix.0.8.0 on 4.14.2 is not available anymore. Previous state was: passing
• dkim-lwt-unix.0.8.0 on 5.3.0 is not available anymore. Previous state was: passing
• dkim-mirage.0.8.0 on 4.14.2 is not available anymore. Previous state was: passing
• dkim-mirage.0.8.0 on 5.3.0 is not available anymore. Previous state was: passing
• dkim.0.8.0 on 4.14.2 is not available anymore. Previous state was: passing
• dkim.0.8.0 on 5.3.0 is not available anymore. Previous state was: passing
• dkml-c-probe.3.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• dkml-c-probe.3.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• dream-html.3.11.1 on 4.14.2 is not available anymore. Previous state was: passing
• dream-html.3.11.1 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
• fehu.1.0.0~alpha1 on 5.3.0 is not available anymore. Previous state was: partially failing
• 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
• fit.1.3.2 on 4.14.2 is not available anymore. Previous state was: passing
• fit.1.3.2 on 5.3.0 is not available anymore. Previous state was: passing
• fpath-base.0.3.1 on 5.3.0 is not available anymore. Previous state was: passing
• fpath-sexp0.0.3.1 on 4.14.2 is not available anymore. Previous state was: passing
• fpath-sexp0.0.3.1 on 5.3.0 is not available anymore. Previous state was: passing
• frama-c-metacsl.0.9 on 4.14.2 is not available anymore. Previous state was: passing
• frama-c-metacsl.0.9 on 5.3.0 is not available anymore. Previous state was: passing
• frama-c.31.0 on 4.14.2 is not available anymore. Previous state was: passing
• frama-c.31.0 on 5.3.0 is not available anymore. Previous state was: passing
• gappa.1.4.1 on 4.14.2 is not available anymore. Previous state was: passing
• gappa.1.4.1 on 5.3.0 is not available anymore. Previous state was: passing
• gendarme-json.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• gendarme-json.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• gendarme-toml.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• gendarme-toml.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• gendarme-yaml.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• gendarme-yaml.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• gendarme.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• gendarme.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• goblint-cil.2.0.8 on 4.14.2 is not available anymore. Previous state was: passing
• goblint-cil.2.0.8 on 5.3.0 is not available anymore. Previous state was: passing
• handlebars-ml.0.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• handlebars-ml.0.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• hol2dk.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• hol2dk.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• hugin.1.0.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
• jasmin.2025.06.1 on 4.14.2 is not available anymore. Previous state was: failing
• jasmin.2025.06.1 on 5.3.0 is not available anymore. Previous state was: failing
• kaun.1.0.0~alpha1 on 5.3.0 is not available anymore. Previous state was: partially failing
• lablgtk3.3.1.5 on 4.14.2 is not available anymore. Previous state was: internal failure
• lablgtk3.3.1.5 on 5.3.0 is not available anymore. Previous state was: internal failure
• 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
• liquid_interpreter.0.1.2 on 4.14.2 is not available anymore. Previous state was: partially failing
• liquid_ml.0.1.2 on 4.14.2 is not available anymore. Previous state was: partially failing
• liquid_parser.0.1.2 on 4.14.2 is not available anymore. Previous state was: partially failing
• liquid_std.0.1.2 on 4.14.2 is not available anymore. Previous state was: partially failing
• liquid_syntax.0.1.2 on 4.14.2 is not available anymore. Previous state was: partially failing
• 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
• lun.0.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• lun.0.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• mazeppa.0.5.2 on 4.14.2 is not available anymore. Previous state was: passing
• mazeppa.0.5.2 on 5.3.0 is not available anymore. Previous state was: passing
• melange-fest.0.1.0 on 5.3.0 had its build status changed: passing to not available
• melange-fetch.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• melange-fetch.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• melange-jest.0.1.1 on 5.3.0 had its build status changed: passing to not available
• melange-moment.0.4.0 on 5.3.0 had its build status changed: passing to not available
• mirage-runtime.4.10.3 on 4.14.2 is not available anymore. Previous state was: passing
• mirage-runtime.4.10.3 on 5.3.0 is not available anymore. Previous state was: passing
• mirage.4.10.3 on 4.14.2 is not available anymore. Previous state was: passing
• mirage.4.10.3 on 5.3.0 is not available anymore. Previous state was: passing
• moonpool-lwt.0.9 on 5.3.0 is not available anymore. Previous state was: passing
• moonpool.0.9 on 5.3.0 is not available anymore. Previous state was: passing
• mrmime.0.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• mrmime.0.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• nx-datasets.1.0.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
• nx.1.0.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
• ocaml-protoc.3.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• ocaml-protoc.3.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• ocaml-solo5.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• ocf.0.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• ocf.0.9.0 on 5.3.0 is not available anymore. Previous state was: passing
• ocf_ppx.0.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• ocf_ppx.0.9.0 on 5.3.0 is not available anymore. Previous state was: passing
• opam-client.2.5.0~alpha1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-client.2.5.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-core.2.5.0~alpha1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-core.2.5.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-devel.2.5.0~alpha1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-devel.2.5.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-format.2.5.0~alpha1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-format.2.5.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-installer.2.5.0~alpha1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-installer.2.5.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-publish.2.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• opam-publish.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• opam-repository.2.5.0~alpha1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-repository.2.5.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-solver.2.5.0~alpha1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-solver.2.5.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-state.2.5.0~alpha1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-state.2.5.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
• opatch.3.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• opatch.3.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• oplot.0.80 on 4.14.2 is not available anymore. Previous state was: passing
• oplot.0.80 on 5.3.0 is not available anymore. Previous state was: passing
• pancake.2.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• patch.3.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• patch.3.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• pbrt.3.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• pbrt.3.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• pbrt_services.3.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• pbrt_services.3.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• pbrt_yojson.3.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• pbrt_yojson.3.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• pcre2.8.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• pcre2.8.0.3 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
• ppx_lun.0.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_lun.0.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_marshal.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_marshal.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_marshal_ext.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_marshal_ext.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• prettym.0.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• prettym.0.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• pure-html.3.11.1 on 4.14.2 is not available anymore. Previous state was: passing
• pure-html.3.11.1 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
• qcow-stream.0.12.1 on 4.14.2 is not available anymore. Previous state was: passing
• qcow-stream.0.12.1 on 5.3.0 is not available anymore. Previous state was: passing
• qcow-tool.0.12.1 on 4.14.2 is not available anymore. Previous state was: passing
• qcow-types.0.12.1 on 4.14.2 is not available anymore. Previous state was: passing
• qcow-types.0.12.1 on 5.3.0 is not available anymore. Previous state was: passing
• qcow.0.12.1 on 4.14.2 is not available anymore. Previous state was: passing
• quill.1.0.0~alpha1 on 5.3.0 is not available anymore. Previous state was: partially failing
• raven.1.0.0~alpha1 on 5.3.0 is not available anymore. Previous state was: partially failing
• received.0.11.0 on 4.14.2 is not available anymore. Previous state was: passing
• received.0.11.0 on 5.3.0 is not available anymore. Previous state was: passing
• rfsm.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• rosetta.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• rosetta.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• rune.1.0.0~alpha1 on 5.3.0 is not available anymore. Previous state was: failing
• saga.1.0.0~alpha1 on 5.3.0 is not available anymore. Previous state was: passing
• salto-analyzer.0.1 on 4.14.2 is not available anymore. Previous state was: internal failure
• saltoIL.0.1.11 on 4.14.2 is not available anymore. Previous state was: internal failure
• sendmail-lwt.0.12.0 on 4.14.2 is not available anymore. Previous state was: passing
• sendmail-lwt.0.12.0 on 5.3.0 is not available anymore. Previous state was: passing
• sendmail-miou-unix.0.12.0 on 5.3.0 is not available anymore. Previous state was: passing
• sendmail-mirage.0.12.0 on 4.14.2 is not available anymore. Previous state was: passing
• sendmail-mirage.0.12.0 on 5.3.0 is not available anymore. Previous state was: passing
• sendmail.0.12.0 on 4.14.2 is not available anymore. Previous state was: passing
• sendmail.0.12.0 on 5.3.0 is not available anymore. Previous state was: passing
• slice.0.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• slice.0.0.2 on 5.3.0 is not available anymore. Previous state was: passing
• slipshow.0.6.0 on 4.14.2 is not available anymore. Previous state was: internal failure
• slipshow.0.6.0 on 5.3.0 is not available anymore. Previous state was: internal failure
• smtml.0.13.0 on 4.14.2 is not available anymore. Previous state was: internal failure
• smtml.0.13.0 on 5.3.0 is not available anymore. Previous state was: internal failure
• sowilo.1.0.0~alpha1 on 5.3.0 is not available anymore. Previous state was: partially failing
• talon.1.0.0~alpha1 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
• tsdl.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• tsdl.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• unikraft-musl.0.18.0 on 4.14.2 is not available anymore. Previous state was: passing
• unikraft-musl.0.18.0 on 5.3.0 is not available anymore. Previous state was: passing
• unison-gui.2.53.7 on 4.14.2 is not available anymore. Previous state was: passing
• unison-gui.2.53.7 on 5.3.0 is not available anymore. Previous state was: passing
• unison.2.53.7 on 4.14.2 is not available anymore. Previous state was: passing
• unison.2.53.7 on 5.3.0 is not available anymore. Previous state was: passing
• uspf-lwt.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• uspf-lwt.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• uspf-mirage.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• uspf-mirage.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• uspf.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• uspf.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• uuuu.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• uuuu.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• visitors.20251010 on 4.14.2 is not available anymore. Previous state was: passing
• visitors.20251010 on 5.3.0 is not available anymore. Previous state was: passing
• vscoq-language-server.2.2.6 on 4.14.2 is not available anymore. Previous state was: passing
• vscoq-language-server.2.2.6 on 5.3.0 is not available anymore. Previous state was: passing
• vsrocq-language-server.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
• vsrocq-language-server.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
• xtmpl.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• xtmpl.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• xtmpl_js.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• xtmpl_js.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• xtmpl_ppx.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• xtmpl_ppx.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_cmarkit.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_eio.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_git.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_jingoo.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_markdown.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_mustache.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_omd.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_otoml.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_runtime.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_syndication.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_unix.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_yaml.2.6.0 on 5.3.0 is not available anymore. Previous state was: passing

Packages now failing with an internal failure:

• calli.0.2 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
• 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.0.3.0 on 4.14.2 had its build status changed: passing to internal failure
• conf-aarch64-linux-gnu-gcc.1 on 4.14.2 had its build status changed: failing to internal failure
• conf-aarch64-linux-gnu-gcc.1 on 5.3.0 had its build status changed: failing to internal failure
• conf-assimp.1 on 4.14.2 had its build status changed: failing to internal failure
• conf-assimp.1 on 5.3.0 had its build status changed: failing to internal failure
• conf-capnproto.2 on 4.14.2 had its build status changed: passing to internal failure
• conf-capnproto.2 on 5.3.0 had its build status changed: passing to internal failure
• conf-clang-format.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-csdp.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-csdp.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-dbm.1.0.0 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-freetype.1 on 4.14.2 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-ghostscript.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-glade.2 on 4.14.2 had its build status changed: passing to internal failure
• conf-glade.2 on 5.3.0 had its build status changed: passing to internal failure
• conf-gles2.1 on 4.14.2 had its build status changed: failing to internal failure
• conf-gles2.1 on 5.3.0 had its build status changed: failing to internal failure
• conf-glib-2.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-glib-2.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-glpk.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-gmp-paths.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-gmp-paths.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-gmp-powm-sec.4 on 4.14.2 had its build status changed: passing to internal failure
• conf-gmp-powm-sec.4 on 5.3.0 had its build status changed: passing to internal failure
• conf-gmp.5 on 4.14.2 had its build status changed: passing to internal failure
• conf-gmp.5 on 5.3.0 had its build status changed: passing to internal failure
• conf-gnome-icon-theme3.0 on 4.14.2 had its build status changed: passing to internal failure
• conf-gnome-icon-theme3.0 on 5.3.0 had its build status changed: passing to internal failure
• conf-gobject-introspection.1.0 on 5.3.0 had its build status changed: passing to internal failure
• conf-gssapi.1 on 5.3.0 had its build status changed: passing 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 4.14.2 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-ladspa.1 on 4.14.2 had its build status changed: passing 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-libdrm.1 on 4.14.2 is now installable. Current state is: internal failure
• conf-libevent.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-libgccjit.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-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-liblo.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-ninja.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-openblas.0.2.3 on 4.14.2 is now installable. Current state is: internal failure
• conf-openblas.0.2.3 on 5.3.0 is now installable. Current state is: internal failure
• conf-pango.1 on 5.3.0 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-sdl-net.1 on 4.14.2 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-sfml2.1 on 4.14.2 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-taglib_c.2 on 5.3.0 had its build status changed: passing to internal failure
• conf-tidy.1 on 5.3.0 had its build status changed: failing to internal failure
• frama-c-metacsl.0.10~beta on 4.14.2 is now installable. Current state is: internal failure
• frama-c.32.0~beta on 5.3.0 is now installable. Current state is: internal failure
• gnuplot.0.7 on 4.14.2 had its build status changed: passing to internal failure
• lablgtk3.3.1.5-1 on 4.14.2 is now installable. Current state is: internal failure
• lablgtk3.3.1.5-1 on 5.3.0 is now installable. Current state is: internal failure
• labltk.8.06.15 on 4.14.2 had its build status changed: passing to internal failure
• labrys.0.1 on 4.14.2 had its build status changed: partially failing to internal failure
• libdash.0.3 on 5.3.0 had its build status changed: passing to internal failure
• libevent.0.9.0 on 4.14.2 had its build status changed: failing to internal failure
• liblinear.2.47 on 4.14.2 had its build status changed: passing to internal failure
• liblinear.2.47 on 5.3.0 had its build status changed: passing to internal failure
• nlopt-ocaml.transition on 5.3.0 had its build status changed: partially failing to internal failure
• ocsfml.2.0 on 4.14.2 had its build status changed: failing to internal failure
• owl-ode-odepack.0.5.0 on 4.14.2 had its build status changed: partially failing to internal failure
• owl-ode-odepack.0.5.0 on 5.3.0 had its build status changed: partially failing to internal failure
• owl-ode-sundials.0.5.0 on 4.14.2 had its build status changed: partially failing to internal failure
• owl-ode.0.5.0 on 4.14.2 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
• owl-opt.0.0.1 on 5.3.0 had its build status changed: partially failing to internal failure
• owl-plplot.1.1 on 5.3.0 had its build status changed: partially failing to internal failure
• owl-top.1.2 on 5.3.0 had its build status changed: partially failing to internal failure
• pareto.0.3 on 4.14.2 had its build status changed: passing to internal failure
• pulseaudio.0.1.5 on 5.3.0 had its build status changed: passing to internal failure
• sfml.0.09.2 on 4.14.2 had its build status changed: failing to internal failure
• sfml.0.09.2 on 5.3.0 had its build status changed: failing to internal failure

Packages now passing:

• acgtk.2.2.0 on 5.3.0 is now installable. Current state is: passing
• albatross.2.6.1 on 4.14.2 is now installable. Current state is: passing
• albatross.2.6.1 on 5.3.0 is now installable. Current state is: passing
• alice.0.1.1 on 5.3.0 is now installable. Current state is: passing
• ansifmt.2.0.0 on 5.3.0 is now installable. Current state is: passing
• avro-simple.0.1 on 5.3.0 is now installable. Current state is: passing
• azure-cosmos-db.0.3.2 on 4.14.2 is now installable. Current state is: passing
• azure-cosmos-db.0.3.2 on 5.3.0 is now installable. Current state is: 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
• bin.0.0.3 on 4.14.2 is now installable. Current state is: passing
• bin.0.0.3 on 5.3.0 is now installable. Current state is: passing
• binaryen.0.34.0 on 4.14.2 is now installable. Current state is: passing
• binaryen.0.34.0 on 5.3.0 is now installable. Current state is: passing
• bstr.0.0.3 on 4.14.2 is now installable. Current state is: passing
• bstr.0.0.3 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
• ca-certs-nss.3.118 on 4.14.2 is now installable. Current state is: passing
• ca-certs-nss.3.118 on 5.3.0 is now installable. Current state is: passing
• camlbz2.transition on 4.14.2 had its build status changed: internal failure to passing
• catala-format.1.0.0 on 4.14.2 is now installable. Current state is: passing
• catala-format.1.0.0 on 5.3.0 is now installable. Current state is: passing
• catala-lsp.1.0.0 on 4.14.2 is now installable. Current state is: passing
• catala-lsp.1.0.0 on 5.3.0 is now installable. Current state is: passing
• catala.1.0.0 on 4.14.2 is now installable. Current state is: passing
• catala.1.0.0 on 5.3.0 is now installable. Current state is: passing
• climate.0.9.0 on 4.14.2 is now installable. Current state is: passing
• climate.0.9.0 on 5.3.0 is now installable. Current state is: passing
• cmarkit.0.4.0 on 4.14.2 is now installable. Current state is: passing
• cmarkit.0.4.0 on 5.3.0 is now installable. Current state is: passing
• cmdliner.2.1.0 on 4.14.2 is now installable. Current state is: passing
• cmdliner.2.1.0 on 5.3.0 is now installable. Current state is: passing
• coin.0.1.5 on 4.14.2 is now installable. Current state is: passing
• coin.0.1.5 on 5.3.0 is now installable. Current state is: passing
• colombe.0.12.1 on 4.14.2 is now installable. Current state is: passing
• colombe.0.12.1 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-allegro5.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-antic.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-arb.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-clang-format.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-dbm.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
• conf-dssi.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-efl.1.8 on 5.3.0 had its build status changed: internal failure to passing
• conf-flex.2 on 5.3.0 had its build status changed: internal failure to passing
• conf-freeglut.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-frei0r.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-g++.1.0 on 4.14.2 had its build status changed: internal failure to passing
• conf-jq.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-lapack.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-libX11.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-libXft.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-libclang.21 on 4.14.2 is now installable. Current state is: passing
• conf-libclang.21 on 5.3.0 is now installable. Current state is: passing
• conf-libdrm.1 on 5.3.0 is now installable. Current state is: passing
• conf-libdw.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-libdw.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-libelf.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
• conf-libxrandr.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-lilv.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-llvm-shared.19 on 4.14.2 had its build status changed: internal failure to passing
• conf-llvm.17 on 4.14.2 had its build status changed: internal failure to passing
• conf-llvm.17 on 5.3.0 had its build status changed: internal failure to passing
• conf-mad.2 on 4.14.2 had its build status changed: internal failure to passing
• conf-mad.2 on 5.3.0 had its build status changed: internal failure to passing
• conf-mariadb.2 on 4.14.2 had its build status changed: internal failure to passing
• conf-mariadb.2 on 5.3.0 had its build status changed: internal failure to passing
• conf-mpfr.3 on 4.14.2 had its build status changed: internal failure to passing
• conf-mpi.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-mpi.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-mysql.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-nanomsg.0 on 4.14.2 had its build status changed: internal failure to passing
• conf-nauty.1.0 on 4.14.2 had its build status changed: internal failure to passing
• conf-ncurses.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-nmap.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
• conf-npm.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-npm.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-openimageio.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-pango.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-perl-string-shellquote.3 on 4.14.2 had its build status changed: internal failure to passing
• conf-plplot.1 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-rust-2018.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-rust-wasm.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-scdoc.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-sdl-gfx.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-sdl-mixer.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-sdl2-image.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-sdl2-mixer.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-sdl2.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-sndfile.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-soundtouch.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-srt.2 on 4.14.2 had its build status changed: internal failure to passing
• conf-sundials.2 on 4.14.2 had its build status changed: internal failure to passing
• conf-sundials.2 on 5.3.0 had its build status changed: internal failure to passing
• conf-texlive.2 on 4.14.2 had its build status changed: internal failure to passing
• conf-texlive.2 on 5.3.0 had its build status changed: internal failure to passing
• conf-tk.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-tk.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-vim.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-vim.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-vips.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-vips.1 on 5.3.0 had its build status changed: internal failure to passing
• coq-waterproof.3.1.0+9.0 on 4.14.2 is now installable. Current state is: passing
• coq-waterproof.3.1.0+9.0 on 5.3.0 is now installable. Current state is: passing
• crockford.1.0.0 on 4.14.2 is now installable. Current state is: passing
• crockford.1.0.0 on 5.3.0 is now installable. Current state is: passing
• crowbar.0.2.2 on 4.14.2 is now installable. Current state is: passing
• crowbar.0.2.2 on 5.3.0 is now installable. Current state is: passing
• crypt.2.1 on 4.14.2 is now installable. Current state is: passing
• crypt.2.1 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
• css.0.4.0 on 5.3.0 is now installable. Current state is: passing
• ctypes-foreign.0.24.0 on 4.14.2 is now installable. Current state is: passing
• ctypes-foreign.0.24.0 on 5.3.0 is now installable. Current state is: passing
• ctypes.0.24.0 on 4.14.2 is now installable. Current state is: passing
• ctypes.0.24.0 on 5.3.0 is now installable. Current state is: passing
• cubicle.1.2.0 on 4.14.2 had its build status changed: failing to 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
• diffast-api.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-api.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-cli.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-cli.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-core.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-core.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-etc.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-etc.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-git-cli.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-git-cli.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-git.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-git.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-common.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-common.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-cpp-parsing.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-cpp-parsing.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-cpp-spec.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-cpp-spec.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-cpp.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-cpp.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-fortran-parsing.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-fortran-parsing.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-fortran-spec.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-fortran-spec.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-fortran.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-fortran.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-java-parsing.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-java-parsing.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-java-spec.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-java-spec.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-java.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-java.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-python-parsing.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-python-parsing.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-python-spec.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-python-spec.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-python.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-python.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-verilog-parsing.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-verilog-parsing.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-verilog-spec.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-verilog-spec.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-langs-verilog.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-langs-verilog.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast-misc.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast-misc.0.3.6 on 5.3.0 is now installable. Current state is: passing
• diffast.0.3.6 on 4.14.2 is now installable. Current state is: passing
• diffast.0.3.6 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
• dkim-bin.0.9.0 on 4.14.2 is now installable. Current state is: passing
• dkim-bin.0.9.0 on 5.3.0 is now installable. Current state is: passing
• dkim-lwt-unix.0.9.0 on 4.14.2 is now installable. Current state is: passing
• dkim-lwt-unix.0.9.0 on 5.3.0 is now installable. Current state is: passing
• dkim-mirage.0.9.0 on 4.14.2 is now installable. Current state is: passing
• dkim-mirage.0.9.0 on 5.3.0 is now installable. Current state is: passing
• dkim.0.9.0 on 4.14.2 is now installable. Current state is: passing
• dkim.0.9.0 on 5.3.0 is now installable. Current state is: passing
• dkml-c-probe.3.2.0 on 4.14.2 is now installable. Current state is: passing
• dkml-c-probe.3.2.0 on 5.3.0 is now installable. Current state is: passing
• dream-html.3.11.2 on 4.14.2 is now installable. Current state is: passing
• dream-html.3.11.2 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
• expr.0.5.2 on 4.14.2 is now installable. Current state is: passing
• expr.0.5.2 on 5.3.0 is now installable. Current state is: passing
• ez_dune_describe.0.1 on 4.14.2 had its build status changed: internal failure to passing
• ez_dune_describe.0.1 on 5.3.0 had its build status changed: internal failure to passing
• ffmpeg-av.1.2.7 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-av.1.2.7 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-avcodec.1.2.7 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-avcodec.1.2.7 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-avdevice.1.2.7 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-avdevice.1.2.7 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-avfilter.1.2.7 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-avfilter.1.2.7 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-avutil.1.2.7 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-avutil.1.2.7 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-swresample.1.2.7 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-swresample.1.2.7 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-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 4.14.2 is now installable. Current state is: passing
• ffmpeg.1.2.7 on 5.3.0 is now installable. Current state is: passing
• fit.1.4.0 on 4.14.2 is now installable. Current state is: passing
• fit.1.4.0 on 5.3.0 is now installable. Current state is: passing
• flux.0.0.1~beta1 on 5.3.0 is now installable. Current state is: passing
• fluxt.0.0.1~beta1 on 5.3.0 is now installable. Current state is: passing
• fpath-base.0.4.0 on 5.3.0 is now installable. Current state is: passing
• fpath-sexp0.0.4.0 on 4.14.2 is now installable. Current state is: passing
• fpath-sexp0.0.4.0 on 5.3.0 is now installable. Current state is: passing
• frama-c-lannotate.0.2.4 on 4.14.2 had its build status changed: internal failure to passing
• frama-c-luncov.0.2.4 on 5.3.0 had its build status changed: internal failure to passing
• frama-c-metacsl.0.10~beta on 5.3.0 is now installable. Current state is: passing
• frama-c.32.0~beta on 4.14.2 is now installable. Current state is: passing
• functory.0.6 on 4.14.2 had its build status changed: failing to passing
• gappa.1.6.0 on 4.14.2 is now installable. Current state is: passing
• gappa.1.6.0 on 5.3.0 is now installable. Current state is: passing
• gendarme-csv.0.4.0 on 4.14.2 is now installable. Current state is: passing
• gendarme-csv.0.4.0 on 5.3.0 is now installable. Current state is: passing
• gendarme-ezjsonm.0.4.0 on 4.14.2 is now installable. Current state is: passing
• gendarme-ezjsonm.0.4.0 on 5.3.0 is now installable. Current state is: passing
• gendarme-json.0.4.0 on 4.14.2 is now installable. Current state is: passing
• gendarme-json.0.4.0 on 5.3.0 is now installable. Current state is: passing
• gendarme-toml.0.4.0 on 4.14.2 is now installable. Current state is: passing
• gendarme-toml.0.4.0 on 5.3.0 is now installable. Current state is: passing
• gendarme-yaml.0.4.0 on 4.14.2 is now installable. Current state is: passing
• gendarme-yaml.0.4.0 on 5.3.0 is now installable. Current state is: passing
• gendarme-yojson.0.4.0 on 4.14.2 is now installable. Current state is: passing
• gendarme-yojson.0.4.0 on 5.3.0 is now installable. Current state is: passing
• gendarme.0.4.0 on 4.14.2 is now installable. Current state is: passing
• gendarme.0.4.0 on 5.3.0 is now installable. Current state is: passing
• goblint-cil.2.0.9 on 4.14.2 is now installable. Current state is: passing
• goblint-cil.2.0.9 on 5.3.0 is now installable. Current state is: passing
• handlebars-ml.0.3.0 on 4.14.2 is now installable. Current state is: passing
• handlebars-ml.0.3.0 on 5.3.0 is now installable. Current state is: passing
• hol2dk.2.1.0 on 4.14.2 is now installable. Current state is: passing
• hol2dk.2.1.0 on 5.3.0 is now installable. Current state is: passing
• hugin.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: passing
• jsonfeed.1.1.0 on 5.3.0 is now installable. Current state is: passing
• lablgtk3-gtkspell3.3.1.5 on 5.3.0 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
• ladspa.0.2.2 on 5.3.0 had its build status changed: internal failure to passing
• libbinaryen.124.0.1 on 4.14.2 is now installable. Current state is: passing
• libbinaryen.124.0.1 on 5.3.0 is now installable. Current state is: passing
• logs.0.10.0 on 4.14.2 is now installable. Current state is: passing
• logs.0.10.0 on 5.3.0 is now installable. Current state is: passing
• lun.0.0.2 on 4.14.2 is now installable. Current state is: passing
• lun.0.0.2 on 5.3.0 is now installable. Current state is: passing
• mazeppa.0.7.0 on 4.14.2 is now installable. Current state is: passing
• mazeppa.0.7.0 on 5.3.0 is now installable. Current state is: passing
• melange-fetch.0.2.0 on 4.14.2 is now installable. Current state is: passing
• melange-fetch.0.2.0 on 5.3.0 is now installable. Current state is: passing
• mirage-runtime.4.10.4 on 4.14.2 is now installable. Current state is: passing
• mirage-runtime.4.10.4 on 5.3.0 is now installable. Current state is: passing
• mirage.4.10.4 on 4.14.2 is now installable. Current state is: passing
• mirage.4.10.4 on 5.3.0 is now installable. Current state is: passing
• mlcuddidl.3.0.8 on 4.14.2 had its build status changed: failing to passing
• mlcuddidl.3.0.8 on 5.3.0 had its build status changed: not available to passing
• moonpool-lwt.0.10 on 5.3.0 is now installable. Current state is: passing
• moonpool.0.10 on 5.3.0 is now installable. Current state is: passing
• mrmime.0.7.1 on 4.14.2 is now installable. Current state is: passing
• mrmime.0.7.1 on 5.3.0 is now installable. Current state is: passing
• nx-datasets.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: passing
• nx.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: passing
• ocaml-protoc.4.0 on 4.14.2 is now installable. Current state is: passing
• ocaml-protoc.4.0 on 5.3.0 is now installable. Current state is: passing
• ocaml-solo5.1.2.0 on 5.3.0 is now installable. Current state is: passing
• ocf.1.0.0 on 4.14.2 is now installable. Current state is: passing
• ocf.1.0.0 on 5.3.0 is now installable. Current state is: passing
• ocf_ppx.1.0.0 on 4.14.2 is now installable. Current state is: passing
• ocf_ppx.1.0.0 on 5.3.0 is now installable. Current state is: passing
• odoc-driver.3.1.0 on 5.3.0 had its build status changed: failing to passing
• ojs_base.0.9.0 on 5.3.0 is now installable. Current state is: passing
• ojs_base_all.0.9.0 on 5.3.0 is now installable. Current state is: passing
• ojs_base_ppx.0.9.0 on 5.3.0 is now installable. Current state is: passing
• ojs_ed.0.9.0 on 5.3.0 is now installable. Current state is: passing
• ojs_filetree.0.9.0 on 5.3.0 is now installable. Current state is: passing
• ojs_list.0.9.0 on 5.3.0 is now installable. Current state is: passing
• opam-client.2.5.0 on 4.14.2 is now installable. Current state is: passing
• opam-client.2.5.0 on 5.3.0 is now installable. Current state is: passing
• opam-core.2.5.0 on 4.14.2 is now installable. Current state is: passing
• opam-core.2.5.0 on 5.3.0 is now installable. Current state is: passing
• opam-devel.2.5.0 on 4.14.2 is now installable. Current state is: passing
• opam-devel.2.5.0 on 5.3.0 is now installable. Current state is: passing
• opam-format.2.5.0 on 4.14.2 is now installable. Current state is: passing
• opam-format.2.5.0 on 5.3.0 is now installable. Current state is: passing
• opam-installer.2.5.0 on 4.14.2 is now installable. Current state is: passing
• opam-installer.2.5.0 on 5.3.0 is now installable. Current state is: passing
• opam-publish.2.7.1 on 4.14.2 is now installable. Current state is: passing
• opam-publish.2.7.1 on 5.3.0 is now installable. Current state is: passing
• opam-repository.2.5.0 on 4.14.2 is now installable. Current state is: passing
• opam-repository.2.5.0 on 5.3.0 is now installable. Current state is: passing
• opam-solver.2.5.0 on 4.14.2 is now installable. Current state is: passing
• opam-solver.2.5.0 on 5.3.0 is now installable. Current state is: passing
• opam-state.2.5.0 on 4.14.2 is now installable. Current state is: passing
• opam-state.2.5.0 on 5.3.0 is now installable. Current state is: passing
• opatch.3.1.0 on 4.14.2 is now installable. Current state is: passing
• opatch.3.1.0 on 5.3.0 is now installable. Current state is: passing
• oplot.0.85 on 4.14.2 is now installable. Current state is: passing
• oplot.0.85 on 5.3.0 is now installable. Current state is: passing
• patch.3.1.0 on 4.14.2 is now installable. Current state is: passing
• patch.3.1.0 on 5.3.0 is now installable. Current state is: passing
• pbrt.4.0 on 4.14.2 is now installable. Current state is: passing
• pbrt.4.0 on 5.3.0 is now installable. Current state is: passing
• pbrt_services.4.0 on 4.14.2 is now installable. Current state is: passing
• pbrt_services.4.0 on 5.3.0 is now installable. Current state is: passing
• pbrt_yojson.4.0 on 4.14.2 is now installable. Current state is: passing
• pbrt_yojson.4.0 on 5.3.0 is now installable. Current state is: passing
• pcre2.8.0.4 on 4.14.2 is now installable. Current state is: passing
• pcre2.8.0.4 on 5.3.0 is now installable. Current state is: passing
• ppx_deriving_jsont.0.1.1 on 4.14.2 is now installable. Current state is: passing
• ppx_deriving_jsont.0.1.1 on 5.3.0 is now installable. Current state is: passing
• ppx_expect_nobase.v0.17.3.0 on 4.14.2 is now installable. Current state is: passing
• ppx_expect_nobase.v0.17.3.0 on 5.3.0 is now installable. Current state is: passing
• ppx_lun.0.0.2 on 4.14.2 is now installable. Current state is: passing
• ppx_lun.0.0.2 on 5.3.0 is now installable. Current state is: passing
• ppx_marshal.0.4.0 on 4.14.2 is now installable. Current state is: passing
• ppx_marshal.0.4.0 on 5.3.0 is now installable. Current state is: passing
• ppx_marshal_ext.0.4.0 on 4.14.2 is now installable. Current state is: passing
• ppx_marshal_ext.0.4.0 on 5.3.0 is now installable. Current state is: passing
• prettym.0.0.4 on 4.14.2 is now installable. Current state is: passing
• prettym.0.0.4 on 5.3.0 is now installable. Current state is: passing
• pure-html.3.11.2 on 4.14.2 is now installable. Current state is: passing
• pure-html.3.11.2 on 5.3.0 is now installable. Current state is: passing
• qcaml.0.1.4 on 5.3.0 is now installable. Current state is: passing
• qcheck-alcotest.0.27 on 4.14.2 is now installable. Current state is: passing
• qcheck-alcotest.0.27 on 5.3.0 is now installable. Current state is: passing
• qcheck-core.0.27 on 4.14.2 is now installable. Current state is: passing
• qcheck-core.0.27 on 5.3.0 is now installable. Current state is: passing
• qcheck-ounit.0.27 on 4.14.2 is now installable. Current state is: passing
• qcheck-ounit.0.27 on 5.3.0 is now installable. Current state is: passing
• qcheck.0.27 on 4.14.2 is now installable. Current state is: passing
• qcheck.0.27 on 5.3.0 is now installable. Current state is: passing
• qcow-stream.0.12.2 on 4.14.2 is now installable. Current state is: passing
• qcow-stream.0.12.2 on 5.3.0 is now installable. Current state is: passing
• qcow-tool.0.12.2 on 4.14.2 is now installable. Current state is: passing
• qcow-types.0.12.2 on 4.14.2 is now installable. Current state is: passing
• qcow-types.0.12.2 on 5.3.0 is now installable. Current state is: passing
• qcow.0.12.2 on 4.14.2 is now installable. Current state is: passing
• query-json.0.5.52 on 4.14.2 is now installable. Current state is: passing
• query-json.0.5.52 on 5.3.0 is now installable. Current state is: passing
• query-json.0.6.1 on 5.3.0 is now installable. Current state is: passing
• raga.0.1.0 on 4.14.2 is now installable. Current state is: passing
• raga.0.1.0 on 5.3.0 is now installable. Current state is: passing
• received.0.12.1 on 4.14.2 is now installable. Current state is: passing
• received.0.12.1 on 5.3.0 is now installable. Current state is: passing
• rfsm.2.2 on 5.3.0 is now installable. Current state is: passing
• rosetta.0.4.0 on 4.14.2 is now installable. Current state is: passing
• rosetta.0.4.0 on 5.3.0 is now installable. Current state is: passing
• runtime_events_tools.0.5.3 on 5.3.0 had its build status changed: failing to passing
• runtime_events_tools_bare.0.5.3 on 5.3.0 had its build status changed: failing to passing
• saga.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: passing
• salto-analyzer.0.2 on 4.14.2 is now installable. Current state is: passing
• saltoIL.0.2.0 on 4.14.2 is now installable. Current state is: passing
• sendmail-lwt.0.12.1 on 4.14.2 is now installable. Current state is: passing
• sendmail-lwt.0.12.1 on 5.3.0 is now installable. Current state is: passing
• sendmail-miou-unix.0.12.1 on 5.3.0 is now installable. Current state is: passing
• sendmail-mirage.0.12.1 on 4.14.2 is now installable. Current state is: passing
• sendmail-mirage.0.12.1 on 5.3.0 is now installable. Current state is: passing
• sendmail.0.12.1 on 4.14.2 is now installable. Current state is: passing
• sendmail.0.12.1 on 5.3.0 is now installable. Current state is: passing
• shcaml.0.2.1 on 4.14.2 had its build status changed: failing 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
• slice.0.0.3 on 4.14.2 is now installable. Current state is: passing
• slice.0.0.3 on 5.3.0 is now installable. Current state is: passing
• slipshow.0.7.0 on 4.14.2 is now installable. Current state is: passing
• slipshow.0.7.0 on 5.3.0 is now installable. Current state is: passing
• smtml.0.15.0 on 4.14.2 is now installable. Current state is: passing
• smtml.0.15.0 on 5.3.0 is now installable. Current state is: 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
• soupault.5.2.0 on 5.3.0 is now installable. Current state is: passing
• statocaml_html.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
• stone.0.6.1 on 5.3.0 is now installable. Current state is: passing
• talon.1.0.0~alpha2 on 5.3.0 is now installable. Current state is: passing
• tezos-lazy-containers.16.1 on 5.3.0 had its build status changed: internal failure to passing
• tezos-stdlib-unix.12.3 on 4.14.2 had its build status changed: internal failure to passing
• tezos-stdlib-unix.17.3 on 4.14.2 had its build status changed: internal failure to passing
• tezos-stdlib.12.3 on 4.14.2 had its build status changed: internal failure to passing
• tezos-stdlib.12.3 on 5.3.0 had its build status changed: internal failure to passing
• tezt.4.3.0 on 4.14.2 is now installable. Current state is: passing
• tezt.4.3.0 on 5.3.0 is now installable. Current state is: passing
• topkg-care.1.1.1 on 4.14.2 is now installable. Current state is: passing
• topkg-care.1.1.1 on 5.3.0 is now installable. Current state is: passing
• topkg.1.1.1 on 4.14.2 is now installable. Current state is: passing
• topkg.1.1.1 on 5.3.0 is now installable. Current state is: passing
• tsdl-mixer.0.6 on 5.3.0 had its build status changed: internal failure to passing
• tsdl.1.2.0 on 4.14.2 is now installable. Current state is: passing
• tsdl.1.2.0 on 5.3.0 is now installable. Current state is: passing
• unikraft-musl.0.20.0 on 4.14.2 is now installable. Current state is: passing
• unikraft-musl.0.20.0 on 5.3.0 is now installable. Current state is: passing
• unison-gui.2.53.8 on 4.14.2 is now installable. Current state is: passing
• unison-gui.2.53.8 on 5.3.0 is now installable. Current state is: passing
• unison.2.53.8 on 4.14.2 is now installable. Current state is: passing
• unison.2.53.8 on 5.3.0 is now installable. Current state is: passing
• uspf-lwt.0.2.0 on 4.14.2 is now installable. Current state is: passing
• uspf-lwt.0.2.0 on 5.3.0 is now installable. Current state is: passing
• uspf-mirage.0.2.0 on 4.14.2 is now installable. Current state is: passing
• uspf-mirage.0.2.0 on 5.3.0 is now installable. Current state is: passing
• uspf.0.2.0 on 4.14.2 is now installable. Current state is: passing
• uspf.0.2.0 on 5.3.0 is now installable. Current state is: passing
• uuuu.0.4.0 on 4.14.2 is now installable. Current state is: passing
• uuuu.0.4.0 on 5.3.0 is now installable. Current state is: passing
• visitors.20251114 on 4.14.2 is now installable. Current state is: passing
• visitors.20251114 on 5.3.0 is now installable. Current state is: passing
• vscoq-language-server.2.3.3 on 4.14.2 is now installable. Current state is: passing
• vscoq-language-server.2.3.3 on 5.3.0 is now installable. Current state is: passing
• vsrocq-language-server.2.3.3 on 4.14.2 is now installable. Current state is: passing
• vsrocq-language-server.2.3.3 on 5.3.0 is now installable. Current state is: passing
• xtmpl.1.2.0 on 4.14.2 is now installable. Current state is: passing
• xtmpl.1.2.0 on 5.3.0 is now installable. Current state is: passing
• xtmpl_js.1.2.0 on 4.14.2 is now installable. Current state is: passing
• xtmpl_js.1.2.0 on 5.3.0 is now installable. Current state is: passing
• xtmpl_ppx.1.2.0 on 4.14.2 is now installable. Current state is: passing
• xtmpl_ppx.1.2.0 on 5.3.0 is now installable. Current state is: passing
• yocaml.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_cmarkit.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_eio.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_git.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_jingoo.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_markdown.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_mustache.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_omd.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_otoml.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_runtime.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_syndication.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_unix.2.7.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_yaml.2.7.0 on 5.3.0 is now installable. Current state is: passing