Home|Differences with the last checks|Previous runs

Differences between 5921904 and a20cf55 (git diff)

Packages now failing:

• conf-r-mathlib.1 on 4.14.2 had its build status changed: internal failure to failing
• conf-rocksdb.1 on 5.3.0 had its build status changed: internal failure to failing
• jasmin.2025.06.1 on 4.14.2 is now installable. Current state is: failing
• jasmin.2025.06.1 on 5.3.0 is now installable. Current state is: failing
• ocamlformat-mlx-lib.0.27.0.1 on 4.14.2 had its build status changed: passing to failing
• ocamlformat-mlx-lib.0.27.0.1 on 5.3.0 had its build status changed: passing to failing
• portmidi.0.4 on 4.14.2 is now installable. Current state is: failing
• profiler-plugin.1.30 on 4.14.2 had its build status changed: passing to failing
• rune.1.0.0~alpha1 on 5.3.0 is now installable. Current state is: failing
• runtime_events_tools.0.5.3 on 5.3.0 is now installable. Current state is: failing
• runtime_events_tools_bare.0.5.3 on 5.3.0 is now installable. Current state is: failing

Packages now partially failing:

• bap-primus-x86.2.5.0 on 4.14.2 had its build status changed: internal failure to partially failing
• diffast-langs-java-parsing.0.2 on 4.14.2 had its build status changed: internal failure to partially failing
• diffast-langs-java-spec.0.2 on 4.14.2 had its build status changed: internal failure to partially failing
• diffast-langs-java-spec.0.2 on 5.3.0 had its build status changed: internal failure to partially failing
• fehu.1.0.0~alpha1 on 5.3.0 is now installable. Current state is: partially failing
• kaun.1.0.0~alpha1 on 5.3.0 is now installable. Current state is: partially failing
• ocamlformat-mlx.0.27.0.1 on 4.14.2 had its build status changed: passing to partially failing
• ocamlformat-mlx.0.27.0.1 on 5.3.0 had its build status changed: passing to partially failing
• octez-accuser-Proxford.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-accuser-PsParisC.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-accuser-PtLimaPt.16.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-accuser-PtNairob.19.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-accuser-PtParisB.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-baker-Proxford.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-baker-PsParisC.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-baker-PtLimaPt.16.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-baker-PtMumbai.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-baker-PtNairob.19.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-baker-PtParisB.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-bls12-381-polynomial.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-bls12-381-signature.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-codec.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-crawler.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-dal-node.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-injector.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-l2-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-node-config.20.1 on 4.14.2 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-proto-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-protocol-000-Ps9mPmXa-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-protocol-001-PtCJ7pwo-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-protocol-002-PsYLVpVv-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-protocol-003-PsddFKi3-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-protocol-004-Pt24m4xi-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-protocol-005-PsBabyM1-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-protocol-013-PtJakart-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-protocol-014-PtKathma-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-protocol-015-PtLimaPt-libs.20.1 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-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
• octez.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• oqamldebug.0.9.5 on 4.14.2 had its build status changed: failing to partially failing
• oqamldebug.0.9.5 on 5.3.0 had its build status changed: failing to partially failing
• quill.1.0.0~alpha1 on 5.3.0 is now installable. Current state is: partially failing
• raven.1.0.0~alpha1 on 5.3.0 is now installable. Current state is: partially failing
• sowilo.1.0.0~alpha1 on 5.3.0 is now installable. Current state is: partially failing
• tezos-client-demo-counter.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-dac-client-lib.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-protocol-000-Ps9mPmXa.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-protocol-001-PtCJ7pwo.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-protocol-002-PsYLVpVv.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-protocol-003-PsddFKi3.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-protocol-004-Pt24m4xi.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-protocol-005-PsBABY5H.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-protocol-006-PsCARTHA.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-protocol-007-PsDELPH1.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-protocol-008-PtEdo2Zk.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-protocol-008-PtEdoTez.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-protocol-009-PsFLoren.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-protocol-010-PtGRANAD.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-protocol-011-PtHangz2.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-protocol-012-Psithaca.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-protocol-013-PtJakart.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-protocol-016-PtMumbai.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-protocol-017-PtNairob.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-protocol-018-Proxford.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-protocol-019-PtParisB.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-protocol-demo-noops.20.1 on 4.14.2 had its build status changed: internal failure to partially failing

Packages now not available:

• albatross.2.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• albatross.2.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• alcotest-js.1.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• alcotest-js.1.9.0 on 5.3.0 is not available anymore. Previous state was: passing
• alcotest-lwt.1.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• alcotest-lwt.1.9.0 on 5.3.0 is not available anymore. Previous state was: passing
• alcotest-mirage.1.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• alcotest-mirage.1.9.0 on 5.3.0 is not available anymore. Previous state was: passing
• alcotest.1.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• alcotest.1.9.0 on 5.3.0 is not available anymore. Previous state was: passing
• arrayjit.0.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• azure-cosmos-db.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• azure-cosmos-db.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• b0.0.0.5 on 4.14.2 is not available anymore. Previous state was: passing
• b0.0.0.5 on 5.3.0 is not available anymore. Previous state was: passing
• base64.3.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• base64.3.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• beluga.1.1.2 on 4.14.2 is not available anymore. Previous state was: passing
• beluga.1.1.2 on 5.3.0 is not available anymore. Previous state was: passing
• boltzgen.0.9.3 on 5.3.0 had its build status changed: failing to not available
• catala.0.10.0 on 4.14.2 is not available anymore. Previous state was: passing
• charrua-client.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• charrua-client.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• charrua-server.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• charrua-server.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• charrua-unix.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• charrua-unix.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• charrua.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• charrua.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• chrome-trace.3.20.1 on 4.14.2 is not available anymore. Previous state was: passing
• chrome-trace.3.20.1 on 5.3.0 is not available anymore. Previous state was: passing
• claudius.1.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• climate.0.8.2 on 4.14.2 is not available anymore. Previous state was: passing
• climate.0.8.2 on 5.3.0 is not available anymore. Previous state was: passing
• cmdlang-stdlib-runner.0.0.9 on 4.14.2 is not available anymore. Previous state was: passing
• cmdlang-stdlib-runner.0.0.9 on 5.3.0 is not available anymore. Previous state was: passing
• cmdlang-to-climate.0.0.9 on 4.14.2 is not available anymore. Previous state was: passing
• cmdlang-to-climate.0.0.9 on 5.3.0 is not available anymore. Previous state was: passing
• cmdlang-to-cmdliner.0.0.9 on 4.14.2 is not available anymore. Previous state was: passing
• cmdlang-to-cmdliner.0.0.9 on 5.3.0 is not available anymore. Previous state was: passing
• cmdlang.0.0.9 on 4.14.2 is not available anymore. Previous state was: passing
• cmdlang.0.0.9 on 5.3.0 is not available anymore. Previous state was: passing
• cmdliner.1.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• cmdliner.1.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• conf-libev.4-12 on 4.14.2 is not available anymore. Previous state was: passing
• conf-libev.4-12 on 5.3.0 is not available anymore. Previous state was: passing
• config-file.1.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• coq-lsp.0.2.3+9.0 on 4.14.2 is not available anymore. Previous state was: passing
• coq-lsp.0.2.3+9.0 on 5.3.0 is not available anymore. Previous state was: passing
• coq-waterproof.2.2.0+8.20 on 4.14.2 is not available anymore. Previous state was: passing
• coq-waterproof.2.2.0+8.20 on 5.3.0 is not available anymore. Previous state was: passing
• dns-certify.10.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• dns-certify.10.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• dns-cli.10.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• dns-cli.10.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client-lwt.10.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• dns-client-lwt.10.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client-miou-unix.10.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client-mirage.10.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• dns-client-mirage.10.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client.10.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• dns-client.10.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• dns-mirage.10.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• dns-mirage.10.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• dns-resolver.10.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• dns-resolver.10.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• dns-server.10.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• dns-server.10.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• dns-stub.10.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• dns-stub.10.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• dns-tsig.10.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• dns-tsig.10.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• dns.10.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• dns.10.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• dnssec.10.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• dnssec.10.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• dockerfile-cmd.8.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile-cmd.8.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• dockerfile-opam.8.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile-opam.8.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• dockerfile.8.3.0 on 4.14.2 is not available anymore. Previous state was: passing
• dockerfile.8.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• dokeysto.4.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• dokeysto.4.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• dokeysto_camltc.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• dokeysto_lz4.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• dokeysto_lz4.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• dot-merlin-reader.5.5-503 on 5.3.0 is not available anymore. Previous state was: passing
• dune-action-plugin.3.20.1 on 4.14.2 is not available anymore. Previous state was: passing
• dune-action-plugin.3.20.1 on 5.3.0 is not available anymore. Previous state was: passing
• dune-build-info.3.20.1 on 4.14.2 is not available anymore. Previous state was: passing
• dune-build-info.3.20.1 on 5.3.0 is not available anymore. Previous state was: passing
• dune-configurator.3.20.1 on 4.14.2 is not available anymore. Previous state was: passing
• dune-configurator.3.20.1 on 5.3.0 is not available anymore. Previous state was: passing
• dune-glob.3.20.1 on 4.14.2 is not available anymore. Previous state was: passing
• dune-glob.3.20.1 on 5.3.0 is not available anymore. Previous state was: passing
• dune-private-libs.3.20.1 on 4.14.2 is not available anymore. Previous state was: passing
• dune-private-libs.3.20.1 on 5.3.0 is not available anymore. Previous state was: passing
• dune-rpc-lwt.3.20.1 on 4.14.2 is not available anymore. Previous state was: passing
• dune-rpc-lwt.3.20.1 on 5.3.0 is not available anymore. Previous state was: passing
• dune-rpc.3.20.1 on 4.14.2 is not available anymore. Previous state was: passing
• dune-rpc.3.20.1 on 5.3.0 is not available anymore. Previous state was: passing
• dune-site.3.20.1 on 4.14.2 is not available anymore. Previous state was: passing
• dune-site.3.20.1 on 5.3.0 is not available anymore. Previous state was: passing
• dune.3.20.1 on 4.14.2 is not available anymore. Previous state was: passing
• dune.3.20.1 on 5.3.0 is not available anymore. Previous state was: passing
• dyn.3.20.1 on 4.14.2 is not available anymore. Previous state was: passing
• dyn.3.20.1 on 5.3.0 is not available anymore. Previous state was: passing
• earlybird.1.3.3 on 4.14.2 is not available anymore. Previous state was: passing
• earlybird.1.3.3 on 5.3.0 is not available anymore. Previous state was: passing
• elpi.3.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• elpi.3.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• emoji.2.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• emoji.2.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• fd-send-recv.2.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• fd-send-recv.2.0.2 on 5.3.0 is not available anymore. Previous state was: passing
• fit.1.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• fit.1.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• fix.20250428 on 4.14.2 is not available anymore. Previous state was: passing
• fix.20250428 on 5.3.0 is not available anymore. Previous state was: passing
• frama-c-metacsl.0.9~beta on 4.14.2 is not available anymore. Previous state was: passing
• frama-c-metacsl.0.9~beta on 5.3.0 is not available anymore. Previous state was: passing
• frama-clang.0.0.18~beta on 4.14.2 is not available anymore. Previous state was: internal failure
• frama-clang.0.0.18~beta on 5.3.0 is not available anymore. Previous state was: internal failure
• fstar.2025.08.07 on 4.14.2 is not available anymore. Previous state was: passing
• fstar.2025.08.07 on 5.3.0 is not available anymore. Previous state was: passing
• giflib.1.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• goblint-cil.2.0.6 on 4.14.2 is not available anymore. Previous state was: passing
• goblint-cil.2.0.6 on 5.3.0 is not available anymore. Previous state was: passing
• hugin.1.0.0~alpha0 on 5.3.0 is not available anymore. Previous state was: passing
• hxd.0.3.4 on 4.14.2 is not available anymore. Previous state was: passing
• hxd.0.3.4 on 5.3.0 is not available anymore. Previous state was: passing
• icalendar.0.1.11 on 4.14.2 is not available anymore. Previous state was: passing
• icalendar.0.1.11 on 5.3.0 is not available anymore. Previous state was: passing
• iomux.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• iomux.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• ip2location.8.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• ip2location.8.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• jasmin.2025.06.0 on 4.14.2 is not available anymore. Previous state was: failing
• jasmin.2025.06.0 on 5.3.0 is not available anymore. Previous state was: failing
• jsonrpc.1.23.0 on 4.14.2 is not available anymore. Previous state was: passing
• jsonrpc.1.23.0 on 5.3.0 is not available anymore. Previous state was: passing
• kaun.1.0.0~alpha0 on 5.3.0 is not available anymore. Previous state was: passing
• ldap.2.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap-js.2.3.3 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap-js.2.3.3 on 5.3.0 is not available anymore. Previous state was: passing
• liquidsoap-lang.2.3.3 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap-lang.2.3.3 on 5.3.0 is not available anymore. Previous state was: passing
• liquidsoap-mode.2.3.3 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap-mode.2.3.3 on 5.3.0 is not available anymore. Previous state was: passing
• liquidsoap.2.3.3 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap.2.3.3 on 5.3.0 is not available anymore. Previous state was: passing
• lsp.1.23.0 on 4.14.2 is not available anymore. Previous state was: passing
• lsp.1.23.0 on 5.3.0 is not available anymore. Previous state was: passing
• memprof-limits.0.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• menhir.20240715 on 4.14.2 is not available anymore. Previous state was: passing
• menhir.20240715 on 5.3.0 is not available anymore. Previous state was: passing
• menhirCST.20240715 on 4.14.2 is not available anymore. Previous state was: passing
• menhirCST.20240715 on 5.3.0 is not available anymore. Previous state was: passing
• menhirLib.20240715 on 4.14.2 is not available anymore. Previous state was: passing
• menhirLib.20240715 on 5.3.0 is not available anymore. Previous state was: passing
• menhirSdk.20240715 on 4.14.2 is not available anymore. Previous state was: passing
• menhirSdk.20240715 on 5.3.0 is not available anymore. Previous state was: passing
• merlin-lib.5.5-503 on 5.3.0 is not available anymore. Previous state was: passing
• merlin.5.5-503 on 5.3.0 is not available anymore. Previous state was: passing
• mirage-kv-mem.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• mirage-kv-mem.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• mirage-monitoring.0.0.7 on 4.14.2 is not available anymore. Previous state was: passing
• mirage-mtime.5.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• mirage-mtime.5.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• mirage-ptime.5.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• mirage-ptime.5.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• mirage-runtime.4.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• mirage-runtime.4.9.0 on 5.3.0 is not available anymore. Previous state was: passing
• mirage-sleep.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• mirage-sleep.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• mirage.4.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• mirage.4.9.0 on 5.3.0 is not available anymore. Previous state was: passing
• monolith.20250314 on 4.14.2 is not available anymore. Previous state was: passing
• monolith.20250314 on 5.3.0 is not available anymore. Previous state was: passing
• moonpool-io.0.8 on 5.3.0 is not available anymore. Previous state was: passing
• moonpool-lwt.0.8 on 5.3.0 is not available anymore. Previous state was: passing
• neural_nets_lib.0.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• nx-datasets.1.0.0~alpha0 on 5.3.0 is not available anymore. Previous state was: passing
• nx.1.0.0~alpha0 on 5.3.0 is not available anymore. Previous state was: passing
• ocaml-index.5.5-503 on 5.3.0 is not available anymore. Previous state was: passing
• ocaml-lsp-server.1.23.0 on 5.3.0 is not available anymore. Previous state was: passing
• ocaml-protoc-plugin.6.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• ocaml-protoc-plugin.6.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• ocamlc-loc.3.20.1 on 4.14.2 is not available anymore. Previous state was: passing
• ocamlc-loc.3.20.1 on 5.3.0 is not available anymore. Previous state was: passing
• ocp-indent.1.8.1 on 4.14.2 is not available anymore. Previous state was: passing
• ocp-indent.1.8.1 on 5.3.0 is not available anymore. Previous state was: passing
• odig.0.0.9 on 4.14.2 is not available anymore. Previous state was: passing
• odig.0.0.9 on 5.3.0 is not available anymore. Previous state was: passing
• opam-check-npm-deps.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• opam-check-npm-deps.4.0.0 on 5.3.0 is not available anymore. Previous state was: failing
• opam-compiler.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• opam-compiler.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• opam-publish.2.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-publish.2.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-client-cohttp-lwt.0.11.2 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-client-cohttp-lwt.0.11.2 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-client-ocurl.0.11.2 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-client-ocurl.0.11.2 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-cohttp-lwt.0.11.2 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-cohttp-lwt.0.11.2 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-lwt.0.11.2 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-lwt.0.11.2 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry.0.11.2 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry.0.11.2 on 5.3.0 is not available anymore. Previous state was: passing
• ordering.3.20.1 on 4.14.2 is not available anymore. Previous state was: passing
• ordering.3.20.1 on 5.3.0 is not available anymore. Previous state was: passing
• pgsolver.4.3 on 4.14.2 is not available anymore. Previous state was: passing
• portmidi.0.1 on 4.14.2 is not available anymore. Previous state was: failing
• pplumbing.0.0.14 on 4.14.2 is not available anymore. Previous state was: passing
• pplumbing.0.0.14 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_minidebug.2.3.0 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_protocol_conv.5.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_protocol_conv.5.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_protocol_conv_jsonm.5.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_protocol_conv_jsonm.5.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_protocol_conv_msgpack.5.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_protocol_conv_msgpack.5.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_protocol_conv_xml_light.5.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_protocol_conv_xml_light.5.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_protocol_conv_xmlm.5.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_protocol_conv_xmlm.5.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_protocol_conv_yaml.5.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_protocol_conv_yaml.5.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• ppxlib-tools.0.36.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppxlib-tools.0.36.0 on 5.3.0 is not available anymore. Previous state was: passing
• progress.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• progress.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• quill.1.0.0~alpha0 on 5.3.0 is not available anymore. Previous state was: passing
• raven.1.0.0~alpha0 on 5.3.0 is not available anymore. Previous state was: passing
• re.1.13.2 on 4.14.2 is not available anymore. Previous state was: passing
• re.1.13.2 on 5.3.0 is not available anymore. Previous state was: passing
• rpmfile.0.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• rpmfile.0.5.0 on 5.3.0 is not available anymore. Previous state was: passing
• rune.1.0.0~alpha0 on 5.3.0 is not available anymore. Previous state was: passing
• runtime_events_tools.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• runtime_events_tools_bare.0.5.2 on 5.3.0 is not available anymore. Previous state was: passing
• smtml.0.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• smtml.0.9.0 on 5.3.0 is not available anymore. Previous state was: passing
• snf_mcp.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• solo5.0.9.2 on 4.14.2 is not available anymore. Previous state was: passing
• solo5.0.9.2 on 5.3.0 is not available anymore. Previous state was: passing
• sowilo.1.0.0~alpha0 on 5.3.0 is not available anymore. Previous state was: passing
• stdune.3.20.1 on 4.14.2 is not available anymore. Previous state was: passing
• stdune.3.20.1 on 5.3.0 is not available anymore. Previous state was: passing
• terminal.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• terminal.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• testo-diff.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• testo-diff.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• testo-lwt.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• testo-lwt.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• testo-util.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• testo-util.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• testo.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• testo.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• tls-eio.2.0.2 on 5.3.0 is not available anymore. Previous state was: passing
• tls-lwt.2.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• tls-lwt.2.0.2 on 5.3.0 is not available anymore. Previous state was: passing
• tls-miou-unix.2.0.2 on 5.3.0 is not available anymore. Previous state was: passing
• tls-mirage.2.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• tls-mirage.2.0.2 on 5.3.0 is not available anymore. Previous state was: passing
• tls.2.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• tls.2.0.2 on 5.3.0 is not available anymore. Previous state was: passing
• uucd.16.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• uucd.16.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• uucp.16.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• uucp.16.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• uunf.16.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• uunf.16.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• uuseg.16.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• uuseg.16.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• volgo-base.0.0.18 on 5.3.0 is not available anymore. Previous state was: passing
• volgo-git-backend.0.0.18 on 4.14.2 is not available anymore. Previous state was: passing
• volgo-git-backend.0.0.18 on 5.3.0 is not available anymore. Previous state was: passing
• volgo-git-eio.0.0.18 on 5.3.0 is not available anymore. Previous state was: passing
• volgo-hg-backend.0.0.18 on 4.14.2 is not available anymore. Previous state was: passing
• volgo-hg-backend.0.0.18 on 5.3.0 is not available anymore. Previous state was: passing
• volgo-hg-eio.0.0.18 on 5.3.0 is not available anymore. Previous state was: passing
• volgo.0.0.18 on 4.14.2 is not available anymore. Previous state was: passing
• volgo.0.0.18 on 5.3.0 is not available anymore. Previous state was: passing
• why3-coq.1.8.1 on 4.14.2 is not available anymore. Previous state was: passing
• why3-coq.1.8.1 on 5.3.0 is not available anymore. Previous state was: passing
• why3-ide.1.8.1 on 4.14.2 is not available anymore. Previous state was: passing
• why3-ide.1.8.1 on 5.3.0 is not available anymore. Previous state was: passing
• why3.1.8.1 on 4.14.2 is not available anymore. Previous state was: passing
• why3.1.8.1 on 5.3.0 is not available anymore. Previous state was: passing
• xdg.3.20.1 on 4.14.2 is not available anymore. Previous state was: passing
• xdg.3.20.1 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml.2.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_cmarkit.2.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_eio.2.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_git.2.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_jingoo.2.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_mustache.2.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_omd.2.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_otoml.2.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_runtime.2.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_syndication.2.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_unix.2.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• yocaml_yaml.2.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• zanuda.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing

Packages now failing with an internal failure:

• bimage-io.0.6.0 on 4.14.2 had its build status changed: failing to internal failure
• conf-antic.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-automake.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-binaryen.1 on 5.3.0 is now installable. Current state is: internal failure
• conf-blas.1 on 4.14.2 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-cmake.1 on 5.3.0 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-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-dssi.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-faad.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-ffmpeg.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-fftw3.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-fftw3.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-flex.2 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-freeglut.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-freeglut.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-freetype.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-g++.1.0 on 5.3.0 had its build status changed: passing to internal failure
• conf-gcc.1.0 on 4.14.2 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-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-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-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-glpk.1 on 5.3.0 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-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-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-gobject-introspection.1.0 on 5.3.0 had its build status changed: passing to internal failure
• conf-goocanvas2.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 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-gtk2.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-gtksourceview3.0+2 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-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 4.14.2 had its build status changed: passing to internal failure
• conf-jq.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-ladspa.1 on 4.14.2 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-lame.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-lame.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-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-libMagickCore.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libMagickCore.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libXft.1 on 4.14.2 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-libbz2.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libclang.15 on 4.14.2 had its build status changed: passing to internal failure
• conf-libclang.15 on 5.3.0 had its build status changed: passing to internal failure
• conf-libdw.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libev.4-13 on 4.14.2 is now installable. Current state is: internal failure
• conf-libevent.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libevent.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libflac.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libflac.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libfontconfig.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libfontconfig.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libfuse.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libfuse.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libgccjit.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libgccjit.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libgif.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libgif.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libgl.1 on 5.3.0 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-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 4.14.2 had its build status changed: passing to internal failure
• conf-libjpeg.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-liblinear-tools.1.0.0 on 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-libmaxminddb.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libmaxminddb.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libmosquitto.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libmosquitto.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libmpg123.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libmpg123.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libogg.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libogg.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libopus.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libopus.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libpcre.2 on 4.14.2 had its build status changed: passing to internal failure
• conf-libpng.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libpng.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libportmidi.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libportmidi.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-librsvg2.0 on 4.14.2 had its build status changed: passing to internal failure
• conf-libsamplerate.2 on 4.14.2 had its build status changed: passing to internal failure
• conf-libsamplerate.2 on 5.3.0 had its build status changed: passing to internal failure
• conf-libsodium.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libspeex.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libsvm.3 on 4.14.2 had its build status changed: passing to internal failure
• conf-libsvm.3 on 5.3.0 had its build status changed: passing to internal failure
• conf-libtheora.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libtool.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libuv.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libvorbis.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libxcb-image.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libxcb-image.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libxcb-keysyms.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libxcb-shm.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libxcb-xkb.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libxcb-xkb.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libxcb.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libxcb.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libxcursor.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libxi.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libxi.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libxinerama.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libxinerama.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libxrandr.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-libxrandr.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-lilv.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-lilv.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-llvm-shared.19 on 4.14.2 had its build status changed: passing to internal failure
• conf-llvm-shared.19 on 5.3.0 had its build status changed: passing to internal failure
• conf-llvm-static.19 on 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-mesa.1 on 4.14.2 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-mpfr.3 on 5.3.0 had its build status changed: passing to internal failure
• conf-mpi.1 on 5.3.0 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-nanomsg.0 on 5.3.0 had its build status changed: passing to internal failure
• conf-nauty.1.0 on 5.3.0 had its build status changed: passing to internal failure
• conf-ode.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-oniguruma.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-pandoc.0.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-pango.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-protoc-dev.1.0.0 on 5.3.0 had its build status changed: passing to internal failure
• conf-qemu-img.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-rdkit.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-rubberband.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-rust-2024.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-sdl-mixer.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-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 5.3.0 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-sdl2-ttf.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-sdl2.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-sdl2.1 on 5.3.0 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-sysinfo.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-taglib.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-taglib.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-texlive.2 on 4.14.2 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
• 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-unwind.0 on 4.14.2 had its build status changed: passing to internal failure
• conf-unwind.0 on 5.3.0 had its build status changed: passing to internal failure
• conf-vim.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-vips.1 on 4.14.2 is now installable. Current state is: internal failure
• conf-xen.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-xkbcommon.1 on 5.3.0 had its build status changed: passing to internal failure
• efl.1.24.0 on 4.14.2 had its build status changed: failing to internal failure
• eio-trace.0.4 on 5.3.0 had its build status changed: passing to internal failure
• eliom.11.1.1 on 4.14.2 had its build status changed: passing to internal failure
• ff-sig.0.6.2 on 4.14.2 had its build status changed: passing to internal failure
• ffmpeg-avdevice.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
• frama-c-luncov.0.2.4 on 4.14.2 had its build status changed: passing to internal failure
• frama-c-luncov.0.2.4 on 5.3.0 had its build status changed: passing to internal failure
• frama-c-metacsl.0.9 on 5.3.0 is now installable. Current state is: internal failure
• frama-c.31.0 on 4.14.2 had its build status changed: passing to internal failure
• frama-c.31.0 on 5.3.0 had its build status changed: passing to internal failure
• frama-clang.0.0.18 on 4.14.2 is now installable. Current state is: internal failure
• frama-clang.0.0.18 on 5.3.0 is now installable. Current state is: internal failure
• lablgtk3-sourceview3.3.1.5 on 4.14.2 had its build status changed: passing to internal failure
• lbfgs.0.9.5 on 4.14.2 had its build status changed: failing to internal failure
• lbvs_consent.2.1.2 on 4.14.2 had its build status changed: failing to internal failure
• ldp.0.5.0 on 4.14.2 had its build status changed: passing to internal failure
• ldp_js.0.5.0 on 4.14.2 had its build status changed: passing to internal failure
• lintcstubs.0.4.7 on 4.14.2 had its build status changed: passing to internal failure
• linwrap.9.2.0 on 5.3.0 had its build status changed: passing to internal failure
• liquid_parser.0.1.2 on 4.14.2 had its build status changed: partially failing to internal failure
• liquidsoap-core.2.3.0 on 4.14.2 had its build status changed: passing to internal failure
• liquidsoap-daemon.1.0.0 on 5.3.0 had its build status changed: passing to internal failure
• llama_interactive.0.1.0 on 4.14.2 had its build status changed: partially failing to internal failure
• lmdb.1.0 on 4.14.2 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
• mehari-mirage.0.4 on 5.3.0 had its build status changed: passing to internal failure
• mehari.0.4 on 4.14.2 had its build status changed: passing to internal failure
• mehari.0.4 on 5.3.0 had its build status changed: passing to internal failure
• melange.5.1.0-53 on 5.3.0 had its build status changed: passing to internal failure
• nocoiner.1.0.0 on 4.14.2 had its build status changed: passing to internal failure
• octez-smart-rollup-client-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• octez-smart-rollup-wasm-benchmark-lib.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• owl-jupyter.1.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-ode.0.5.0 on 5.3.0 had its build status changed: partially failing to internal failure
• owl-opt-lbfgs.0.0.1 on 4.14.2 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 4.14.2 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
• owl.1.2 on 5.3.0 had its build status changed: failing to internal failure
• rankers.2.0.7 on 5.3.0 had its build status changed: partially failing to internal failure
• rocq-runtime.9.0.0 on 5.3.0 had its build status changed: passing to internal failure
• tezos-baking-015-PtLimaPt-commands.16.1 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-baking-015-PtLimaPt.16.1 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-baking-016-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-baking-017-PtNairob-commands.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-baking-017-PtNairob.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-baking-alpha-commands.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-baking-alpha.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-base-test-helpers.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-base.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-base58.1.0.0 on 4.14.2 had its build status changed: passing to internal failure
• tezos-base58.1.0.0 on 5.3.0 had its build status changed: passing to internal failure
• tezos-bls12-381-polynomial.1.0.1 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-clic.12.3 on 4.14.2 had its build status changed: passing to internal failure
• tezos-clic.12.3 on 5.3.0 had its build status changed: passing to internal failure
• tezos-client-000-Ps9mPmXa.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-001-PtCJ7pwo.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-002-PsYLVpVv.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-003-PsddFKi3.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-007-PsDELPH1.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-009-PsFLoren.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-016-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-017-PtNairob.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-alpha.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-base-unix.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-base.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-client-commands.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-context-hash-irmin.1.0.0 on 4.14.2 had its build status changed: passing to internal failure
• tezos-context-hash-irmin.1.0.0 on 5.3.0 had its build status changed: passing to internal failure
• tezos-context-hash.1.0.0 on 4.14.2 had its build status changed: passing to internal failure
• tezos-context-ops.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-context.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-crypto-dal.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-000-Ps9mPmXa.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-001-PtCJ7pwo.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-002-PsYLVpVv.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-004-Pt24m4xi.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-005-PsBabyM1.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-006-PsCARTHA.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-007-PsDELPH1.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-008-PtEdo2Zk.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-008-PtEdoTez.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-011-PtHangz2.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-012-Psithaca.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-embedded-protocol-013-PtJakart.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-layer2-utils-017-PtNairob.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-environment.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-007-PsDELPH1-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-007-PsDELPH1.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-008-PtEdo2Zk-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-008-PtEdo2Zk.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-009-PsFLoren.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-010-PtGRANAD-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-010-PtGRANAD.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-011-PtHangz2-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-011-PtHangz2.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-012-Psithaca-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-012-Psithaca.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-016-PtMumbai-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-016-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-017-PtNairob-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-017-PtNairob.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-alpha-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-alpha.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-updater.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-proxy.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-requester.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-rpc-http-client-unix.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-rpc-http-client.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-rpc-http-server.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-rpc-http.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-rpc.12.3 on 4.14.2 had its build status changed: passing to internal failure
• tezos-rpc.17.3 on 4.14.2 had its build status changed: passing to internal failure
• tezos-sapling.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-scoru-wasm-fast.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-scoru-wasm-helpers.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-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-shell.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-signer-backends.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-smart-rollup-016-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-smart-rollup-017-PtNairob.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-smart-rollup-alpha.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-smart-rollup-layer2-016-PtMumbai.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-smart-rollup-layer2-017-PtNairob.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-stdlib-unix.12.3 on 4.14.2 had its build status changed: passing to internal failure
• tezos-stdlib-unix.12.3 on 5.3.0 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-stdlib.17.3 on 4.14.2 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-test-helpers.17.3 on 4.14.2 had its build status changed: passing 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-version.17.3 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-webassembly-interpreter.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
• tezt-bam.0.4 on 4.14.2 had its build status changed: passing to internal failure
• tezt-performance-regression.17.3 on 4.14.2 had its build status changed: passing to internal failure
• tidy_email_mailgun.0.0.1 on 5.3.0 had its build status changed: passing to internal failure
• tsdl-image.0.6 on 5.3.0 had its build status changed: passing to internal failure
• zmq-lwt.5.3.0 on 4.14.2 had its build status changed: passing to internal failure

Packages now passing:

• albatross.2.6.0 on 4.14.2 is now installable. Current state is: passing
• albatross.2.6.0 on 5.3.0 is now installable. Current state is: passing
• alcotest-js.1.9.1 on 4.14.2 is now installable. Current state is: passing
• alcotest-js.1.9.1 on 5.3.0 is now installable. Current state is: passing
• alcotest-lwt.1.9.1 on 4.14.2 is now installable. Current state is: passing
• alcotest-lwt.1.9.1 on 5.3.0 is now installable. Current state is: passing
• alcotest-mirage.1.9.1 on 4.14.2 is now installable. Current state is: passing
• alcotest-mirage.1.9.1 on 5.3.0 is now installable. Current state is: passing
• alcotest.1.9.1 on 4.14.2 is now installable. Current state is: passing
• alcotest.1.9.1 on 5.3.0 is now installable. Current state is: passing
• arrayjit.0.6.1 on 5.3.0 is now installable. Current state is: passing
• azure-cosmos-db.0.3.1 on 4.14.2 is now installable. Current state is: passing
• azure-cosmos-db.0.3.1 on 5.3.0 is now installable. Current state is: passing
• b0.0.0.6 on 4.14.2 is now installable. Current state is: passing
• b0.0.0.6 on 5.3.0 is now installable. Current state is: 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-symbolic-executor.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-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-std.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-taint-propagator.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
• base64.3.5.2 on 4.14.2 is now installable. Current state is: passing
• base64.3.5.2 on 5.3.0 is now installable. Current state is: passing
• beluga.1.1.3 on 4.14.2 is now installable. Current state is: passing
• beluga.1.1.3 on 5.3.0 is now installable. Current state is: passing
• bls12-381-legacy.0.4.4 on 4.14.2 had its build status changed: internal failure to passing
• catala.1.0.0~alpha on 4.14.2 is now installable. Current state is: passing
• cgi.0.10 on 4.14.2 had its build status changed: failing to passing
• charrua-client.2.1.1 on 4.14.2 is now installable. Current state is: passing
• charrua-client.2.1.1 on 5.3.0 is now installable. Current state is: passing
• charrua-server.2.1.1 on 4.14.2 is now installable. Current state is: passing
• charrua-server.2.1.1 on 5.3.0 is now installable. Current state is: passing
• charrua-unix.2.1.1 on 4.14.2 is now installable. Current state is: passing
• charrua-unix.2.1.1 on 5.3.0 is now installable. Current state is: passing
• charrua.2.1.1 on 4.14.2 is now installable. Current state is: passing
• charrua.2.1.1 on 5.3.0 is now installable. Current state is: passing
• chess_com_api.1.0.1 on 4.14.2 is now installable. Current state is: passing
• chess_com_api.1.0.1 on 5.3.0 is now installable. Current state is: passing
• chrome-trace.3.20.2 on 4.14.2 is now installable. Current state is: passing
• chrome-trace.3.20.2 on 5.3.0 is now installable. Current state is: passing
• claudius.1.2.1 on 5.3.0 is now installable. Current state is: passing
• climate.0.8.4 on 4.14.2 is now installable. Current state is: passing
• climate.0.8.4 on 5.3.0 is now installable. Current state is: passing
• cmdlang-cmdliner-err-runner.0.0.16 on 4.14.2 is now installable. Current state is: passing
• cmdlang-cmdliner-err-runner.0.0.16 on 5.3.0 is now installable. Current state is: passing
• cmdlang-stdlib-runner.0.0.10 on 4.14.2 is now installable. Current state is: passing
• cmdlang-stdlib-runner.0.0.10 on 5.3.0 is now installable. Current state is: passing
• cmdlang-to-climate.0.0.10 on 4.14.2 is now installable. Current state is: passing
• cmdlang-to-climate.0.0.10 on 5.3.0 is now installable. Current state is: passing
• cmdlang-to-cmdliner.0.0.10 on 4.14.2 is now installable. Current state is: passing
• cmdlang-to-cmdliner.0.0.10 on 5.3.0 is now installable. Current state is: passing
• cmdlang.0.0.10 on 4.14.2 is now installable. Current state is: passing
• cmdlang.0.0.10 on 5.3.0 is now installable. Current state is: passing
• cmdliner.2.0.0 on 4.14.2 is now installable. Current state is: passing
• cmdliner.2.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-binaryen.1 on 4.14.2 is now installable. Current state is: passing
• conf-boost.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-libev.4-13 on 5.3.0 is now installable. Current state is: passing
• conf-libgl.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-libobjc2.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-libsodium.1 on 5.3.0 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 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-nauty.1.0 on 4.14.2 had its build status changed: internal failure to passing
• conf-nmap.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
• conf-npm.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-pandoc.0.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-qemu-img.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-rust-2021.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-rust.0.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-rust.0.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-samplerate.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-sdl-gfx.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-sdl-image.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-sdl-mixer.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-sdl-net.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-secp256k1.2 on 5.3.0 had its build status changed: internal failure to passing
• conf-sfml2.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-sndfile.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-vips.1 on 5.3.0 is now installable. Current state is: passing
• conf-xen.1 on 4.14.2 had its build status changed: internal failure to passing
• config-file.1.2.2 on 4.14.2 is now installable. Current state is: passing
• config-file.1.2.2 on 5.3.0 is now installable. Current state is: passing
• coq-lsp.0.2.4+9.0 on 4.14.2 is now installable. Current state is: passing
• coq-lsp.0.2.4+9.0 on 5.3.0 is now installable. Current state is: passing
• coq-waterproof.3.0.0+9.0 on 4.14.2 is now installable. Current state is: passing
• coq-waterproof.3.0.0+9.0 on 5.3.0 is now installable. Current state is: passing
• cudd.0.1.3 on 4.14.2 is now installable. Current state is: passing
• cudd.0.1.3 on 5.3.0 is now installable. Current state is: passing
• delimcc_of_fxhandler.0.1 on 5.3.0 had its build status changed: partially failing to passing
• dns-certify.10.2.1 on 4.14.2 is now installable. Current state is: passing
• dns-certify.10.2.1 on 5.3.0 is now installable. Current state is: passing
• dns-cli.10.2.1 on 4.14.2 is now installable. Current state is: passing
• dns-cli.10.2.1 on 5.3.0 is now installable. Current state is: passing
• dns-client-lwt.10.2.1 on 4.14.2 is now installable. Current state is: passing
• dns-client-lwt.10.2.1 on 5.3.0 is now installable. Current state is: passing
• dns-client-miou-unix.10.2.1 on 5.3.0 is now installable. Current state is: passing
• dns-client-mirage.10.2.1 on 4.14.2 is now installable. Current state is: passing
• dns-client-mirage.10.2.1 on 5.3.0 is now installable. Current state is: passing
• dns-client.10.2.1 on 4.14.2 is now installable. Current state is: passing
• dns-client.10.2.1 on 5.3.0 is now installable. Current state is: passing
• dns-mirage.10.2.1 on 4.14.2 is now installable. Current state is: passing
• dns-mirage.10.2.1 on 5.3.0 is now installable. Current state is: passing
• dns-resolver.10.2.1 on 4.14.2 is now installable. Current state is: passing
• dns-resolver.10.2.1 on 5.3.0 is now installable. Current state is: passing
• dns-server.10.2.1 on 4.14.2 is now installable. Current state is: passing
• dns-server.10.2.1 on 5.3.0 is now installable. Current state is: passing
• dns-stub.10.2.1 on 4.14.2 is now installable. Current state is: passing
• dns-stub.10.2.1 on 5.3.0 is now installable. Current state is: passing
• dns-tsig.10.2.1 on 4.14.2 is now installable. Current state is: passing
• dns-tsig.10.2.1 on 5.3.0 is now installable. Current state is: passing
• dns.10.2.1 on 4.14.2 is now installable. Current state is: passing
• dns.10.2.1 on 5.3.0 is now installable. Current state is: passing
• dnssec.10.2.1 on 4.14.2 is now installable. Current state is: passing
• dnssec.10.2.1 on 5.3.0 is now installable. Current state is: passing
• dockerfile-cmd.8.3.1 on 4.14.2 is now installable. Current state is: passing
• dockerfile-cmd.8.3.1 on 5.3.0 is now installable. Current state is: passing
• dockerfile-opam.8.3.1 on 4.14.2 is now installable. Current state is: passing
• dockerfile-opam.8.3.1 on 5.3.0 is now installable. Current state is: passing
• dockerfile.8.3.1 on 4.14.2 is now installable. Current state is: passing
• dockerfile.8.3.1 on 5.3.0 is now installable. Current state is: passing
• dokeysto.4.0.2 on 4.14.2 is now installable. Current state is: passing
• dokeysto.4.0.2 on 5.3.0 is now installable. Current state is: passing
• dokeysto_camltc.4.0.2 on 4.14.2 is now installable. Current state is: passing
• dokeysto_lz4.4.0.2 on 4.14.2 is now installable. Current state is: passing
• dokeysto_lz4.4.0.2 on 5.3.0 is now installable. Current state is: passing
• dot-merlin-reader.5.6-503 on 5.3.0 is now installable. Current state is: passing
• dune-action-plugin.3.20.2 on 4.14.2 is now installable. Current state is: passing
• dune-action-plugin.3.20.2 on 5.3.0 is now installable. Current state is: passing
• dune-build-info.3.20.2 on 4.14.2 is now installable. Current state is: passing
• dune-build-info.3.20.2 on 5.3.0 is now installable. Current state is: passing
• dune-configurator.3.20.2 on 4.14.2 is now installable. Current state is: passing
• dune-configurator.3.20.2 on 5.3.0 is now installable. Current state is: passing
• dune-glob.3.20.2 on 4.14.2 is now installable. Current state is: passing
• dune-glob.3.20.2 on 5.3.0 is now installable. Current state is: passing
• dune-private-libs.3.20.2 on 4.14.2 is now installable. Current state is: passing
• dune-private-libs.3.20.2 on 5.3.0 is now installable. Current state is: passing
• dune-rpc-lwt.3.20.2 on 4.14.2 is now installable. Current state is: passing
• dune-rpc-lwt.3.20.2 on 5.3.0 is now installable. Current state is: passing
• dune-rpc.3.20.2 on 4.14.2 is now installable. Current state is: passing
• dune-rpc.3.20.2 on 5.3.0 is now installable. Current state is: passing
• dune-site.3.20.2 on 4.14.2 is now installable. Current state is: passing
• dune-site.3.20.2 on 5.3.0 is now installable. Current state is: passing
• dune.3.20.2 on 4.14.2 is now installable. Current state is: passing
• dune.3.20.2 on 5.3.0 is now installable. Current state is: passing
• dyn.3.20.2 on 4.14.2 is now installable. Current state is: passing
• dyn.3.20.2 on 5.3.0 is now installable. Current state is: passing
• earlybird.1.3.4 on 4.14.2 is now installable. Current state is: passing
• earlybird.1.3.4 on 5.3.0 is now installable. Current state is: passing
• elpi.3.4.1 on 4.14.2 is now installable. Current state is: passing
• elpi.3.4.1 on 5.3.0 is now installable. Current state is: passing
• emoji.3.0.1 on 4.14.2 is now installable. Current state is: passing
• emoji.3.0.1 on 5.3.0 is now installable. Current state is: passing
• fd-send-recv.2.0.3 on 4.14.2 is now installable. Current state is: passing
• fd-send-recv.2.0.3 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-avcodec.1.2.6 on 5.3.0 had its build status changed: internal failure to passing
• fit.1.3.2 on 4.14.2 is now installable. Current state is: passing
• fit.1.3.2 on 5.3.0 is now installable. Current state is: passing
• fix.20250919 on 4.14.2 is now installable. Current state is: passing
• fix.20250919 on 5.3.0 is now installable. Current state is: passing
• frama-c-metacsl.0.9 on 4.14.2 is now installable. Current state is: passing
• fstar.2025.09.04 on 4.14.2 is now installable. Current state is: passing
• fstar.2025.09.04 on 5.3.0 is now installable. Current state is: passing
• giflib.1.1.0 on 5.3.0 is now installable. Current state is: passing
• gl-legacy.0.1.0 on 4.14.2 is now installable. Current state is: passing
• gl-legacy.0.1.0 on 5.3.0 is now installable. Current state is: passing
• goblint-cil.2.0.7 on 4.14.2 is now installable. Current state is: passing
• goblint-cil.2.0.7 on 5.3.0 is now installable. Current state is: passing
• handlebars-ml.0.1.2 on 4.14.2 is now installable. Current state is: passing
• handlebars-ml.0.1.2 on 5.3.0 is now installable. Current state is: passing
• hugin.1.0.0~alpha1 on 5.3.0 is now installable. Current state is: passing
• hxd.0.3.5 on 4.14.2 is now installable. Current state is: passing
• hxd.0.3.5 on 5.3.0 is now installable. Current state is: passing
• icalendar.0.1.12 on 4.14.2 is now installable. Current state is: passing
• icalendar.0.1.12 on 5.3.0 is now installable. Current state is: passing
• inifiles.2.0 on 4.14.2 is now installable. Current state is: passing
• inifiles.2.0 on 5.3.0 is now installable. Current state is: passing
• intPQueue.20250925 on 4.14.2 is now installable. Current state is: passing
• intPQueue.20250925 on 5.3.0 is now installable. Current state is: passing
• iomux.0.4 on 4.14.2 is now installable. Current state is: passing
• iomux.0.4 on 5.3.0 is now installable. Current state is: passing
• ip2location.8.2.0 on 4.14.2 is now installable. Current state is: passing
• ip2location.8.2.0 on 5.3.0 is now installable. Current state is: passing
• jsonrpc.1.24.0 on 4.14.2 is now installable. Current state is: passing
• jsonrpc.1.24.0 on 5.3.0 is now installable. Current state is: passing
• knights_tour.0.0.6 on 5.3.0 is now installable. Current state is: passing
• lablgtk3.3.1.5 on 4.14.2 had its build status changed: internal failure to passing
• ldap.2.5.2 on 4.14.2 is now installable. Current state is: passing
• ldap.2.5.2 on 5.3.0 is now installable. Current state is: passing
• lichess_api.1.0.1 on 4.14.2 is now installable. Current state is: passing
• lichess_api.1.0.1 on 5.3.0 is now installable. Current state is: passing
• links.0.9.8 on 4.14.2 had its build status changed: internal failure to passing
• linol-eio.0.10 on 5.3.0 had its build status changed: partially failing to passing
• linol-lwt.0.10 on 4.14.2 had its build status changed: partially failing to passing
• linol-lwt.0.10 on 5.3.0 had its build status changed: partially failing to passing
• linol.0.10 on 4.14.2 had its build status changed: failing to passing
• linol.0.10 on 5.3.0 had its build status changed: failing to passing
• liquidsoap-js.2.4.0 on 4.14.2 is now installable. Current state is: passing
• liquidsoap-js.2.4.0 on 5.3.0 is now installable. Current state is: passing
• liquidsoap-lang.2.4.0 on 4.14.2 is now installable. Current state is: passing
• liquidsoap-lang.2.4.0 on 5.3.0 is now installable. Current state is: passing
• liquidsoap-mode.2.4.0 on 4.14.2 is now installable. Current state is: passing
• liquidsoap-mode.2.4.0 on 5.3.0 is now installable. Current state is: passing
• liquidsoap.2.4.0 on 4.14.2 is now installable. Current state is: passing
• liquidsoap.2.4.0 on 5.3.0 is now installable. Current state is: passing
• lsp.1.24.0 on 4.14.2 is now installable. Current state is: passing
• lsp.1.24.0 on 5.3.0 is now installable. Current state is: passing
• memprof-limits.0.3.0 on 4.14.2 is now installable. Current state is: passing
• memprof-limits.0.3.0 on 5.3.0 is now installable. Current state is: passing
• menhir.20250912 on 4.14.2 is now installable. Current state is: passing
• menhir.20250912 on 5.3.0 is now installable. Current state is: passing
• menhirCST.20250912 on 4.14.2 is now installable. Current state is: passing
• menhirCST.20250912 on 5.3.0 is now installable. Current state is: passing
• menhirLib.20250912 on 4.14.2 is now installable. Current state is: passing
• menhirLib.20250912 on 5.3.0 is now installable. Current state is: passing
• menhirSdk.20250912 on 4.14.2 is now installable. Current state is: passing
• menhirSdk.20250912 on 5.3.0 is now installable. Current state is: passing
• merlin-lib.5.6-503 on 5.3.0 is now installable. Current state is: passing
• merlin.5.6-503 on 5.3.0 is now installable. Current state is: passing
• mirage-kv-mem.4.0.1 on 4.14.2 is now installable. Current state is: passing
• mirage-kv-mem.4.0.1 on 5.3.0 is now installable. Current state is: passing
• mirage-monitoring.0.0.8 on 4.14.2 is now installable. Current state is: passing
• mirage-mtime.5.2.0 on 4.14.2 is now installable. Current state is: passing
• mirage-mtime.5.2.0 on 5.3.0 is now installable. Current state is: passing
• mirage-ptime.5.1.0 on 4.14.2 is now installable. Current state is: passing
• mirage-ptime.5.1.0 on 5.3.0 is now installable. Current state is: passing
• mirage-runtime.4.10.1 on 4.14.2 is now installable. Current state is: passing
• mirage-runtime.4.10.1 on 5.3.0 is now installable. Current state is: passing
• mirage-sleep.4.1.0 on 4.14.2 is now installable. Current state is: passing
• mirage-sleep.4.1.0 on 5.3.0 is now installable. Current state is: passing
• mirage.4.10.1 on 4.14.2 is now installable. Current state is: passing
• mirage.4.10.1 on 5.3.0 is now installable. Current state is: passing
• monolith.20250922 on 4.14.2 is now installable. Current state is: passing
• monolith.20250922 on 5.3.0 is now installable. Current state is: passing
• moonpool-io.0.9 on 5.3.0 is now installable. Current state is: passing
• moonpool-lwt.0.9 on 5.3.0 is now installable. Current state is: passing
• moonpool.0.9 on 5.3.0 is now installable. Current state is: passing
• neural_nets_lib.0.6.1 on 5.3.0 is now installable. Current state is: passing
• nx-datasets.1.0.0~alpha1 on 5.3.0 is now installable. Current state is: passing
• nx.1.0.0~alpha1 on 5.3.0 is now installable. Current state is: passing
• ocaml-index.5.6-503 on 5.3.0 is now installable. Current state is: passing
• ocaml-lsp-server.1.23.1 on 5.3.0 is now installable. Current state is: passing
• ocaml-protoc-plugin.6.2.0 on 4.14.2 is now installable. Current state is: passing
• ocaml-protoc-plugin.6.2.0 on 5.3.0 is now installable. Current state is: passing
• ocamlc-loc.3.20.2 on 4.14.2 is now installable. Current state is: passing
• ocamlc-loc.3.20.2 on 5.3.0 is now installable. Current state is: passing
• ocamldap.transition on 5.3.0 had its build status changed: not available to passing
• ocp-indent.1.9.0 on 4.14.2 is now installable. Current state is: passing
• ocp-indent.1.9.0 on 5.3.0 is now installable. Current state is: passing
• ocue.0.1.0 on 4.14.2 is now installable. Current state is: passing
• ocue.0.1.0 on 5.3.0 is now installable. Current state is: passing
• odig.0.1.0 on 4.14.2 is now installable. Current state is: passing
• odig.0.1.0 on 5.3.0 is now installable. Current state is: passing
• opam-build.0.2.6 on 4.14.2 is now installable. Current state is: passing
• opam-build.0.2.6 on 5.3.0 is now installable. Current state is: passing
• opam-check-npm-deps.4.0.1 on 4.14.2 is now installable. Current state is: passing
• opam-check-npm-deps.4.0.1 on 5.3.0 is now installable. Current state is: passing
• opam-compiler.0.2.1 on 4.14.2 is now installable. Current state is: passing
• opam-compiler.0.2.1 on 5.3.0 is now installable. Current state is: passing
• opam-publish.2.6.0 on 4.14.2 is now installable. Current state is: passing
• opam-publish.2.6.0 on 5.3.0 is now installable. Current state is: passing
• opam-test.0.2.6 on 4.14.2 is now installable. Current state is: passing
• opam-test.0.2.6 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-client-cohttp-eio.0.12 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-client-cohttp-lwt.0.12 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-client-cohttp-lwt.0.12 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-client-ocurl.0.12 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-client-ocurl.0.12 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-cohttp-lwt.0.12 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-cohttp-lwt.0.12 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-logs.0.12 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-logs.0.12 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-lwt.0.12 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-lwt.0.12 on 5.3.0 is now installable. Current state is: passing
• opentelemetry.0.12 on 4.14.2 is now installable. Current state is: passing
• opentelemetry.0.12 on 5.3.0 is now installable. Current state is: passing
• ordering.3.20.2 on 4.14.2 is now installable. Current state is: passing
• ordering.3.20.2 on 5.3.0 is now installable. Current state is: passing
• osh.0.1 on 4.14.2 had its build status changed: partially failing to passing
• pgn_parser.1.0.1 on 4.14.2 is now installable. Current state is: passing
• pgn_parser.1.0.1 on 5.3.0 is now installable. Current state is: passing
• pgsolver.4.4 on 4.14.2 is now installable. Current state is: passing
• pgsolver.4.4 on 5.3.0 is now installable. Current state is: passing
• postgresql.5.3.2 on 5.3.0 is now installable. Current state is: passing
• pplumbing-err.0.0.16 on 4.14.2 is now installable. Current state is: passing
• pplumbing-err.0.0.16 on 5.3.0 is now installable. Current state is: passing
• pplumbing-log-cli.0.0.16 on 4.14.2 is now installable. Current state is: passing
• pplumbing-log-cli.0.0.16 on 5.3.0 is now installable. Current state is: passing
• pplumbing-log.0.0.16 on 4.14.2 is now installable. Current state is: passing
• pplumbing-log.0.0.16 on 5.3.0 is now installable. Current state is: passing
• pplumbing-pp-tty.0.0.16 on 4.14.2 is now installable. Current state is: passing
• pplumbing-pp-tty.0.0.16 on 5.3.0 is now installable. Current state is: passing
• pplumbing.0.0.16 on 4.14.2 is now installable. Current state is: passing
• pplumbing.0.0.16 on 5.3.0 is now installable. Current state is: passing
• ppx_format.1.0 on 4.14.2 is now installable. Current state is: passing
• ppx_format.1.0 on 5.3.0 is now installable. Current state is: passing
• ppx_minidebug.2.4.0 on 5.3.0 is now installable. Current state is: passing
• ppx_protocol_conv.5.2.3 on 4.14.2 is now installable. Current state is: passing
• ppx_protocol_conv.5.2.3 on 5.3.0 is now installable. Current state is: passing
• ppx_protocol_conv_json.5.2.3 on 5.3.0 is now installable. Current state is: passing
• ppx_protocol_conv_jsonm.5.2.3 on 4.14.2 is now installable. Current state is: passing
• ppx_protocol_conv_jsonm.5.2.3 on 5.3.0 is now installable. Current state is: passing
• ppx_protocol_conv_msgpack.5.2.3 on 4.14.2 is now installable. Current state is: passing
• ppx_protocol_conv_msgpack.5.2.3 on 5.3.0 is now installable. Current state is: passing
• ppx_protocol_conv_xml_light.5.2.3 on 4.14.2 is now installable. Current state is: passing
• ppx_protocol_conv_xml_light.5.2.3 on 5.3.0 is now installable. Current state is: passing
• ppx_protocol_conv_xmlm.5.2.3 on 4.14.2 is now installable. Current state is: passing
• ppx_protocol_conv_xmlm.5.2.3 on 5.3.0 is now installable. Current state is: passing
• ppx_protocol_conv_yaml.5.2.3 on 4.14.2 is now installable. Current state is: passing
• ppx_protocol_conv_yaml.5.2.3 on 5.3.0 is now installable. Current state is: passing
• ppxlib-tools.0.36.2 on 4.14.2 is now installable. Current state is: passing
• ppxlib-tools.0.36.2 on 5.3.0 is now installable. Current state is: passing
• primavera.1.0.0 on 5.3.0 is now installable. Current state is: passing
• progress.0.5.0 on 4.14.2 is now installable. Current state is: passing
• progress.0.5.0 on 5.3.0 is now installable. Current state is: passing
• prolect.1.1.3 on 5.3.0 is now installable. Current state is: passing
• proton.1.0.17 on 4.14.2 is now installable. Current state is: passing
• proton.1.0.17 on 5.3.0 is now installable. Current state is: passing
• re.1.14.0 on 4.14.2 is now installable. Current state is: passing
• re.1.14.0 on 5.3.0 is now installable. Current state is: passing
• rpmfile.0.8.0 on 4.14.2 is now installable. Current state is: passing
• rpmfile.0.8.0 on 5.3.0 is now installable. Current state is: passing
• saga.1.0.0~alpha1 on 5.3.0 is now installable. Current state is: passing
• scope.1.1 on 5.3.0 is now installable. Current state is: passing
• smtml.0.11.0 on 4.14.2 is now installable. Current state is: passing
• smtml.0.11.0 on 5.3.0 is now installable. Current state is: passing
• snf_mcp.0.2.1 on 5.3.0 is now installable. Current state is: passing
• solo5.0.9.3 on 4.14.2 is now installable. Current state is: passing
• solo5.0.9.3 on 5.3.0 is now installable. Current state is: passing
• stdune.3.20.2 on 4.14.2 is now installable. Current state is: passing
• stdune.3.20.2 on 5.3.0 is now installable. Current state is: passing
• talon.1.0.0~alpha1 on 5.3.0 is now installable. Current state is: passing
• tcs-lib.0.6 on 4.14.2 is now installable. Current state is: passing
• tcs-lib.0.6 on 5.3.0 is now installable. Current state is: passing
• terminal.0.5.0 on 4.14.2 is now installable. Current state is: passing
• terminal.0.5.0 on 5.3.0 is now installable. Current state is: passing
• testo-diff.0.2.0 on 4.14.2 is now installable. Current state is: passing
• testo-diff.0.2.0 on 5.3.0 is now installable. Current state is: passing
• testo-lwt.0.2.0 on 4.14.2 is now installable. Current state is: passing
• testo-lwt.0.2.0 on 5.3.0 is now installable. Current state is: passing
• testo-util.0.2.0 on 4.14.2 is now installable. Current state is: passing
• testo-util.0.2.0 on 5.3.0 is now installable. Current state is: passing
• testo.0.2.0 on 4.14.2 is now installable. Current state is: passing
• testo.0.2.0 on 5.3.0 is now installable. Current state is: passing
• tinyfiledialogs.1.0 on 4.14.2 is now installable. Current state is: passing
• tinyfiledialogs.1.0 on 5.3.0 is now installable. Current state is: passing
• tls-eio.2.0.3 on 5.3.0 is now installable. Current state is: passing
• tls-lwt.2.0.3 on 4.14.2 is now installable. Current state is: passing
• tls-lwt.2.0.3 on 5.3.0 is now installable. Current state is: passing
• tls-miou-unix.2.0.3 on 5.3.0 is now installable. Current state is: passing
• tls-mirage.2.0.3 on 4.14.2 is now installable. Current state is: passing
• tls-mirage.2.0.3 on 5.3.0 is now installable. Current state is: passing
• tls.2.0.3 on 4.14.2 is now installable. Current state is: passing
• tls.2.0.3 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
• uucd.17.0.0 on 4.14.2 is now installable. Current state is: passing
• uucd.17.0.0 on 5.3.0 is now installable. Current state is: passing
• uucp.17.0.0 on 4.14.2 is now installable. Current state is: passing
• uucp.17.0.0 on 5.3.0 is now installable. Current state is: passing
• uunf.17.0.0 on 4.14.2 is now installable. Current state is: passing
• uunf.17.0.0 on 5.3.0 is now installable. Current state is: passing
• uuseg.17.0.0 on 4.14.2 is now installable. Current state is: passing
• uuseg.17.0.0 on 5.3.0 is now installable. Current state is: passing
• volgo-base.0.0.21 on 5.3.0 is now installable. Current state is: passing
• volgo-git-backend.0.0.21 on 4.14.2 is now installable. Current state is: passing
• volgo-git-backend.0.0.21 on 5.3.0 is now installable. Current state is: passing
• volgo-git-eio.0.0.21 on 5.3.0 is now installable. Current state is: passing
• volgo-hg-backend.0.0.21 on 4.14.2 is now installable. Current state is: passing
• volgo-hg-backend.0.0.21 on 5.3.0 is now installable. Current state is: passing
• volgo-hg-eio.0.0.21 on 5.3.0 is now installable. Current state is: passing
• volgo.0.0.21 on 4.14.2 is now installable. Current state is: passing
• volgo.0.0.21 on 5.3.0 is now installable. Current state is: passing
• vsrocq-language-server.2.3.0 on 4.14.2 is now installable. Current state is: passing
• vsrocq-language-server.2.3.0 on 5.3.0 is now installable. Current state is: passing
• why3-coq.1.8.2 on 4.14.2 is now installable. Current state is: passing
• why3-coq.1.8.2 on 5.3.0 is now installable. Current state is: passing
• why3-ide.1.8.2 on 4.14.2 is now installable. Current state is: passing
• why3-ide.1.8.2 on 5.3.0 is now installable. Current state is: passing
• why3.1.8.2 on 4.14.2 is now installable. Current state is: passing
• why3.1.8.2 on 5.3.0 is now installable. Current state is: passing
• xdg.3.20.2 on 4.14.2 is now installable. Current state is: passing
• xdg.3.20.2 on 5.3.0 is now installable. Current state is: passing
• yocaml.2.6.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_cmarkit.2.6.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_eio.2.6.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_git.2.6.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_jingoo.2.6.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_markdown.2.6.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_mustache.2.6.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_omd.2.6.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_otoml.2.6.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_runtime.2.6.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_syndication.2.6.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_unix.2.6.0 on 5.3.0 is now installable. Current state is: passing
• yocaml_yaml.2.6.0 on 5.3.0 is now installable. Current state is: passing
• zanuda.2.0.0 on 4.14.2 is now installable. Current state is: passing
• zanuda.2.0.0 on 5.3.0 is now installable. Current state is: passing