opam-health-check diff

Home|Differences with the last checks|Previous runs

Differences between a8ca1f2 and 3c6a0f5 (git diff)

Packages now failing:

conf-gles2.1 on 4.14.2 had its build status changed: internal failure to failing
conf-gles2.1 on 5.3.0 had its build status changed: internal failure to failing
conf-leveldb.2 on 5.3.0 had its build status changed: internal failure to failing
cubicle.1.2.0 on 4.14.2 had its build status changed: passing to failing
freetds.0.7 on 4.14.2 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
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: partially failing to failing

Packages now partially failing:

fm-simplex-plugin.1.30 on 4.14.2 had its build status changed: failing to partially failing
imguiml.v1.90.6 on 5.3.0 had its build status changed: internal failure 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-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-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-client.20.1 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-dac-client.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-dac-node.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-006-PsCARTHA-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-protocol-007-PsDELPH1-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-protocol-008-PtEdo2Zk-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-protocol-009-PsFLoren-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-protocol-010-PtGRANAD-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-protocol-011-PtHangz2-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-protocol-012-Psithaca-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-protocol-016-PtMumbai-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-protocol-017-PtNairob-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-protocol-018-Proxford-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-protocol-019-PtParisB-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-protocol-020-PsParisC-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-protocol-alpha-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-protocol-compiler.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-proxy-server.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-rpc-process.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-shell-libs.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-signer.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-smart-rollup-client-Proxford.18.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-Proxford.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-smart-rollup-node-PsParisC.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-smart-rollup-node-PtNairob.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-smart-rollup-node-PtParisB.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-smart-rollup-node-alpha.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-smart-rollup-node-lib.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-smart-rollup-node.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
octez-smart-rollup-wasm-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
owl-ode-sundials.0.5.0 on 4.14.2 had its build status changed: internal failure to partially failing
owl-opt-lbfgs.0.0.1 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-baking-016-PtMumbai.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-bls12-381-polynomial.1.0.1 on 5.3.0 had its build status changed: internal failure to partially failing
tezos-client-demo-counter.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-client-genesis.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-dac-lib.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-dac-node-lib.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-dal-node-lib.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-dal-node-services.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-005-PsBabyM1.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-014-PtKathma.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-protocol-015-PtLimaPt.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-020-PsParisC.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-protocol-alpha.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-protocol-demo-counter.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
tezos-protocol-genesis.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-proxy-server-config.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
tezt-tezos.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
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
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
chess_com_api.1.0.0 on 4.14.2 is not available anymore. Previous state was: passing
chess_com_api.1.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.1.1 on 5.3.0 is not available anymore. Previous state was: internal failure
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
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
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
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.3.1 on 4.14.2 is not available anymore. Previous state was: passing
elpi.3.3.1 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: internal failure
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: internal failure
giflib.1.0.3 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
lichess_api.1.0.0 on 4.14.2 is not available anymore. Previous state was: passing
lichess_api.1.0.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.20250903 on 4.14.2 is not available anymore. Previous state was: passing
menhir.20250903 on 5.3.0 is not available anymore. Previous state was: passing
menhirCST.20250903 on 4.14.2 is not available anymore. Previous state was: passing
menhirCST.20250903 on 5.3.0 is not available anymore. Previous state was: passing
menhirLib.20250903 on 4.14.2 is not available anymore. Previous state was: passing
menhirLib.20250903 on 5.3.0 is not available anymore. Previous state was: passing
menhirSdk.20250903 on 4.14.2 is not available anymore. Previous state was: passing
menhirSdk.20250903 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.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
neural_nets_lib.0.6.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
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
pgn_parser.1.0.0 on 4.14.2 is not available anymore. Previous state was: passing
pgn_parser.1.0.0 on 5.3.0 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
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
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
smtml.0.10.0 on 4.14.2 is not available anymore. Previous state was: passing
smtml.0.10.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
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
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.1 on 5.3.0 is not available anymore. Previous state was: passing
yocaml_cmarkit.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
yocaml_eio.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
yocaml_git.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
yocaml_jingoo.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
yocaml_markdown.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
yocaml_mustache.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
yocaml_omd.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
yocaml_otoml.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
yocaml_runtime.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
yocaml_syndication.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
yocaml_unix.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
yocaml_yaml.2.4.1 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-gtk.0.2.1 on 4.14.2 had its build status changed: passing to internal failure
binary_tree.1.0 on 4.14.2 had its build status changed: passing to internal failure
camlkit-gui.0.3.0 on 4.14.2 had its build status changed: passing to internal failure
conf-ao.1 on 4.14.2 had its build status changed: passing to internal failure
conf-assimp.1 on 5.3.0 had its build status changed: failing to internal failure
conf-dbm.1.0.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-gfortran.0 on 4.14.2 had its build status changed: passing to internal failure
conf-gmp-paths.1 on 5.3.0 had its build status changed: passing to internal failure
conf-goocanvas2.0 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-guile.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libMagickCore.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 5.3.0 had its build status changed: passing to internal failure
conf-libdw.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libdw.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libev.4-13 on 5.3.0 had its build status changed: passing to internal failure
conf-libevent.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libevent.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libflac.1 on 5.3.0 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-libgccjit.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libgsasl.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libjpeg.1 on 5.3.0 had its build status changed: passing to internal failure
conf-liblinear-tools.1.0.0 on 4.14.2 had its build status changed: passing to internal failure
conf-liblinear-tools.1.0.0 on 5.3.0 had its build status changed: passing to internal failure
conf-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-libpcre.2 on 4.14.2 had its build status changed: passing to internal failure
conf-libpcre.2 on 5.3.0 had its build status changed: passing to internal failure
conf-libpng.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libpng.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libportmidi.1 on 5.3.0 had its build status changed: passing to internal failure
conf-librsvg2.0 on 5.3.0 had its build status changed: passing to internal failure
conf-libsamplerate.2 on 4.14.2 had its build status changed: passing to internal failure
conf-libspeex.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libsvm-tools.1.0.0 on 5.3.0 had its build status changed: passing to internal failure
conf-libwayland.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libxcb-image.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libxcb-image.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libxcb-keysyms.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libxcb-keysyms.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libxcb-shm.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libxcb-shm.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libxcb-xkb.1 on 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 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-llvm-shared.19 on 5.3.0 had its build status changed: passing to internal failure
conf-llvm-static.19 on 4.14.2 had its build status changed: passing to internal failure
conf-mysql.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-opencc1_1.1 on 4.14.2 had its build status changed: passing to internal failure
conf-perl-ipc-system-simple.3 on 4.14.2 had its build status changed: passing to internal failure
conf-perl-string-shellquote.3 on 5.3.0 had its build status changed: passing to internal failure
conf-pixz.1 on 4.14.2 had its build status changed: passing to internal failure
conf-pixz.1 on 5.3.0 had its build status changed: passing to internal failure
conf-portaudio.1 on 4.14.2 had its build status changed: passing to internal failure
conf-portaudio.1 on 5.3.0 had its build status changed: passing to internal failure
conf-postgresql.2 on 4.14.2 had its build status changed: passing to internal failure
conf-postgresql.2 on 5.3.0 had its build status changed: passing to internal failure
conf-ppl.1 on 4.14.2 had its build status changed: passing to internal failure
conf-ppl.1 on 5.3.0 had its build status changed: passing to internal failure
conf-protoc-dev.1.0.0 on 4.14.2 had its build status changed: passing to internal failure
conf-protoc-dev.1.0.0 on 5.3.0 had its build status changed: passing to internal failure
conf-protoc.4.4.0 on 5.3.0 had its build status changed: passing to internal failure
conf-pulseaudio.1 on 4.14.2 had its build status changed: passing to internal failure
conf-python-2-7.1.2 on 5.3.0 had its build status changed: passing to internal failure
conf-python-3-7.1.0.0 on 4.14.2 had its build status changed: passing to internal failure
conf-python-3-7.1.0.0 on 5.3.0 had its build status changed: passing to internal failure
conf-python-3-dev.1 on 4.14.2 had its build status changed: passing to internal failure
conf-python-3-dev.1 on 5.3.0 had its build status changed: passing to internal failure
conf-python-3.9.0.0 on 4.14.2 had its build status changed: passing to internal failure
conf-python-3.9.0.0 on 5.3.0 had its build status changed: passing to internal failure
conf-python3-tomli.1 on 4.14.2 had its build status changed: failing to internal failure
conf-python3-tomli.1 on 5.3.0 had its build status changed: failing to internal failure
conf-radare2.0.1 on 5.3.0 had its build status changed: passing to internal failure
conf-rust-2018.1 on 4.14.2 had its build status changed: passing to internal failure
conf-rust-2021.1 on 4.14.2 had its build status changed: passing to internal failure
conf-sdl-ttf.1 on 4.14.2 had its build status changed: passing to internal failure
conf-sdl2-image.1 on 5.3.0 had its build status changed: passing to internal failure
conf-sdl2-mixer.1 on 4.14.2 had its build status changed: passing to internal failure
conf-sdl2-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-ttf.1 on 5.3.0 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-sdpa.1 on 4.14.2 had its build status changed: passing to internal failure
conf-sdpa.1 on 5.3.0 had its build status changed: passing to internal failure
conf-secp256k1.2 on 4.14.2 had its build status changed: passing to internal failure
conf-secp256k1.2 on 5.3.0 had its build status changed: passing to internal failure
conf-sfml2.1 on 4.14.2 had its build status changed: passing to internal failure
conf-sfml2.1 on 5.3.0 had its build status changed: passing to internal failure
conf-snappy.1 on 4.14.2 had its build status changed: passing to internal failure
conf-snappy.1 on 5.3.0 had its build status changed: passing to internal failure
conf-sndfile.1 on 4.14.2 had its build status changed: passing to internal failure
conf-sndfile.1 on 5.3.0 had its build status changed: passing to internal failure
conf-soundtouch.1 on 4.14.2 had its build status changed: passing to internal failure
conf-soundtouch.1 on 5.3.0 had its build status changed: passing to internal failure
conf-sqlite3.1 on 4.14.2 had its build status changed: passing to internal failure
conf-sqlite3.1 on 5.3.0 had its build status changed: passing to internal failure
conf-srt.2 on 4.14.2 had its build status changed: passing to internal failure
conf-srt.2 on 5.3.0 had its build status changed: passing to internal failure
conf-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-swi-prolog.1 on 5.3.0 had its build status changed: passing to internal failure
conf-sysinfo.1 on 4.14.2 had its build status changed: passing to internal failure
conf-sysinfo.1 on 5.3.0 had its build status changed: passing to internal failure
conf-taglib.1 on 4.14.2 had its build status changed: passing to internal failure
conf-taglib.1 on 5.3.0 had its build status changed: passing to internal failure
conf-taglib_c.2 on 4.14.2 had its build status changed: passing to internal failure
conf-taglib_c.2 on 5.3.0 had its build status changed: passing to internal failure
conf-tcl.1 on 4.14.2 had its build status changed: passing to internal failure
conf-tcl.1 on 5.3.0 had its build status changed: passing to internal failure
conf-texlive.2 on 5.3.0 had its build status changed: passing to internal failure
conf-tidy.1 on 4.14.2 had its build status changed: failing to internal failure
conf-tidy.1 on 5.3.0 had its build status changed: failing to internal failure
conf-tk.1 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-vim.1 on 5.3.0 had its build status changed: passing to internal failure
conf-wayland-protocols.1 on 4.14.2 had its build status changed: passing to internal failure
conf-wayland-protocols.1 on 5.3.0 had its build status changed: passing to internal failure
conf-wget.1 on 4.14.2 had its build status changed: passing to internal failure
conf-xen.1 on 4.14.2 had its build status changed: passing to internal failure
conf-xkbcommon.1 on 4.14.2 had its build status changed: passing to internal failure
conf-zmq.0.1 on 5.3.0 had its build status changed: passing to internal failure
diffast-core.0.2 on 4.14.2 had its build status changed: partially failing 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
lmdb.1.0 on 5.3.0 had its build status changed: passing to internal failure
ocsipersist-sqlite.2.0.0 on 5.3.0 had its build status changed: passing to internal failure
rdf.1.1.0 on 4.14.2 had its build status changed: passing to internal failure
runtime_events_tools.0.3 on 5.3.0 had its build status changed: passing to internal failure
safemoney.0.3.0 on 4.14.2 had its build status changed: passing to internal failure
sail.0.19.1 on 4.14.2 had its build status changed: passing to internal failure
sail.0.19.1 on 5.3.0 had its build status changed: passing to internal failure
sail_c_backend.0.19.1 on 4.14.2 had its build status changed: passing to internal failure
sail_c_backend.0.19.1 on 5.3.0 had its build status changed: passing to internal failure
sail_coq_backend.0.19.1 on 4.14.2 had its build status changed: passing to internal failure
sail_coq_backend.0.19.1 on 5.3.0 had its build status changed: passing to internal failure
sail_doc_backend.0.19.1 on 4.14.2 had its build status changed: passing to internal failure
sail_doc_backend.0.19.1 on 5.3.0 had its build status changed: passing to internal failure
sail_latex_backend.0.19.1 on 4.14.2 had its build status changed: passing to internal failure
sail_latex_backend.0.19.1 on 5.3.0 had its build status changed: passing to internal failure
sail_lean_backend.0.19.1 on 4.14.2 had its build status changed: passing to internal failure
sail_lean_backend.0.19.1 on 5.3.0 had its build status changed: passing to internal failure
sail_lem_backend.0.19.1 on 4.14.2 had its build status changed: passing to internal failure
sail_lem_backend.0.19.1 on 5.3.0 had its build status changed: passing to internal failure
sail_ocaml_backend.0.19.1 on 5.3.0 had its build status changed: passing to internal failure
sail_output.0.19.1 on 4.14.2 had its build status changed: passing to internal failure
sail_output.0.19.1 on 5.3.0 had its build status changed: passing to internal failure
sail_smt_backend.0.19.1 on 4.14.2 had its build status changed: passing to internal failure
sail_sv_backend.0.19.1 on 5.3.0 had its build status changed: passing to internal failure
scope.1.1 on 5.3.0 is now installable. Current state is: internal failure
sdl-liquidsoap.3 on 4.14.2 had its build status changed: passing to internal failure
sendmail-mirage.0.12.0 on 5.3.0 had its build status changed: passing to internal failure
sendmail.0.12.0 on 4.14.2 had its build status changed: passing to internal failure
session-postgresql-lwt.0.5.0 on 4.14.2 had its build status changed: passing to internal failure
session-postgresql-lwt.0.5.0 on 5.3.0 had its build status changed: passing to internal failure
session-postgresql.0.5.0 on 4.14.2 had its build status changed: passing to internal failure
session-postgresql.0.5.0 on 5.3.0 had its build status changed: passing to internal failure
setcore.1.0.2 on 4.14.2 had its build status changed: passing to internal failure
setcore.1.0.2 on 5.3.0 had its build status changed: passing to internal failure
statocaml_changelog.0.1.0 on 4.14.2 had its build status changed: passing 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-commands.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-shell-services-test-helpers.16.1 on 4.14.2 had its build status changed: partially failing to internal failure
tsdl-ttf.0.6 on 4.14.2 had its build status changed: passing to internal failure
tsdl.1.1.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
arrayjit.0.6.1 on 5.3.0 is now installable. Current state is: passing
aws-s3-lwt.4.8.1 on 4.14.2 had its build status changed: internal failure to passing
aws-s3.4.8.1 on 4.14.2 had its build status changed: internal failure to passing
aws-s3.4.8.1 on 5.3.0 had its build status changed: internal failure to 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
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
camelsnakekebab.0.4 on 5.3.0 had its build status changed: internal failure to passing
caml-mode.4.9 on 5.3.0 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
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
cloudi.2.0.7 on 5.3.0 had its build status changed: internal failure to 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
conf-adwaita-icon-theme.2 on 5.3.0 had its build status changed: internal failure to passing
conf-antic.1 on 4.14.2 had its build status changed: internal failure to passing
conf-ao.1 on 5.3.0 had its build status changed: internal failure to passing
conf-autoconf.0.2 on 5.3.0 had its build status changed: internal failure to passing
conf-bison.2 on 5.3.0 had its build status changed: internal failure to passing
conf-boost.1 on 4.14.2 had its build status changed: internal failure to passing
conf-capnproto.2 on 5.3.0 had its build status changed: internal failure to passing
conf-clang-format.1 on 5.3.0 had its build status changed: internal failure to passing
conf-csdp.1 on 4.14.2 had its build status changed: internal failure to passing
conf-dbm.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
conf-diffutils.2 on 4.14.2 had its build status changed: internal failure to passing
conf-diffutils.2 on 5.3.0 had its build status changed: internal failure to passing
conf-dpkg.1 on 4.14.2 had its build status changed: internal failure to passing
conf-dssi.1 on 5.3.0 had its build status changed: internal failure to passing
conf-faad.1 on 4.14.2 had its build status changed: internal failure to passing
conf-faad.1 on 5.3.0 had its build status changed: internal failure to passing
conf-fdkaac.1 on 5.3.0 had its build status changed: internal failure to passing
conf-ffmpeg.1 on 4.14.2 had its build status changed: internal failure to passing
conf-ffmpeg.1 on 5.3.0 had its build status changed: internal failure to passing
conf-flex.2 on 4.14.2 had its build status changed: internal failure to passing
conf-flex.2 on 5.3.0 had its build status changed: internal failure to passing
conf-freeglut.1 on 4.14.2 had its build status changed: internal failure to passing
conf-freeglut.1 on 5.3.0 had its build status changed: internal failure to passing
conf-freetype.1 on 5.3.0 had its build status changed: internal failure to passing
conf-frei0r.1 on 5.3.0 had its build status changed: internal failure to passing
conf-fswatch.11-0.1.3 on 5.3.0 had its build status changed: internal failure to passing
conf-ftgl.1 on 4.14.2 had its build status changed: internal failure to passing
conf-ftgl.1 on 5.3.0 had its build status changed: internal failure to passing
conf-g++.1.0 on 4.14.2 had its build status changed: internal failure to passing
conf-gcc.1.0 on 5.3.0 had its build status changed: internal failure to passing
conf-ghostscript.1 on 5.3.0 had its build status changed: internal failure to passing
conf-glade.2 on 4.14.2 had its build status changed: internal failure to passing
conf-glfw3.2 on 4.14.2 had its build status changed: internal failure to passing
conf-glib-2.1 on 4.14.2 had its build status changed: internal failure to passing
conf-glib-2.1 on 5.3.0 had its build status changed: internal failure to passing
conf-graphviz.0.1 on 4.14.2 had its build status changed: internal failure to passing
conf-graphviz.0.1 on 5.3.0 had its build status changed: internal failure to passing
conf-guile.1 on 4.14.2 had its build status changed: internal failure to passing
conf-hg.1.0 on 5.3.0 had its build status changed: internal failure to passing
conf-jack.1 on 4.14.2 had its build status changed: internal failure to passing
conf-jack.1 on 5.3.0 had its build status changed: internal failure to passing
conf-libX11.1 on 4.14.2 had its build status changed: internal failure to passing
conf-libX11.1 on 5.3.0 had its build status changed: internal failure to passing
conf-libargon2.1 on 5.3.0 had its build status changed: internal failure to passing
conf-libsodium.1 on 4.14.2 had its build status changed: internal failure to passing
conf-libvorbis.1 on 5.3.0 had its build status changed: internal failure to passing
conf-ode.1 on 5.3.0 had its build status changed: internal failure to passing
conf-scdoc.1 on 5.3.0 had its build status changed: internal failure to passing
conf-zig.1 on 4.14.2 had its build status changed: internal failure to passing
conf-zig.1 on 5.3.0 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
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
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
dream-accept.0.1.0 on 5.3.0 had its build status changed: internal failure to 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
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-av.1.2.6 on 4.14.2 had its build status changed: internal failure to passing
ffmpeg-av.1.2.6 on 5.3.0 had its build status changed: internal failure to passing
ffmpeg-avcodec.1.2.6 on 4.14.2 had its build status changed: internal failure to passing
ffmpeg-avcodec.1.2.6 on 5.3.0 had its build status changed: internal failure to passing
ffmpeg-avdevice.1.2.6 on 5.3.0 had its build status changed: internal failure to passing
ffmpeg-avfilter.1.2.6 on 4.14.2 had its build status changed: internal failure to passing
ffmpeg-avutil.1.2.6 on 4.14.2 had its build status changed: internal failure to passing
ffmpeg-swresample.1.2.6 on 5.3.0 had its build status changed: internal failure to passing
ffmpeg-swscale.1.2.6 on 4.14.2 had its build status changed: internal failure to passing
ffmpeg.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-lannotate.0.2.4 on 4.14.2 had its build status changed: internal failure to passing
frama-c-luncov.0.2.4 on 4.14.2 had its build status changed: internal failure to passing
frama-c-metacsl.0.9 on 4.14.2 is now installable. Current state is: passing
frama-c-metacsl.0.9 on 5.3.0 is now installable. Current state is: passing
frama-c.31.0 on 4.14.2 had its build status changed: internal failure to passing
frama-c.31.0 on 5.3.0 had its build status changed: internal failure to passing
frei0r.0.1.2 on 4.14.2 had its build status changed: internal failure to 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
fswatch.11-0.1.6 on 4.14.2 had its build status changed: internal failure to passing
fswatch.11-0.1.6 on 5.3.0 had its build status changed: internal failure to passing
fswatch_lwt.11-0.1.0 on 5.3.0 had its build status changed: internal failure to passing
fun-postgresql.0.2.3 on 5.3.0 had its build status changed: internal failure to passing
fun-sqlite.0.2.3 on 4.14.2 had its build status changed: internal failure to passing
functory.0.6 on 4.14.2 had its build status changed: failing to passing
giflib.1.1.0 on 5.3.0 is now installable. Current state is: passing
hts_shrink.3.0.1 on 5.3.0 had its build status changed: internal failure to passing
incr_dom_partial_render.v0.16.0 on 4.14.2 had its build status changed: internal failure to passing
incr_dom_sexp_form.v0.16.0 on 4.14.2 had its build status changed: internal failure to 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
knights_tour.0.0.6 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
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
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
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.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
multicont.1.0.3 on 5.3.0 had its build status changed: failing to passing
neural_nets_lib.0.6.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
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-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
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
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
proton.1.0.16 on 4.14.2 is now installable. Current state is: passing
proton.1.0.16 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
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
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
tezos-clic.12.3 on 4.14.2 had its build status changed: internal failure to passing
tezos-protocol-environment-structs.12.3 on 4.14.2 had its build status changed: internal failure to passing
tezos-rust-libs.1.7 on 4.14.2 had its build status changed: internal failure to passing
tezos-rust-libs.1.7 on 5.3.0 had its build status changed: internal failure to 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
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
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