Home|Differences with the last checks|Previous runs

Differences between 1abfcdb and 3003310 (git diff)

Packages now failing:

• arrayjit.0.6.1 on 5.3.0 had its build status changed: passing to failing
• bap-ghidra.2.5.0 on 4.14.2 had its build status changed: internal failure to failing
• functory.0.6 on 4.14.2 had its build status changed: passing to failing
• odoc-driver.3.1.0 on 5.3.0 had its build status changed: passing to failing

Packages now partially failing:

• bap-core.2.5.0 on 4.14.2 had its build status changed: internal failure to partially failing
• bap-extra.2.5.0 on 4.14.2 had its build status changed: internal failure to partially failing
• bap-ida-plugin.2.5.0 on 4.14.2 had its build status changed: internal failure to partially failing
• bap-llvm.2.5.0 on 4.14.2 had its build status changed: internal failure to partially failing
• bap-primus-symbolic-executor.2.5.0 on 4.14.2 had its build status changed: internal failure to partially failing
• bap-primus-x86.2.5.0 on 4.14.2 had its build status changed: internal failure to partially failing
• bap-relocatable.2.5.0 on 4.14.2 had its build status changed: internal failure to partially failing
• bap-x86.2.5.0 on 4.14.2 had its build status changed: internal failure to partially failing
• bap.2.5.0 on 4.14.2 had its build status changed: internal failure to partially failing
• clp_operations.0.0.1 on 4.14.2 had its build status changed: internal failure to partially failing
• conf-calcium.1 on 4.14.2 had its build status changed: internal failure to partially failing
• cure2.1.0 on 4.14.2 is now installable. Current state is: partially failing
• llopt.1.0.0 on 4.14.2 had its build status changed: internal failure to partially failing
• neural_nets_lib.0.6.1 on 5.3.0 had its build status changed: passing to partially failing
• nlopt-ocaml.transition on 5.3.0 had its build status changed: internal failure to partially failing
• octez-node.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-shell-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-signer.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-smart-rollup-client-PtMumbai.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-smart-rollup-client-PtNairob.18.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-smart-rollup-node-PsParisC.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-smart-rollup-node-PtMumbai.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-smart-rollup-node-PtNairob.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-smart-rollup-node-lib.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-smart-rollup-node.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-smart-rollup-wasm-benchmark-lib.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-smart-rollup-wasm-debugger-lib.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-smart-rollup-wasm-debugger.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-version.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• owl-ode.0.5.0 on 4.14.2 had its build status changed: internal failure to partially failing
• owl-ode.0.5.0 on 5.3.0 had its build status changed: internal failure to partially failing
• raygui.1.5.1 on 5.3.0 is now installable. Current state is: partially failing
• raylib.1.5.1 on 4.14.2 is now installable. Current state is: partially failing
• raylib.1.5.1 on 5.3.0 is now installable. Current state is: partially failing
• tezos-baking-016-PtMumbai-commands.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-baking-017-PtNairob.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-baking-alpha.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-base-test-helpers.17.3 on 4.14.2 had its build status changed: internal failure to partially failing

Packages now not available:

• MlFront_Cache.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
• MlFront_Cache.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
• MlFront_Cli.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
• MlFront_Cli.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
• MlFront_Config.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
• MlFront_Config.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
• MlFront_Core.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
• MlFront_Core.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
• MlFront_Errors.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
• MlFront_Errors.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
• MlFront_Logs.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
• MlFront_Logs.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
• MlFront_Manip.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
• MlFront_Manip.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
• MlFront_Signify.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
• MlFront_Signify.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
• MlFront_ZipFile.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
• MlFront_ZipFile.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
• aifad.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
• aifad.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
• arp.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• arp.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• bibfmt.0.7.7 on 4.14.2 is not available anymore. Previous state was: passing
• bibfmt.0.7.7 on 5.3.0 is not available anymore. Previous state was: passing
• ca-certs-nss.3.115 on 4.14.2 is not available anymore. Previous state was: passing
• ca-certs-nss.3.115 on 5.3.0 is not available anymore. Previous state was: passing
• catala-format.0.3.0 on 4.14.2 is not available anymore. Previous state was: failing
• catala-format.0.3.0 on 5.3.0 is not available anymore. Previous state was: failing
• catala.0.8.0 on 4.14.2 is not available anymore. Previous state was: passing
• catala.0.8.0 on 5.3.0 is not available anymore. Previous state was: passing
• catala.1.0.0~alpha on 4.14.2 is not available anymore. Previous state was: passing
• climate.0.8.4 on 4.14.2 is not available anymore. Previous state was: passing
• climate.0.8.4 on 5.3.0 is not available anymore. Previous state was: passing
• codept-lib.0.12.1 on 4.14.2 is not available anymore. Previous state was: passing
• codept-lib.0.12.1 on 5.3.0 is not available anymore. Previous state was: passing
• codept.0.12.1 on 4.14.2 is not available anymore. Previous state was: passing
• codept.0.12.1 on 5.3.0 is not available anymore. Previous state was: passing
• conex-mirage-crypto.0.11.1 on 4.14.2 is not available anymore. Previous state was: passing
• conex-mirage-crypto.0.11.1 on 5.3.0 is not available anymore. Previous state was: passing
• conex.0.11.1 on 4.14.2 is not available anymore. Previous state was: passing
• conex.0.11.1 on 5.3.0 is not available anymore. Previous state was: passing
• coq-core.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• coq-core.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• coq-lsp.0.2.4+9.0 on 4.14.2 is not available anymore. Previous state was: passing
• coq-lsp.0.2.4+9.0 on 5.3.0 is not available anymore. Previous state was: passing
• coq.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• coq.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• coqide-server.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• coqide-server.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• dns-certify.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• dns-certify.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• dns-cli.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• dns-cli.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client-lwt.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• dns-client-lwt.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client-miou-unix.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client-mirage.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• dns-client-mirage.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• dns-client.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• dns-mirage.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• dns-mirage.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• dns-resolver.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• dns-resolver.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• dns-server.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• dns-server.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• dns-stub.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• dns-stub.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• dns-tsig.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• dns-tsig.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• dns.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• dns.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• dnssec.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• dnssec.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• dockerfile-cmd.8.3.2 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile-cmd.8.3.2 on 5.3.0 is not available anymore. Previous state was: passing
• dockerfile-opam.8.3.2 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile-opam.8.3.2 on 5.3.0 is not available anymore. Previous state was: passing
• dockerfile.8.3.2 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile.8.3.2 on 5.3.0 is not available anymore. Previous state was: passing
• doi2bib.0.7.7 on 4.14.2 is not available anymore. Previous state was: passing
• doi2bib.0.7.7 on 5.3.0 is not available anymore. Previous state was: passing
• domain-name.0.4.1 on 4.14.2 is not available anymore. Previous state was: passing
• domain-name.0.4.1 on 5.3.0 is not available anymore. Previous state was: passing
• elpi.3.4.1 on 4.14.2 is not available anymore. Previous state was: passing
• elpi.3.4.1 on 5.3.0 is not available anymore. Previous state was: passing
• fmlib.0.5.11 on 4.14.2 is not available anymore. Previous state was: passing
• fmlib.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
• fmlib_browser.0.5.11 on 4.14.2 is not available anymore. Previous state was: passing
• fmlib_browser.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
• fmlib_js.0.5.11 on 4.14.2 is not available anymore. Previous state was: passing
• fmlib_js.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
• fmlib_parse.0.5.11 on 4.14.2 is not available anymore. Previous state was: passing
• fmlib_parse.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
• fmlib_pretty.0.5.11 on 4.14.2 is not available anymore. Previous state was: passing
• fmlib_pretty.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
• fmlib_std.0.5.11 on 4.14.2 is not available anymore. Previous state was: passing
• fmlib_std.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
• gen_js_api.1.1.5 on 4.14.2 is not available anymore. Previous state was: passing
• gen_js_api.1.1.5 on 5.3.0 is not available anymore. Previous state was: passing
• goblint-cil.2.0.7 on 4.14.2 is not available anymore. Previous state was: passing
• goblint-cil.2.0.7 on 5.3.0 is not available anymore. Previous state was: passing
• handlebars-ml.0.1.2 on 4.14.2 is not available anymore. Previous state was: passing
• handlebars-ml.0.1.2 on 5.3.0 is not available anymore. Previous state was: passing
• html_of_jsx.0.0.5 on 4.14.2 is not available anymore. Previous state was: passing
• html_of_jsx.0.0.5 on 5.3.0 is not available anymore. Previous state was: passing
• libsail.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
• libsail.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
• miou.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• mirage-ptime.5.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• mirage-ptime.5.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• mirage-runtime.4.10.2 on 4.14.2 is not available anymore. Previous state was: passing
• mirage-runtime.4.10.2 on 5.3.0 is not available anymore. Previous state was: passing
• mirage.4.10.2 on 4.14.2 is not available anymore. Previous state was: passing
• mirage.4.10.2 on 5.3.0 is not available anymore. Previous state was: passing
• ninja_utils.0.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• ninja_utils.0.9.0 on 5.3.0 is not available anymore. Previous state was: passing
• ocamlformat-lib.0.27.0 on 4.14.2 is not available anymore. Previous state was: passing
• ocamlformat-lib.0.27.0 on 5.3.0 is not available anymore. Previous state was: passing
• ocamlformat-rpc-lib.0.27.0 on 4.14.2 is not available anymore. Previous state was: passing
• ocamlformat-rpc-lib.0.27.0 on 5.3.0 is not available anymore. Previous state was: passing
• ocamlformat.0.27.0 on 4.14.2 is not available anymore. Previous state was: passing
• ocamlformat.0.27.0 on 5.3.0 is not available anymore. Previous state was: passing
• ojs.1.1.5 on 4.14.2 is not available anymore. Previous state was: passing
• ojs.1.1.5 on 5.3.0 is not available anymore. Previous state was: passing
• opam-client.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-client.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-core.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-core.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-devel.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-devel.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-format.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-format.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-installer.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-installer.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-repository.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-repository.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-solver.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-solver.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
• opam-state.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-state.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
• p5scm.0.4.0 on 4.14.2 is not available anymore. Previous state was: internal failure
• pageantty.0.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• pageantty.0.0.2 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_import.1.11.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_import.1.11.0 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_minidebug.2.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• ppxlib-tools.0.36.2 on 4.14.2 is not available anymore. Previous state was: passing
• ppxlib-tools.0.36.2 on 5.3.0 is not available anymore. Previous state was: passing
• ppxlib.0.37.0~5.4preview on 4.14.2 is not available anymore. Previous state was: passing
• ppxlib.0.37.0~5.4preview on 5.3.0 is not available anymore. Previous state was: passing
• raygui.1.4.0 on 4.14.2 is not available anymore. Previous state was: partially failing
• raygui.1.4.0 on 5.3.0 is not available anymore. Previous state was: partially failing
• raylib.1.4.0 on 4.14.2 is not available anymore. Previous state was: partially failing
• raylib.1.4.0 on 5.3.0 is not available anymore. Previous state was: partially failing
• rocq-core.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• rocq-core.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• rocq-runtime.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• rocq-runtime.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• rocqide.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• rocqide.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• sail.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
• sail.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
• sail_c_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
• sail_c_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
• sail_coq_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
• sail_coq_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
• sail_doc_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
• sail_doc_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
• sail_latex_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
• sail_latex_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
• sail_lean_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
• sail_lean_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
• sail_lem_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
• sail_lem_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
• sail_manifest.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
• sail_manifest.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
• sail_ocaml_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
• sail_ocaml_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
• sail_output.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
• sail_output.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
• sail_smt_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
• sail_smt_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
• sail_sv_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
• sail_sv_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
• smtml.0.12.0 on 4.14.2 is not available anymore. Previous state was: passing
• smtml.0.12.0 on 5.3.0 is not available anymore. Previous state was: passing
• solo5.0.9.3 on 4.14.2 is not available anymore. Previous state was: passing
• solo5.0.9.3 on 5.3.0 is not available anymore. Previous state was: passing

Packages now failing with an internal failure:

• azure-cosmos-db.0.3.1 on 5.3.0 had its build status changed: passing to internal failure
• bam.0.4 on 4.14.2 had its build status changed: passing to internal failure
• bam.0.4 on 5.3.0 had its build status changed: passing to internal failure
• camlbz2.transition on 4.14.2 had its build status changed: passing to internal failure
• chamo.4.0 on 4.14.2 had its build status changed: passing to internal failure
• chamo.4.2.0 on 5.3.0 had its build status changed: passing to internal failure
• conf-allegro5.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-arb.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-cairo.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-clang-format.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-dbm.1.0.0 on 5.3.0 had its build status changed: passing to internal failure
• conf-diffutils.2 on 5.3.0 had its build status changed: passing to internal failure
• conf-dpkg.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-dpkg.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-dssi.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-flex.2 on 5.3.0 had its build status changed: passing to internal failure
• conf-frei0r.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-ftgl.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-g++.1.0 on 4.14.2 had its build status changed: passing to internal failure
• conf-gd.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-gd.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-gegl.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-ghostscript.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-glfw3.2 on 4.14.2 had its build status changed: passing to internal failure
• conf-glfw3.2 on 5.3.0 had its build status changed: passing to internal failure
• conf-gnomecanvas.2 on 4.14.2 had its build status changed: passing to internal failure
• conf-gnomecanvas.2 on 5.3.0 had its build status changed: passing to internal failure
• conf-gnuplot.0.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-gnuplot.0.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-gnustep-base.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-gnustep-base.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-gnustep-gui.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-gnustep-gui.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-gnutls.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-gnutls.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-gobject-introspection.1.0 on 4.14.2 had its build status changed: passing to internal failure
• conf-goocanvas2.0 on 5.3.0 had its build status changed: passing to internal failure
• conf-graphviz.0.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-graphviz.0.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-gsl.2 on 4.14.2 had its build status changed: passing to internal failure
• conf-gsl.2 on 5.3.0 had its build status changed: passing to internal failure
• conf-gstreamer.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-gstreamer.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-gtk3.18 on 4.14.2 had its build status changed: passing to internal failure
• conf-gtk3.18 on 5.3.0 had its build status changed: passing to internal failure
• conf-gtksourceview.2 on 4.14.2 had its build status changed: passing to internal failure
• conf-gtksourceview.2 on 5.3.0 had its build status changed: passing to internal failure
• conf-gtksourceview3.0+2 on 4.14.2 had its build status changed: passing to internal failure
• conf-jack.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-jack.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-jq.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-ladspa.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-lapack.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-leveldb.2 on 5.3.0 had its build status changed: failing to internal failure
• conf-libX11.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libXft.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libdw.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libdw.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libelf.1.0.0 on 4.14.2 had its build status changed: passing to internal failure
• conf-libglu.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-librsvg2.0 on 4.14.2 had its build status changed: passing to internal failure
• conf-libxrandr.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-llvm.17 on 4.14.2 had its build status changed: passing to internal failure
• conf-llvm.17 on 5.3.0 had its build status changed: passing to internal failure
• conf-mad.2 on 4.14.2 had its build status changed: passing to internal failure
• conf-mad.2 on 5.3.0 had its build status changed: passing to internal failure
• conf-mariadb.2 on 4.14.2 had its build status changed: passing to internal failure
• conf-mariadb.2 on 5.3.0 had its build status changed: passing to internal failure
• conf-mesa.1 on 4.14.2 had its build status changed: failing to internal failure
• conf-mesa.1 on 5.3.0 had its build status changed: failing to internal failure
• conf-mpfr.3 on 4.14.2 had its build status changed: passing to internal failure
• conf-nanomsg.0 on 4.14.2 had its build status changed: passing to internal failure
• conf-nauty.1.0 on 4.14.2 had its build status changed: passing to internal failure
• conf-ncurses.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-nmap.1.0.0 on 5.3.0 had its build status changed: passing to internal failure
• conf-ode.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-openbabel.0.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-openbabel.0.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-openblas.0.2.2 on 4.14.2 had its build status changed: passing to internal failure
• conf-openblas.0.2.2 on 5.3.0 had its build status changed: passing to internal failure
• conf-openimageio.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-openimageio.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-pango.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-perl-string-shellquote.3 on 4.14.2 had its build status changed: passing to internal failure
• conf-plplot.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-plplot.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-povray.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-ppl.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-pulseaudio.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-pulseaudio.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-python-3-7.1.0.0 on 5.3.0 had its build status changed: passing to internal failure
• conf-qemu-img.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-r-mathlib.1 on 4.14.2 had its build status changed: failing to internal failure
• conf-rocksdb.1 on 4.14.2 had its build status changed: failing to internal failure
• conf-rocksdb.1 on 5.3.0 had its build status changed: failing to internal failure
• conf-rubberband.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-ruby.1.0.0 on 4.14.2 had its build status changed: passing to internal failure
• conf-rust-2018.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-rust-2021.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-rust-2024.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-rust-wasm.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-rust-wasm.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-samplerate.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-samplerate.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-scdoc.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-scdoc.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-sdl-gfx.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-sdl-gfx.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-sdl-image.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-sdl-mixer.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-sdl-mixer.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-sdl-net.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-sdl2-image.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-sdl2-image.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-sdl2-mixer.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-sdl2-mixer.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-sdl2-ttf.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-sdl2-ttf.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-sdpa.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-sfml2.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-sndfile.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-soundtouch.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-srt.2 on 4.14.2 had its build status changed: passing to internal failure
• conf-sundials.2 on 4.14.2 had its build status changed: passing to internal failure
• conf-sundials.2 on 5.3.0 had its build status changed: passing to internal failure
• conf-swi-prolog.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-texlive.2 on 4.14.2 had its build status changed: passing to internal failure
• conf-texlive.2 on 5.3.0 had its build status changed: passing to internal failure
• conf-tk.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-tk.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-vim.1 on 4.14.2 had its build status changed: passing to internal failure
• ez_dune_describe.0.1 on 4.14.2 had its build status changed: passing to internal failure
• ez_dune_describe.0.1 on 5.3.0 had its build status changed: passing to internal failure
• ffmpeg-av.1.2.6 on 4.14.2 had its build status changed: passing to internal failure
• ffmpeg-avcodec.1.2.6 on 4.14.2 had its build status changed: passing to internal failure
• ffmpeg-avcodec.1.2.6 on 5.3.0 had its build status changed: passing to internal failure
• ffmpeg-avdevice.1.2.6 on 5.3.0 had its build status changed: passing to internal failure
• ffmpeg-swresample.1.2.6 on 5.3.0 had its build status changed: passing to internal failure
• ffmpeg-swscale.1.2.6 on 4.14.2 had its build status changed: passing to internal failure
• ffmpeg.1.2.6 on 4.14.2 had its build status changed: passing to internal failure
• frama-c-lannotate.0.2.4 on 4.14.2 had its build status changed: passing to internal failure
• lablgtk3-gtkspell3.3.1.5 on 5.3.0 had its build status changed: passing to internal failure
• lablgtk3-rsvg2.3.1.5 on 4.14.2 had its build status changed: partially failing to internal failure
• lablgtk3-rsvg2.3.1.5 on 5.3.0 had its build status changed: partially failing to internal failure
• lablgtk3-sourceview3.3.1.5 on 4.14.2 had its build status changed: passing to internal failure
• lablgtk3-sourceview3.3.1.5 on 5.3.0 had its build status changed: passing to internal failure
• lablgtk3.3.1.5 on 5.3.0 had its build status changed: passing to internal failure
• ladspa.0.2.2 on 5.3.0 had its build status changed: passing to internal failure
• lo.0.2.0 on 4.14.2 had its build status changed: failing to internal failure
• otp.0.2 on 4.14.2 is now installable. Current state is: internal failure
• otp.0.2 on 5.3.0 is now installable. Current state is: internal failure
• owl-jupyter.1.0 on 4.14.2 had its build status changed: partially failing to internal failure
• owl-opt-lbfgs.0.0.1 on 4.14.2 had its build status changed: partially failing to internal failure
• owl-opt.0.0.1 on 4.14.2 had its build status changed: partially failing to internal failure
• p5scm.0.5.0 on 4.14.2 is now installable. Current state is: internal failure
• p5scm.0.5.0 on 5.3.0 is now installable. Current state is: internal failure
• rankers.2.0.7 on 5.3.0 had its build status changed: partially failing to internal failure
• rankers.2.0.9 on 5.3.0 had its build status changed: partially failing to internal failure
• raygui.1.5.1 on 4.14.2 is now installable. Current state is: internal failure
• salto-analyzer.0.1 on 4.14.2 had its build status changed: passing to internal failure
• saltoIL.0.1.11 on 4.14.2 had its build status changed: passing to internal failure
• sihl-web.0.3.0~rc1 on 5.3.0 had its build status changed: passing to internal failure
• slack.0.1 on 4.14.2 had its build status changed: partially failing to internal failure
• slacko.0.15.0 on 4.14.2 had its build status changed: passing to internal failure
• slacko.0.15.0 on 5.3.0 had its build status changed: passing to internal failure
• slipshow.0.6.0 on 4.14.2 had its build status changed: passing to internal failure
• slipshow.0.6.0 on 5.3.0 had its build status changed: passing to internal failure
• smtml.0.13.0 on 4.14.2 is now installable. Current state is: internal failure
• smtml.0.13.0 on 5.3.0 is now installable. Current state is: internal failure
• snappy.0.1.2 on 4.14.2 had its build status changed: failing to internal failure
• snappy.0.1.2 on 5.3.0 had its build status changed: failing to internal failure
• snf_mcp.0.2.1 on 5.3.0 had its build status changed: passing to internal failure
• snoke.0.3 on 4.14.2 had its build status changed: passing to internal failure
• snoke.0.3 on 5.3.0 had its build status changed: passing to internal failure
• sodium-fmt.1.0.0 on 4.14.2 had its build status changed: partially failing to internal failure
• sodium.0.6.0 on 4.14.2 had its build status changed: failing to internal failure
• solid.0.5.0 on 4.14.2 had its build status changed: passing to internal failure
• solid.0.5.0 on 5.3.0 had its build status changed: passing to internal failure
• solid_server.0.5.0 on 4.14.2 had its build status changed: passing to internal failure
• solid_server.0.5.0 on 5.3.0 had its build status changed: passing to internal failure
• solid_tools.0.5.0 on 4.14.2 had its build status changed: passing to internal failure
• solidity-common.0.2.0 on 4.14.2 had its build status changed: passing to internal failure
• solidity-parser.0.2.0 on 5.3.0 had its build status changed: passing to internal failure
• solidity-test.0.2.0 on 4.14.2 had its build status changed: passing to internal failure
• solidity-typechecker.0.2.0 on 4.14.2 had its build status changed: passing to internal failure
• statocaml_gui.0.1.0 on 5.3.0 had its build status changed: passing to internal failure
• statocaml_html.0.1.0 on 4.14.2 had its build status changed: passing to internal failure
• tezos-dac-client-lib.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-002-PsYLVpVv.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-layer2-store.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-lazy-containers.16.1 on 5.3.0 had its build status changed: passing to internal failure
• tezos-lazy-containers.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-scoru-wasm-helpers.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-scoru-wasm.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-shell-context.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-shell-services-test-helpers.16.1 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-shell-services.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-signer-backends.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-signer-services.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-smart-rollup-017-PtNairob.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-smart-rollup-alpha.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-smart-rollup-layer2-016-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-smart-rollup-layer2-017-PtNairob.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-stdlib-unix.12.3 on 4.14.2 had its build status changed: passing to internal failure
• tezos-stdlib-unix.17.3 on 4.14.2 had its build status changed: passing to internal failure
• tezos-stdlib.12.3 on 4.14.2 had its build status changed: passing to internal failure
• tezos-stdlib.12.3 on 5.3.0 had its build status changed: passing to internal failure
• tezos-store.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-test-helpers-extra.16.1 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-tx-rollup-015-PtLimaPt.16.1 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-wasmer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-workers.17.3 on 4.14.2 had its build status changed: partially failing to internal failure

Packages now passing:

• MlFront_Cache.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
• MlFront_Cache.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
• MlFront_Cli.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
• MlFront_Cli.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
• MlFront_Codept.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
• MlFront_Codept.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
• MlFront_Config.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
• MlFront_Config.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
• MlFront_Core.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
• MlFront_Core.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
• MlFront_Errors.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
• MlFront_Errors.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
• MlFront_Exec.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
• MlFront_Exec.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
• MlFront_Logs.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
• MlFront_Logs.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
• MlFront_Manip.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
• MlFront_Manip.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
• MlFront_Signify.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
• MlFront_Signify.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
• MlFront_Thunk.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
• MlFront_Thunk.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
• MlFront_Tools.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
• MlFront_Tools.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
• MlFront_ZipFile.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
• MlFront_ZipFile.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
• aifad.2.3.2 on 4.14.2 is now installable. Current state is: passing
• aifad.2.3.2 on 5.3.0 is now installable. Current state is: passing
• arp.4.1.0 on 4.14.2 is now installable. Current state is: passing
• arp.4.1.0 on 5.3.0 is now installable. Current state is: passing
• bap-build.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-bundle.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-byteweight.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-callgraph-collator.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-dump-symbols.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-dwarf.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-elementary.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-elf.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-flatten.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-frontc.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-frontend.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-future.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-glibc-runtime.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-knowledge.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-main.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-mc.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-microx.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-mips.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-objdump.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-optimization.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-patterns.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-phoenix.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-piqi.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-plugins.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-powerpc.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-primus-dictionary.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-primus-exploring-scheduler.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-primus-greedy-scheduler.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-primus-limit.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-primus-lisp.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-primus-loader.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-primus-mark-visited.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-primus-powerpc.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-primus-print.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-primus-promiscuous.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-primus-propagate-taint.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-primus-random.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-primus-region.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-primus-round-robin-scheduler.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-primus-support.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-primus-systems.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-primus-taint.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-primus-test.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-primus-track-visited.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-primus-wandering-scheduler.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-primus.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-print.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-radare2.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-raw.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-recipe-command.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-report.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-riscv.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-run.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-specification.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-ssa.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-std.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-strings.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-stub-resolver.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-symbol-reader.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-systemz.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-taint-propagator.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-taint.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-term-mapper.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-thumb.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-toplevel.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-trace.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-traces.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-trivial-condition-form.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bap-warn-unused.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• bibfmt.0.7.9 on 4.14.2 is now installable. Current state is: passing
• bibfmt.0.7.9 on 5.3.0 is now installable. Current state is: passing
• bitvec-binprot.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• ca-certs-nss.3.117 on 4.14.2 is now installable. Current state is: passing
• ca-certs-nss.3.117 on 5.3.0 is now installable. Current state is: passing
• catala-format.1.0.0~beta on 4.14.2 is now installable. Current state is: passing
• catala-format.1.0.0~beta on 5.3.0 is now installable. Current state is: passing
• catala-lsp.1.0.0~beta on 4.14.2 is now installable. Current state is: passing
• catala-lsp.1.0.0~beta on 5.3.0 is now installable. Current state is: passing
• catala.1.0.0~beta on 4.14.2 is now installable. Current state is: passing
• catala.1.0.0~beta on 5.3.0 is now installable. Current state is: passing
• cgi.0.10 on 4.14.2 had its build status changed: failing to passing
• climate.0.8.5 on 4.14.2 is now installable. Current state is: passing
• climate.0.8.5 on 5.3.0 is now installable. Current state is: passing
• codept-lib.0.12.2 on 4.14.2 is now installable. Current state is: passing
• codept-lib.0.12.2 on 5.3.0 is now installable. Current state is: passing
• codept.0.12.2 on 4.14.2 is now installable. Current state is: passing
• codept.0.12.2 on 5.3.0 is now installable. Current state is: passing
• comby-kernel.1.7.0 on 4.14.2 had its build status changed: internal failure to passing
• conex-mirage-crypto.1.0.0 on 4.14.2 is now installable. Current state is: passing
• conex-mirage-crypto.1.0.0 on 5.3.0 is now installable. Current state is: passing
• conex.1.0.0 on 4.14.2 is now installable. Current state is: passing
• conex.1.0.0 on 5.3.0 is now installable. Current state is: passing
• conf-asciidoc.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-cmake.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-cmake.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-emacs.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-ffmpeg.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-ftgl.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-gfortran.0 on 5.3.0 had its build status changed: internal failure to passing
• conf-glib-2.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-libgccjit.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-llvm-shared.19 on 5.3.0 had its build status changed: internal failure to passing
• conf-mysql.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-ppl.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-rust-2018.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-xen.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-zmq.0.1 on 4.14.2 had its build status changed: internal failure to passing
• coq-core.9.1.0 on 4.14.2 is now installable. Current state is: passing
• coq-core.9.1.0 on 5.3.0 is now installable. Current state is: passing
• coq-lsp.0.2.4+9.1 on 4.14.2 is now installable. Current state is: passing
• coq-lsp.0.2.4+9.1 on 5.3.0 is now installable. Current state is: passing
• coq.9.1.0 on 4.14.2 is now installable. Current state is: passing
• coq.9.1.0 on 5.3.0 is now installable. Current state is: passing
• coqide-server.9.1.0 on 4.14.2 is now installable. Current state is: passing
• coqide-server.9.1.0 on 5.3.0 is now installable. Current state is: passing
• dns-certify.10.2.2 on 4.14.2 is now installable. Current state is: passing
• dns-certify.10.2.2 on 5.3.0 is now installable. Current state is: passing
• dns-cli.10.2.2 on 4.14.2 is now installable. Current state is: passing
• dns-cli.10.2.2 on 5.3.0 is now installable. Current state is: passing
• dns-client-lwt.10.2.2 on 4.14.2 is now installable. Current state is: passing
• dns-client-lwt.10.2.2 on 5.3.0 is now installable. Current state is: passing
• dns-client-miou-unix.10.2.2 on 5.3.0 is now installable. Current state is: passing
• dns-client-mirage.10.2.2 on 4.14.2 is now installable. Current state is: passing
• dns-client-mirage.10.2.2 on 5.3.0 is now installable. Current state is: passing
• dns-client.10.2.2 on 4.14.2 is now installable. Current state is: passing
• dns-client.10.2.2 on 5.3.0 is now installable. Current state is: passing
• dns-mirage.10.2.2 on 4.14.2 is now installable. Current state is: passing
• dns-mirage.10.2.2 on 5.3.0 is now installable. Current state is: passing
• dns-resolver.10.2.2 on 4.14.2 is now installable. Current state is: passing
• dns-resolver.10.2.2 on 5.3.0 is now installable. Current state is: passing
• dns-server.10.2.2 on 4.14.2 is now installable. Current state is: passing
• dns-server.10.2.2 on 5.3.0 is now installable. Current state is: passing
• dns-stub.10.2.2 on 4.14.2 is now installable. Current state is: passing
• dns-stub.10.2.2 on 5.3.0 is now installable. Current state is: passing
• dns-tsig.10.2.2 on 4.14.2 is now installable. Current state is: passing
• dns-tsig.10.2.2 on 5.3.0 is now installable. Current state is: passing
• dns.10.2.2 on 4.14.2 is now installable. Current state is: passing
• dns.10.2.2 on 5.3.0 is now installable. Current state is: passing
• dnssec.10.2.2 on 4.14.2 is now installable. Current state is: passing
• dnssec.10.2.2 on 5.3.0 is now installable. Current state is: passing
• dockerfile-cmd.8.3.3 on 4.14.2 is now installable. Current state is: passing
• dockerfile-cmd.8.3.3 on 5.3.0 is now installable. Current state is: passing
• dockerfile-opam.8.3.3 on 4.14.2 is now installable. Current state is: passing
• dockerfile-opam.8.3.3 on 5.3.0 is now installable. Current state is: passing
• dockerfile.8.3.3 on 4.14.2 is now installable. Current state is: passing
• dockerfile.8.3.3 on 5.3.0 is now installable. Current state is: passing
• doi2bib.0.7.9 on 4.14.2 is now installable. Current state is: passing
• doi2bib.0.7.9 on 5.3.0 is now installable. Current state is: passing
• domain-name.0.5.0 on 4.14.2 is now installable. Current state is: passing
• domain-name.0.5.0 on 5.3.0 is now installable. Current state is: passing
• elpi.3.4.2 on 4.14.2 is now installable. Current state is: passing
• elpi.3.4.2 on 5.3.0 is now installable. Current state is: passing
• fadecider.0.7 on 4.14.2 is now installable. Current state is: passing
• fadecider.0.7 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-avfilter.1.2.6 on 5.3.0 had its build status changed: internal failure to passing
• ffmpeg-swresample.1.2.6 on 4.14.2 had its build status changed: internal failure to passing
• fm-simplex-plugin.1.30 on 4.14.2 had its build status changed: partially failing to passing
• fmlib.0.6.1 on 4.14.2 is now installable. Current state is: passing
• fmlib.0.6.1 on 5.3.0 is now installable. Current state is: passing
• fmlib_browser.0.6.1 on 4.14.2 is now installable. Current state is: passing
• fmlib_browser.0.6.1 on 5.3.0 is now installable. Current state is: passing
• fmlib_js.0.6.1 on 4.14.2 is now installable. Current state is: passing
• fmlib_js.0.6.1 on 5.3.0 is now installable. Current state is: passing
• fmlib_parse.0.6.1 on 4.14.2 is now installable. Current state is: passing
• fmlib_parse.0.6.1 on 5.3.0 is now installable. Current state is: passing
• fmlib_pretty.0.6.1 on 4.14.2 is now installable. Current state is: passing
• fmlib_pretty.0.6.1 on 5.3.0 is now installable. Current state is: passing
• fmlib_std.0.6.1 on 4.14.2 is now installable. Current state is: passing
• fmlib_std.0.6.1 on 5.3.0 is now installable. Current state is: passing
• frama-c-luncov.0.2.4 on 4.14.2 had its build status changed: internal failure to passing
• frama-c.31.0 on 4.14.2 had its build status changed: internal failure to passing
• frama-c.31.0 on 5.3.0 had its build status changed: internal failure to passing
• gen_js_api.1.1.6 on 4.14.2 is now installable. Current state is: passing
• gen_js_api.1.1.6 on 5.3.0 is now installable. Current state is: passing
• goblint-cil.2.0.8 on 4.14.2 is now installable. Current state is: passing
• goblint-cil.2.0.8 on 5.3.0 is now installable. Current state is: passing
• graphlib.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• handlebars-ml.0.2.1 on 4.14.2 is now installable. Current state is: passing
• handlebars-ml.0.2.1 on 5.3.0 is now installable. Current state is: passing
• hiredis.0.8 on 4.14.2 had its build status changed: internal failure to passing
• html_of_jsx.0.0.6 on 4.14.2 is now installable. Current state is: passing
• html_of_jsx.0.0.6 on 5.3.0 is now installable. Current state is: passing
• huml-cli.0.1.1 on 4.14.2 is now installable. Current state is: passing
• huml-cli.0.1.1 on 5.3.0 is now installable. Current state is: passing
• huml.0.1.1 on 4.14.2 is now installable. Current state is: passing
• huml.0.1.1 on 5.3.0 is now installable. Current state is: passing
• json-derivers.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
• libsail.0.20 on 4.14.2 is now installable. Current state is: passing
• libsail.0.20 on 5.3.0 is now installable. Current state is: passing
• miou.0.5.0 on 5.3.0 is now installable. Current state is: passing
• mirage-ptime.5.2.0 on 4.14.2 is now installable. Current state is: passing
• mirage-ptime.5.2.0 on 5.3.0 is now installable. Current state is: passing
• mirage-runtime.4.10.3 on 4.14.2 is now installable. Current state is: passing
• mirage-runtime.4.10.3 on 5.3.0 is now installable. Current state is: passing
• mirage.4.10.3 on 4.14.2 is now installable. Current state is: passing
• mirage.4.10.3 on 5.3.0 is now installable. Current state is: passing
• mlsolver.1.5 on 4.14.2 is now installable. Current state is: passing
• mlsolver.1.5 on 5.3.0 is now installable. Current state is: passing
• monads.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• ninja_utils.1.0.0 on 4.14.2 is now installable. Current state is: passing
• ninja_utils.1.0.0 on 5.3.0 is now installable. Current state is: passing
• nsq.0.5.3 on 4.14.2 had its build status changed: internal failure to passing
• ocamlformat-lib.0.28.1 on 4.14.2 is now installable. Current state is: passing
• ocamlformat-lib.0.28.1 on 5.3.0 is now installable. Current state is: passing
• ocamlformat-rpc-lib.0.28.1 on 4.14.2 is now installable. Current state is: passing
• ocamlformat-rpc-lib.0.28.1 on 5.3.0 is now installable. Current state is: passing
• ocamlformat.0.28.1 on 4.14.2 is now installable. Current state is: passing
• ocamlformat.0.28.1 on 5.3.0 is now installable. Current state is: passing
• oglsl.0.1.0 on 5.3.0 is now installable. Current state is: passing
• ogre.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• ojs.1.1.6 on 4.14.2 is now installable. Current state is: passing
• ojs.1.1.6 on 5.3.0 is now installable. Current state is: passing
• opam-client.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
• opam-client.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
• opam-core.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
• opam-core.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
• opam-devel.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
• opam-devel.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
• opam-format.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
• opam-format.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
• opam-installer.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
• opam-installer.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
• opam-repository.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
• opam-repository.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
• opam-solver.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
• opam-solver.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
• opam-state.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
• opam-state.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
• opatch.3.0.1 on 4.14.2 is now installable. Current state is: passing
• opatch.3.0.1 on 5.3.0 is now installable. Current state is: passing
• pageantty.0.0.3 on 4.14.2 is now installable. Current state is: passing
• pageantty.0.0.3 on 5.3.0 is now installable. Current state is: passing
• pcrc.0.25.2 on 4.14.2 is now installable. Current state is: passing
• pcrc.0.25.2 on 5.3.0 is now installable. Current state is: passing
• ppx_bap.v0.14.0 on 4.14.2 had its build status changed: internal failure to passing
• ppx_fail.v0.14.0 on 4.14.2 had its build status changed: internal failure to passing
• ppx_import.1.12.0 on 4.14.2 is now installable. Current state is: passing
• ppx_import.1.12.0 on 5.3.0 is now installable. Current state is: passing
• ppx_matches.0.1.0 on 4.14.2 is now installable. Current state is: passing
• ppx_minidebug.3.0.0 on 5.3.0 is now installable. Current state is: passing
• ppxlib-tools.0.37.0 on 4.14.2 is now installable. Current state is: passing
• ppxlib-tools.0.37.0 on 5.3.0 is now installable. Current state is: passing
• ppxlib.0.37.0 on 4.14.2 is now installable. Current state is: passing
• ppxlib.0.37.0 on 5.3.0 is now installable. Current state is: passing
• regrade.0.1.0 on 4.14.2 is now installable. Current state is: passing
• regrade.0.1.0 on 5.3.0 is now installable. Current state is: passing
• regular.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• rich-string.1.0.0 on 5.3.0 is now installable. Current state is: passing
• rocq-core.9.1.0 on 4.14.2 is now installable. Current state is: passing
• rocq-core.9.1.0 on 5.3.0 is now installable. Current state is: passing
• rocq-devtools.9.1.0 on 4.14.2 is now installable. Current state is: passing
• rocq-devtools.9.1.0 on 5.3.0 is now installable. Current state is: passing
• rocq-runtime.9.1.0 on 4.14.2 is now installable. Current state is: passing
• rocq-runtime.9.1.0 on 5.3.0 is now installable. Current state is: passing
• rocqide.9.1.0 on 4.14.2 is now installable. Current state is: passing
• rocqide.9.1.0 on 5.3.0 is now installable. Current state is: passing
• sail.0.20 on 4.14.2 is now installable. Current state is: passing
• sail.0.20 on 5.3.0 is now installable. Current state is: passing
• sail_c_backend.0.20 on 4.14.2 is now installable. Current state is: passing
• sail_c_backend.0.20 on 5.3.0 is now installable. Current state is: passing
• sail_coq_backend.0.20 on 4.14.2 is now installable. Current state is: passing
• sail_coq_backend.0.20 on 5.3.0 is now installable. Current state is: passing
• sail_doc_backend.0.20 on 4.14.2 is now installable. Current state is: passing
• sail_doc_backend.0.20 on 5.3.0 is now installable. Current state is: passing
• sail_latex_backend.0.20 on 4.14.2 is now installable. Current state is: passing
• sail_latex_backend.0.20 on 5.3.0 is now installable. Current state is: passing
• sail_lean_backend.0.20 on 4.14.2 is now installable. Current state is: passing
• sail_lean_backend.0.20 on 5.3.0 is now installable. Current state is: passing
• sail_lem_backend.0.20 on 4.14.2 is now installable. Current state is: passing
• sail_lem_backend.0.20 on 5.3.0 is now installable. Current state is: passing
• sail_manifest.0.20 on 4.14.2 is now installable. Current state is: passing
• sail_manifest.0.20 on 5.3.0 is now installable. Current state is: passing
• sail_ocaml_backend.0.20 on 4.14.2 is now installable. Current state is: passing
• sail_ocaml_backend.0.20 on 5.3.0 is now installable. Current state is: passing
• sail_output.0.20 on 4.14.2 is now installable. Current state is: passing
• sail_output.0.20 on 5.3.0 is now installable. Current state is: passing
• sail_smt_backend.0.20 on 4.14.2 is now installable. Current state is: passing
• sail_smt_backend.0.20 on 5.3.0 is now installable. Current state is: passing
• sail_sv_backend.0.20 on 4.14.2 is now installable. Current state is: passing
• sail_sv_backend.0.20 on 5.3.0 is now installable. Current state is: passing
• sexp_diff_kernel.v0.14.0 on 4.14.2 had its build status changed: internal failure to passing
• solo5.0.10.0 on 4.14.2 is now installable. Current state is: passing
• solo5.0.10.0 on 5.3.0 is now installable. Current state is: passing
• websocket-lwt.2.12 on 4.14.2 had its build status changed: internal failure to passing