opam-health-check diff

Home|Differences with the last checks|Previous runs

Differences between 5921904 and 21f97b2 (git diff)

Packages now failing:

arrayjit.0.6.1 on 5.3.0 is now installable. Current state is: failing
bitstring.5.0.2 on 5.3.0 is now installable. Current state is: 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
cubicle.1.2.0 on 4.14.2 had its build status changed: passing to failing
eigen.0.3.3 on 4.14.2 had its build status changed: passing to failing
eigen.0.3.3 on 5.3.0 had its build status changed: passing to failing
hacl.0.3 on 4.14.2 had its build status changed: passing to failing
hacl_func.0.1.0 on 4.14.2 had its build status changed: passing to failing
hacl_func.0.1.0 on 5.3.0 had its build status changed: passing 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
lo.0.2.0 on 5.3.0 had its build status changed: internal failure to failing
odoc-driver.3.1.0 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-symbolic-executor.2.5.0 on 4.14.2 had its build status changed: internal failure to partially failing
bap-primus-x86.2.5.0 on 4.14.2 had its build status changed: internal failure to partially failing
conf-calcium.1 on 4.14.2 had its build status changed: internal failure to partially failing
cure2.1.0 on 4.14.2 is now installable. Current state is: partially failing
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
mysql_protocol.3.0.3 on 5.3.0 had its build status changed: passing to partially failing
neural_nets_lib.0.6.1 on 5.3.0 is now installable. Current state is: 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-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-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-node-config.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-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-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
ppx_bitstring.4.1.0 on 5.3.0 had its build status changed: passing to partially failing
ppx_bitstring.5.0.2 on 5.3.0 is now installable. Current state is: partially failing
quill.1.0.0~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
raygui.1.5.1 on 4.14.2 is now installable. Current state is: partially failing
raygui.1.5.1 on 5.3.0 is now installable. Current state is: partially failing
raylib.1.5.1 on 4.14.2 is now installable. Current state is: partially failing
raylib.1.5.1 on 5.3.0 is now installable. Current state is: partially failing
shapefile.0.2.1 on 5.3.0 had its build status changed: passing to partially failing
sowilo.1.0.0~alpha1 on 5.3.0 is now installable. Current state is: partially failing
tezos-benchmark.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-client-005-PsBabyM1.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
tezos-client-006-PsCARTHA.17.3 on 4.14.2 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:

MlFront_Cache.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
MlFront_Cache.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
MlFront_Cli.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
MlFront_Cli.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
MlFront_Config.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
MlFront_Config.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
MlFront_Core.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
MlFront_Core.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
MlFront_Errors.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
MlFront_Errors.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
MlFront_Logs.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
MlFront_Logs.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
MlFront_Manip.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
MlFront_Manip.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
MlFront_Signify.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
MlFront_Signify.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
MlFront_ZipFile.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
MlFront_ZipFile.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
aifad.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
aifad.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
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
arp.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
arp.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
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
batteries.3.9.0 on 4.14.2 is not available anymore. Previous state was: passing
batteries.3.9.0 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
bibfmt.0.7.7 on 4.14.2 is not available anymore. Previous state was: passing
bibfmt.0.7.7 on 5.3.0 is not available anymore. Previous state was: passing
binaryen.0.26.0 on 4.14.2 is not available anymore. Previous state was: passing
binaryen.0.26.0 on 5.3.0 is not available anymore. Previous state was: passing
bitstring.5.0.1 on 5.3.0 is not available anymore. Previous state was: passing
boltzgen.0.9.3 on 5.3.0 had its build status changed: failing to not available
bytesrw.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
bytesrw.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
ca-certs-nss.3.115 on 4.14.2 is not available anymore. Previous state was: passing
ca-certs-nss.3.115 on 5.3.0 is not available anymore. Previous state was: passing
camlp5.8.03.06 on 4.14.2 is not available anymore. Previous state was: internal failure
camlp5.8.03.06 on 5.3.0 is not available anymore. Previous state was: internal failure
catala-format.0.3.0 on 4.14.2 is not available anymore. Previous state was: failing
catala-format.0.3.0 on 5.3.0 is not available anymore. Previous state was: failing
catala.0.10.0 on 4.14.2 is not available anymore. Previous state was: passing
catala.0.8.0 on 4.14.2 is not available anymore. Previous state was: passing
catala.0.8.0 on 5.3.0 is not available anymore. Previous state was: passing
chamelon-unix.0.1.2 on 4.14.2 is not available anymore. Previous state was: passing
chamelon.0.1.2 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
cmarkit.0.3.0 on 4.14.2 is not available anymore. Previous state was: passing
cmarkit.0.3.0 on 5.3.0 is not available anymore. Previous state was: passing
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
codept-lib.0.12.1 on 4.14.2 is not available anymore. Previous state was: passing
codept-lib.0.12.1 on 5.3.0 is not available anymore. Previous state was: passing
codept.0.12.1 on 4.14.2 is not available anymore. Previous state was: passing
codept.0.12.1 on 5.3.0 is not available anymore. Previous state was: passing
conex-mirage-crypto.0.11.1 on 4.14.2 is not available anymore. Previous state was: passing
conex-mirage-crypto.0.11.1 on 5.3.0 is not available anymore. Previous state was: passing
conex.0.11.1 on 4.14.2 is not available anymore. Previous state was: passing
conex.0.11.1 on 5.3.0 is not available anymore. Previous state was: passing
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-core.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
coq-core.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
coq-lsp.0.2.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
coq.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
coq.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
coqide-server.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
coqide-server.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
cryptoverif.2.11 on 4.14.2 is not available anymore. Previous state was: passing
cryptoverif.2.11 on 5.3.0 is not available anymore. Previous state was: passing
current.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
current.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
current_docker.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
current_docker.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
current_examples.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
current_examples.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
current_git.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
current_git.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
current_github.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
current_github.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
current_gitlab.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
current_gitlab.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
current_rpc.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
current_rpc.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
current_slack.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
current_slack.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
current_ssh.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
current_ssh.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
current_web.0.7.1 on 4.14.2 is not available anymore. Previous state was: passing
current_web.0.7.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-api.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
diffast-api.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
diffast-cli.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
diffast-cli.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
diffast-core.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
diffast-core.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
diffast-etc.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
diffast-etc.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
diffast-git-cli.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
diffast-git-cli.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
diffast-git.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
diffast-git.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
diffast-langs-common.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
diffast-langs-common.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
diffast-langs-cpp-parsing.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
diffast-langs-cpp-parsing.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
diffast-langs-cpp-spec.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
diffast-langs-cpp-spec.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
diffast-langs-cpp.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
diffast-langs-cpp.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
diffast-langs-fortran-parsing.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
diffast-langs-fortran-parsing.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
diffast-langs-fortran-spec.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
diffast-langs-fortran-spec.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
diffast-langs-fortran.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
diffast-langs-fortran.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
diffast-langs-java-parsing.0.2 on 4.14.2 is not available anymore. Previous state was: internal failure
diffast-langs-java-parsing.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
diffast-langs-java-spec.0.2 on 4.14.2 is not available anymore. Previous state was: internal failure
diffast-langs-java-spec.0.2 on 5.3.0 is not available anymore. Previous state was: internal failure
diffast-langs-java.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
diffast-langs-java.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
diffast-langs-python-parsing.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
diffast-langs-python-parsing.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
diffast-langs-python-spec.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
diffast-langs-python-spec.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
diffast-langs-python.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
diffast-langs-python.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
diffast-langs-verilog-parsing.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
diffast-langs-verilog-parsing.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
diffast-langs-verilog-spec.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
diffast-langs-verilog-spec.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
diffast-langs-verilog.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
diffast-langs-verilog.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
diffast-misc.0.1.1 on 4.14.2 is not available anymore. Previous state was: partially failing
diffast-misc.0.1.1 on 5.3.0 is not available anymore. Previous state was: partially failing
diffast.0.2 on 4.14.2 is not available anymore. Previous state was: partially failing
diffast.0.2 on 5.3.0 is not available anymore. Previous state was: partially failing
directories.0.6 on 4.14.2 is not available anymore. Previous state was: passing
directories.0.6 on 5.3.0 is not available anymore. Previous state was: passing
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
doi2bib.0.7.7 on 4.14.2 is not available anymore. Previous state was: passing
doi2bib.0.7.7 on 5.3.0 is not available anymore. Previous state was: passing
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
domain-name.0.4.1 on 4.14.2 is not available anymore. Previous state was: passing
domain-name.0.4.1 on 5.3.0 is not available anymore. Previous state was: passing
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
dunolint-lib.0.0.20250804 on 4.14.2 is not available anymore. Previous state was: passing
dunolint-lib.0.0.20250804 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
ffmpeg-av.1.2.6 on 4.14.2 is not available anymore. Previous state was: passing
ffmpeg-av.1.2.6 on 5.3.0 is not available anymore. Previous state was: passing
ffmpeg-avcodec.1.2.6 on 4.14.2 is not available anymore. Previous state was: passing
ffmpeg-avcodec.1.2.6 on 5.3.0 is not available anymore. Previous state was: internal failure
ffmpeg-avdevice.1.2.6 on 4.14.2 is not available anymore. Previous state was: passing
ffmpeg-avdevice.1.2.6 on 5.3.0 is not available anymore. Previous state was: passing
ffmpeg-avfilter.1.2.6 on 4.14.2 is not available anymore. Previous state was: passing
ffmpeg-avfilter.1.2.6 on 5.3.0 is not available anymore. Previous state was: passing
ffmpeg-avutil.1.2.6 on 4.14.2 is not available anymore. Previous state was: passing
ffmpeg-avutil.1.2.6 on 5.3.0 is not available anymore. Previous state was: passing
ffmpeg-swresample.1.2.6 on 4.14.2 is not available anymore. Previous state was: passing
ffmpeg-swresample.1.2.6 on 5.3.0 is not available anymore. Previous state was: passing
ffmpeg-swscale.1.2.6 on 4.14.2 is not available anymore. Previous state was: passing
ffmpeg-swscale.1.2.6 on 5.3.0 is not available anymore. Previous state was: passing
ffmpeg.1.2.6 on 4.14.2 is not available anymore. Previous state was: passing
ffmpeg.1.2.6 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
fmlib.0.5.11 on 4.14.2 is not available anymore. Previous state was: passing
fmlib.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
fmlib_browser.0.5.11 on 4.14.2 is not available anymore. Previous state was: passing
fmlib_browser.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
fmlib_js.0.5.11 on 4.14.2 is not available anymore. Previous state was: passing
fmlib_js.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
fmlib_parse.0.5.11 on 4.14.2 is not available anymore. Previous state was: passing
fmlib_parse.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
fmlib_pretty.0.5.11 on 4.14.2 is not available anymore. Previous state was: passing
fmlib_pretty.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
fmlib_std.0.5.11 on 4.14.2 is not available anymore. Previous state was: passing
fmlib_std.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
fpath-base.0.3.1 on 5.3.0 is not available anymore. Previous state was: passing
fpath-sexp0.0.3.1 on 4.14.2 is not available anymore. Previous state was: passing
fpath-sexp0.0.3.1 on 5.3.0 is not available anymore. Previous state was: passing
frama-c-metacsl.0.9~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
gen_js_api.1.1.5 on 4.14.2 is not available anymore. Previous state was: passing
gen_js_api.1.1.5 on 5.3.0 is not available anymore. Previous state was: passing
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
html_of_jsx.0.0.5 on 4.14.2 is not available anymore. Previous state was: passing
html_of_jsx.0.0.5 on 5.3.0 is not available anymore. Previous state was: passing
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
libbinaryen.121.0.0 on 4.14.2 is not available anymore. Previous state was: passing
libbinaryen.121.0.0 on 5.3.0 is not available anymore. Previous state was: passing
libsail.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
libsail.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
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
logs.0.9.0 on 4.14.2 is not available anymore. Previous state was: passing
logs.0.9.0 on 5.3.0 is not available anymore. Previous state was: passing
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
mazeppa.0.5.2 on 4.14.2 is not available anymore. Previous state was: passing
mazeppa.0.5.2 on 5.3.0 is not available anymore. Previous state was: passing
mdx.2.5.0 on 4.14.2 is not available anymore. Previous state was: passing
mdx.2.5.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
miou.0.4.0 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-net-xen.2.1.6 on 4.14.2 is not available anymore. Previous state was: passing
mirage-net-xen.2.1.6 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
ninja_utils.0.9.0 on 4.14.2 is not available anymore. Previous state was: passing
ninja_utils.0.9.0 on 5.3.0 is not available anymore. Previous state was: passing
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
ocaml-version.4.0.1 on 4.14.2 is not available anymore. Previous state was: passing
ocaml-version.4.0.1 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
ocamlformat-lib.0.27.0 on 4.14.2 is not available anymore. Previous state was: passing
ocamlformat-lib.0.27.0 on 5.3.0 is not available anymore. Previous state was: passing
ocamlformat-rpc-lib.0.27.0 on 4.14.2 is not available anymore. Previous state was: passing
ocamlformat-rpc-lib.0.27.0 on 5.3.0 is not available anymore. Previous state was: passing
ocamlformat.0.27.0 on 4.14.2 is not available anymore. Previous state was: passing
ocamlformat.0.27.0 on 5.3.0 is not available anymore. Previous state was: passing
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
ojs.1.1.5 on 4.14.2 is not available anymore. Previous state was: passing
ojs.1.1.5 on 5.3.0 is not available anymore. Previous state was: passing
opam-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-client.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
opam-client.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
opam-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-core.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
opam-core.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
opam-devel.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
opam-devel.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
opam-format.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
opam-format.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
opam-installer.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
opam-installer.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
opam-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
opam-repository.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
opam-repository.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
opam-solver.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
opam-solver.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
opam-state.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
opam-state.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
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
oplot.0.71 on 4.14.2 is not available anymore. Previous state was: partially failing
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
p5scm.0.4.0 on 4.14.2 is not available anymore. Previous state was: internal failure
pageantty.0.0.2 on 4.14.2 is not available anymore. Previous state was: passing
pageantty.0.0.2 on 5.3.0 is not available anymore. Previous state was: passing
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_bitstring.5.0.1 on 5.3.0 is not available anymore. Previous state was: passing
ppx_expect.v0.16.1 on 4.14.2 is not available anymore. Previous state was: passing
ppx_expect.v0.16.1 on 5.3.0 is not available anymore. Previous state was: passing
ppx_expect_nobase.v0.17.2.2 on 4.14.2 is not available anymore. Previous state was: passing
ppx_expect_nobase.v0.17.2.2 on 5.3.0 is not available anymore. Previous state was: passing
ppx_import.1.11.0 on 4.14.2 is not available anymore. Previous state was: passing
ppx_import.1.11.0 on 5.3.0 is not available anymore. Previous state was: passing
ppx_js_style.v0.17.0 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_pattern_bind.v0.17.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
ppx_yojson_conv.v0.17.0 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
ppxlib.0.37.0~5.4preview on 4.14.2 is not available anymore. Previous state was: passing
ppxlib.0.37.0~5.4preview on 5.3.0 is not available anymore. Previous state was: passing
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
qcheck-alcotest.0.26 on 4.14.2 is not available anymore. Previous state was: passing
qcheck-alcotest.0.26 on 5.3.0 is not available anymore. Previous state was: passing
qcheck-core.0.26 on 4.14.2 is not available anymore. Previous state was: passing
qcheck-core.0.26 on 5.3.0 is not available anymore. Previous state was: passing
qcheck-lin.0.9 on 4.14.2 is not available anymore. Previous state was: passing
qcheck-lin.0.9 on 5.3.0 is not available anymore. Previous state was: passing
qcheck-multicoretests-util.0.9 on 4.14.2 is not available anymore. Previous state was: passing
qcheck-multicoretests-util.0.9 on 5.3.0 is not available anymore. Previous state was: passing
qcheck-ounit.0.26 on 4.14.2 is not available anymore. Previous state was: passing
qcheck-ounit.0.26 on 5.3.0 is not available anymore. Previous state was: passing
qcheck-stm.0.9 on 4.14.2 is not available anymore. Previous state was: passing
qcheck-stm.0.9 on 5.3.0 is not available anymore. Previous state was: passing
qcheck.0.26 on 4.14.2 is not available anymore. Previous state was: passing
qcheck.0.26 on 5.3.0 is not available anymore. Previous state was: passing
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
raygui.1.4.0 on 4.14.2 is not available anymore. Previous state was: partially failing
raygui.1.4.0 on 5.3.0 is not available anymore. Previous state was: partially failing
raylib.1.4.0 on 4.14.2 is not available anymore. Previous state was: partially failing
raylib.1.4.0 on 5.3.0 is not available anymore. Previous state was: partially failing
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
rocq-core.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
rocq-core.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
rocq-runtime.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
rocq-runtime.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
rocqide.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
rocqide.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
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
sail.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
sail.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
sail_c_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
sail_c_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
sail_coq_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
sail_coq_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
sail_doc_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
sail_doc_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
sail_latex_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
sail_latex_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
sail_lean_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
sail_lean_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
sail_lem_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
sail_lem_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
sail_manifest.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
sail_manifest.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
sail_ocaml_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
sail_ocaml_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
sail_output.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
sail_output.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
sail_smt_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
sail_smt_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
sail_sv_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
sail_sv_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
sedlex.3.6 on 4.14.2 is not available anymore. Previous state was: passing
sedlex.3.6 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
spoke.0.0.3 on 4.14.2 is not available anymore. Previous state was: passing
spoke.0.0.3 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
tezt.4.2.0 on 4.14.2 is not available anymore. Previous state was: passing
tezt.4.2.0 on 5.3.0 is not available anymore. Previous state was: passing
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
topkg-care.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
topkg-care.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
topkg.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
topkg.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
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
visitors.20250212 on 4.14.2 is not available anymore. Previous state was: passing
visitors.20250212 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
vscoq-language-server.2.2.6 on 4.14.2 is not available anymore. Previous state was: passing
vscoq-language-server.2.2.6 on 5.3.0 is not available anymore. Previous state was: passing
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:

acpc.2.0.0 on 5.3.0 had its build status changed: passing to internal failure
activitypub.0.1.0 on 5.3.0 had its build status changed: passing to internal failure
arrakis.1.1.1 on 4.14.2 had its build status changed: passing to internal failure
arrakis.1.1.1 on 5.3.0 had its build status changed: passing to internal failure
calli.0.2 on 4.14.2 had its build status changed: passing to internal failure
calli.0.2 on 5.3.0 had its build status changed: passing to internal failure
caml-mode.4.9 on 4.14.2 had its build status changed: passing to internal failure
caml-mode.4.9 on 5.3.0 had its build status changed: passing to internal failure
camlbz2.transition on 4.14.2 had its build status changed: passing to internal failure
camlbz2.transition on 5.3.0 had its build status changed: passing to internal failure
camlkit-base.0.3.0 on 4.14.2 had its build status changed: passing to internal failure
camlkit-base.0.3.0 on 5.3.0 had its build status changed: passing to internal failure
camlkit-gui.0.3.0 on 4.14.2 had its build status changed: passing to internal failure
camlkit-gui.0.3.0 on 5.3.0 had its build status changed: passing to internal failure
camlkit.0.3.0 on 4.14.2 had its build status changed: passing to internal failure
camlkit.0.3.0 on 5.3.0 had its build status changed: passing to internal failure
camlp5.8.04.00 on 4.14.2 is now installable. Current state is: internal failure
camlp5.8.04.00 on 5.3.0 is now installable. Current state is: internal failure
camyll.0.4.4 on 4.14.2 had its build status changed: passing to internal failure
capnp-rpc-lwt.1.2.4 on 5.3.0 had its build status changed: passing to internal failure
capnp-rpc-lwt.2.0 on 5.3.0 had its build status changed: passing to internal failure
capnp-rpc-net.1.2.4 on 4.14.2 had its build status changed: passing to internal failure
capnp-rpc-net.2.1 on 5.3.0 had its build status changed: passing to internal failure
capnp-rpc-unix.1.2.4 on 4.14.2 had its build status changed: passing to internal failure
capnp-rpc-unix.1.2.4 on 5.3.0 had its build status changed: passing to internal failure
capnp-rpc-unix.2.1 on 5.3.0 had its build status changed: passing to internal failure
capnp-rpc.2.1 on 5.3.0 had its build status changed: passing to internal failure
caqti-driver-mariadb.2.2.4 on 5.3.0 had its build status changed: passing to internal failure
caqti-driver-pgx.2.2.4 on 4.14.2 had its build status changed: passing to internal failure
caqti-driver-pgx.2.2.4 on 5.3.0 had its build status changed: passing to internal failure
caqti-driver-postgresql.2.2.4 on 4.14.2 had its build status changed: passing to internal failure
caqti-driver-postgresql.2.2.4 on 5.3.0 had its build status changed: passing to internal failure
caqti-driver-sqlite3.2.2.4 on 4.14.2 had its build status changed: passing to internal failure
caqti-driver-sqlite3.2.2.4 on 5.3.0 had its build status changed: passing to internal failure
caqti-dynload.2.0.1 on 4.14.2 had its build status changed: passing to internal failure
caqti-dynload.2.0.1 on 5.3.0 had its build status changed: passing to internal failure
caqti-lwt.2.2.4 on 4.14.2 had its build status changed: passing to internal failure
caqti-lwt.2.2.4 on 5.3.0 had its build status changed: passing to internal failure
caqti-miou.2.2.4 on 5.3.0 had its build status changed: passing to internal failure
caqti-mirage.2.2.4 on 4.14.2 had its build status changed: passing to internal failure
caqti-mirage.2.2.4 on 5.3.0 had its build status changed: passing to internal failure
caqti-tls.2.1.2 on 4.14.2 had its build status changed: passing to internal failure
caqti-tls.2.1.2 on 5.3.0 had its build status changed: passing to internal failure
caqti-type-calendar.2.0.1 on 4.14.2 had its build status changed: passing to internal failure
caqti.2.2.4 on 5.3.0 had its build status changed: passing to internal failure
carbon.0.2.0 on 5.3.0 had its build status changed: passing to internal failure
conf-antic.1 on 4.14.2 had its build status changed: passing to internal failure
conf-antic.1 on 5.3.0 had its build status changed: passing to internal failure
conf-arb.1 on 5.3.0 had its build status changed: passing to internal failure
conf-asciidoc.1 on 5.3.0 had its build status changed: passing to internal failure
conf-assimp.1 on 4.14.2 had its build status changed: failing to internal failure
conf-cairo.1 on 5.3.0 had its build status changed: passing to internal failure
conf-clang-format.1 on 4.14.2 had its build status changed: passing to internal failure
conf-cmake.1 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 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-freeglut.1 on 4.14.2 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-gegl.1 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-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-goocanvas2.0 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 5.3.0 had its build status changed: passing to internal failure
conf-hg.1.0 on 4.14.2 had its build status changed: passing to internal failure
conf-hg.1.0 on 5.3.0 had its build status changed: passing to internal failure
conf-hidapi.0 on 4.14.2 had its build status changed: passing to internal failure
conf-hidapi.0 on 5.3.0 had its build status changed: passing to internal failure
conf-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 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-libX11.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libX11.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libXft.1 on 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-libargon2.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libargon2.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libbz2.1 on 4.14.2 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-libelf.1.0.0 on 4.14.2 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-libev.4-13 on 5.3.0 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-libglu.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libgsasl.1 on 4.14.2 had its build status changed: passing to internal failure
conf-libgsasl.1 on 5.3.0 had its build status changed: passing to internal failure
conf-libjpeg.1 on 5.3.0 had its build status changed: passing to internal failure
conf-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-liblo.1 on 4.14.2 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-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-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-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 4.14.2 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 4.14.2 had its build status changed: passing to internal failure
conf-libuv.1 on 5.3.0 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-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-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 4.14.2 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-nauty.1.0 on 5.3.0 had its build status changed: passing to internal failure
conf-ninja.1 on 4.14.2 had its build status changed: passing to internal failure
conf-oniguruma.1 on 5.3.0 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-pango.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-perl-ipc-system-simple.3 on 5.3.0 had its build status changed: passing to internal failure
conf-perl-string-shellquote.3 on 4.14.2 had its build status changed: passing to internal failure
conf-protoc-dev.1.0.0 on 5.3.0 had its build status changed: passing to internal failure
conf-protoc.4.4.0 on 4.14.2 had its build status changed: passing to internal failure
conf-pulseaudio.1 on 4.14.2 had its build status changed: passing to internal failure
conf-pulseaudio.1 on 5.3.0 had its build status changed: passing to internal failure
conf-python-2-7.1.2 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.9.0.0 on 4.14.2 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-r-mathlib.1 on 5.3.0 had its build status changed: failing to internal failure
conf-r.1.0.0 on 4.14.2 had its build status changed: passing to internal failure
conf-r.1.0.0 on 5.3.0 had its build status changed: passing to internal failure
conf-radare2.0.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-rocksdb.1 on 4.14.2 had its build status changed: failing to internal failure
conf-ruby.1.0.0 on 5.3.0 had its build status changed: passing to internal failure
conf-rust-2018.1 on 5.3.0 had its build status changed: passing to internal failure
conf-rust-2024.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-sdl-net.1 on 5.3.0 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-sdl-ttf.1 on 5.3.0 had its build status changed: passing to internal failure
conf-sdl2-image.1 on 4.14.2 had its build status changed: passing to internal failure
conf-sdl2-image.1 on 5.3.0 had its build status changed: passing to internal failure
conf-sdl2-mixer.1 on 5.3.0 had its build status changed: passing to internal failure
conf-sdl2-net.1 on 4.14.2 had its build status changed: passing to internal failure
conf-sdl2-net.1 on 5.3.0 had its build status changed: passing to internal failure
conf-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-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-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-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-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-texlive.2 on 4.14.2 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-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-vim.1 on 5.3.0 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-vips.1 on 5.3.0 is now installable. Current state is: 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 5.3.0 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-xkbcommon.1 on 5.3.0 had its build status changed: passing to internal failure
conf-zig.1 on 4.14.2 had its build status changed: passing to internal failure
conf-zig.1 on 5.3.0 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-langs-java-parsing-cli.0.2 on 5.3.0 had its build status changed: partially failing to internal failure
docteur.0.0.7 on 5.3.0 had its build status changed: passing to internal failure
doculib.1.3.5 on 4.14.2 had its build status changed: passing to internal failure
dotenv.0.0.3 on 4.14.2 had its build status changed: passing to internal failure
dream-cli.0.2.0 on 5.3.0 had its build status changed: passing to internal failure
dream-encoding.0.3.0 on 4.14.2 had its build status changed: passing to internal failure
dream-encoding.0.3.0 on 5.3.0 had its build status changed: passing to internal failure
dream-html.3.11.1 on 5.3.0 had its build status changed: passing to internal failure
dream-htmx.0.1.0 on 4.14.2 had its build status changed: passing to internal failure
dream-htmx.0.1.0 on 5.3.0 had its build status changed: passing to internal failure
dream-livereload.0.2.0 on 4.14.2 had its build status changed: passing to internal failure
dream-livereload.0.2.0 on 5.3.0 had its build status changed: passing to internal failure
dream-serve.1.0.1 on 5.3.0 had its build status changed: passing to internal failure
dream_middleware_ext.0.1.1 on 4.14.2 had its build status changed: passing to internal failure
dream_middleware_ext.0.1.1 on 5.3.0 had its build status changed: passing to internal failure
dropbox.0.2 on 4.14.2 had its build status changed: passing to internal failure
dssi.0.1.5 on 4.14.2 had its build status changed: failing to internal failure
efl.1.24.0 on 4.14.2 had its build status changed: failing to internal failure
efl.1.24.0 on 5.3.0 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
elasticsearch-cli.1.2 on 4.14.2 had its build status changed: partially failing to internal failure
eprover.3.1 on 5.3.0 had its build status changed: failing to internal failure
equinoxe-hlc.0.2.0 on 4.14.2 had its build status changed: passing to internal failure
equinoxe-hlc.0.2.0 on 5.3.0 had its build status changed: passing to internal failure
erssical.1.1.0 on 5.3.0 had its build status changed: passing to internal failure
fasmifra.1.1.0 on 4.14.2 had its build status changed: passing to internal failure
ff-pbt.0.6.2 on 5.3.0 had its build status changed: passing to internal failure
ff-sig.0.6.2 on 5.3.0 had its build status changed: passing to internal failure
ffmpeg-av.1.2.7 on 4.14.2 is now installable. Current state is: internal failure
ffmpeg-av.1.2.7 on 5.3.0 is now installable. Current state is: internal failure
ffmpeg-avcodec.1.2.7 on 4.14.2 is now installable. Current state is: internal failure
ffmpeg-avcodec.1.2.7 on 5.3.0 is now installable. Current state is: internal failure
ffmpeg-avdevice.1.2.7 on 4.14.2 is now installable. Current state is: internal failure
ffmpeg-avdevice.1.2.7 on 5.3.0 is now installable. Current state is: internal failure
ffmpeg-avfilter.1.2.7 on 4.14.2 is now installable. Current state is: internal failure
ffmpeg-avfilter.1.2.7 on 5.3.0 is now installable. Current state is: internal failure
ffmpeg-avutil.1.2.7 on 4.14.2 is now installable. Current state is: internal failure
ffmpeg-avutil.1.2.7 on 5.3.0 is now installable. Current state is: internal failure
ffmpeg-swresample.1.2.7 on 4.14.2 is now installable. Current state is: internal failure
ffmpeg-swresample.1.2.7 on 5.3.0 is now installable. Current state is: internal failure
ffmpeg.1.2.7 on 4.14.2 is now installable. Current state is: internal failure
fftw3.0.8.5 on 4.14.2 had its build status changed: failing to internal failure
frama-c-lannotate.0.2.4 on 4.14.2 had its build status changed: passing to internal failure
frama-c-lannotate.0.2.4 on 5.3.0 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
fstar.2025.10.06 on 5.3.0 is now installable. Current state is: internal failure
gd.1.1 on 5.3.0 had its build status changed: passing to internal failure
goblint-cil.2.0.8 on 5.3.0 is now installable. Current state is: internal failure
goblint.2.1.0 on 4.14.2 had its build status changed: passing to internal failure
graft.0.1.0 on 5.3.0 had its build status changed: passing to internal failure
incr_dom_interactive.v0.16.0 on 4.14.2 had its build status changed: passing to internal failure
incr_dom_sexp_form.v0.16.0 on 4.14.2 had its build status changed: passing to internal failure
incr_map.v0.16.0 on 4.14.2 had its build status changed: passing to internal failure
llopt.1.0.0 on 4.14.2 had its build status changed: partially failing to internal failure
lmdb.1.0 on 5.3.0 had its build status changed: passing to internal failure
lo.0.2.0 on 4.14.2 had its build status changed: failing to internal failure
matita.0.99.5 on 4.14.2 had its build status changed: partially failing to internal failure
nlopt-ocaml.transition on 4.14.2 had its build status changed: partially failing to internal failure
ocsipersist-sqlite.2.0.0 on 4.14.2 had its build status changed: passing to internal failure
octez-plompiler.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
octez-plonk.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
oplsr.8.0.1 on 4.14.2 had its build status changed: failing to internal failure
opus.1.0.0 on 5.3.0 had its build status changed: passing to internal failure
oranger.4.3.5 on 4.14.2 had its build status changed: failing to internal failure
oranger.4.3.5 on 5.3.0 had its build status changed: failing to internal failure
orf.1.0.1 on 5.3.0 had its build status changed: passing to internal failure
orgeat.0.0.1 on 4.14.2 had its build status changed: passing to internal failure
orgeat.0.0.1 on 5.3.0 had its build status changed: passing to internal failure
orm.0.7.1 on 4.14.2 had its build status changed: passing to internal failure
orocksdb.0.2.2 on 5.3.0 had its build status changed: partially failing to internal failure
otp.0.2 on 4.14.2 is now installable. Current state is: internal failure
otp.0.2 on 5.3.0 is now installable. Current state is: internal failure
owl-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 5.3.0 had its build status changed: partially failing to internal failure
owl-opt.0.0.1 on 4.14.2 had its build status changed: partially failing to internal failure
p5scm.0.5.0 on 4.14.2 is now installable. Current state is: internal failure
p5scm.0.5.0 on 5.3.0 is now installable. Current state is: internal failure
tezos-client-014-PtKathma.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.17.3 on 4.14.2 had its build status changed: partially failing to internal failure
why3-ide.1.8.2 on 4.14.2 is now installable. Current state is: internal failure

Packages now passing:

MlFront_Cache.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
MlFront_Cache.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
MlFront_Cli.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
MlFront_Cli.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
MlFront_Codept.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
MlFront_Codept.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
MlFront_Config.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
MlFront_Config.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
MlFront_Core.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
MlFront_Core.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
MlFront_Errors.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
MlFront_Errors.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
MlFront_Exec.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
MlFront_Exec.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
MlFront_Logs.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
MlFront_Logs.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
MlFront_Manip.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
MlFront_Manip.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
MlFront_Signify.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
MlFront_Signify.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
MlFront_Thunk.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
MlFront_Thunk.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
MlFront_Tools.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
MlFront_Tools.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
MlFront_ZipFile.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
MlFront_ZipFile.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
aifad.2.3.2 on 4.14.2 is now installable. Current state is: passing
aifad.2.3.2 on 5.3.0 is now installable. Current state is: passing
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
arp.4.1.0 on 4.14.2 is now installable. Current state is: passing
arp.4.1.0 on 5.3.0 is now installable. Current state is: passing
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-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
batteries.3.10.0 on 4.14.2 is now installable. Current state is: passing
batteries.3.10.0 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
bibfmt.0.7.9 on 4.14.2 is now installable. Current state is: passing
bibfmt.0.7.9 on 5.3.0 is now installable. Current state is: passing
binaryen.0.31.0 on 4.14.2 is now installable. Current state is: passing
binaryen.0.31.0 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
bytesrw.0.3.0 on 4.14.2 is now installable. Current state is: passing
bytesrw.0.3.0 on 5.3.0 is now installable. Current state is: passing
ca-certs-nss.3.117 on 4.14.2 is now installable. Current state is: passing
ca-certs-nss.3.117 on 5.3.0 is now installable. Current state is: passing
catala-format.1.0.0~beta on 4.14.2 is now installable. Current state is: passing
catala-format.1.0.0~beta on 5.3.0 is now installable. Current state is: passing
catala-lsp.1.0.0~beta on 4.14.2 is now installable. Current state is: passing
catala-lsp.1.0.0~beta on 5.3.0 is now installable. Current state is: passing
catala.1.0.0~beta on 4.14.2 is now installable. Current state is: passing
catala.1.0.0~beta on 5.3.0 is now installable. Current state is: passing
chamelon-unix.0.2.1 on 4.14.2 is now installable. Current state is: passing
chamelon-unix.0.2.1 on 5.3.0 is now installable. Current state is: passing
chamelon.0.2.1 on 4.14.2 is now installable. Current state is: passing
chamelon.0.2.1 on 5.3.0 is now installable. Current state is: 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.6 on 4.14.2 is now installable. Current state is: passing
climate.0.8.6 on 5.3.0 is now installable. Current state is: passing
cmarkit.0.4.0 on 4.14.2 is now installable. Current state is: passing
cmarkit.0.4.0 on 5.3.0 is now installable. Current state is: passing
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
codept-lib.0.12.2 on 4.14.2 is now installable. Current state is: passing
codept-lib.0.12.2 on 5.3.0 is now installable. Current state is: passing
codept.0.12.2 on 4.14.2 is now installable. Current state is: passing
codept.0.12.2 on 5.3.0 is now installable. Current state is: passing
conex-mirage-crypto.1.0.0 on 4.14.2 is now installable. Current state is: passing
conex-mirage-crypto.1.0.0 on 5.3.0 is now installable. Current state is: passing
conex.1.0.0 on 4.14.2 is now installable. Current state is: passing
conex.1.0.0 on 5.3.0 is now installable. Current state is: passing
conf-allegro5.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-binaryen.1 on 5.3.0 is now installable. Current state is: passing
conf-boost.1 on 4.14.2 had its build status changed: internal failure to passing
conf-cairo.1 on 4.14.2 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-fswatch.11-0.1.3 on 4.14.2 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 5.3.0 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 4.14.2 had its build status changed: internal failure to passing
conf-gmp-paths.1 on 4.14.2 had its build status changed: internal failure to passing
conf-gnuplot.0.1 on 5.3.0 had its build status changed: internal failure to passing
conf-gssapi.1 on 5.3.0 had its build status changed: internal failure to passing
conf-libwayland.1 on 5.3.0 had its build status changed: internal failure to passing
conf-libxcursor.1 on 4.14.2 had its build status changed: internal failure to passing
conf-mad.2 on 5.3.0 had its build status changed: internal failure to passing
conf-mariadb.2 on 5.3.0 had its build status changed: internal failure to passing
conf-mysql.1 on 5.3.0 had its build status changed: internal failure to passing
conf-ncurses.1 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-ode.1 on 5.3.0 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-plplot.1 on 5.3.0 had its build status changed: internal failure to passing
conf-rdkit.1 on 5.3.0 had its build status changed: internal failure to 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-core.9.1.0 on 4.14.2 is now installable. Current state is: passing
coq-core.9.1.0 on 5.3.0 is now installable. Current state is: passing
coq-lsp.0.2.4+9.1 on 4.14.2 is now installable. Current state is: passing
coq-lsp.0.2.4+9.1 on 5.3.0 is now installable. Current state is: passing
coq-waterproof.3.1.0+9.0 on 4.14.2 is now installable. Current state is: passing
coq-waterproof.3.1.0+9.0 on 5.3.0 is now installable. Current state is: passing
coq.9.1.0 on 4.14.2 is now installable. Current state is: passing
coq.9.1.0 on 5.3.0 is now installable. Current state is: passing
coqide-server.9.1.0 on 4.14.2 is now installable. Current state is: passing
coqide-server.9.1.0 on 5.3.0 is now installable. Current state is: passing
cryptoverif.2.12 on 4.14.2 is now installable. Current state is: passing
cryptoverif.2.12 on 5.3.0 is now installable. Current state is: passing
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
current.0.7.2 on 4.14.2 is now installable. Current state is: passing
current.0.7.2 on 5.3.0 is now installable. Current state is: passing
current_docker.0.7.2 on 4.14.2 is now installable. Current state is: passing
current_docker.0.7.2 on 5.3.0 is now installable. Current state is: passing
current_examples.0.7.2 on 4.14.2 is now installable. Current state is: passing
current_examples.0.7.2 on 5.3.0 is now installable. Current state is: passing
current_git.0.7.2 on 4.14.2 is now installable. Current state is: passing
current_git.0.7.2 on 5.3.0 is now installable. Current state is: passing
current_github.0.7.2 on 4.14.2 is now installable. Current state is: passing
current_github.0.7.2 on 5.3.0 is now installable. Current state is: passing
current_gitlab.0.7.2 on 4.14.2 is now installable. Current state is: passing
current_gitlab.0.7.2 on 5.3.0 is now installable. Current state is: passing
current_rpc.0.7.2 on 4.14.2 is now installable. Current state is: passing
current_rpc.0.7.2 on 5.3.0 is now installable. Current state is: passing
current_slack.0.7.2 on 4.14.2 is now installable. Current state is: passing
current_slack.0.7.2 on 5.3.0 is now installable. Current state is: passing
current_ssh.0.7.2 on 4.14.2 is now installable. Current state is: passing
current_ssh.0.7.2 on 5.3.0 is now installable. Current state is: passing
current_web.0.7.2 on 4.14.2 is now installable. Current state is: passing
current_web.0.7.2 on 5.3.0 is now installable. Current state is: passing
delimcc_of_fxhandler.0.1 on 5.3.0 had its build status changed: partially failing to passing
diffast-api.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast-api.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
diffast-cli.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast-cli.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
diffast-core.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast-core.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
diffast-etc.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast-etc.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
diffast-git-cli.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast-git-cli.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
diffast-git.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast-git.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
diffast-langs-common.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast-langs-common.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
diffast-langs-cpp-parsing-cli.0.2 on 4.14.2 had its build status changed: partially failing to passing
diffast-langs-cpp-parsing-cli.0.2 on 5.3.0 had its build status changed: partially failing to passing
diffast-langs-cpp-parsing.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast-langs-cpp-parsing.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
diffast-langs-cpp-spec.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast-langs-cpp-spec.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
diffast-langs-cpp.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast-langs-cpp.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
diffast-langs-fortran-parsing-cli.0.2 on 4.14.2 had its build status changed: partially failing to passing
diffast-langs-fortran-parsing-cli.0.2 on 5.3.0 had its build status changed: partially failing to passing
diffast-langs-fortran-parsing.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast-langs-fortran-parsing.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
diffast-langs-fortran-spec.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast-langs-fortran-spec.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
diffast-langs-fortran.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast-langs-fortran.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
diffast-langs-java-parsing-cli.0.2 on 4.14.2 had its build status changed: partially failing to passing
diffast-langs-java-parsing.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast-langs-java-parsing.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
diffast-langs-java-spec.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast-langs-java-spec.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
diffast-langs-java.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast-langs-java.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
diffast-langs-python-parsing-cli.0.2 on 4.14.2 had its build status changed: partially failing to passing
diffast-langs-python-parsing-cli.0.2 on 5.3.0 had its build status changed: partially failing to passing
diffast-langs-python-parsing.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast-langs-python-parsing.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
diffast-langs-python-spec.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast-langs-python-spec.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
diffast-langs-python.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast-langs-python.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
diffast-langs-verilog-parsing-cli.0.2 on 4.14.2 had its build status changed: partially failing to passing
diffast-langs-verilog-parsing-cli.0.2 on 5.3.0 had its build status changed: partially failing to passing
diffast-langs-verilog-parsing.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast-langs-verilog-parsing.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
diffast-langs-verilog-spec.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast-langs-verilog-spec.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
diffast-langs-verilog.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast-langs-verilog.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
diffast-misc.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast-misc.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
diffast.0.3.5.1 on 4.14.2 is now installable. Current state is: passing
diffast.0.3.5.1 on 5.3.0 is now installable. Current state is: passing
directories.0.7 on 4.14.2 is now installable. Current state is: passing
directories.0.7 on 5.3.0 is now installable. Current state is: passing
dns-certify.10.2.2 on 4.14.2 is now installable. Current state is: passing
dns-certify.10.2.2 on 5.3.0 is now installable. Current state is: passing
dns-cli.10.2.2 on 4.14.2 is now installable. Current state is: passing
dns-cli.10.2.2 on 5.3.0 is now installable. Current state is: passing
dns-client-lwt.10.2.2 on 4.14.2 is now installable. Current state is: passing
dns-client-lwt.10.2.2 on 5.3.0 is now installable. Current state is: passing
dns-client-miou-unix.10.2.2 on 5.3.0 is now installable. Current state is: passing
dns-client-mirage.10.2.2 on 4.14.2 is now installable. Current state is: passing
dns-client-mirage.10.2.2 on 5.3.0 is now installable. Current state is: passing
dns-client.10.2.2 on 4.14.2 is now installable. Current state is: passing
dns-client.10.2.2 on 5.3.0 is now installable. Current state is: passing
dns-mirage.10.2.2 on 4.14.2 is now installable. Current state is: passing
dns-mirage.10.2.2 on 5.3.0 is now installable. Current state is: passing
dns-resolver.10.2.2 on 4.14.2 is now installable. Current state is: passing
dns-resolver.10.2.2 on 5.3.0 is now installable. Current state is: passing
dns-server.10.2.2 on 4.14.2 is now installable. Current state is: passing
dns-server.10.2.2 on 5.3.0 is now installable. Current state is: passing
dns-stub.10.2.2 on 4.14.2 is now installable. Current state is: passing
dns-stub.10.2.2 on 5.3.0 is now installable. Current state is: passing
dns-tsig.10.2.2 on 4.14.2 is now installable. Current state is: passing
dns-tsig.10.2.2 on 5.3.0 is now installable. Current state is: passing
dns.10.2.2 on 4.14.2 is now installable. Current state is: passing
dns.10.2.2 on 5.3.0 is now installable. Current state is: passing
dnssec.10.2.2 on 4.14.2 is now installable. Current state is: passing
dnssec.10.2.2 on 5.3.0 is now installable. Current state is: passing
dockerfile-cmd.8.3.3 on 4.14.2 is now installable. Current state is: passing
dockerfile-cmd.8.3.3 on 5.3.0 is now installable. Current state is: passing
dockerfile-opam.8.3.3 on 4.14.2 is now installable. Current state is: passing
dockerfile-opam.8.3.3 on 5.3.0 is now installable. Current state is: passing
dockerfile.8.3.3 on 4.14.2 is now installable. Current state is: passing
dockerfile.8.3.3 on 5.3.0 is now installable. Current state is: passing
doi2bib.0.7.9 on 4.14.2 is now installable. Current state is: passing
doi2bib.0.7.9 on 5.3.0 is now installable. Current state is: passing
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
domain-name.0.5.0 on 4.14.2 is now installable. Current state is: passing
domain-name.0.5.0 on 5.3.0 is now installable. Current state is: passing
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
dunolint-lib-base.0.0.20251006 on 5.3.0 is now installable. Current state is: passing
dunolint-lib.0.0.20251006 on 4.14.2 is now installable. Current state is: passing
dunolint-lib.0.0.20251006 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.3 on 4.14.2 is now installable. Current state is: passing
elpi.3.4.3 on 5.3.0 is now installable. Current state is: passing
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
fadecider.0.7 on 4.14.2 is now installable. Current state is: passing
fadecider.0.7 on 5.3.0 is now installable. Current state is: passing
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-swscale.1.2.7 on 4.14.2 is now installable. Current state is: passing
ffmpeg-swscale.1.2.7 on 5.3.0 is now installable. Current state is: passing
ffmpeg.1.2.7 on 5.3.0 is now installable. Current state is: 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
flux.0.0.1~beta1 on 5.3.0 is now installable. Current state is: passing
fluxt.0.0.1~beta1 on 5.3.0 is now installable. Current state is: passing
fmlib.0.6.1 on 4.14.2 is now installable. Current state is: passing
fmlib.0.6.1 on 5.3.0 is now installable. Current state is: passing
fmlib_browser.0.6.1 on 4.14.2 is now installable. Current state is: passing
fmlib_browser.0.6.1 on 5.3.0 is now installable. Current state is: passing
fmlib_js.0.6.1 on 4.14.2 is now installable. Current state is: passing
fmlib_js.0.6.1 on 5.3.0 is now installable. Current state is: passing
fmlib_parse.0.6.1 on 4.14.2 is now installable. Current state is: passing
fmlib_parse.0.6.1 on 5.3.0 is now installable. Current state is: passing
fmlib_pretty.0.6.1 on 4.14.2 is now installable. Current state is: passing
fmlib_pretty.0.6.1 on 5.3.0 is now installable. Current state is: passing
fmlib_std.0.6.1 on 4.14.2 is now installable. Current state is: passing
fmlib_std.0.6.1 on 5.3.0 is now installable. Current state is: passing
fpath-base.0.4.0 on 5.3.0 is now installable. Current state is: passing
fpath-sexp0.0.4.0 on 4.14.2 is now installable. Current state is: passing
fpath-sexp0.0.4.0 on 5.3.0 is now installable. Current state is: passing
frama-c-metacsl.0.9 on 4.14.2 is now installable. Current state is: passing
fstar.2025.10.06 on 4.14.2 is now installable. Current state is: passing
gen_js_api.1.1.6 on 4.14.2 is now installable. Current state is: passing
gen_js_api.1.1.6 on 5.3.0 is now installable. Current state is: passing
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.8 on 4.14.2 is now installable. Current state is: passing
handlebars-ml.0.2.1 on 4.14.2 is now installable. Current state is: passing
handlebars-ml.0.2.1 on 5.3.0 is now installable. Current state is: passing
html_of_jsx.0.0.6 on 4.14.2 is now installable. Current state is: passing
html_of_jsx.0.0.6 on 5.3.0 is now installable. Current state is: passing
hugin.1.0.0~alpha1 on 5.3.0 is now installable. Current state is: passing
huml-cli.0.1.1 on 4.14.2 is now installable. Current state is: passing
huml-cli.0.1.1 on 5.3.0 is now installable. Current state is: passing
huml.0.1.1 on 4.14.2 is now installable. Current state is: passing
huml.0.1.1 on 5.3.0 is now installable. Current state is: passing
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.13 on 4.14.2 is now installable. Current state is: passing
icalendar.0.1.13 on 5.3.0 is now installable. Current state is: passing
incremental_cycles.0.1 on 4.14.2 is now installable. Current state is: passing
incremental_cycles.0.1 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
ipv6-multicast-lwt.0.9 on 4.14.2 had its build status changed: partially failing to passing
ipv6-multicast.0.9 on 4.14.2 had its build status changed: failing to 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
libbinaryen.124.0.0 on 4.14.2 is now installable. Current state is: passing
libbinaryen.124.0.0 on 5.3.0 is now installable. Current state is: passing
libsail.0.20 on 4.14.2 is now installable. Current state is: passing
libsail.0.20 on 5.3.0 is now installable. Current state is: passing
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
linwrap.9.1.4 on 4.14.2 had its build status changed: internal failure 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
logs.0.10.0 on 4.14.2 is now installable. Current state is: passing
logs.0.10.0 on 5.3.0 is now installable. Current state is: passing
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
mazeppa.0.6.0 on 4.14.2 is now installable. Current state is: passing
mazeppa.0.6.0 on 5.3.0 is now installable. Current state is: passing
mdx.2.5.1 on 4.14.2 is now installable. Current state is: passing
mdx.2.5.1 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
miou.0.5.0 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-net-xen.2.1.7 on 4.14.2 is now installable. Current state is: passing
mirage-net-xen.2.1.7 on 5.3.0 is now installable. Current state is: passing
mirage-ptime.5.2.0 on 4.14.2 is now installable. Current state is: passing
mirage-ptime.5.2.0 on 5.3.0 is now installable. Current state is: passing
mirage-runtime.4.10.3 on 4.14.2 is now installable. Current state is: passing
mirage-runtime.4.10.3 on 5.3.0 is now installable. Current state is: passing
mirage-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.3 on 4.14.2 is now installable. Current state is: passing
mirage.4.10.3 on 5.3.0 is now installable. Current state is: passing
mlsolver.1.5 on 4.14.2 is now installable. Current state is: passing
mlsolver.1.5 on 5.3.0 is now installable. Current state is: passing
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
morbig.0.11.0 on 4.14.2 had its build status changed: failing to passing
morbig.0.11.0 on 5.3.0 had its build status changed: failing to passing
mosaique.0.0.1 on 5.3.0 is now installable. Current state is: passing
ninja_utils.1.0.0 on 4.14.2 is now installable. Current state is: passing
ninja_utils.1.0.0 on 5.3.0 is now installable. Current state is: passing
notty-community.0.2.4 on 4.14.2 is now installable. Current state is: passing
notty-community.0.2.4 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
ocaml-version.4.0.3 on 4.14.2 is now installable. Current state is: passing
ocaml-version.4.0.3 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
ocamlformat-lib.0.28.1 on 4.14.2 is now installable. Current state is: passing
ocamlformat-lib.0.28.1 on 5.3.0 is now installable. Current state is: passing
ocamlformat-rpc-lib.0.28.1 on 4.14.2 is now installable. Current state is: passing
ocamlformat-rpc-lib.0.28.1 on 5.3.0 is now installable. Current state is: passing
ocamlformat.0.28.1 on 4.14.2 is now installable. Current state is: passing
ocamlformat.0.28.1 on 5.3.0 is now installable. Current state is: passing
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
oenv.0.1.0 on 5.3.0 is now installable. Current state is: passing
oglsl.0.1.0 on 5.3.0 is now installable. Current state is: passing
ojs.1.1.6 on 4.14.2 is now installable. Current state is: passing
ojs.1.1.6 on 5.3.0 is now installable. Current state is: passing
opam-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-client.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
opam-client.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
opam-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-core.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
opam-core.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
opam-devel.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
opam-devel.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
opam-format.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
opam-format.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
opam-installer.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
opam-installer.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
opam-publish.2.7.0 on 4.14.2 is now installable. Current state is: passing
opam-publish.2.7.0 on 5.3.0 is now installable. Current state is: passing
opam-repository.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
opam-repository.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
opam-solver.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
opam-solver.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
opam-state.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
opam-state.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
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
opatch.3.0.1 on 4.14.2 is now installable. Current state is: passing
opatch.3.0.1 on 5.3.0 is now installable. Current state is: passing
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
oplot.0.85 on 4.14.2 is now installable. Current state is: passing
oplot.0.85 on 5.3.0 is now installable. Current state is: passing
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
pageantty.0.0.3 on 4.14.2 is now installable. Current state is: passing
pageantty.0.0.3 on 5.3.0 is now installable. Current state is: passing
pcrc.0.25.2 on 4.14.2 is now installable. Current state is: passing
pcrc.0.25.2 on 5.3.0 is now installable. Current state is: passing
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_expect.v0.16.2 on 4.14.2 is now installable. Current state is: passing
ppx_expect.v0.16.2 on 5.3.0 is now installable. Current state is: passing
ppx_expect_nobase.v0.17.3.0 on 4.14.2 is now installable. Current state is: passing
ppx_expect_nobase.v0.17.3.0 on 5.3.0 is now installable. Current state is: passing
ppx_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_import.1.12.0 on 4.14.2 is now installable. Current state is: passing
ppx_import.1.12.0 on 5.3.0 is now installable. Current state is: passing
ppx_js_style.v0.17.1 on 5.3.0 is now installable. Current state is: passing
ppx_matches.0.1.0 on 4.14.2 is now installable. Current state is: passing
ppx_minidebug.3.0.0 on 5.3.0 is now installable. Current state is: passing
ppx_pattern_bind.v0.17.1 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
ppx_yojson_conv.v0.17.1 on 5.3.0 is now installable. Current state is: passing
ppxlib-tools.0.37.0 on 4.14.2 is now installable. Current state is: passing
ppxlib-tools.0.37.0 on 5.3.0 is now installable. Current state is: passing
ppxlib.0.37.0 on 4.14.2 is now installable. Current state is: passing
ppxlib.0.37.0 on 5.3.0 is now installable. Current state is: passing
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
qcheck-alcotest.0.27 on 4.14.2 is now installable. Current state is: passing
qcheck-alcotest.0.27 on 5.3.0 is now installable. Current state is: passing
qcheck-core.0.27 on 4.14.2 is now installable. Current state is: passing
qcheck-core.0.27 on 5.3.0 is now installable. Current state is: passing
qcheck-lin.0.10 on 4.14.2 is now installable. Current state is: passing
qcheck-lin.0.10 on 5.3.0 is now installable. Current state is: passing
qcheck-multicoretests-util.0.10 on 4.14.2 is now installable. Current state is: passing
qcheck-multicoretests-util.0.10 on 5.3.0 is now installable. Current state is: passing
qcheck-ounit.0.27 on 4.14.2 is now installable. Current state is: passing
qcheck-ounit.0.27 on 5.3.0 is now installable. Current state is: passing
qcheck-stm.0.10 on 4.14.2 is now installable. Current state is: passing
qcheck-stm.0.10 on 5.3.0 is now installable. Current state is: passing
qcheck.0.27 on 4.14.2 is now installable. Current state is: passing
qcheck.0.27 on 5.3.0 is now installable. Current state is: passing
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
regrade.0.1.0 on 4.14.2 is now installable. Current state is: passing
regrade.0.1.0 on 5.3.0 is now installable. Current state is: passing
rich-string.1.0.0 on 5.3.0 is now installable. Current state is: passing
rocq-core.9.1.0 on 4.14.2 is now installable. Current state is: passing
rocq-core.9.1.0 on 5.3.0 is now installable. Current state is: passing
rocq-devtools.9.1.0 on 4.14.2 is now installable. Current state is: passing
rocq-devtools.9.1.0 on 5.3.0 is now installable. Current state is: passing
rocq-runtime.9.1.0 on 4.14.2 is now installable. Current state is: passing
rocq-runtime.9.1.0 on 5.3.0 is now installable. Current state is: passing
rocqide.9.1.0 on 4.14.2 is now installable. Current state is: passing
rocqide.9.1.0 on 5.3.0 is now installable. Current state is: passing
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
sail.0.20 on 4.14.2 is now installable. Current state is: passing
sail.0.20 on 5.3.0 is now installable. Current state is: passing
sail_c_backend.0.20 on 4.14.2 is now installable. Current state is: passing
sail_c_backend.0.20 on 5.3.0 is now installable. Current state is: passing
sail_coq_backend.0.20 on 4.14.2 is now installable. Current state is: passing
sail_coq_backend.0.20 on 5.3.0 is now installable. Current state is: passing
sail_doc_backend.0.20 on 4.14.2 is now installable. Current state is: passing
sail_doc_backend.0.20 on 5.3.0 is now installable. Current state is: passing
sail_latex_backend.0.20 on 4.14.2 is now installable. Current state is: passing
sail_latex_backend.0.20 on 5.3.0 is now installable. Current state is: passing
sail_lean_backend.0.20 on 4.14.2 is now installable. Current state is: passing
sail_lean_backend.0.20 on 5.3.0 is now installable. Current state is: passing
sail_lem_backend.0.20 on 4.14.2 is now installable. Current state is: passing
sail_lem_backend.0.20 on 5.3.0 is now installable. Current state is: passing
sail_manifest.0.20 on 4.14.2 is now installable. Current state is: passing
sail_manifest.0.20 on 5.3.0 is now installable. Current state is: passing
sail_ocaml_backend.0.20 on 4.14.2 is now installable. Current state is: passing
sail_ocaml_backend.0.20 on 5.3.0 is now installable. Current state is: passing
sail_output.0.20 on 4.14.2 is now installable. Current state is: passing
sail_output.0.20 on 5.3.0 is now installable. Current state is: passing
sail_smt_backend.0.20 on 4.14.2 is now installable. Current state is: passing
sail_smt_backend.0.20 on 5.3.0 is now installable. Current state is: passing
sail_sv_backend.0.20 on 4.14.2 is now installable. Current state is: passing
sail_sv_backend.0.20 on 5.3.0 is now installable. Current state is: passing
scope.1.1 on 5.3.0 is now installable. Current state is: passing
sedlex.3.7 on 4.14.2 is now installable. Current state is: passing
sedlex.3.7 on 5.3.0 is now installable. Current state is: passing
smtml.0.13.0 on 4.14.2 is now installable. Current state is: passing
smtml.0.13.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.10.0 on 4.14.2 is now installable. Current state is: passing
solo5.0.10.0 on 5.3.0 is now installable. Current state is: passing
spoke.0.0.4 on 4.14.2 is now installable. Current state is: passing
spoke.0.0.4 on 5.3.0 is now installable. Current state is: passing
statocaml_gui.0.1.0 on 5.3.0 had its build status changed: internal failure to 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
synchronizer.0.1 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
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
tezt.4.3.0 on 4.14.2 is now installable. Current state is: passing
tezt.4.3.0 on 5.3.0 is now installable. Current state is: passing
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
topkg-care.1.1.1 on 4.14.2 is now installable. Current state is: passing
topkg-care.1.1.1 on 5.3.0 is now installable. Current state is: passing
topkg.1.1.1 on 4.14.2 is now installable. Current state is: passing
topkg.1.1.1 on 5.3.0 is now installable. Current state is: passing
tsdl-mixer.0.6 on 4.14.2 had its build status changed: internal failure to 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
visitors.20251010 on 4.14.2 is now installable. Current state is: passing
visitors.20251010 on 5.3.0 is now installable. Current state is: passing
vlt.0.2.5 on 4.14.2 had its build status changed: failing to passing
vlt.0.2.5 on 5.3.0 had its build status changed: failing to 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
vscoq-language-server.2.3.3 on 4.14.2 is now installable. Current state is: passing
vscoq-language-server.2.3.3 on 5.3.0 is now installable. Current state is: passing
vsrocq-language-server.2.3.3 on 4.14.2 is now installable. Current state is: passing
vsrocq-language-server.2.3.3 on 5.3.0 is now installable. Current state is: passing
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 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