opam-health-check diff

Home|Differences with the last checks|Previous runs

Differences between 1a01639 and 09658dd (git diff)

Packages now failing:

alt-ergo-free.2.0.0 on 4.10 had its build status changed: passing to failing
alt-ergo.0.95.2 on 4.09 had its build status changed: passing to failing
alt-ergo.2.1.0 on 4.09 had its build status changed: passing to failing
alt-ergo.2.1.0 on 4.11 had its build status changed: passing to failing
alt-ergo.2.2.0 on 4.11 had its build status changed: passing to failing
alt-ergo.2.2.0 on 4.13 had its build status changed: passing to failing
alt-ergo.2.2.0 on 4.14 had its build status changed: passing to failing
esperanto.0.0.1 on 4.13 had its build status changed: passing to failing
hacl-star-raw.0.1 on 4.13 had its build status changed: passing to failing
hacl-star-raw.0.2.0 on 4.08 had its build status changed: passing to failing
hacl-star-raw.0.2.0 on 4.09 had its build status changed: passing to failing
ollvm-tapir.0.99.1 on 4.14 had its build status changed: passing to failing
ollvm.0.99 on 4.12 had its build status changed: passing to failing
ollvm.0.99 on 4.14 had its build status changed: passing to failing
portia.1.1 on 4.10 had its build status changed: passing to failing
portia.1.3 on 4.09 had its build status changed: passing to failing
portia.1.3 on 4.14 had its build status changed: passing to failing
solo5.0.7.1 on 4.08 had its build status changed: internal failure to failing
tuareg.2.0.10 on 4.08 had its build status changed: passing to failing
tuareg.2.0.10 on 5.0 had its build status changed: passing to failing
tuareg.2.1.0 on 4.14 had its build status changed: passing to failing
uri.2.0.0 on 4.10 had its build status changed: passing to failing
z3.4.10.1 on 4.08 had its build status changed: internal failure to failing
z3.4.10.1 on 4.10 had its build status changed: passing to failing
z3.4.10.1 on 4.13 had its build status changed: passing to failing
z3.4.11.0 on 5.1 had its build status changed: passing to failing
z3.4.8.5-1 on 4.14 had its build status changed: passing to failing
z3.4.9.1 on 4.08 had its build status changed: internal failure to failing

Packages now partially failing:

fm-simplex-plugin.1.30 on 4.08 had its build status changed: passing to partially failing
hacl-star.0.1.1 on 4.08 had its build status changed: passing to partially failing
hacl-star.0.1.1 on 4.09 had its build status changed: passing to partially failing
hacl-star.0.2.1 on 4.14 had its build status changed: passing to partially failing
lambdapi.2.0.0 on 4.08 had its build status changed: passing to partially failing
lambdapi.2.0.0 on 4.12 had its build status changed: passing to partially failing
lambdapi.2.0.0 on 4.13 had its build status changed: passing to partially failing
oplot.0.71 on 4.11 had its build status changed: passing to partially failing
satML-plugin.0.99.1 on 4.12 had its build status changed: passing to partially failing
tezos-embedded-protocol-003-PsddFKi3.11.0 on 4.12 had its build status changed: passing to partially failing
tezos-embedded-protocol-004-Pt24m4xi.15.1 on 4.14 had its build status changed: passing to partially failing
tezos-embedded-protocol-004-Pt24m4xi.16.0 on 4.14 had its build status changed: passing to partially failing
tezos-embedded-protocol-004-Pt24m4xi.8.2 on 4.09 had its build status changed: passing to partially failing
tezos-embedded-protocol-005-PsBABY5H.15.0 on 4.14 had its build status changed: passing to partially failing
tezos-embedded-protocol-005-PsBABY5H.8.0 on 4.10 had its build status changed: passing to partially failing
tezos-embedded-protocol-005-PsBabyM1.12.0 on 4.12 had its build status changed: passing to partially failing
tezos-embedded-protocol-005-PsBabyM1.15.0 on 4.14 had its build status changed: passing to partially failing
tezos-embedded-protocol-006-PsCARTHA.11.0 on 4.12 had its build status changed: passing to partially failing
tezos-embedded-protocol-008-PtEdo2Zk.15.0 on 4.14 had its build status changed: passing to partially failing
tezos-embedded-protocol-008-PtEdoTez.16.1 on 4.14 had its build status changed: passing to partially failing
tezos-embedded-protocol-008-PtEdoTez.9.0 on 4.10 had its build status changed: passing to partially failing
tezos-embedded-protocol-009-PsFLoren.11.1 on 4.12 had its build status changed: passing to partially failing
tezos-embedded-protocol-010-PtGRANAD.16.1 on 4.14 had its build status changed: passing to partially failing
tezos-embedded-protocol-013-PtJakart.17.3 on 4.14 had its build status changed: passing to partially failing
tezos-embedded-protocol-015-PtLimaPt.15.0 on 4.14 had its build status changed: passing to partially failing
tezos-embedded-protocol-demo-counter.11.0 on 4.12 had its build status changed: passing to partially failing
tezos-embedded-protocol-demo-counter.12.0 on 4.12 had its build status changed: passing to partially failing
tezos-embedded-protocol-genesis-carthagenet.9.2 on 4.10 had its build status changed: passing to partially failing
zarith-freestanding.1.10 on 4.14 had its build status changed: internal failure to partially failing

Packages now not available:

antic.0.3.1 on 4.10 is not available anymore. Previous state was: passing
antic.0.3.1 on 4.11 is not available anymore. Previous state was: passing
antic.0.3.1 on 4.12 is not available anymore. Previous state was: passing
antic.0.3.1 on 4.13 is not available anymore. Previous state was: passing
antic.0.3.1 on 4.14 is not available anymore. Previous state was: passing
antic.0.3.1 on 5.0 is not available anymore. Previous state was: passing
antic.0.3.1 on 5.1 is not available anymore. Previous state was: passing
antic.0.3.2 on 4.10 is not available anymore. Previous state was: passing
antic.0.3.2 on 4.11 is not available anymore. Previous state was: passing
antic.0.3.2 on 4.12 is not available anymore. Previous state was: passing
antic.0.3.2 on 4.13 is not available anymore. Previous state was: passing
antic.0.3.2 on 4.14 is not available anymore. Previous state was: passing
antic.0.3.2 on 5.0 is not available anymore. Previous state was: passing
antic.0.3.2 on 5.1 is not available anymore. Previous state was: passing
calcium.0.3.1 on 4.10 is not available anymore. Previous state was: partially failing
calcium.0.3.1 on 4.11 is not available anymore. Previous state was: partially failing
calcium.0.3.1 on 4.12 is not available anymore. Previous state was: partially failing
calcium.0.3.1 on 4.13 is not available anymore. Previous state was: partially failing
calcium.0.3.1 on 4.14 is not available anymore. Previous state was: partially failing
calcium.0.3.1 on 5.0 is not available anymore. Previous state was: partially failing
calcium.0.3.1 on 5.1 is not available anymore. Previous state was: partially failing
calcium.0.3.2 on 4.10 is not available anymore. Previous state was: partially failing
calcium.0.3.2 on 4.11 is not available anymore. Previous state was: partially failing
calcium.0.3.2 on 4.12 is not available anymore. Previous state was: partially failing
calcium.0.3.2 on 4.13 is not available anymore. Previous state was: partially failing
calcium.0.3.2 on 4.14 is not available anymore. Previous state was: partially failing
calcium.0.3.2 on 5.0 is not available anymore. Previous state was: partially failing
calcium.0.3.2 on 5.1 is not available anymore. Previous state was: partially failing
conf-antic.1 on 4.08 is not available anymore. Previous state was: passing
conf-antic.1 on 4.09 is not available anymore. Previous state was: passing
conf-antic.1 on 4.10 is not available anymore. Previous state was: passing
conf-antic.1 on 4.11 is not available anymore. Previous state was: passing
conf-antic.1 on 4.12 is not available anymore. Previous state was: passing
conf-antic.1 on 4.13 is not available anymore. Previous state was: passing
conf-antic.1 on 4.14 is not available anymore. Previous state was: passing
conf-antic.1 on 5.0 is not available anymore. Previous state was: passing
conf-antic.1 on 5.1 is not available anymore. Previous state was: passing
conf-calcium.1 on 4.08 is not available anymore. Previous state was: partially failing
conf-calcium.1 on 4.09 is not available anymore. Previous state was: partially failing
conf-calcium.1 on 4.10 is not available anymore. Previous state was: partially failing
conf-calcium.1 on 4.11 is not available anymore. Previous state was: partially failing
conf-calcium.1 on 4.12 is not available anymore. Previous state was: partially failing
conf-calcium.1 on 4.13 is not available anymore. Previous state was: partially failing
conf-calcium.1 on 4.14 is not available anymore. Previous state was: partially failing
conf-calcium.1 on 5.0 is not available anymore. Previous state was: partially failing
conf-calcium.1 on 5.1 is not available anymore. Previous state was: partially failing
dispatch.0.3.0 on 5.0 had its build status changed: internal failure to not available
ounit-lwt.2.2.0 on 5.1 had its build status changed: internal failure to not available
ounit-lwt.2.2.1 on 5.0 had its build status changed: internal failure to not available
ounit.2.0.0 on 5.0 had its build status changed: internal failure to not available
ubase.0.20 on 4.09 had its build status changed: internal failure to not available
ubase.0.20 on 4.11 had its build status changed: internal failure to not available
zarith-freestanding.1.4 on 4.12 had its build status changed: internal failure to not available
zarith-freestanding.1.6 on 4.10 had its build status changed: internal failure to not available

Packages now failing with an internal failure:

ocaml-manual.5.1.0 on 5.1 had its build status changed: passing to internal failure
vscoq-language-server.2.0.1+coq8.18 on 4.13 had its build status changed: passing to internal failure
vscoq-language-server.2.0.2+coq8.18 on 5.0 had its build status changed: passing to internal failure
vscoq-language-server.2.0.2+coq8.18 on 5.1 had its build status changed: passing to internal failure
vscoq-language-server.2.0.3+coq8.18 on 4.13 had its build status changed: passing to internal failure
websocket-async.2.15 on 4.11 had its build status changed: passing to internal failure
websocket-async.2.15 on 4.14 had its build status changed: passing to internal failure
websocket-async.2.16 on 4.10 had its build status changed: not available to internal failure
websocket-lwt-unix.2.13 on 4.13 had its build status changed: passing to internal failure
yojson-bench.2.0.0 on 4.09 had its build status changed: passing to internal failure
yojson-bench.2.0.0 on 4.11 had its build status changed: passing to internal failure
yojson-bench.2.0.0 on 4.13 had its build status changed: passing to internal failure
yojson-bench.2.0.1 on 4.08 had its build status changed: passing to internal failure
yojson-bench.2.0.1 on 4.12 had its build status changed: passing to internal failure
yojson-bench.2.0.1 on 5.0 had its build status changed: passing to internal failure
yojson-bench.2.0.1 on 5.1 had its build status changed: passing to internal failure
yojson-bench.2.0.2 on 4.08 had its build status changed: passing to internal failure
yojson-bench.2.0.2 on 4.09 had its build status changed: passing to internal failure
yojson-bench.2.0.2 on 4.10 had its build status changed: passing to internal failure
yojson-bench.2.0.2 on 4.12 had its build status changed: passing to internal failure
yojson-bench.2.0.2 on 4.13 had its build status changed: passing to internal failure
z3.4.10.1 on 4.12 had its build status changed: failing to internal failure
z3.4.10.1 on 4.14 had its build status changed: passing to internal failure
z3.4.10.1 on 5.1 had its build status changed: passing to internal failure
z3.4.10.2 on 5.1 had its build status changed: passing to internal failure
z3.4.11.0 on 4.09 had its build status changed: passing to internal failure
z3.4.11.0 on 4.10 had its build status changed: passing to internal failure
z3.4.11.0 on 4.11 had its build status changed: passing to internal failure
z3.4.11.0 on 4.13 had its build status changed: passing to internal failure
z3.4.11.2 on 4.10 had its build status changed: passing to internal failure
z3.4.11.2 on 4.11 had its build status changed: passing to internal failure
z3.4.11.2 on 4.14 had its build status changed: passing to internal failure
z3.4.12.3 on 4.08 had its build status changed: passing to internal failure
z3.4.12.3 on 4.14 had its build status changed: passing to internal failure
z3.4.12.4 on 4.09 had its build status changed: passing to internal failure
z3.4.12.4 on 4.11 had its build status changed: passing to internal failure
z3.4.12.4 on 4.14 had its build status changed: passing to internal failure
z3.4.12.4 on 5.1 had its build status changed: passing to internal failure
z3.4.8.13 on 4.11 had its build status changed: passing to internal failure
z3.4.8.13 on 4.13 had its build status changed: passing to internal failure
z3.4.8.14 on 4.08 had its build status changed: passing to internal failure
z3.4.8.14 on 4.11 had its build status changed: passing to internal failure
z3.4.8.14 on 4.12 had its build status changed: passing to internal failure
z3.4.8.17 on 4.09 had its build status changed: passing to internal failure
z3.4.8.17 on 4.13 had its build status changed: passing to internal failure
z3.4.8.17 on 4.14 had its build status changed: passing to internal failure
z3.4.8.17 on 5.0 had its build status changed: passing to internal failure
z3.4.8.5-1 on 4.12 had its build status changed: passing to internal failure
z3_tptp.4.10.1 on 4.08 had its build status changed: passing to internal failure
z3_tptp.4.10.2 on 4.08 had its build status changed: passing to internal failure
z3_tptp.4.11.0 on 4.10 had its build status changed: passing to internal failure
z3_tptp.4.11.2 on 4.12 had its build status changed: passing to internal failure
z3_tptp.4.8.13 on 4.14 had its build status changed: passing to internal failure
z3_tptp.4.8.14 on 4.09 had its build status changed: passing to internal failure
z3_tptp.4.8.14 on 4.11 had its build status changed: passing to internal failure
z3_tptp.4.8.14 on 4.14 had its build status changed: passing to internal failure
z3_tptp.4.8.17 on 4.09 had its build status changed: passing to internal failure
z3_tptp.4.8.17 on 4.12 had its build status changed: passing to internal failure
z3_tptp.4.9.1 on 4.08 had its build status changed: passing to internal failure
z3_tptp.4.9.1 on 4.09 had its build status changed: passing to internal failure
z3_tptp.4.9.1 on 4.10 had its build status changed: passing to internal failure
z3_tptp.4.9.1 on 4.13 had its build status changed: passing to internal failure
zanuda.1.0.0 on 4.14 had its build status changed: passing to internal failure
zarith-freestanding.1.11 on 4.14 had its build status changed: partially failing to internal failure
zarith-freestanding.1.4 on 4.09 had its build status changed: partially failing to internal failure
zarith-freestanding.1.7 on 4.11 had its build status changed: not available to internal failure
zarith-freestanding.1.7 on 4.12 had its build status changed: not available to internal failure
zarith.1.3 on 5.1 had its build status changed: not available to internal failure
zed.1.6 on 5.1 had its build status changed: not available to internal failure
zed.2.0.4 on 4.13 had its build status changed: passing to internal failure
zed.3.2.1 on 4.09 had its build status changed: passing to internal failure
zeit.0.1.0 on 4.14 had its build status changed: passing to internal failure
zelus-gtk.2.1 on 4.08 had its build status changed: passing to internal failure
zelus-gtk.2.1 on 4.10 had its build status changed: passing to internal failure
zelus-gtk.2.1 on 4.11 had its build status changed: passing to internal failure
zelus-gtk.2.1 on 4.14 had its build status changed: passing to internal failure
zelus-gtk.2.2 on 4.08 had its build status changed: passing to internal failure
zelus-gtk.2.2 on 4.11 had its build status changed: passing to internal failure
zelus-gtk.2.2 on 4.14 had its build status changed: passing to internal failure
zelus-gtk.2.2 on 5.1 had its build status changed: passing to internal failure
zelus.2.1 on 4.09 had its build status changed: passing to internal failure
zelus.2.1 on 4.10 had its build status changed: passing to internal failure
zelus.2.1 on 4.11 had its build status changed: passing to internal failure
zelus.2.2 on 4.08 had its build status changed: passing to internal failure
zenon.0.8.4 on 5.1 had its build status changed: not available to internal failure
zipperposition-tools.1.6 on 4.11 had its build status changed: passing to internal failure
zipperposition-tools.2.1 on 4.08 had its build status changed: passing to internal failure
zipperposition.2.0 on 4.11 had its build status changed: passing to internal failure
zipperposition.2.0 on 5.0 had its build status changed: not available to internal failure
zipperposition.2.0 on 5.1 had its build status changed: not available to internal failure
zipperposition.2.1 on 4.09 had its build status changed: passing to internal failure
zipperposition.2.1 on 4.13 had its build status changed: not available to internal failure
zipperposition.2.1 on 4.14 had its build status changed: not available to internal failure
zipperposition.2.1 on 5.0 had its build status changed: not available to internal failure

Packages now passing:

aarch64-esperanto.0.0.5 on 4.13 is now installable. Current state is: passing
aarch64-esperanto.0.0.5 on 4.14 is now installable. Current state is: passing
alt-ergo-free.2.0.0 on 4.12 had its build status changed: failing to passing
alt-ergo-free.2.0.0 on 4.13 had its build status changed: failing to passing
alt-ergo.0.95.2 on 4.14 had its build status changed: failing to passing
alt-ergo.2.0.0 on 4.08 had its build status changed: failing to passing
alt-ergo.2.0.0 on 4.10 had its build status changed: failing to passing
alt-ergo.2.0.0 on 4.13 had its build status changed: failing to passing
alt-ergo.2.1.0 on 4.08 had its build status changed: failing to passing
alt-ergo.2.1.0 on 4.10 had its build status changed: failing to passing
alt-ergo.2.1.0 on 4.14 had its build status changed: failing to passing
alt-ergo.2.2.0 on 4.08 had its build status changed: failing to passing
alt-ergo.2.2.0 on 4.12 had its build status changed: failing to passing
amqp-client-async.2.3.0 on 4.14 is now installable. Current state is: passing
amqp-client-async.2.3.0 on 5.0 is now installable. Current state is: passing
amqp-client-async.2.3.0 on 5.1 is now installable. Current state is: passing
amqp-client-lwt.2.3.0 on 4.14 is now installable. Current state is: passing
amqp-client-lwt.2.3.0 on 5.0 is now installable. Current state is: passing
amqp-client-lwt.2.3.0 on 5.1 is now installable. Current state is: passing
amqp-client.2.3.0 on 4.14 is now installable. Current state is: passing
amqp-client.2.3.0 on 5.0 is now installable. Current state is: passing
amqp-client.2.3.0 on 5.1 is now installable. Current state is: passing
binaryen.0.24.0 on 4.12 had its build status changed: internal failure to passing
bip32.0.1 on 4.08 is now installable. Current state is: passing
bip32.0.1 on 4.09 is now installable. Current state is: passing
bip32.0.1 on 4.10 is now installable. Current state is: passing
bip32.0.1 on 4.11 is now installable. Current state is: passing
bip32.0.2 on 4.08 is now installable. Current state is: passing
bip32.0.2 on 4.09 is now installable. Current state is: passing
bip32.0.2 on 4.10 is now installable. Current state is: passing
bip32.0.2 on 4.11 is now installable. Current state is: passing
bip32.0.2 on 4.12 is now installable. Current state is: passing
bip32.0.2 on 4.13 is now installable. Current state is: passing
bip32.0.2 on 4.14 is now installable. Current state is: passing
castore.0.0.1 on 5.1 is now installable. Current state is: passing
castore.0.0.2 on 5.1 is now installable. Current state is: passing
colibri2.0.3.3 on 4.12 had its build status changed: partially failing to passing
colibri2.0.3.3 on 4.13 had its build status changed: partially failing to passing
colibri2.0.3.3 on 4.14 had its build status changed: partially failing to passing
colibri2.0.4 on 4.12 had its build status changed: partially failing to passing
colibri2.0.4 on 4.13 had its build status changed: partially failing to passing
colibri2.0.4 on 4.14 had its build status changed: partially failing to passing
colibri2.0.4 on 5.0 had its build status changed: partially failing to passing
colors.0.0.1 on 4.13 is now installable. Current state is: passing
colors.0.0.1 on 4.14 is now installable. Current state is: passing
colors.0.0.1 on 5.0 is now installable. Current state is: passing
colors.0.0.1 on 5.1 is now installable. Current state is: passing
conf-secp256k1.2 on 4.08 is now installable. Current state is: passing
conf-secp256k1.2 on 4.09 is now installable. Current state is: passing
conf-secp256k1.2 on 4.10 is now installable. Current state is: passing
conf-secp256k1.2 on 4.11 is now installable. Current state is: passing
conf-secp256k1.2 on 4.12 is now installable. Current state is: passing
conf-secp256k1.2 on 4.13 is now installable. Current state is: passing
conf-secp256k1.2 on 4.14 is now installable. Current state is: passing
conf-secp256k1.2 on 5.0 is now installable. Current state is: passing
conf-secp256k1.2 on 5.1 is now installable. Current state is: passing
config-file.1.1 on 4.14 had its build status changed: failing to passing
containers-data.3.13.1 on 4.08 is now installable. Current state is: passing
containers-data.3.13.1 on 4.09 is now installable. Current state is: passing
containers-data.3.13.1 on 4.10 is now installable. Current state is: passing
containers-data.3.13.1 on 4.11 is now installable. Current state is: passing
containers-data.3.13.1 on 4.12 is now installable. Current state is: passing
containers-data.3.13.1 on 4.13 is now installable. Current state is: passing
containers-data.3.13.1 on 4.14 is now installable. Current state is: passing
containers-data.3.13.1 on 5.0 is now installable. Current state is: passing
containers-data.3.13.1 on 5.1 is now installable. Current state is: passing
containers.3.13.1 on 4.08 is now installable. Current state is: passing
containers.3.13.1 on 4.09 is now installable. Current state is: passing
containers.3.13.1 on 4.10 is now installable. Current state is: passing
containers.3.13.1 on 4.11 is now installable. Current state is: passing
containers.3.13.1 on 4.12 is now installable. Current state is: passing
containers.3.13.1 on 4.13 is now installable. Current state is: passing
containers.3.13.1 on 4.14 is now installable. Current state is: passing
containers.3.13.1 on 5.0 is now installable. Current state is: passing
containers.3.13.1 on 5.1 is now installable. Current state is: passing
dispatch.0.3.0 on 4.13 had its build status changed: internal failure to passing
dispatch.0.3.0 on 4.14 had its build status changed: internal failure to passing
dispatch.0.4.0 on 4.14 had its build status changed: internal failure to passing
dispatch.0.4.1 on 4.09 had its build status changed: internal failure to passing
dispatch.0.4.1 on 4.11 had its build status changed: internal failure to passing
dispatch.0.4.1 on 4.12 had its build status changed: internal failure to passing
dispatch.0.4.1 on 4.13 had its build status changed: internal failure to passing
dispatch.0.4.1 on 5.0 had its build status changed: internal failure to passing
distributed-lwt.0.1.0 on 4.13 had its build status changed: internal failure to passing
dune-compiledb.0.6.0 on 4.08 is now installable. Current state is: passing
dune-compiledb.0.6.0 on 4.09 is now installable. Current state is: passing
dune-compiledb.0.6.0 on 4.10 is now installable. Current state is: passing
dune-compiledb.0.6.0 on 4.11 is now installable. Current state is: passing
dune-compiledb.0.6.0 on 4.12 is now installable. Current state is: passing
dune-compiledb.0.6.0 on 4.13 is now installable. Current state is: passing
dune-compiledb.0.6.0 on 4.14 is now installable. Current state is: passing
dune-compiledb.0.6.0 on 5.0 is now installable. Current state is: passing
dune-compiledb.0.6.0 on 5.1 is now installable. Current state is: passing
eprover.3.0 on 4.08 is now installable. Current state is: passing
eprover.3.0 on 4.09 is now installable. Current state is: passing
eprover.3.0 on 4.10 is now installable. Current state is: passing
eprover.3.0 on 4.11 is now installable. Current state is: passing
eprover.3.0 on 4.12 is now installable. Current state is: passing
eprover.3.0 on 4.13 is now installable. Current state is: passing
eprover.3.0 on 4.14 is now installable. Current state is: passing
eprover.3.0 on 5.0 is now installable. Current state is: passing
eprover.3.0 on 5.1 is now installable. Current state is: passing
esperanto-cosmopolitan.0.0.5 on 4.13 is now installable. Current state is: passing
esperanto-cosmopolitan.0.0.5 on 4.14 is now installable. Current state is: passing
esperanto-cosmopolitan.0.0.5 on 5.0 is now installable. Current state is: passing
esperanto-cosmopolitan.0.0.5 on 5.1 is now installable. Current state is: passing
fit.1.2.0 on 4.08 is now installable. Current state is: passing
fit.1.2.0 on 4.09 is now installable. Current state is: passing
fit.1.2.0 on 4.10 is now installable. Current state is: passing
fit.1.2.0 on 4.11 is now installable. Current state is: passing
fit.1.2.0 on 4.12 is now installable. Current state is: passing
fit.1.2.0 on 4.13 is now installable. Current state is: passing
fit.1.2.0 on 4.14 is now installable. Current state is: passing
fit.1.2.0 on 5.0 is now installable. Current state is: passing
fit.1.2.0 on 5.1 is now installable. Current state is: passing
hacl-star-raw.0.1 on 4.11 had its build status changed: failing to passing
hacl-star-raw.0.2.0 on 4.13 had its build status changed: failing to passing
hacl-star.0.1.1 on 4.10 had its build status changed: partially failing to passing
hacl-star.0.1.1 on 4.12 had its build status changed: partially failing to passing
hsluv.0.1.0 on 4.08 is now installable. Current state is: passing
hsluv.0.1.0 on 4.09 is now installable. Current state is: passing
hsluv.0.1.0 on 4.10 is now installable. Current state is: passing
hsluv.0.1.0 on 4.11 is now installable. Current state is: passing
hsluv.0.1.0 on 4.12 is now installable. Current state is: passing
hsluv.0.1.0 on 4.13 is now installable. Current state is: passing
hsluv.0.1.0 on 4.14 is now installable. Current state is: passing
hsluv.0.1.0 on 5.0 is now installable. Current state is: passing
hsluv.0.1.0 on 5.1 is now installable. Current state is: passing
jasmin.2023.06.2 on 4.11 is now installable. Current state is: passing
jasmin.2023.06.2 on 4.12 is now installable. Current state is: passing
jasmin.2023.06.2 on 4.13 is now installable. Current state is: passing
jasmin.2023.06.2 on 4.14 is now installable. Current state is: passing
jasmin.2023.06.2 on 5.0 is now installable. Current state is: passing
jasmin.2023.06.2 on 5.1 is now installable. Current state is: passing
kind2.2.1.1 on 4.09 is now installable. Current state is: passing
kind2.2.1.1 on 4.10 is now installable. Current state is: passing
kind2.2.1.1 on 4.11 is now installable. Current state is: passing
kind2.2.1.1 on 4.12 is now installable. Current state is: passing
kind2.2.1.1 on 4.13 is now installable. Current state is: passing
kind2.2.1.1 on 4.14 is now installable. Current state is: passing
kind2.2.1.1 on 5.0 is now installable. Current state is: passing
kind2.2.1.1 on 5.1 is now installable. Current state is: passing
lambdapi.2.0.0 on 4.11 had its build status changed: partially failing to passing
ledgerwallet-tezos.0.4.0 on 4.08 is now installable. Current state is: passing
ledgerwallet-tezos.0.4.0 on 4.09 is now installable. Current state is: passing
ledgerwallet-tezos.0.4.0 on 4.10 is now installable. Current state is: passing
ledgerwallet-tezos.0.4.0 on 4.11 is now installable. Current state is: passing
ledgerwallet-tezos.0.4.0 on 4.12 is now installable. Current state is: passing
ledgerwallet-tezos.0.4.0 on 4.13 is now installable. Current state is: passing
ledgerwallet-tezos.0.4.0 on 4.14 is now installable. Current state is: passing
ledgerwallet-tezos.0.4.0 on 5.0 is now installable. Current state is: passing
ledgerwallet-tezos.0.4.0 on 5.1 is now installable. Current state is: passing
ledgerwallet.0.4.0 on 4.08 is now installable. Current state is: passing
ledgerwallet.0.4.0 on 4.09 is now installable. Current state is: passing
ledgerwallet.0.4.0 on 4.10 is now installable. Current state is: passing
ledgerwallet.0.4.0 on 4.11 is now installable. Current state is: passing
ledgerwallet.0.4.0 on 4.12 is now installable. Current state is: passing
ledgerwallet.0.4.0 on 4.13 is now installable. Current state is: passing
ledgerwallet.0.4.0 on 4.14 is now installable. Current state is: passing
ledgerwallet.0.4.0 on 5.0 is now installable. Current state is: passing
ledgerwallet.0.4.0 on 5.1 is now installable. Current state is: passing
mccs.1.1+17 on 4.08 is now installable. Current state is: passing
mccs.1.1+17 on 4.09 is now installable. Current state is: passing
mccs.1.1+17 on 4.10 is now installable. Current state is: passing
mccs.1.1+17 on 4.11 is now installable. Current state is: passing
mccs.1.1+17 on 4.12 is now installable. Current state is: passing
mccs.1.1+17 on 4.13 is now installable. Current state is: passing
mccs.1.1+17 on 4.14 is now installable. Current state is: passing
mccs.1.1+17 on 5.0 is now installable. Current state is: passing
mccs.1.1+17 on 5.1 is now installable. Current state is: passing
mlmpfr.4.2.0 on 4.08 is now installable. Current state is: passing
mlmpfr.4.2.0 on 4.09 is now installable. Current state is: passing
mlmpfr.4.2.0 on 4.10 is now installable. Current state is: passing
mlmpfr.4.2.0 on 4.11 is now installable. Current state is: passing
mlmpfr.4.2.0 on 4.12 is now installable. Current state is: passing
mlmpfr.4.2.0 on 4.13 is now installable. Current state is: passing
mlmpfr.4.2.0 on 4.14 is now installable. Current state is: passing
mlmpfr.4.2.0 on 5.0 is now installable. Current state is: passing
mlmpfr.4.2.0 on 5.1 is now installable. Current state is: passing
mlmpfr.4.2.1 on 4.08 is now installable. Current state is: passing
mlmpfr.4.2.1 on 4.09 is now installable. Current state is: passing
mlmpfr.4.2.1 on 4.10 is now installable. Current state is: passing
mlmpfr.4.2.1 on 4.11 is now installable. Current state is: passing
mlmpfr.4.2.1 on 4.12 is now installable. Current state is: passing
mlmpfr.4.2.1 on 4.13 is now installable. Current state is: passing
mlmpfr.4.2.1 on 4.14 is now installable. Current state is: passing
mlmpfr.4.2.1 on 5.0 is now installable. Current state is: passing
mlmpfr.4.2.1 on 5.1 is now installable. Current state is: passing
multicore-magic.2.1.0 on 4.12 is now installable. Current state is: passing
multicore-magic.2.1.0 on 4.13 is now installable. Current state is: passing
multicore-magic.2.1.0 on 4.14 is now installable. Current state is: passing
multicore-magic.2.1.0 on 5.0 is now installable. Current state is: passing
multicore-magic.2.1.0 on 5.1 is now installable. Current state is: passing
ninja_utils.0.9.0 on 4.12 is now installable. Current state is: passing
ninja_utils.0.9.0 on 4.13 is now installable. Current state is: passing
ninja_utils.0.9.0 on 4.14 is now installable. Current state is: passing
ninja_utils.0.9.0 on 5.0 is now installable. Current state is: passing
ninja_utils.0.9.0 on 5.1 is now installable. Current state is: passing
ocamlbuild.0.14.3 on 4.08 is now installable. Current state is: passing
ocamlbuild.0.14.3 on 4.09 is now installable. Current state is: passing
ocamlbuild.0.14.3 on 4.10 is now installable. Current state is: passing
ocamlbuild.0.14.3 on 4.11 is now installable. Current state is: passing
ocamlbuild.0.14.3 on 4.12 is now installable. Current state is: passing
ocamlbuild.0.14.3 on 4.13 is now installable. Current state is: passing
ocamlbuild.0.14.3 on 4.14 is now installable. Current state is: passing
ocamlbuild.0.14.3 on 5.0 is now installable. Current state is: passing
ocamlbuild.0.14.3 on 5.1 is now installable. Current state is: passing
ocamldsort.0.15.0 on 4.11 had its build status changed: failing to passing
ollvm-tapir.0.99.1 on 4.08 had its build status changed: failing to passing
ollvm-tapir.0.99.1 on 4.09 had its build status changed: failing to passing
ollvm-tapir.0.99.1 on 4.12 had its build status changed: failing to passing
ollvm-tapir.0.99.1 on 5.0 had its build status changed: failing to passing
ollvm.0.99 on 4.08 had its build status changed: failing to passing
ollvm.0.99 on 4.11 had its build status changed: failing to passing
orun.0.0.1 on 4.10 had its build status changed: failing to passing
otoml.1.0.0 on 4.09 had its build status changed: internal failure to passing
ounit-lwt.2.2.0 on 4.08 had its build status changed: internal failure to passing
ounit-lwt.2.2.0 on 4.10 had its build status changed: internal failure to passing
ounit-lwt.2.2.0 on 4.14 had its build status changed: internal failure to passing
ounit-lwt.2.2.1 on 4.08 had its build status changed: internal failure to passing
ounit-lwt.2.2.1 on 4.10 had its build status changed: internal failure to passing
ounit-lwt.2.2.1 on 4.12 had its build status changed: internal failure to passing
ounit-lwt.2.2.1 on 4.13 had its build status changed: internal failure to passing
ounit-lwt.2.2.1 on 4.14 had its build status changed: internal failure to passing
ounit-lwt.2.2.7 on 4.14 had its build status changed: internal failure to passing
ounit-lwt.2.2.7 on 5.1 had its build status changed: internal failure to passing
ounit.2.0.0 on 4.09 had its build status changed: internal failure to passing
ounit.2.0.0 on 4.11 had its build status changed: internal failure to passing
ounit.2.0.0 on 4.12 had its build status changed: internal failure to passing
ounit.2.0.0 on 4.13 had its build status changed: internal failure to passing
portia.1.3 on 4.12 had its build status changed: failing to passing
portia.1.5 on 4.09 had its build status changed: failing to passing
portia.1.5 on 4.13 had its build status changed: failing to passing
ppx_minidebug.0.6.2 on 4.08 is now installable. Current state is: passing
ppx_minidebug.0.6.2 on 4.09 is now installable. Current state is: passing
ppx_minidebug.0.6.2 on 4.10 is now installable. Current state is: passing
ppx_minidebug.0.6.2 on 4.11 is now installable. Current state is: passing
ppx_minidebug.0.6.2 on 4.12 is now installable. Current state is: passing
ppx_minidebug.0.6.2 on 4.13 is now installable. Current state is: passing
ppx_minidebug.0.6.2 on 4.14 is now installable. Current state is: passing
ppx_minidebug.0.6.2 on 5.0 is now installable. Current state is: passing
ppx_minidebug.0.6.2 on 5.1 is now installable. Current state is: passing
secp256k1.0.1.5 on 4.08 is now installable. Current state is: passing
secp256k1.0.1.5 on 4.09 is now installable. Current state is: passing
secp256k1.0.1.5 on 4.10 is now installable. Current state is: passing
secp256k1.0.1.5 on 4.11 is now installable. Current state is: passing
secp256k1.0.1.5 on 4.12 is now installable. Current state is: passing
secp256k1.0.1.5 on 4.13 is now installable. Current state is: passing
secp256k1.0.1.5 on 4.14 is now installable. Current state is: passing
secp256k1.0.2.5 on 4.08 is now installable. Current state is: passing
secp256k1.0.2.5 on 4.09 is now installable. Current state is: passing
secp256k1.0.2.5 on 4.10 is now installable. Current state is: passing
secp256k1.0.2.5 on 4.11 is now installable. Current state is: passing
secp256k1.0.3.0 on 4.08 is now installable. Current state is: passing
secp256k1.0.3.0 on 4.09 is now installable. Current state is: passing
secp256k1.0.3.0 on 4.10 is now installable. Current state is: passing
secp256k1.0.3.0 on 4.11 is now installable. Current state is: passing
secp256k1.0.3.1 on 4.08 is now installable. Current state is: passing
secp256k1.0.3.1 on 4.09 is now installable. Current state is: passing
secp256k1.0.3.1 on 4.10 is now installable. Current state is: passing
secp256k1.0.3.1 on 4.11 is now installable. Current state is: passing
secp256k1.0.3.2 on 4.08 is now installable. Current state is: passing
secp256k1.0.3.2 on 4.09 is now installable. Current state is: passing
secp256k1.0.3.2 on 4.10 is now installable. Current state is: passing
secp256k1.0.3.2 on 4.11 is now installable. Current state is: passing
secp256k1.0.4.0 on 4.08 is now installable. Current state is: passing
secp256k1.0.4.0 on 4.09 is now installable. Current state is: passing
secp256k1.0.4.0 on 4.10 is now installable. Current state is: passing
secp256k1.0.4.0 on 4.11 is now installable. Current state is: passing
secp256k1.0.4.1 on 4.08 is now installable. Current state is: passing
secp256k1.0.4.1 on 4.09 is now installable. Current state is: passing
secp256k1.0.4.1 on 4.10 is now installable. Current state is: passing
secp256k1.0.4.1 on 4.11 is now installable. Current state is: passing
secp256k1.0.4.1 on 4.12 is now installable. Current state is: passing
secp256k1.0.4.1 on 4.13 is now installable. Current state is: passing
secp256k1.0.4.1 on 4.14 is now installable. Current state is: passing
secp256k1.0.4.4 on 4.08 is now installable. Current state is: passing
secp256k1.0.4.4 on 4.09 is now installable. Current state is: passing
secp256k1.0.4.4 on 4.10 is now installable. Current state is: passing
secp256k1.0.4.4 on 4.11 is now installable. Current state is: passing
secp256k1.0.4.4 on 4.12 is now installable. Current state is: passing
secp256k1.0.4.4 on 4.13 is now installable. Current state is: passing
secp256k1.0.4.4 on 4.14 is now installable. Current state is: passing
tty.0.0.2 on 5.1 is now installable. Current state is: passing
tuareg.2.1.0 on 4.09 had its build status changed: failing to passing
tuareg.2.1.0 on 4.11 had its build status changed: failing to passing
why3-coq.1.5.1 on 4.13 had its build status changed: internal failure to passing
why3-coq.1.5.1 on 4.14 had its build status changed: internal failure to passing
why3-coq.1.6.0 on 4.08 had its build status changed: internal failure to passing
why3-coq.1.6.0 on 4.10 had its build status changed: internal failure to passing
why3-coq.1.6.0 on 4.11 had its build status changed: internal failure to passing
why3-coq.1.6.0 on 4.12 had its build status changed: internal failure to passing
why3-coq.1.7.0 on 4.13 had its build status changed: internal failure to passing
x86_64-esperanto.0.0.5 on 4.13 is now installable. Current state is: passing
x86_64-esperanto.0.0.5 on 4.14 is now installable. Current state is: passing
yara.0.1 on 4.08 had its build status changed: internal failure to passing
yara.0.1 on 4.10 had its build status changed: internal failure to passing
yara.0.1 on 4.11 had its build status changed: internal failure to passing
yara.0.1 on 4.12 had its build status changed: internal failure to passing
yojson-bench.2.0.0 on 4.10 had its build status changed: internal failure to passing
yojson-bench.2.0.1 on 4.11 had its build status changed: internal failure to passing
z3.4.10.2 on 4.08 had its build status changed: internal failure to passing
z3.4.10.2 on 4.13 had its build status changed: failing to passing
z3.4.10.2 on 5.0 had its build status changed: failing to passing
z3.4.11.0 on 4.08 had its build status changed: internal failure to passing
z3.4.12.2-1 on 4.08 had its build status changed: internal failure to passing
z3.4.12.2-1 on 4.11 had its build status changed: internal failure to passing
z3.4.12.4 on 5.0 had its build status changed: internal failure to passing
z3.4.8.13 on 4.09 had its build status changed: internal failure to passing
z3.4.8.14 on 4.09 had its build status changed: internal failure to passing
z3.4.8.14 on 4.14 had its build status changed: internal failure to passing
z3.4.8.17 on 4.08 had its build status changed: internal failure to passing
z3.4.8.5-1 on 4.08 had its build status changed: internal failure to passing
z3.4.9.1 on 4.12 had its build status changed: internal failure to passing
z3.4.9.1 on 4.14 had its build status changed: internal failure to passing
z3.4.9.1 on 5.1 had its build status changed: internal failure to passing
z3_tptp.4.10.1 on 4.09 had its build status changed: internal failure to passing
z3_tptp.4.10.1 on 4.10 had its build status changed: internal failure to passing
z3_tptp.4.10.1 on 4.11 had its build status changed: internal failure to passing
z3_tptp.4.10.1 on 4.13 had its build status changed: internal failure to passing
z3_tptp.4.10.1 on 5.1 had its build status changed: internal failure to passing
z3_tptp.4.10.2 on 4.09 had its build status changed: internal failure to passing
z3_tptp.4.10.2 on 4.10 had its build status changed: internal failure to passing
z3_tptp.4.10.2 on 4.12 had its build status changed: internal failure to passing
z3_tptp.4.10.2 on 4.13 had its build status changed: internal failure to passing
z3_tptp.4.10.2 on 5.0 had its build status changed: internal failure to passing
z3_tptp.4.10.2 on 5.1 had its build status changed: internal failure to passing
z3_tptp.4.11.0 on 4.12 had its build status changed: internal failure to passing
z3_tptp.4.11.0 on 4.14 had its build status changed: internal failure to passing
z3_tptp.4.11.0 on 5.0 had its build status changed: internal failure to passing
z3_tptp.4.11.2 on 4.09 had its build status changed: internal failure to passing
z3_tptp.4.11.2 on 4.13 had its build status changed: internal failure to passing
z3_tptp.4.8.13 on 4.08 had its build status changed: internal failure to passing
z3_tptp.4.8.13 on 4.09 had its build status changed: internal failure to passing
z3_tptp.4.8.13 on 4.10 had its build status changed: internal failure to passing
z3_tptp.4.8.14 on 4.10 had its build status changed: internal failure to passing
z3_tptp.4.8.14 on 4.13 had its build status changed: internal failure to passing
z3_tptp.4.8.17 on 4.11 had its build status changed: internal failure to passing
z3_tptp.4.8.17 on 4.13 had its build status changed: internal failure to passing
z3_tptp.4.9.1 on 4.14 had its build status changed: internal failure to passing
zarith-xen.1.3 on 4.14 had its build status changed: internal failure to passing
zarith-xen.1.6 on 4.14 had its build status changed: internal failure to passing
zarith-xen.1.7 on 4.09 had its build status changed: internal failure to passing
zarith-xen.1.7 on 4.13 had its build status changed: internal failure to passing