opam-health-check diff

Home|Differences with the last checks|Previous runs

Differences between 1a01639 and 07d2cb5 (git diff)

Packages now failing:

alt-ergo-free.2.0.0 on 4.08 had its build status changed: passing to failing
alt-ergo-free.2.0.0 on 4.10 had its build status changed: passing to failing
alt-ergo-free.2.0.0 on 4.11 had its build status changed: passing to failing
alt-ergo-free.2.0.0 on 4.14 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
cca.0.7 on 4.14 had its build status changed: passing to failing
codept.0.11.0 on 4.08 had its build status changed: passing to failing
codept.0.11.0 on 4.09 had its build status changed: passing to failing
codept.0.11.0 on 4.10 had its build status changed: passing to failing
codept.0.11.0 on 4.11 had its build status changed: passing to failing
codept.0.11.0 on 4.12 had its build status changed: passing to failing
codept.0.11.0 on 4.13 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.09 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
lablgl.1.06 on 4.08 had its build status changed: passing to failing
ollvm-tapir.0.99.1 on 4.10 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
owl-zoo.0.3.8 on 4.11 had its build status changed: passing to failing
owl-zoo.0.4.0 on 4.10 had its build status changed: passing to failing
owl-zoo.0.4.0 on 4.11 had its build status changed: passing to failing
owl-zoo.0.5.0 on 4.08 had its build status changed: passing to failing
owl-zoo.0.5.0 on 4.11 had its build status changed: passing to failing
owl-zoo.0.7.1 on 4.09 had its build status changed: passing to failing
owl-zoo.0.7.2 on 4.13 had its build status changed: passing to failing
owl-zoo.0.8.0 on 4.10 had its build status changed: passing to failing
owl-zoo.0.8.0 on 4.13 had its build status changed: passing to failing
owl-zoo.1.0.0 on 4.13 had its build status changed: passing to failing
owl.1.1 on 4.11 had its build status changed: passing to failing
owl.1.1 on 4.12 had its build status changed: passing to failing
owl.1.1 on 4.14 had its build status changed: passing to failing
owl.1.1 on 5.1 had its build status changed: passing to failing
portia.1.1 on 4.11 had its build status changed: passing to failing
portia.1.1 on 4.12 had its build status changed: passing to failing
portia.1.1 on 4.13 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.13 had its build status changed: passing to failing
portia.1.5 on 4.08 had its build status changed: passing to failing
portia.1.5 on 4.10 had its build status changed: passing to failing
solo5.0.7.1 on 4.08 had its build status changed: internal failure to failing
stog-writing.0.19.0 on 4.12 had its build status changed: partially failing to failing
stog_rdf.0.20.0 on 4.12 had its build status changed: partially failing to failing
stog_server.0.20.0 on 4.12 had its build status changed: partially failing 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.12 had its build status changed: passing to failing
tuareg.2.1.0 on 5.1 had its build status changed: passing to failing
tuareg.2.2.0 on 4.09 had its build status changed: passing to failing
z3.4.10.1 on 4.10 had its build status changed: passing to failing

Packages now partially failing:

fm-simplex-plugin.1.01 on 4.08 had its build status changed: passing to partially failing
fm-simplex-plugin.1.30 on 4.08 had its build status changed: passing to partially failing
gobba.0.4.2 on 4.10 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.13 had its build status changed: passing to partially failing
octez-baker-PtMumbai.16.0 on 4.14 had its build status changed: passing to partially failing
octez-dac-client.18.1 on 4.14 had its build status changed: passing to partially failing
octez-protocol-012-Psithaca-libs.18.0 on 4.14 had its build status changed: passing to partially failing
octez-protocol-012-Psithaca-libs.18.1 on 4.14 had its build status changed: passing to partially failing
oplot.0.50 on 4.12 had its build status changed: passing to partially failing
owl-jupyter.1.0 on 4.09 had its build status changed: passing to partially failing
owl-jupyter.1.0 on 4.12 had its build status changed: passing to partially failing
owl-jupyter.1.0 on 4.13 had its build status changed: passing to partially failing
owl-ode-odepack.0.4.0 on 5.1 had its build status changed: passing to partially failing
owl-ode-odepack.0.5.0 on 4.12 had its build status changed: passing to partially failing
owl-ode-odepack.0.5.0 on 5.0 had its build status changed: passing to partially failing
owl-ode.0.4.0 on 4.10 had its build status changed: passing to partially failing
owl-ode.0.4.0 on 4.13 had its build status changed: passing to partially failing
owl-ode.0.4.0 on 5.0 had its build status changed: passing to partially failing
owl-ode.0.5.0 on 4.12 had its build status changed: passing to partially failing
owl-opt-lbfgs.0.0.1 on 4.10 had its build status changed: passing to partially failing
owl-opt-lbfgs.0.0.1 on 5.0 had its build status changed: passing to partially failing
owl-plplot.0.5.0 on 4.13 had its build status changed: passing to partially failing
owl-plplot.0.6.0 on 4.11 had its build status changed: passing to partially failing
owl-plplot.0.6.0 on 5.1 had its build status changed: passing to partially failing
owl-plplot.0.7.0 on 4.10 had its build status changed: passing to partially failing
owl-plplot.0.7.0 on 4.12 had its build status changed: passing to partially failing
owl-plplot.0.7.0 on 5.1 had its build status changed: passing to partially failing
owl-plplot.0.7.2 on 4.10 had its build status changed: passing to partially failing
owl-plplot.0.7.2 on 4.11 had its build status changed: passing to partially failing
owl-top.0.3.7 on 4.09 had its build status changed: passing to partially failing
owl-top.0.3.7 on 4.12 had its build status changed: passing to partially failing
owl-top.0.3.8 on 4.08 had its build status changed: passing to partially failing
owl-top.0.3.8 on 4.10 had its build status changed: passing to partially failing
owl-top.0.3.8 on 4.12 had its build status changed: passing to partially failing
owl-top.0.4.0 on 4.10 had its build status changed: passing to partially failing
owl-top.0.4.0 on 4.12 had its build status changed: passing to partially failing
owl-top.0.4.0 on 4.13 had its build status changed: passing to partially failing
owl-top.0.5.0 on 4.08 had its build status changed: passing to partially failing
owl-top.0.5.0 on 4.09 had its build status changed: passing to partially failing
owl-top.0.5.0 on 4.12 had its build status changed: passing to partially failing
owl-top.0.6.0 on 4.08 had its build status changed: passing to partially failing
owl-top.0.6.0 on 4.11 had its build status changed: passing to partially failing
owl-top.0.7.0 on 4.08 had its build status changed: passing to partially failing
owl-top.0.7.0 on 4.09 had its build status changed: passing to partially failing
owl-top.0.7.0 on 4.10 had its build status changed: passing to partially failing
owl-top.0.7.0 on 4.11 had its build status changed: passing to partially failing
owl-top.0.7.0 on 4.13 had its build status changed: passing to partially failing
owl-top.0.7.1 on 4.08 had its build status changed: passing to partially failing
owl-top.0.7.1 on 4.10 had its build status changed: passing to partially failing
owl-top.0.7.1 on 4.11 had its build status changed: passing to partially failing
owl-top.0.7.1 on 4.12 had its build status changed: passing to partially failing
owl-top.0.7.2 on 4.09 had its build status changed: passing to partially failing
owl-top.0.7.2 on 4.10 had its build status changed: passing to partially failing
owl-top.0.7.2 on 4.11 had its build status changed: passing to partially failing
owl-top.0.7.2 on 4.12 had its build status changed: passing to partially failing
owl-top.0.7.2 on 4.13 had its build status changed: passing to partially failing
owl-top.0.8.0 on 4.08 had its build status changed: passing to partially failing
owl-top.0.8.0 on 4.09 had its build status changed: passing to partially failing
owl-top.0.8.0 on 4.10 had its build status changed: passing to partially failing
owl-top.0.8.0 on 4.12 had its build status changed: passing to partially failing
owl-top.0.8.0 on 4.13 had its build status changed: passing to partially failing
owl-top.0.9.0 on 4.11 had its build status changed: passing to partially failing
owl-top.0.9.0 on 4.13 had its build status changed: passing to partially failing
owl-top.1.0.1 on 4.10 had its build status changed: passing to partially failing
owl-top.1.1 on 4.12 had its build status changed: passing to partially failing
owl-top.1.1 on 5.1 had its build status changed: passing to partially failing
z3_tptp.4.10.1 on 5.1 had its build status changed: internal failure 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
conf-nauty.1.0 on 4.08 is not available anymore. Previous state was: passing
conf-nauty.1.0 on 4.09 is not available anymore. Previous state was: passing
conf-nauty.1.0 on 4.10 is not available anymore. Previous state was: passing
conf-nauty.1.0 on 4.11 is not available anymore. Previous state was: passing
conf-nauty.1.0 on 4.12 is not available anymore. Previous state was: passing
conf-nauty.1.0 on 4.13 is not available anymore. Previous state was: passing
conf-nauty.1.0 on 4.14 is not available anymore. Previous state was: passing
conf-nauty.1.0 on 5.0 is not available anymore. Previous state was: passing
conf-nauty.1.0 on 5.1 is not available anymore. Previous state was: passing
dispatch.0.3.0 on 5.0 had its build status changed: internal failure to not available
dolmen.0.1 on 5.0 had its build status changed: failing to not available
dolmen.0.1 on 5.1 had its build status changed: failing to not available
dolmen.0.2 on 5.0 had its build status changed: failing to not available
dolmen.0.2 on 5.1 had its build status changed: failing to not available
let-if.0.1.0 on 4.08 is not available anymore. Previous state was: passing
let-if.0.1.0 on 4.09 is not available anymore. Previous state was: passing
let-if.0.2.0 on 4.08 is not available anymore. Previous state was: passing
let-if.0.2.0 on 4.09 is not available anymore. Previous state was: passing
let-if.0.2.0 on 4.10 is not available anymore. Previous state was: passing
let-if.0.2.0 on 4.11 is not available anymore. Previous state was: passing
let-if.0.2.0 on 4.12 is not available anymore. Previous state was: passing
let-if.0.2.0 on 4.13 is not available anymore. Previous state was: passing
let-if.0.2.0 on 4.14 is not available anymore. Previous state was: passing
let-if.0.2.0 on 5.0 is not available anymore. Previous state was: passing
let-if.0.2.0 on 5.1 is not available anymore. Previous state was: passing
let-if.0.3.0 on 4.08 is not available anymore. Previous state was: passing
let-if.0.3.0 on 4.09 is not available anymore. Previous state was: passing
let-if.0.3.0 on 4.10 is not available anymore. Previous state was: passing
let-if.0.3.0 on 4.11 is not available anymore. Previous state was: passing
let-if.0.3.0 on 4.12 is not available anymore. Previous state was: passing
let-if.0.3.0 on 4.13 is not available anymore. Previous state was: passing
let-if.0.3.0 on 4.14 is not available anymore. Previous state was: passing
let-if.0.3.0 on 5.0 is not available anymore. Previous state was: passing
let-if.0.3.0 on 5.1 is not available anymore. Previous state was: passing
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
ssh-agent-unix.0.2.0 on 4.08 is not available anymore. Previous state was: passing
ssh-agent-unix.0.2.0 on 4.09 is not available anymore. Previous state was: passing
ssh-agent-unix.0.2.0 on 4.10 is not available anymore. Previous state was: passing
ssh-agent-unix.0.2.0 on 4.11 is not available anymore. Previous state was: passing
ssh-agent-unix.0.2.0 on 4.12 is not available anymore. Previous state was: passing
ssh-agent-unix.0.2.0 on 4.13 is not available anymore. Previous state was: passing
ssh-agent-unix.0.2.0 on 4.14 is not available anymore. Previous state was: passing
ssh-agent-unix.0.2.0 on 5.0 is not available anymore. Previous state was: passing
ssh-agent-unix.0.2.0 on 5.1 is not available anymore. Previous state was: passing
ssh-agent-unix.0.3.0 on 4.08 is not available anymore. Previous state was: passing
ssh-agent-unix.0.3.0 on 4.09 is not available anymore. Previous state was: passing
ssh-agent-unix.0.3.0 on 4.10 is not available anymore. Previous state was: passing
ssh-agent-unix.0.3.0 on 4.11 is not available anymore. Previous state was: passing
ssh-agent-unix.0.3.0 on 4.12 is not available anymore. Previous state was: passing
ssh-agent-unix.0.3.0 on 4.13 is not available anymore. Previous state was: passing
ssh-agent-unix.0.3.0 on 4.14 is not available anymore. Previous state was: passing
ssh-agent-unix.0.3.0 on 5.0 is not available anymore. Previous state was: passing
ssh-agent-unix.0.3.0 on 5.1 is not available anymore. Previous state was: passing
ssh-agent-unix.0.3.1 on 4.08 is not available anymore. Previous state was: passing
ssh-agent-unix.0.3.1 on 4.09 is not available anymore. Previous state was: passing
ssh-agent-unix.0.3.1 on 4.10 is not available anymore. Previous state was: passing
ssh-agent-unix.0.3.1 on 4.11 is not available anymore. Previous state was: passing
ssh-agent-unix.0.3.1 on 4.12 is not available anymore. Previous state was: passing
ssh-agent-unix.0.3.1 on 4.13 is not available anymore. Previous state was: passing
ssh-agent-unix.0.3.1 on 4.14 is not available anymore. Previous state was: passing
ssh-agent-unix.0.3.1 on 5.0 is not available anymore. Previous state was: passing
ssh-agent-unix.0.3.1 on 5.1 is not available anymore. Previous state was: passing
ssh-agent-unix.0.4.0 on 4.08 is not available anymore. Previous state was: passing
ssh-agent-unix.0.4.0 on 4.09 is not available anymore. Previous state was: passing
ssh-agent-unix.0.4.0 on 4.10 is not available anymore. Previous state was: passing
ssh-agent-unix.0.4.0 on 4.11 is not available anymore. Previous state was: passing
ssh-agent-unix.0.4.0 on 4.12 is not available anymore. Previous state was: passing
ssh-agent-unix.0.4.0 on 4.13 is not available anymore. Previous state was: passing
ssh-agent-unix.0.4.0 on 4.14 is not available anymore. Previous state was: passing
ssh-agent-unix.0.4.0 on 5.0 is not available anymore. Previous state was: passing
ssh-agent-unix.0.4.0 on 5.1 is not available anymore. Previous state was: passing
ssh-agent-unix.0.4.1 on 4.08 is not available anymore. Previous state was: passing
ssh-agent-unix.0.4.1 on 4.09 is not available anymore. Previous state was: passing
ssh-agent-unix.0.4.1 on 4.10 is not available anymore. Previous state was: passing
ssh-agent-unix.0.4.1 on 4.11 is not available anymore. Previous state was: passing
ssh-agent-unix.0.4.1 on 4.12 is not available anymore. Previous state was: passing
ssh-agent-unix.0.4.1 on 4.13 is not available anymore. Previous state was: passing
ssh-agent-unix.0.4.1 on 4.14 is not available anymore. Previous state was: passing
ssh-agent-unix.0.4.1 on 5.0 is not available anymore. Previous state was: passing
ssh-agent-unix.0.4.1 on 5.1 is not available anymore. Previous state was: passing
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:

css.0.1.0 on 4.12 had its build status changed: passing to internal failure
css.0.1.0 on 4.13 had its build status changed: passing to internal failure
css.0.1.0 on 4.14 had its build status changed: passing to internal failure
css.0.1.0 on 5.0 had its build status changed: passing to internal failure
css.0.1.0 on 5.1 had its build status changed: passing to internal failure
dune-compiledb.0.6.0 on 4.11 is now installable. Current state is: internal failure
dune-configurator.2.7.0 on 5.0 had its build status changed: passing to internal failure
dune-configurator.3.1.1 on 5.1 had its build status changed: passing to internal failure
dune-configurator.3.10.0 on 4.08 had its build status changed: passing to internal failure
dune-configurator.3.11.1 on 4.14 had its build status changed: passing to internal failure
dune-configurator.3.11.1 on 5.1 had its build status changed: passing to internal failure
dune-configurator.3.3.0 on 4.13 had its build status changed: passing to internal failure
dune-configurator.3.3.1 on 4.10 had its build status changed: passing to internal failure
dune-configurator.3.3.1 on 5.1 had its build status changed: passing to internal failure
dune-configurator.3.4.0 on 4.11 had its build status changed: passing to internal failure
httpaf-lwt-unix.0.7.0 on 5.0 had its build status changed: passing to internal failure
httpaf.0.1.0 on 4.09 had its build status changed: passing to internal failure
incr_dom_widgets.v0.13.0 on 4.09 had its build status changed: passing to internal failure
incr_map.v0.16.0 on 5.1 had its build status changed: passing to internal failure
incr_select.v0.14.0 on 4.09 had its build status changed: passing to internal failure
ocaml-manual.5.1.0 on 5.1 had its build status changed: passing to internal failure
octez-accuser-PtLimaPt.15.1 on 4.14 had its build status changed: passing to internal failure
octez-protocol-015-PtLimaPt-libs.18.1 on 4.14 had its build status changed: passing to internal failure
octez-smart-rollup-node-PtNairob.18.0 on 4.14 had its build status changed: passing to internal failure
octez-tx-rollup-client-PtKathma.15.0 on 4.14 had its build status changed: passing to internal failure
octez-tx-rollup-client-PtLimaPt.16.1 on 4.14 had its build status changed: passing to internal failure
pancake.2.0.1 on 5.1 had its build status changed: passing to internal failure
rml.1.09.06 on 4.11 had its build status changed: passing to internal failure
solo5.0.7.0 on 4.08 had its build status changed: failing to internal failure
type_eq.0.0.1 on 4.08 is now installable. Current state is: internal failure
type_eq.0.0.1 on 4.09 is now installable. Current state is: internal failure
type_eq.0.0.1 on 4.11 is now installable. Current state is: internal failure
type_eq.0.0.1 on 5.1 is now installable. Current state is: internal failure
wcs-api.2017-05-26.04 on 4.10 had its build status changed: passing to internal failure
wcs.2017-05-26.03 on 4.10 had its build status changed: passing to internal failure
websocket.2.13 on 4.11 had its build status changed: passing to internal failure
websocket.2.14 on 4.09 had its build status changed: passing to internal failure
websocket.2.14 on 4.14 had its build status changed: passing to internal failure
websocket.2.14 on 5.1 had its build status changed: passing to internal failure
websocket.2.15 on 4.08 had its build status changed: passing to internal failure
websocket.2.15 on 4.14 had its build status changed: passing to internal failure
wtr.1.0.0 on 4.08 had its build status changed: not available to internal failure
yara.0.2 on 4.08 had its build status changed: passing to internal failure
yara.0.2 on 4.10 had its build status changed: passing to internal failure
yojson-bench.2.0.0 on 4.14 had its build status changed: passing to internal failure
yojson-bench.2.0.0 on 5.0 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
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.2 on 4.11 had its build status changed: passing to internal failure
z3.4.10.2 on 4.12 had its build status changed: passing to internal failure
z3.4.11.0 on 4.14 had its build status changed: passing to internal failure
z3.4.11.2 on 4.12 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.2-1 on 4.10 had its build status changed: passing to internal failure
z3.4.12.2-1 on 4.12 had its build status changed: passing to internal failure
z3.4.12.3 on 4.11 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.14 had its build status changed: passing to internal failure
z3.4.12.5 on 4.12 is now installable. Current state is: internal failure
z3.4.8.5-1 on 4.10 had its build status changed: passing to internal failure
z3.4.8.5-1 on 4.11 had its build status changed: passing to internal failure
z3.4.9.1 on 4.10 had its build status changed: passing to internal failure
z3_tptp.4.10.1 on 4.14 had its build status changed: passing to internal failure
z3_tptp.4.8.13 on 4.12 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
zed.2.0.1 on 4.09 had its build status changed: passing to internal failure
zed.2.0.4 on 4.14 had its build status changed: not available to internal failure
zed.3.0.0 on 5.0 had its build status changed: not available to internal failure

Packages now passing:

SZXX.3.0.2 on 4.11 is now installable. Current state is: passing
SZXX.3.0.2 on 4.12 is now installable. Current state is: passing
SZXX.3.0.2 on 4.13 is now installable. Current state is: passing
SZXX.3.0.2 on 4.14 is now installable. Current state is: passing
SZXX.3.0.2 on 5.0 is now installable. Current state is: passing
SZXX.3.0.2 on 5.1 is now installable. Current state is: passing
SZXX.3.0.4 on 4.11 is now installable. Current state is: passing
SZXX.3.0.4 on 4.12 is now installable. Current state is: passing
SZXX.3.0.4 on 4.13 is now installable. Current state is: passing
SZXX.3.0.4 on 4.14 is now installable. Current state is: passing
SZXX.3.0.4 on 5.0 is now installable. Current state is: passing
SZXX.3.0.4 on 5.1 is now installable. Current state is: passing
SZXX.4.1.1 on 5.0 is now installable. Current state is: passing
SZXX.4.1.1 on 5.1 is now installable. Current state is: passing
SZXX.4.1.3 on 5.0 is now installable. Current state is: passing
SZXX.4.1.3 on 5.1 is now installable. Current state is: passing
SourceCode_ASCII.0.1.0 on 4.12 is now installable. Current state is: passing
SourceCode_ASCII.0.1.0 on 4.13 is now installable. Current state is: passing
SourceCode_ASCII.0.1.0 on 4.14 is now installable. Current state is: passing
SourceCode_ASCII.0.1.0 on 5.0 is now installable. Current state is: passing
SourceCode_ASCII.0.1.0 on 5.1 is now installable. Current state is: 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.0.95.2 on 4.11 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.10 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.09 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
archetype.1.5.1 on 4.08 is now installable. Current state is: passing
archetype.1.5.1 on 4.09 is now installable. Current state is: passing
archetype.1.5.1 on 4.10 is now installable. Current state is: passing
archetype.1.5.1 on 4.11 is now installable. Current state is: passing
archetype.1.5.1 on 4.12 is now installable. Current state is: passing
archetype.1.5.1 on 4.13 is now installable. Current state is: passing
archetype.1.5.1 on 4.14 is now installable. Current state is: passing
archetype.1.5.1 on 5.0 is now installable. Current state is: passing
archetype.1.5.1 on 5.1 is now installable. Current state is: passing
atacama.0.0.4 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
chrome-trace.3.12.2 on 4.08 is now installable. Current state is: passing
chrome-trace.3.12.2 on 4.09 is now installable. Current state is: passing
chrome-trace.3.12.2 on 4.10 is now installable. Current state is: passing
chrome-trace.3.12.2 on 4.11 is now installable. Current state is: passing
chrome-trace.3.12.2 on 4.12 is now installable. Current state is: passing
chrome-trace.3.12.2 on 4.13 is now installable. Current state is: passing
chrome-trace.3.12.2 on 4.14 is now installable. Current state is: passing
chrome-trace.3.12.2 on 5.0 is now installable. Current state is: passing
chrome-trace.3.12.2 on 5.1 is now installable. Current state is: passing
chrome-trace.3.13.0 on 4.08 is now installable. Current state is: passing
chrome-trace.3.13.0 on 4.09 is now installable. Current state is: passing
chrome-trace.3.13.0 on 4.10 is now installable. Current state is: passing
chrome-trace.3.13.0 on 4.11 is now installable. Current state is: passing
chrome-trace.3.13.0 on 4.12 is now installable. Current state is: passing
chrome-trace.3.13.0 on 4.13 is now installable. Current state is: passing
chrome-trace.3.13.0 on 4.14 is now installable. Current state is: passing
chrome-trace.3.13.0 on 5.0 is now installable. Current state is: passing
chrome-trace.3.13.0 on 5.1 is now installable. Current state is: passing
cohttp-async.6.0.0~beta2 on 4.14 is now installable. Current state is: passing
cohttp-async.6.0.0~beta2 on 5.0 is now installable. Current state is: passing
cohttp-async.6.0.0~beta2 on 5.1 is now installable. Current state is: passing
cohttp-curl-async.6.0.0~beta2 on 4.14 is now installable. Current state is: passing
cohttp-curl-async.6.0.0~beta2 on 5.0 is now installable. Current state is: passing
cohttp-curl-async.6.0.0~beta2 on 5.1 is now installable. Current state is: passing
cohttp-curl-lwt.6.0.0~beta2 on 4.08 is now installable. Current state is: passing
cohttp-curl-lwt.6.0.0~beta2 on 4.09 is now installable. Current state is: passing
cohttp-curl-lwt.6.0.0~beta2 on 4.10 is now installable. Current state is: passing
cohttp-curl-lwt.6.0.0~beta2 on 4.11 is now installable. Current state is: passing
cohttp-curl-lwt.6.0.0~beta2 on 4.12 is now installable. Current state is: passing
cohttp-curl-lwt.6.0.0~beta2 on 4.13 is now installable. Current state is: passing
cohttp-curl-lwt.6.0.0~beta2 on 4.14 is now installable. Current state is: passing
cohttp-curl-lwt.6.0.0~beta2 on 5.0 is now installable. Current state is: passing
cohttp-curl-lwt.6.0.0~beta2 on 5.1 is now installable. Current state is: passing
cohttp-curl.6.0.0~beta2 on 4.08 is now installable. Current state is: passing
cohttp-curl.6.0.0~beta2 on 4.09 is now installable. Current state is: passing
cohttp-curl.6.0.0~beta2 on 4.10 is now installable. Current state is: passing
cohttp-curl.6.0.0~beta2 on 4.11 is now installable. Current state is: passing
cohttp-curl.6.0.0~beta2 on 4.12 is now installable. Current state is: passing
cohttp-curl.6.0.0~beta2 on 4.13 is now installable. Current state is: passing
cohttp-curl.6.0.0~beta2 on 4.14 is now installable. Current state is: passing
cohttp-curl.6.0.0~beta2 on 5.0 is now installable. Current state is: passing
cohttp-curl.6.0.0~beta2 on 5.1 is now installable. Current state is: passing
cohttp-eio.6.0.0~beta2 on 5.0 is now installable. Current state is: passing
cohttp-eio.6.0.0~beta2 on 5.1 is now installable. Current state is: passing
cohttp-lwt-jsoo.6.0.0~beta2 on 4.08 is now installable. Current state is: passing
cohttp-lwt-jsoo.6.0.0~beta2 on 4.09 is now installable. Current state is: passing
cohttp-lwt-jsoo.6.0.0~beta2 on 4.10 is now installable. Current state is: passing
cohttp-lwt-jsoo.6.0.0~beta2 on 4.11 is now installable. Current state is: passing
cohttp-lwt-jsoo.6.0.0~beta2 on 4.12 is now installable. Current state is: passing
cohttp-lwt-jsoo.6.0.0~beta2 on 4.13 is now installable. Current state is: passing
cohttp-lwt-jsoo.6.0.0~beta2 on 4.14 is now installable. Current state is: passing
cohttp-lwt-jsoo.6.0.0~beta2 on 5.0 is now installable. Current state is: passing
cohttp-lwt-jsoo.6.0.0~beta2 on 5.1 is now installable. Current state is: passing
cohttp-lwt-unix.6.0.0~beta2 on 4.08 is now installable. Current state is: passing
cohttp-lwt-unix.6.0.0~beta2 on 4.09 is now installable. Current state is: passing
cohttp-lwt-unix.6.0.0~beta2 on 4.10 is now installable. Current state is: passing
cohttp-lwt-unix.6.0.0~beta2 on 4.11 is now installable. Current state is: passing
cohttp-lwt-unix.6.0.0~beta2 on 4.12 is now installable. Current state is: passing
cohttp-lwt-unix.6.0.0~beta2 on 4.13 is now installable. Current state is: passing
cohttp-lwt-unix.6.0.0~beta2 on 4.14 is now installable. Current state is: passing
cohttp-lwt-unix.6.0.0~beta2 on 5.0 is now installable. Current state is: passing
cohttp-lwt-unix.6.0.0~beta2 on 5.1 is now installable. Current state is: passing
cohttp-lwt.6.0.0~beta2 on 4.08 is now installable. Current state is: passing
cohttp-lwt.6.0.0~beta2 on 4.09 is now installable. Current state is: passing
cohttp-lwt.6.0.0~beta2 on 4.10 is now installable. Current state is: passing
cohttp-lwt.6.0.0~beta2 on 4.11 is now installable. Current state is: passing
cohttp-lwt.6.0.0~beta2 on 4.12 is now installable. Current state is: passing
cohttp-lwt.6.0.0~beta2 on 4.13 is now installable. Current state is: passing
cohttp-lwt.6.0.0~beta2 on 4.14 is now installable. Current state is: passing
cohttp-lwt.6.0.0~beta2 on 5.0 is now installable. Current state is: passing
cohttp-lwt.6.0.0~beta2 on 5.1 is now installable. Current state is: passing
cohttp-mirage.6.0.0~beta2 on 4.08 is now installable. Current state is: passing
cohttp-mirage.6.0.0~beta2 on 4.09 is now installable. Current state is: passing
cohttp-mirage.6.0.0~beta2 on 4.10 is now installable. Current state is: passing
cohttp-mirage.6.0.0~beta2 on 4.11 is now installable. Current state is: passing
cohttp-mirage.6.0.0~beta2 on 4.12 is now installable. Current state is: passing
cohttp-mirage.6.0.0~beta2 on 4.13 is now installable. Current state is: passing
cohttp-mirage.6.0.0~beta2 on 4.14 is now installable. Current state is: passing
cohttp-mirage.6.0.0~beta2 on 5.0 is now installable. Current state is: passing
cohttp-mirage.6.0.0~beta2 on 5.1 is now installable. Current state is: passing
cohttp-server-lwt-unix.6.0.0~beta2 on 4.08 is now installable. Current state is: passing
cohttp-server-lwt-unix.6.0.0~beta2 on 4.09 is now installable. Current state is: passing
cohttp-server-lwt-unix.6.0.0~beta2 on 4.10 is now installable. Current state is: passing
cohttp-server-lwt-unix.6.0.0~beta2 on 4.11 is now installable. Current state is: passing
cohttp-server-lwt-unix.6.0.0~beta2 on 4.12 is now installable. Current state is: passing
cohttp-server-lwt-unix.6.0.0~beta2 on 4.13 is now installable. Current state is: passing
cohttp-server-lwt-unix.6.0.0~beta2 on 4.14 is now installable. Current state is: passing
cohttp-server-lwt-unix.6.0.0~beta2 on 5.0 is now installable. Current state is: passing
cohttp-server-lwt-unix.6.0.0~beta2 on 5.1 is now installable. Current state is: passing
cohttp-top.6.0.0~beta2 on 4.08 is now installable. Current state is: passing
cohttp-top.6.0.0~beta2 on 4.09 is now installable. Current state is: passing
cohttp-top.6.0.0~beta2 on 4.10 is now installable. Current state is: passing
cohttp-top.6.0.0~beta2 on 4.11 is now installable. Current state is: passing
cohttp-top.6.0.0~beta2 on 4.12 is now installable. Current state is: passing
cohttp-top.6.0.0~beta2 on 4.13 is now installable. Current state is: passing
cohttp-top.6.0.0~beta2 on 4.14 is now installable. Current state is: passing
cohttp-top.6.0.0~beta2 on 5.0 is now installable. Current state is: passing
cohttp-top.6.0.0~beta2 on 5.1 is now installable. Current state is: passing
cohttp.6.0.0~beta2 on 4.08 is now installable. Current state is: passing
cohttp.6.0.0~beta2 on 4.09 is now installable. Current state is: passing
cohttp.6.0.0~beta2 on 4.10 is now installable. Current state is: passing
cohttp.6.0.0~beta2 on 4.11 is now installable. Current state is: passing
cohttp.6.0.0~beta2 on 4.12 is now installable. Current state is: passing
cohttp.6.0.0~beta2 on 4.13 is now installable. Current state is: passing
cohttp.6.0.0~beta2 on 4.14 is now installable. Current state is: passing
cohttp.6.0.0~beta2 on 5.0 is now installable. Current state is: passing
cohttp.6.0.0~beta2 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-gmp-paths.1 on 4.08 is now installable. Current state is: passing
conf-gmp-paths.1 on 4.09 is now installable. Current state is: passing
conf-gmp-paths.1 on 4.10 is now installable. Current state is: passing
conf-gmp-paths.1 on 4.11 is now installable. Current state is: passing
conf-gmp-paths.1 on 4.12 is now installable. Current state is: passing
conf-gmp-paths.1 on 4.13 is now installable. Current state is: passing
conf-gmp-paths.1 on 4.14 is now installable. Current state is: passing
conf-gmp-paths.1 on 5.0 is now installable. Current state is: passing
conf-gmp-paths.1 on 5.1 is now installable. Current state is: passing
conf-mpfr-paths.1 on 4.08 is now installable. Current state is: passing
conf-mpfr-paths.1 on 4.09 is now installable. Current state is: passing
conf-mpfr-paths.1 on 4.10 is now installable. Current state is: passing
conf-mpfr-paths.1 on 4.11 is now installable. Current state is: passing
conf-mpfr-paths.1 on 4.12 is now installable. Current state is: passing
conf-mpfr-paths.1 on 4.13 is now installable. Current state is: passing
conf-mpfr-paths.1 on 4.14 is now installable. Current state is: passing
conf-mpfr-paths.1 on 5.0 is now installable. Current state is: passing
conf-mpfr-paths.1 on 5.1 is now installable. Current state is: passing
conf-ninja.1 on 4.08 is now installable. Current state is: passing
conf-ninja.1 on 4.09 is now installable. Current state is: passing
conf-ninja.1 on 4.10 is now installable. Current state is: passing
conf-ninja.1 on 4.11 is now installable. Current state is: passing
conf-ninja.1 on 4.12 is now installable. Current state is: passing
conf-ninja.1 on 4.13 is now installable. Current state is: passing
conf-ninja.1 on 4.14 is now installable. Current state is: passing
conf-ninja.1 on 5.0 is now installable. Current state is: passing
conf-ninja.1 on 5.1 is now installable. Current state is: passing
conf-scdoc.1 on 4.08 is now installable. Current state is: passing
conf-scdoc.1 on 4.09 is now installable. Current state is: passing
conf-scdoc.1 on 4.10 is now installable. Current state is: passing
conf-scdoc.1 on 4.11 is now installable. Current state is: passing
conf-scdoc.1 on 4.12 is now installable. Current state is: passing
conf-scdoc.1 on 4.13 is now installable. Current state is: passing
conf-scdoc.1 on 4.14 is now installable. Current state is: passing
conf-scdoc.1 on 5.0 is now installable. Current state is: passing
conf-scdoc.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
coq-core.8.19.0 on 4.09 is now installable. Current state is: passing
coq-core.8.19.0 on 4.10 is now installable. Current state is: passing
coq-core.8.19.0 on 4.11 is now installable. Current state is: passing
coq-core.8.19.0 on 4.12 is now installable. Current state is: passing
coq-core.8.19.0 on 4.13 is now installable. Current state is: passing
coq-core.8.19.0 on 4.14 is now installable. Current state is: passing
coq-core.8.19.0 on 5.0 is now installable. Current state is: passing
coq-core.8.19.0 on 5.1 is now installable. Current state is: passing
coq-stdlib.8.19.0 on 4.09 is now installable. Current state is: passing
coq-stdlib.8.19.0 on 4.10 is now installable. Current state is: passing
coq-stdlib.8.19.0 on 4.11 is now installable. Current state is: passing
coq-stdlib.8.19.0 on 4.12 is now installable. Current state is: passing
coq-stdlib.8.19.0 on 4.13 is now installable. Current state is: passing
coq-stdlib.8.19.0 on 4.14 is now installable. Current state is: passing
coq-stdlib.8.19.0 on 5.0 is now installable. Current state is: passing
coq-stdlib.8.19.0 on 5.1 is now installable. Current state is: passing
coq-waterproof.2.1.1+8.17 on 4.09 is now installable. Current state is: passing
coq-waterproof.2.1.1+8.17 on 4.10 is now installable. Current state is: passing
coq-waterproof.2.1.1+8.17 on 4.11 is now installable. Current state is: passing
coq-waterproof.2.1.1+8.17 on 4.12 is now installable. Current state is: passing
coq-waterproof.2.1.1+8.17 on 4.13 is now installable. Current state is: passing
coq-waterproof.2.1.1+8.17 on 4.14 is now installable. Current state is: passing
coq-waterproof.2.1.1+8.17 on 5.0 is now installable. Current state is: passing
coq-waterproof.2.1.1+8.17 on 5.1 is now installable. Current state is: passing
coq-waterproof.2.1.1+8.18 on 4.09 is now installable. Current state is: passing
coq-waterproof.2.1.1+8.18 on 4.10 is now installable. Current state is: passing
coq-waterproof.2.1.1+8.18 on 4.11 is now installable. Current state is: passing
coq-waterproof.2.1.1+8.18 on 4.12 is now installable. Current state is: passing
coq-waterproof.2.1.1+8.18 on 4.13 is now installable. Current state is: passing
coq-waterproof.2.1.1+8.18 on 4.14 is now installable. Current state is: passing
coq-waterproof.2.1.1+8.18 on 5.0 is now installable. Current state is: passing
coq-waterproof.2.1.1+8.18 on 5.1 is now installable. Current state is: passing
coq.8.19.0 on 4.09 is now installable. Current state is: passing
coq.8.19.0 on 4.10 is now installable. Current state is: passing
coq.8.19.0 on 4.11 is now installable. Current state is: passing
coq.8.19.0 on 4.12 is now installable. Current state is: passing
coq.8.19.0 on 4.13 is now installable. Current state is: passing
coq.8.19.0 on 4.14 is now installable. Current state is: passing
coq.8.19.0 on 5.0 is now installable. Current state is: passing
coq.8.19.0 on 5.1 is now installable. Current state is: passing
coqide-server.8.19.0 on 4.09 is now installable. Current state is: passing
coqide-server.8.19.0 on 4.10 is now installable. Current state is: passing
coqide-server.8.19.0 on 4.11 is now installable. Current state is: passing
coqide-server.8.19.0 on 4.12 is now installable. Current state is: passing
coqide-server.8.19.0 on 4.13 is now installable. Current state is: passing
coqide-server.8.19.0 on 4.14 is now installable. Current state is: passing
coqide-server.8.19.0 on 5.0 is now installable. Current state is: passing
coqide-server.8.19.0 on 5.1 is now installable. Current state is: passing
coqide.8.19.0 on 4.09 is now installable. Current state is: passing
coqide.8.19.0 on 4.10 is now installable. Current state is: passing
coqide.8.19.0 on 4.11 is now installable. Current state is: passing
coqide.8.19.0 on 4.12 is now installable. Current state is: passing
coqide.8.19.0 on 4.13 is now installable. Current state is: passing
coqide.8.19.0 on 4.14 is now installable. Current state is: passing
coqide.8.19.0 on 5.0 is now installable. Current state is: passing
coqide.8.19.0 on 5.1 is now installable. Current state is: passing
cry.1.0.2 on 4.12 is now installable. Current state is: passing
cry.1.0.2 on 4.13 is now installable. Current state is: passing
cry.1.0.2 on 4.14 is now installable. Current state is: passing
cry.1.0.2 on 5.0 is now installable. Current state is: passing
cry.1.0.2 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
dkml-dune-dsl-show.0.1.3 on 4.12 is now installable. Current state is: passing
dkml-dune-dsl-show.0.1.3 on 4.13 is now installable. Current state is: passing
dkml-dune-dsl-show.0.1.3 on 4.14 is now installable. Current state is: passing
dkml-dune-dsl-show.0.1.3 on 5.0 is now installable. Current state is: passing
dkml-dune-dsl-show.0.1.3 on 5.1 is now installable. Current state is: passing
dkml-dune-dsl.0.1.3 on 4.12 is now installable. Current state is: passing
dkml-dune-dsl.0.1.3 on 4.13 is now installable. Current state is: passing
dkml-dune-dsl.0.1.3 on 4.14 is now installable. Current state is: passing
dkml-dune-dsl.0.1.3 on 5.0 is now installable. Current state is: passing
dkml-dune-dsl.0.1.3 on 5.1 is now installable. Current state is: passing
docker_hub.0.2.0 on 4.13 is now installable. Current state is: passing
docker_hub.0.2.0 on 4.14 is now installable. Current state is: passing
docker_hub.0.2.0 on 5.0 is now installable. Current state is: passing
docker_hub.0.2.0 on 5.1 is now installable. Current state is: passing
dream-html.2.1.0 on 4.08 is now installable. Current state is: passing
dream-html.2.1.0 on 4.09 is now installable. Current state is: passing
dream-html.2.1.0 on 4.10 is now installable. Current state is: passing
dream-html.2.1.0 on 4.11 is now installable. Current state is: passing
dream-html.2.1.0 on 4.12 is now installable. Current state is: passing
dream-html.2.1.0 on 4.13 is now installable. Current state is: passing
dream-html.2.1.0 on 4.14 is now installable. Current state is: passing
dream-html.2.1.0 on 5.0 is now installable. Current state is: passing
dream-html.2.1.0 on 5.1 is now installable. Current state is: passing
dune-action-plugin.3.12.2 on 4.08 is now installable. Current state is: passing
dune-action-plugin.3.12.2 on 4.09 is now installable. Current state is: passing
dune-action-plugin.3.12.2 on 4.10 is now installable. Current state is: passing
dune-action-plugin.3.12.2 on 4.11 is now installable. Current state is: passing
dune-action-plugin.3.12.2 on 4.12 is now installable. Current state is: passing
dune-action-plugin.3.12.2 on 4.13 is now installable. Current state is: passing
dune-action-plugin.3.12.2 on 4.14 is now installable. Current state is: passing
dune-action-plugin.3.12.2 on 5.0 is now installable. Current state is: passing
dune-action-plugin.3.12.2 on 5.1 is now installable. Current state is: passing
dune-action-plugin.3.13.0 on 4.08 is now installable. Current state is: passing
dune-action-plugin.3.13.0 on 4.09 is now installable. Current state is: passing
dune-action-plugin.3.13.0 on 4.10 is now installable. Current state is: passing
dune-action-plugin.3.13.0 on 4.11 is now installable. Current state is: passing
dune-action-plugin.3.13.0 on 4.12 is now installable. Current state is: passing
dune-action-plugin.3.13.0 on 4.13 is now installable. Current state is: passing
dune-action-plugin.3.13.0 on 4.14 is now installable. Current state is: passing
dune-action-plugin.3.13.0 on 5.0 is now installable. Current state is: passing
dune-action-plugin.3.13.0 on 5.1 is now installable. Current state is: passing
dune-build-info.3.12.2 on 4.08 is now installable. Current state is: passing
dune-build-info.3.12.2 on 4.09 is now installable. Current state is: passing
dune-build-info.3.12.2 on 4.10 is now installable. Current state is: passing
dune-build-info.3.12.2 on 4.11 is now installable. Current state is: passing
dune-build-info.3.12.2 on 4.12 is now installable. Current state is: passing
dune-build-info.3.12.2 on 4.13 is now installable. Current state is: passing
dune-build-info.3.12.2 on 4.14 is now installable. Current state is: passing
dune-build-info.3.12.2 on 5.0 is now installable. Current state is: passing
dune-build-info.3.12.2 on 5.1 is now installable. Current state is: passing
dune-build-info.3.13.0 on 4.08 is now installable. Current state is: passing
dune-build-info.3.13.0 on 4.09 is now installable. Current state is: passing
dune-build-info.3.13.0 on 4.10 is now installable. Current state is: passing
dune-build-info.3.13.0 on 4.11 is now installable. Current state is: passing
dune-build-info.3.13.0 on 4.12 is now installable. Current state is: passing
dune-build-info.3.13.0 on 4.13 is now installable. Current state is: passing
dune-build-info.3.13.0 on 4.14 is now installable. Current state is: passing
dune-build-info.3.13.0 on 5.0 is now installable. Current state is: passing
dune-build-info.3.13.0 on 5.1 is now installable. Current state is: 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.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
dune-configurator.3.12.2 on 4.08 is now installable. Current state is: passing
dune-configurator.3.12.2 on 4.09 is now installable. Current state is: passing
dune-configurator.3.12.2 on 4.10 is now installable. Current state is: passing
dune-configurator.3.12.2 on 4.11 is now installable. Current state is: passing
dune-configurator.3.12.2 on 4.12 is now installable. Current state is: passing
dune-configurator.3.12.2 on 4.13 is now installable. Current state is: passing
dune-configurator.3.12.2 on 4.14 is now installable. Current state is: passing
dune-configurator.3.12.2 on 5.0 is now installable. Current state is: passing
dune-configurator.3.12.2 on 5.1 is now installable. Current state is: passing
dune-configurator.3.13.0 on 4.08 is now installable. Current state is: passing
dune-configurator.3.13.0 on 4.09 is now installable. Current state is: passing
dune-configurator.3.13.0 on 4.10 is now installable. Current state is: passing
dune-configurator.3.13.0 on 4.11 is now installable. Current state is: passing
dune-configurator.3.13.0 on 4.12 is now installable. Current state is: passing
dune-configurator.3.13.0 on 4.13 is now installable. Current state is: passing
dune-configurator.3.13.0 on 4.14 is now installable. Current state is: passing
dune-configurator.3.13.0 on 5.0 is now installable. Current state is: passing
dune-configurator.3.13.0 on 5.1 is now installable. Current state is: passing
dune-glob.3.12.2 on 4.08 is now installable. Current state is: passing
dune-glob.3.12.2 on 4.09 is now installable. Current state is: passing
dune-glob.3.12.2 on 4.10 is now installable. Current state is: passing
dune-glob.3.12.2 on 4.11 is now installable. Current state is: passing
dune-glob.3.12.2 on 4.12 is now installable. Current state is: passing
dune-glob.3.12.2 on 4.13 is now installable. Current state is: passing
dune-glob.3.12.2 on 4.14 is now installable. Current state is: passing
dune-glob.3.12.2 on 5.0 is now installable. Current state is: passing
dune-glob.3.12.2 on 5.1 is now installable. Current state is: passing
dune-glob.3.13.0 on 4.08 is now installable. Current state is: passing
dune-glob.3.13.0 on 4.09 is now installable. Current state is: passing
dune-glob.3.13.0 on 4.10 is now installable. Current state is: passing
dune-glob.3.13.0 on 4.11 is now installable. Current state is: passing
dune-glob.3.13.0 on 4.12 is now installable. Current state is: passing
dune-glob.3.13.0 on 4.13 is now installable. Current state is: passing
dune-glob.3.13.0 on 4.14 is now installable. Current state is: passing
dune-glob.3.13.0 on 5.0 is now installable. Current state is: passing
dune-glob.3.13.0 on 5.1 is now installable. Current state is: passing
dune-private-libs.3.12.2 on 4.08 is now installable. Current state is: passing
dune-private-libs.3.12.2 on 4.09 is now installable. Current state is: passing
dune-private-libs.3.12.2 on 4.10 is now installable. Current state is: passing
dune-private-libs.3.12.2 on 4.11 is now installable. Current state is: passing
dune-private-libs.3.12.2 on 4.12 is now installable. Current state is: passing
dune-private-libs.3.12.2 on 4.13 is now installable. Current state is: passing
dune-private-libs.3.12.2 on 4.14 is now installable. Current state is: passing
dune-private-libs.3.12.2 on 5.0 is now installable. Current state is: passing
dune-private-libs.3.12.2 on 5.1 is now installable. Current state is: passing
dune-private-libs.3.13.0 on 4.08 is now installable. Current state is: passing
dune-private-libs.3.13.0 on 4.09 is now installable. Current state is: passing
dune-private-libs.3.13.0 on 4.10 is now installable. Current state is: passing
dune-private-libs.3.13.0 on 4.11 is now installable. Current state is: passing
dune-private-libs.3.13.0 on 4.12 is now installable. Current state is: passing
dune-private-libs.3.13.0 on 4.13 is now installable. Current state is: passing
dune-private-libs.3.13.0 on 4.14 is now installable. Current state is: passing
dune-private-libs.3.13.0 on 5.0 is now installable. Current state is: passing
dune-private-libs.3.13.0 on 5.1 is now installable. Current state is: passing
dune-rpc-lwt.3.12.2 on 4.08 is now installable. Current state is: passing
dune-rpc-lwt.3.12.2 on 4.09 is now installable. Current state is: passing
dune-rpc-lwt.3.12.2 on 4.10 is now installable. Current state is: passing
dune-rpc-lwt.3.12.2 on 4.11 is now installable. Current state is: passing
dune-rpc-lwt.3.12.2 on 4.12 is now installable. Current state is: passing
dune-rpc-lwt.3.12.2 on 4.13 is now installable. Current state is: passing
dune-rpc-lwt.3.12.2 on 4.14 is now installable. Current state is: passing
dune-rpc-lwt.3.12.2 on 5.0 is now installable. Current state is: passing
dune-rpc-lwt.3.12.2 on 5.1 is now installable. Current state is: passing
dune-rpc-lwt.3.13.0 on 4.08 is now installable. Current state is: passing
dune-rpc-lwt.3.13.0 on 4.09 is now installable. Current state is: passing
dune-rpc-lwt.3.13.0 on 4.10 is now installable. Current state is: passing
dune-rpc-lwt.3.13.0 on 4.11 is now installable. Current state is: passing
dune-rpc-lwt.3.13.0 on 4.12 is now installable. Current state is: passing
dune-rpc-lwt.3.13.0 on 4.13 is now installable. Current state is: passing
dune-rpc-lwt.3.13.0 on 4.14 is now installable. Current state is: passing
dune-rpc-lwt.3.13.0 on 5.0 is now installable. Current state is: passing
dune-rpc-lwt.3.13.0 on 5.1 is now installable. Current state is: passing
dune-rpc.3.12.2 on 4.08 is now installable. Current state is: passing
dune-rpc.3.12.2 on 4.09 is now installable. Current state is: passing
dune-rpc.3.12.2 on 4.10 is now installable. Current state is: passing
dune-rpc.3.12.2 on 4.11 is now installable. Current state is: passing
dune-rpc.3.12.2 on 4.12 is now installable. Current state is: passing
dune-rpc.3.12.2 on 4.13 is now installable. Current state is: passing
dune-rpc.3.12.2 on 4.14 is now installable. Current state is: passing
dune-rpc.3.12.2 on 5.0 is now installable. Current state is: passing
dune-rpc.3.12.2 on 5.1 is now installable. Current state is: passing
dune-rpc.3.13.0 on 4.08 is now installable. Current state is: passing
dune-rpc.3.13.0 on 4.09 is now installable. Current state is: passing
dune-rpc.3.13.0 on 4.10 is now installable. Current state is: passing
dune-rpc.3.13.0 on 4.11 is now installable. Current state is: passing
dune-rpc.3.13.0 on 4.12 is now installable. Current state is: passing
dune-rpc.3.13.0 on 4.13 is now installable. Current state is: passing
dune-rpc.3.13.0 on 4.14 is now installable. Current state is: passing
dune-rpc.3.13.0 on 5.0 is now installable. Current state is: passing
dune-rpc.3.13.0 on 5.1 is now installable. Current state is: passing
dune-site.3.12.2 on 4.08 is now installable. Current state is: passing
dune-site.3.12.2 on 4.09 is now installable. Current state is: passing
dune-site.3.12.2 on 4.10 is now installable. Current state is: passing
dune-site.3.12.2 on 4.11 is now installable. Current state is: passing
dune-site.3.12.2 on 4.12 is now installable. Current state is: passing
dune-site.3.12.2 on 4.13 is now installable. Current state is: passing
dune-site.3.12.2 on 4.14 is now installable. Current state is: passing
dune-site.3.12.2 on 5.0 is now installable. Current state is: passing
dune-site.3.12.2 on 5.1 is now installable. Current state is: passing
dune-site.3.13.0 on 4.08 is now installable. Current state is: passing
dune-site.3.13.0 on 4.09 is now installable. Current state is: passing
dune-site.3.13.0 on 4.10 is now installable. Current state is: passing
dune-site.3.13.0 on 4.11 is now installable. Current state is: passing
dune-site.3.13.0 on 4.12 is now installable. Current state is: passing
dune-site.3.13.0 on 4.13 is now installable. Current state is: passing
dune-site.3.13.0 on 4.14 is now installable. Current state is: passing
dune-site.3.13.0 on 5.0 is now installable. Current state is: passing
dune-site.3.13.0 on 5.1 is now installable. Current state is: passing
dune.3.12.2 on 4.08 is now installable. Current state is: passing
dune.3.12.2 on 4.09 is now installable. Current state is: passing
dune.3.12.2 on 4.10 is now installable. Current state is: passing
dune.3.12.2 on 4.11 is now installable. Current state is: passing
dune.3.12.2 on 4.12 is now installable. Current state is: passing
dune.3.12.2 on 4.13 is now installable. Current state is: passing
dune.3.12.2 on 4.14 is now installable. Current state is: passing
dune.3.12.2 on 5.0 is now installable. Current state is: passing
dune.3.12.2 on 5.1 is now installable. Current state is: passing
dune.3.13.0 on 4.08 is now installable. Current state is: passing
dune.3.13.0 on 4.09 is now installable. Current state is: passing
dune.3.13.0 on 4.10 is now installable. Current state is: passing
dune.3.13.0 on 4.11 is now installable. Current state is: passing
dune.3.13.0 on 4.12 is now installable. Current state is: passing
dune.3.13.0 on 4.13 is now installable. Current state is: passing
dune.3.13.0 on 4.14 is now installable. Current state is: passing
dune.3.13.0 on 5.0 is now installable. Current state is: passing
dune.3.13.0 on 5.1 is now installable. Current state is: passing
dyn.3.12.2 on 4.08 is now installable. Current state is: passing
dyn.3.12.2 on 4.09 is now installable. Current state is: passing
dyn.3.12.2 on 4.10 is now installable. Current state is: passing
dyn.3.12.2 on 4.11 is now installable. Current state is: passing
dyn.3.12.2 on 4.12 is now installable. Current state is: passing
dyn.3.12.2 on 4.13 is now installable. Current state is: passing
dyn.3.12.2 on 4.14 is now installable. Current state is: passing
dyn.3.12.2 on 5.0 is now installable. Current state is: passing
dyn.3.12.2 on 5.1 is now installable. Current state is: passing
dyn.3.13.0 on 4.08 is now installable. Current state is: passing
dyn.3.13.0 on 4.09 is now installable. Current state is: passing
dyn.3.13.0 on 4.10 is now installable. Current state is: passing
dyn.3.13.0 on 4.11 is now installable. Current state is: passing
dyn.3.13.0 on 4.12 is now installable. Current state is: passing
dyn.3.13.0 on 4.13 is now installable. Current state is: passing
dyn.3.13.0 on 4.14 is now installable. Current state is: passing
dyn.3.13.0 on 5.0 is now installable. Current state is: passing
dyn.3.13.0 on 5.1 is now installable. Current state is: passing
earlybird.1.3.0 on 4.12 is now installable. Current state is: passing
earlybird.1.3.0 on 4.13 is now installable. Current state is: passing
earlybird.1.3.0 on 4.14 is now installable. Current state is: passing
earlybird.1.3.0 on 5.0 is now installable. Current state is: passing
earlybird.1.3.0 on 5.1 is now installable. Current state is: passing
eio.0.14 on 5.1 is now installable. Current state is: passing
eio_linux.0.14 on 5.1 is now installable. Current state is: passing
eio_main.0.14 on 5.1 is now installable. Current state is: passing
eio_posix.0.14 on 5.1 is now installable. Current state is: passing
elpi.1.18.2 on 4.08 is now installable. Current state is: passing
elpi.1.18.2 on 4.09 is now installable. Current state is: passing
elpi.1.18.2 on 4.10 is now installable. Current state is: passing
elpi.1.18.2 on 4.11 is now installable. Current state is: passing
elpi.1.18.2 on 4.12 is now installable. Current state is: passing
elpi.1.18.2 on 4.13 is now installable. Current state is: passing
elpi.1.18.2 on 4.14 is now installable. Current state is: passing
elpi.1.18.2 on 5.0 is now installable. Current state is: passing
elpi.1.18.2 on 5.1 is now installable. Current state is: passing
encoding.0.0.2 on 4.14 is now installable. Current state is: passing
encoding.0.0.2 on 5.0 is now installable. Current state is: passing
encoding.0.0.2 on 5.1 is now installable. Current state is: passing
encoding.0.0.3 on 4.14 is now installable. Current state is: passing
encoding.0.0.3 on 5.0 is now installable. Current state is: passing
encoding.0.0.3 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
extism-manifest.1.0.0 on 4.14 is now installable. Current state is: passing
extism-manifest.1.0.0 on 5.0 is now installable. Current state is: passing
extism-manifest.1.0.0 on 5.1 is now installable. Current state is: passing
extism.1.0.0 on 4.14 is now installable. Current state is: passing
extism.1.0.0 on 5.0 is now installable. Current state is: passing
extism.1.0.0 on 5.1 is now installable. Current state is: passing
ez-conf-lib.1 on 4.08 is now installable. Current state is: passing
ez-conf-lib.1 on 4.09 is now installable. Current state is: passing
ez-conf-lib.1 on 4.10 is now installable. Current state is: passing
ez-conf-lib.1 on 4.11 is now installable. Current state is: passing
ez-conf-lib.1 on 4.12 is now installable. Current state is: passing
ez-conf-lib.1 on 4.13 is now installable. Current state is: passing
ez-conf-lib.1 on 4.14 is now installable. Current state is: passing
ez-conf-lib.1 on 5.0 is now installable. Current state is: passing
ez-conf-lib.1 on 5.1 is now installable. Current state is: passing
ezjsonm-encoding.1.0.0 on 4.08 is now installable. Current state is: passing
ezjsonm-encoding.1.0.0 on 4.09 is now installable. Current state is: passing
ezjsonm-encoding.1.0.0 on 4.10 is now installable. Current state is: passing
ezjsonm-encoding.1.0.0 on 4.11 is now installable. Current state is: passing
ezjsonm-encoding.1.0.0 on 4.12 is now installable. Current state is: passing
ezjsonm-encoding.1.0.0 on 4.13 is now installable. Current state is: passing
ezjsonm-encoding.1.0.0 on 4.14 is now installable. Current state is: passing
ezjsonm-encoding.1.0.0 on 5.0 is now installable. Current state is: passing
ezjsonm-encoding.1.0.0 on 5.1 is now installable. Current state is: passing
ezjsonm-encoding.2.0.0 on 4.08 is now installable. Current state is: passing
ezjsonm-encoding.2.0.0 on 4.09 is now installable. Current state is: passing
ezjsonm-encoding.2.0.0 on 4.10 is now installable. Current state is: passing
ezjsonm-encoding.2.0.0 on 4.11 is now installable. Current state is: passing
ezjsonm-encoding.2.0.0 on 4.12 is now installable. Current state is: passing
ezjsonm-encoding.2.0.0 on 4.13 is now installable. Current state is: passing
ezjsonm-encoding.2.0.0 on 4.14 is now installable. Current state is: passing
ezjsonm-encoding.2.0.0 on 5.0 is now installable. Current state is: passing
ezjsonm-encoding.2.0.0 on 5.1 is now installable. Current state is: passing
ffmpeg-av.1.1.10 on 4.08 is now installable. Current state is: passing
ffmpeg-av.1.1.10 on 4.09 is now installable. Current state is: passing
ffmpeg-av.1.1.10 on 4.10 is now installable. Current state is: passing
ffmpeg-av.1.1.10 on 4.11 is now installable. Current state is: passing
ffmpeg-av.1.1.10 on 4.12 is now installable. Current state is: passing
ffmpeg-av.1.1.10 on 4.13 is now installable. Current state is: passing
ffmpeg-av.1.1.10 on 4.14 is now installable. Current state is: passing
ffmpeg-av.1.1.10 on 5.0 is now installable. Current state is: passing
ffmpeg-av.1.1.10 on 5.1 is now installable. Current state is: passing
ffmpeg-avcodec.1.1.10 on 4.08 is now installable. Current state is: passing
ffmpeg-avcodec.1.1.10 on 4.09 is now installable. Current state is: passing
ffmpeg-avcodec.1.1.10 on 4.10 is now installable. Current state is: passing
ffmpeg-avcodec.1.1.10 on 4.11 is now installable. Current state is: passing
ffmpeg-avcodec.1.1.10 on 4.12 is now installable. Current state is: passing
ffmpeg-avcodec.1.1.10 on 4.13 is now installable. Current state is: passing
ffmpeg-avcodec.1.1.10 on 4.14 is now installable. Current state is: passing
ffmpeg-avcodec.1.1.10 on 5.0 is now installable. Current state is: passing
ffmpeg-avcodec.1.1.10 on 5.1 is now installable. Current state is: passing
ffmpeg-avdevice.1.1.10 on 4.08 is now installable. Current state is: passing
ffmpeg-avdevice.1.1.10 on 4.09 is now installable. Current state is: passing
ffmpeg-avdevice.1.1.10 on 4.10 is now installable. Current state is: passing
ffmpeg-avdevice.1.1.10 on 4.11 is now installable. Current state is: passing
ffmpeg-avdevice.1.1.10 on 4.12 is now installable. Current state is: passing
ffmpeg-avdevice.1.1.10 on 4.13 is now installable. Current state is: passing
ffmpeg-avdevice.1.1.10 on 4.14 is now installable. Current state is: passing
ffmpeg-avdevice.1.1.10 on 5.0 is now installable. Current state is: passing
ffmpeg-avdevice.1.1.10 on 5.1 is now installable. Current state is: passing
ffmpeg-avfilter.1.1.10 on 4.08 is now installable. Current state is: passing
ffmpeg-avfilter.1.1.10 on 4.09 is now installable. Current state is: passing
ffmpeg-avfilter.1.1.10 on 4.10 is now installable. Current state is: passing
ffmpeg-avfilter.1.1.10 on 4.11 is now installable. Current state is: passing
ffmpeg-avfilter.1.1.10 on 4.12 is now installable. Current state is: passing
ffmpeg-avfilter.1.1.10 on 4.13 is now installable. Current state is: passing
ffmpeg-avfilter.1.1.10 on 4.14 is now installable. Current state is: passing
ffmpeg-avfilter.1.1.10 on 5.0 is now installable. Current state is: passing
ffmpeg-avfilter.1.1.10 on 5.1 is now installable. Current state is: passing
ffmpeg-avutil.1.1.10 on 4.08 is now installable. Current state is: passing
ffmpeg-avutil.1.1.10 on 4.09 is now installable. Current state is: passing
ffmpeg-avutil.1.1.10 on 4.10 is now installable. Current state is: passing
ffmpeg-avutil.1.1.10 on 4.11 is now installable. Current state is: passing
ffmpeg-avutil.1.1.10 on 4.12 is now installable. Current state is: passing
ffmpeg-avutil.1.1.10 on 4.13 is now installable. Current state is: passing
ffmpeg-avutil.1.1.10 on 4.14 is now installable. Current state is: passing
ffmpeg-avutil.1.1.10 on 5.0 is now installable. Current state is: passing
ffmpeg-avutil.1.1.10 on 5.1 is now installable. Current state is: passing
ffmpeg-swresample.1.1.10 on 4.08 is now installable. Current state is: passing
ffmpeg-swresample.1.1.10 on 4.09 is now installable. Current state is: passing
ffmpeg-swresample.1.1.10 on 4.10 is now installable. Current state is: passing
ffmpeg-swresample.1.1.10 on 4.11 is now installable. Current state is: passing
ffmpeg-swresample.1.1.10 on 4.12 is now installable. Current state is: passing
ffmpeg-swresample.1.1.10 on 4.13 is now installable. Current state is: passing
ffmpeg-swresample.1.1.10 on 4.14 is now installable. Current state is: passing
ffmpeg-swresample.1.1.10 on 5.0 is now installable. Current state is: passing
ffmpeg-swresample.1.1.10 on 5.1 is now installable. Current state is: passing
ffmpeg-swscale.1.1.10 on 4.08 is now installable. Current state is: passing
ffmpeg-swscale.1.1.10 on 4.09 is now installable. Current state is: passing
ffmpeg-swscale.1.1.10 on 4.10 is now installable. Current state is: passing
ffmpeg-swscale.1.1.10 on 4.11 is now installable. Current state is: passing
ffmpeg-swscale.1.1.10 on 4.12 is now installable. Current state is: passing
ffmpeg-swscale.1.1.10 on 4.13 is now installable. Current state is: passing
ffmpeg-swscale.1.1.10 on 4.14 is now installable. Current state is: passing
ffmpeg-swscale.1.1.10 on 5.0 is now installable. Current state is: passing
ffmpeg-swscale.1.1.10 on 5.1 is now installable. Current state is: passing
ffmpeg.1.1.10 on 4.08 is now installable. Current state is: passing
ffmpeg.1.1.10 on 4.09 is now installable. Current state is: passing
ffmpeg.1.1.10 on 4.10 is now installable. Current state is: passing
ffmpeg.1.1.10 on 4.11 is now installable. Current state is: passing
ffmpeg.1.1.10 on 4.12 is now installable. Current state is: passing
ffmpeg.1.1.10 on 4.13 is now installable. Current state is: passing
ffmpeg.1.1.10 on 4.14 is now installable. Current state is: passing
ffmpeg.1.1.10 on 5.0 is now installable. Current state is: passing
ffmpeg.1.1.10 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
fm-simplex-plugin.1.30 on 4.11 had its build status changed: partially failing to passing
fm-simplex-plugin.1.30 on 4.12 had its build status changed: partially failing to passing
fm-simplex-plugin.1.30 on 4.13 had its build status changed: partially failing to passing
fm-simplex-plugin.1.30 on 4.14 had its build status changed: partially failing to passing
forester.3.0.0 on 5.1 is now installable. Current state is: passing
gccjit.0.3.2 on 4.08 is now installable. Current state is: passing
gccjit.0.3.2 on 4.09 is now installable. Current state is: passing
gccjit.0.3.2 on 4.10 is now installable. Current state is: passing
gccjit.0.3.2 on 4.11 is now installable. Current state is: passing
gccjit.0.3.2 on 4.12 is now installable. Current state is: passing
gccjit.0.3.2 on 4.13 is now installable. Current state is: passing
gccjit.0.3.2 on 4.14 is now installable. Current state is: passing
gccjit.0.3.2 on 5.0 is now installable. Current state is: passing
gccjit.0.3.2 on 5.1 is now installable. Current state is: passing
grace.0.1.0 on 4.14 is now installable. Current state is: passing
grace.0.1.0 on 5.0 is now installable. Current state is: passing
grace.0.1.0 on 5.1 is now installable. Current state is: passing
hacl-star-raw.0.2.1 on 4.09 had its build status changed: failing to passing
hacl-star-raw.0.2.1 on 4.11 had its build status changed: failing to passing
hacl-star-raw.0.2.2 on 4.08 had its build status changed: failing to passing
hacl-star-raw.0.2.2 on 4.11 had its build status changed: failing to passing
hacl-star-raw.0.2.2 on 4.12 had its build status changed: failing to passing
hacl-star-raw.0.2.2 on 4.13 had its build status changed: failing to passing
hacl-star-raw.0.2.2 on 4.14 had its build status changed: failing to passing
hacl-star.0.2.0 on 4.09 had its build status changed: partially failing to passing
hc.0.2 on 4.14 is now installable. Current state is: passing
hc.0.2 on 5.0 is now installable. Current state is: passing
hc.0.2 on 5.1 is now installable. Current state is: passing
hc.0.3 on 4.14 is now installable. Current state is: passing
hc.0.3 on 5.0 is now installable. Current state is: passing
hc.0.3 on 5.1 is now installable. Current state is: passing
hdr_histogram.0.0.4 on 4.08 is now installable. Current state is: passing
hdr_histogram.0.0.4 on 4.09 is now installable. Current state is: passing
hdr_histogram.0.0.4 on 4.10 is now installable. Current state is: passing
hdr_histogram.0.0.4 on 4.11 is now installable. Current state is: passing
hdr_histogram.0.0.4 on 4.12 is now installable. Current state is: passing
hdr_histogram.0.0.4 on 4.13 is now installable. Current state is: passing
hdr_histogram.0.0.4 on 4.14 is now installable. Current state is: passing
hdr_histogram.0.0.4 on 5.0 is now installable. Current state is: passing
hdr_histogram.0.0.4 on 5.1 is now installable. Current state is: passing
hidapi-lwt.1.2.1 on 4.08 is now installable. Current state is: passing
hidapi-lwt.1.2.1 on 4.09 is now installable. Current state is: passing
hidapi-lwt.1.2.1 on 4.10 is now installable. Current state is: passing
hidapi-lwt.1.2.1 on 4.11 is now installable. Current state is: passing
hidapi-lwt.1.2.1 on 4.12 is now installable. Current state is: passing
hidapi-lwt.1.2.1 on 4.13 is now installable. Current state is: passing
hidapi-lwt.1.2.1 on 4.14 is now installable. Current state is: passing
hidapi-lwt.1.2.1 on 5.0 is now installable. Current state is: passing
hidapi-lwt.1.2.1 on 5.1 is now installable. Current state is: passing
hidapi.1.2.1 on 4.08 is now installable. Current state is: passing
hidapi.1.2.1 on 4.09 is now installable. Current state is: passing
hidapi.1.2.1 on 4.10 is now installable. Current state is: passing
hidapi.1.2.1 on 4.11 is now installable. Current state is: passing
hidapi.1.2.1 on 4.12 is now installable. Current state is: passing
hidapi.1.2.1 on 4.13 is now installable. Current state is: passing
hidapi.1.2.1 on 4.14 is now installable. Current state is: passing
hidapi.1.2.1 on 5.0 is now installable. Current state is: passing
hidapi.1.2.1 on 5.1 is now installable. Current state is: 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
http-lwt-client.0.2.6 on 4.08 is now installable. Current state is: passing
http-lwt-client.0.2.6 on 4.09 is now installable. Current state is: passing
http-lwt-client.0.2.6 on 4.10 is now installable. Current state is: passing
http-lwt-client.0.2.6 on 4.11 is now installable. Current state is: passing
http-lwt-client.0.2.6 on 4.12 is now installable. Current state is: passing
http-lwt-client.0.2.6 on 4.13 is now installable. Current state is: passing
http-lwt-client.0.2.6 on 4.14 is now installable. Current state is: passing
http-lwt-client.0.2.6 on 5.0 is now installable. Current state is: passing
http-lwt-client.0.2.6 on 5.1 is now installable. Current state is: passing
http.6.0.0~beta2 on 4.08 is now installable. Current state is: passing
http.6.0.0~beta2 on 4.09 is now installable. Current state is: passing
http.6.0.0~beta2 on 4.10 is now installable. Current state is: passing
http.6.0.0~beta2 on 4.11 is now installable. Current state is: passing
http.6.0.0~beta2 on 4.12 is now installable. Current state is: passing
http.6.0.0~beta2 on 4.13 is now installable. Current state is: passing
http.6.0.0~beta2 on 4.14 is now installable. Current state is: passing
http.6.0.0~beta2 on 5.0 is now installable. Current state is: passing
http.6.0.0~beta2 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
js_of_ocaml-compiler.5.6.0 on 4.08 is now installable. Current state is: passing
js_of_ocaml-compiler.5.6.0 on 4.09 is now installable. Current state is: passing
js_of_ocaml-compiler.5.6.0 on 4.10 is now installable. Current state is: passing
js_of_ocaml-compiler.5.6.0 on 4.11 is now installable. Current state is: passing
js_of_ocaml-compiler.5.6.0 on 4.12 is now installable. Current state is: passing
js_of_ocaml-compiler.5.6.0 on 4.13 is now installable. Current state is: passing
js_of_ocaml-compiler.5.6.0 on 4.14 is now installable. Current state is: passing
js_of_ocaml-compiler.5.6.0 on 5.0 is now installable. Current state is: passing
js_of_ocaml-compiler.5.6.0 on 5.1 is now installable. Current state is: passing
js_of_ocaml-lwt.5.6.0 on 4.08 is now installable. Current state is: passing
js_of_ocaml-lwt.5.6.0 on 4.09 is now installable. Current state is: passing
js_of_ocaml-lwt.5.6.0 on 4.10 is now installable. Current state is: passing
js_of_ocaml-lwt.5.6.0 on 4.11 is now installable. Current state is: passing
js_of_ocaml-lwt.5.6.0 on 4.12 is now installable. Current state is: passing
js_of_ocaml-lwt.5.6.0 on 4.13 is now installable. Current state is: passing
js_of_ocaml-lwt.5.6.0 on 4.14 is now installable. Current state is: passing
js_of_ocaml-lwt.5.6.0 on 5.0 is now installable. Current state is: passing
js_of_ocaml-lwt.5.6.0 on 5.1 is now installable. Current state is: passing
js_of_ocaml-ppx.5.6.0 on 4.08 is now installable. Current state is: passing
js_of_ocaml-ppx.5.6.0 on 4.09 is now installable. Current state is: passing
js_of_ocaml-ppx.5.6.0 on 4.10 is now installable. Current state is: passing
js_of_ocaml-ppx.5.6.0 on 4.11 is now installable. Current state is: passing
js_of_ocaml-ppx.5.6.0 on 4.12 is now installable. Current state is: passing
js_of_ocaml-ppx.5.6.0 on 4.13 is now installable. Current state is: passing
js_of_ocaml-ppx.5.6.0 on 4.14 is now installable. Current state is: passing
js_of_ocaml-ppx.5.6.0 on 5.0 is now installable. Current state is: passing
js_of_ocaml-ppx.5.6.0 on 5.1 is now installable. Current state is: passing
js_of_ocaml-ppx_deriving_json.5.6.0 on 4.08 is now installable. Current state is: passing
js_of_ocaml-ppx_deriving_json.5.6.0 on 4.09 is now installable. Current state is: passing
js_of_ocaml-ppx_deriving_json.5.6.0 on 4.10 is now installable. Current state is: passing
js_of_ocaml-ppx_deriving_json.5.6.0 on 4.11 is now installable. Current state is: passing
js_of_ocaml-ppx_deriving_json.5.6.0 on 4.12 is now installable. Current state is: passing
js_of_ocaml-ppx_deriving_json.5.6.0 on 4.13 is now installable. Current state is: passing
js_of_ocaml-ppx_deriving_json.5.6.0 on 4.14 is now installable. Current state is: passing
js_of_ocaml-ppx_deriving_json.5.6.0 on 5.0 is now installable. Current state is: passing
js_of_ocaml-ppx_deriving_json.5.6.0 on 5.1 is now installable. Current state is: passing
js_of_ocaml-toplevel.5.6.0 on 4.08 is now installable. Current state is: passing
js_of_ocaml-toplevel.5.6.0 on 4.09 is now installable. Current state is: passing
js_of_ocaml-toplevel.5.6.0 on 4.10 is now installable. Current state is: passing
js_of_ocaml-toplevel.5.6.0 on 4.11 is now installable. Current state is: passing
js_of_ocaml-toplevel.5.6.0 on 4.12 is now installable. Current state is: passing
js_of_ocaml-toplevel.5.6.0 on 4.13 is now installable. Current state is: passing
js_of_ocaml-toplevel.5.6.0 on 4.14 is now installable. Current state is: passing
js_of_ocaml-toplevel.5.6.0 on 5.0 is now installable. Current state is: passing
js_of_ocaml-toplevel.5.6.0 on 5.1 is now installable. Current state is: passing
js_of_ocaml-tyxml.5.6.0 on 4.08 is now installable. Current state is: passing
js_of_ocaml-tyxml.5.6.0 on 4.09 is now installable. Current state is: passing
js_of_ocaml-tyxml.5.6.0 on 4.10 is now installable. Current state is: passing
js_of_ocaml-tyxml.5.6.0 on 4.11 is now installable. Current state is: passing
js_of_ocaml-tyxml.5.6.0 on 4.12 is now installable. Current state is: passing
js_of_ocaml-tyxml.5.6.0 on 4.13 is now installable. Current state is: passing
js_of_ocaml-tyxml.5.6.0 on 4.14 is now installable. Current state is: passing
js_of_ocaml-tyxml.5.6.0 on 5.0 is now installable. Current state is: passing
js_of_ocaml-tyxml.5.6.0 on 5.1 is now installable. Current state is: passing
js_of_ocaml.5.6.0 on 4.08 is now installable. Current state is: passing
js_of_ocaml.5.6.0 on 4.09 is now installable. Current state is: passing
js_of_ocaml.5.6.0 on 4.10 is now installable. Current state is: passing
js_of_ocaml.5.6.0 on 4.11 is now installable. Current state is: passing
js_of_ocaml.5.6.0 on 4.12 is now installable. Current state is: passing
js_of_ocaml.5.6.0 on 4.13 is now installable. Current state is: passing
js_of_ocaml.5.6.0 on 4.14 is now installable. Current state is: passing
js_of_ocaml.5.6.0 on 5.0 is now installable. Current state is: passing
js_of_ocaml.5.6.0 on 5.1 is now installable. Current state is: passing
jsonschema2atd.0.0.1 on 4.10 is now installable. Current state is: passing
jsonschema2atd.0.0.1 on 4.11 is now installable. Current state is: passing
jsonschema2atd.0.0.1 on 4.12 is now installable. Current state is: passing
jsonschema2atd.0.0.1 on 4.13 is now installable. Current state is: passing
jsonschema2atd.0.0.1 on 4.14 is now installable. Current state is: passing
jsonschema2atd.0.0.1 on 5.0 is now installable. Current state is: passing
jsonschema2atd.0.0.1 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.09 had its build status changed: partially failing to passing
lambdapi.2.0.0 on 4.10 had its build status changed: partially failing to passing
lambdapi.2.0.0 on 4.14 had its build status changed: partially failing to passing
leaves.0.0.2 on 5.1 is now installable. Current state is: 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
libtorch.2.1.2+linux-x86_64 on 4.08 is now installable. Current state is: passing
libtorch.2.1.2+linux-x86_64 on 4.09 is now installable. Current state is: passing
libtorch.2.1.2+linux-x86_64 on 4.10 is now installable. Current state is: passing
libtorch.2.1.2+linux-x86_64 on 4.11 is now installable. Current state is: passing
libtorch.2.1.2+linux-x86_64 on 4.12 is now installable. Current state is: passing
libtorch.2.1.2+linux-x86_64 on 4.13 is now installable. Current state is: passing
libtorch.2.1.2+linux-x86_64 on 4.14 is now installable. Current state is: passing
libtorch.2.1.2+linux-x86_64 on 5.0 is now installable. Current state is: passing
libtorch.2.1.2+linux-x86_64 on 5.1 is now installable. Current state is: passing
little_logger.0.3.0 on 4.08 is now installable. Current state is: passing
little_logger.0.3.0 on 4.09 is now installable. Current state is: passing
little_logger.0.3.0 on 4.10 is now installable. Current state is: passing
little_logger.0.3.0 on 4.11 is now installable. Current state is: passing
little_logger.0.3.0 on 4.12 is now installable. Current state is: passing
little_logger.0.3.0 on 4.13 is now installable. Current state is: passing
little_logger.0.3.0 on 4.14 is now installable. Current state is: passing
little_logger.0.3.0 on 5.0 is now installable. Current state is: passing
little_logger.0.3.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
menhir.20231231 on 4.08 is now installable. Current state is: passing
menhir.20231231 on 4.09 is now installable. Current state is: passing
menhir.20231231 on 4.10 is now installable. Current state is: passing
menhir.20231231 on 4.11 is now installable. Current state is: passing
menhir.20231231 on 4.12 is now installable. Current state is: passing
menhir.20231231 on 4.13 is now installable. Current state is: passing
menhir.20231231 on 4.14 is now installable. Current state is: passing
menhir.20231231 on 5.0 is now installable. Current state is: passing
menhir.20231231 on 5.1 is now installable. Current state is: passing
menhirCST.20231231 on 4.08 is now installable. Current state is: passing
menhirCST.20231231 on 4.09 is now installable. Current state is: passing
menhirCST.20231231 on 4.10 is now installable. Current state is: passing
menhirCST.20231231 on 4.11 is now installable. Current state is: passing
menhirCST.20231231 on 4.12 is now installable. Current state is: passing
menhirCST.20231231 on 4.13 is now installable. Current state is: passing
menhirCST.20231231 on 4.14 is now installable. Current state is: passing
menhirCST.20231231 on 5.0 is now installable. Current state is: passing
menhirCST.20231231 on 5.1 is now installable. Current state is: passing
menhirLib.20231231 on 4.08 is now installable. Current state is: passing
menhirLib.20231231 on 4.09 is now installable. Current state is: passing
menhirLib.20231231 on 4.10 is now installable. Current state is: passing
menhirLib.20231231 on 4.11 is now installable. Current state is: passing
menhirLib.20231231 on 4.12 is now installable. Current state is: passing
menhirLib.20231231 on 4.13 is now installable. Current state is: passing
menhirLib.20231231 on 4.14 is now installable. Current state is: passing
menhirLib.20231231 on 5.0 is now installable. Current state is: passing
menhirLib.20231231 on 5.1 is now installable. Current state is: passing
menhirSdk.20231231 on 4.08 is now installable. Current state is: passing
menhirSdk.20231231 on 4.09 is now installable. Current state is: passing
menhirSdk.20231231 on 4.10 is now installable. Current state is: passing
menhirSdk.20231231 on 4.11 is now installable. Current state is: passing
menhirSdk.20231231 on 4.12 is now installable. Current state is: passing
menhirSdk.20231231 on 4.13 is now installable. Current state is: passing
menhirSdk.20231231 on 4.14 is now installable. Current state is: passing
menhirSdk.20231231 on 5.0 is now installable. Current state is: passing
menhirSdk.20231231 on 5.1 is now installable. Current state is: passing
middleware.0.0.1 on 4.14 is now installable. Current state is: passing
middleware.0.0.1 on 5.0 is now installable. Current state is: passing
middleware.0.0.1 on 5.1 is now installable. Current state is: passing
minttea.0.0.2 on 5.1 is now installable. Current state is: passing
miou.0.0.1~beta2 on 5.0 is now installable. Current state is: passing
miou.0.0.1~beta2 on 5.1 is now installable. Current state is: passing
mjson.0.2.1 on 4.14 is now installable. Current state is: passing
mjson.0.2.1 on 5.0 is now installable. Current state is: passing
mjson.0.2.1 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
ocaml-version.3.6.4 on 4.08 is now installable. Current state is: passing
ocaml-version.3.6.4 on 4.09 is now installable. Current state is: passing
ocaml-version.3.6.4 on 4.10 is now installable. Current state is: passing
ocaml-version.3.6.4 on 4.11 is now installable. Current state is: passing
ocaml-version.3.6.4 on 4.12 is now installable. Current state is: passing
ocaml-version.3.6.4 on 4.13 is now installable. Current state is: passing
ocaml-version.3.6.4 on 4.14 is now installable. Current state is: passing
ocaml-version.3.6.4 on 5.0 is now installable. Current state is: passing
ocaml-version.3.6.4 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
ocamlc-loc.3.12.2 on 4.08 is now installable. Current state is: passing
ocamlc-loc.3.12.2 on 4.09 is now installable. Current state is: passing
ocamlc-loc.3.12.2 on 4.10 is now installable. Current state is: passing
ocamlc-loc.3.12.2 on 4.11 is now installable. Current state is: passing
ocamlc-loc.3.12.2 on 4.12 is now installable. Current state is: passing
ocamlc-loc.3.12.2 on 4.13 is now installable. Current state is: passing
ocamlc-loc.3.12.2 on 4.14 is now installable. Current state is: passing
ocamlc-loc.3.12.2 on 5.0 is now installable. Current state is: passing
ocamlc-loc.3.12.2 on 5.1 is now installable. Current state is: passing
ocamlc-loc.3.13.0 on 4.08 is now installable. Current state is: passing
ocamlc-loc.3.13.0 on 4.09 is now installable. Current state is: passing
ocamlc-loc.3.13.0 on 4.10 is now installable. Current state is: passing
ocamlc-loc.3.13.0 on 4.11 is now installable. Current state is: passing
ocamlc-loc.3.13.0 on 4.12 is now installable. Current state is: passing
ocamlc-loc.3.13.0 on 4.13 is now installable. Current state is: passing
ocamlc-loc.3.13.0 on 4.14 is now installable. Current state is: passing
ocamlc-loc.3.13.0 on 5.0 is now installable. Current state is: passing
ocamlc-loc.3.13.0 on 5.1 is now installable. Current state is: passing
ocamldiff.1.2 on 4.12 is now installable. Current state is: passing
ocamldiff.1.2 on 4.13 is now installable. Current state is: passing
ocamldiff.1.2 on 4.14 is now installable. Current state is: passing
ocamldiff.1.2 on 5.0 is now installable. Current state is: passing
ocamldiff.1.2 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
ocsigen-start.6.1.2 on 4.08 is now installable. Current state is: passing
ocsigen-start.6.1.2 on 4.09 is now installable. Current state is: passing
ocsigen-start.6.1.2 on 4.10 is now installable. Current state is: passing
ocsigen-start.6.1.2 on 4.11 is now installable. Current state is: passing
ocsigen-start.6.1.2 on 4.12 is now installable. Current state is: passing
ocsigen-start.6.1.2 on 4.13 is now installable. Current state is: passing
ocsigen-start.6.1.2 on 4.14 is now installable. Current state is: passing
ocsigen-start.6.1.2 on 5.0 is now installable. Current state is: passing
ocsigen-start.6.1.2 on 5.1 is now installable. Current state is: passing
odoc-parser.2.4.1 on 4.08 is now installable. Current state is: passing
odoc-parser.2.4.1 on 4.09 is now installable. Current state is: passing
odoc-parser.2.4.1 on 4.10 is now installable. Current state is: passing
odoc-parser.2.4.1 on 4.11 is now installable. Current state is: passing
odoc-parser.2.4.1 on 4.12 is now installable. Current state is: passing
odoc-parser.2.4.1 on 4.13 is now installable. Current state is: passing
odoc-parser.2.4.1 on 4.14 is now installable. Current state is: passing
odoc-parser.2.4.1 on 5.0 is now installable. Current state is: passing
odoc-parser.2.4.1 on 5.1 is now installable. Current state is: passing
odoc.2.4.1 on 4.08 is now installable. Current state is: passing
odoc.2.4.1 on 4.09 is now installable. Current state is: passing
odoc.2.4.1 on 4.10 is now installable. Current state is: passing
odoc.2.4.1 on 4.11 is now installable. Current state is: passing
odoc.2.4.1 on 4.12 is now installable. Current state is: passing
odoc.2.4.1 on 4.13 is now installable. Current state is: passing
odoc.2.4.1 on 4.14 is now installable. Current state is: passing
odoc.2.4.1 on 5.0 is now installable. Current state is: passing
odoc.2.4.1 on 5.1 is now installable. Current state is: passing
ollvm-tapir.0.99.1 on 4.09 had its build status changed: failing to passing
ollvm-tapir.0.99.1 on 4.11 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.0.99 on 4.11 had its build status changed: failing to passing
oma.20240106 on 4.12 is now installable. Current state is: passing
oma.20240106 on 4.13 is now installable. Current state is: passing
oma.20240106 on 4.14 is now installable. Current state is: passing
oma.20240106 on 5.0 is now installable. Current state is: passing
oma.20240106 on 5.1 is now installable. Current state is: passing
opam-client.2.2.0~beta1 on 4.08 is now installable. Current state is: passing
opam-client.2.2.0~beta1 on 4.09 is now installable. Current state is: passing
opam-client.2.2.0~beta1 on 4.10 is now installable. Current state is: passing
opam-client.2.2.0~beta1 on 4.11 is now installable. Current state is: passing
opam-client.2.2.0~beta1 on 4.12 is now installable. Current state is: passing
opam-client.2.2.0~beta1 on 4.13 is now installable. Current state is: passing
opam-client.2.2.0~beta1 on 4.14 is now installable. Current state is: passing
opam-client.2.2.0~beta1 on 5.0 is now installable. Current state is: passing
opam-client.2.2.0~beta1 on 5.1 is now installable. Current state is: passing
opam-compiler.0.2.0 on 4.08 is now installable. Current state is: passing
opam-compiler.0.2.0 on 4.09 is now installable. Current state is: passing
opam-compiler.0.2.0 on 4.10 is now installable. Current state is: passing
opam-compiler.0.2.0 on 4.11 is now installable. Current state is: passing
opam-compiler.0.2.0 on 4.12 is now installable. Current state is: passing
opam-compiler.0.2.0 on 4.13 is now installable. Current state is: passing
opam-compiler.0.2.0 on 4.14 is now installable. Current state is: passing
opam-compiler.0.2.0 on 5.0 is now installable. Current state is: passing
opam-compiler.0.2.0 on 5.1 is now installable. Current state is: passing
opam-core.2.2.0~beta1 on 4.08 is now installable. Current state is: passing
opam-core.2.2.0~beta1 on 4.09 is now installable. Current state is: passing
opam-core.2.2.0~beta1 on 4.10 is now installable. Current state is: passing
opam-core.2.2.0~beta1 on 4.11 is now installable. Current state is: passing
opam-core.2.2.0~beta1 on 4.12 is now installable. Current state is: passing
opam-core.2.2.0~beta1 on 4.13 is now installable. Current state is: passing
opam-core.2.2.0~beta1 on 4.14 is now installable. Current state is: passing
opam-core.2.2.0~beta1 on 5.0 is now installable. Current state is: passing
opam-core.2.2.0~beta1 on 5.1 is now installable. Current state is: passing
opam-devel.2.2.0~beta1 on 4.08 is now installable. Current state is: passing
opam-devel.2.2.0~beta1 on 4.09 is now installable. Current state is: passing
opam-devel.2.2.0~beta1 on 4.10 is now installable. Current state is: passing
opam-devel.2.2.0~beta1 on 4.11 is now installable. Current state is: passing
opam-devel.2.2.0~beta1 on 4.12 is now installable. Current state is: passing
opam-devel.2.2.0~beta1 on 4.13 is now installable. Current state is: passing
opam-devel.2.2.0~beta1 on 4.14 is now installable. Current state is: passing
opam-devel.2.2.0~beta1 on 5.0 is now installable. Current state is: passing
opam-devel.2.2.0~beta1 on 5.1 is now installable. Current state is: passing
opam-format.2.2.0~beta1 on 4.08 is now installable. Current state is: passing
opam-format.2.2.0~beta1 on 4.09 is now installable. Current state is: passing
opam-format.2.2.0~beta1 on 4.10 is now installable. Current state is: passing
opam-format.2.2.0~beta1 on 4.11 is now installable. Current state is: passing
opam-format.2.2.0~beta1 on 4.12 is now installable. Current state is: passing
opam-format.2.2.0~beta1 on 4.13 is now installable. Current state is: passing
opam-format.2.2.0~beta1 on 4.14 is now installable. Current state is: passing
opam-format.2.2.0~beta1 on 5.0 is now installable. Current state is: passing
opam-format.2.2.0~beta1 on 5.1 is now installable. Current state is: passing
opam-installer.2.2.0~beta1 on 4.08 is now installable. Current state is: passing
opam-installer.2.2.0~beta1 on 4.09 is now installable. Current state is: passing
opam-installer.2.2.0~beta1 on 4.10 is now installable. Current state is: passing
opam-installer.2.2.0~beta1 on 4.11 is now installable. Current state is: passing
opam-installer.2.2.0~beta1 on 4.12 is now installable. Current state is: passing
opam-installer.2.2.0~beta1 on 4.13 is now installable. Current state is: passing
opam-installer.2.2.0~beta1 on 4.14 is now installable. Current state is: passing
opam-installer.2.2.0~beta1 on 5.0 is now installable. Current state is: passing
opam-installer.2.2.0~beta1 on 5.1 is now installable. Current state is: passing
opam-repository.2.2.0~beta1 on 4.08 is now installable. Current state is: passing
opam-repository.2.2.0~beta1 on 4.09 is now installable. Current state is: passing
opam-repository.2.2.0~beta1 on 4.10 is now installable. Current state is: passing
opam-repository.2.2.0~beta1 on 4.11 is now installable. Current state is: passing
opam-repository.2.2.0~beta1 on 4.12 is now installable. Current state is: passing
opam-repository.2.2.0~beta1 on 4.13 is now installable. Current state is: passing
opam-repository.2.2.0~beta1 on 4.14 is now installable. Current state is: passing
opam-repository.2.2.0~beta1 on 5.0 is now installable. Current state is: passing
opam-repository.2.2.0~beta1 on 5.1 is now installable. Current state is: passing
opam-solver.2.2.0~beta1 on 4.08 is now installable. Current state is: passing
opam-solver.2.2.0~beta1 on 4.09 is now installable. Current state is: passing
opam-solver.2.2.0~beta1 on 4.10 is now installable. Current state is: passing
opam-solver.2.2.0~beta1 on 4.11 is now installable. Current state is: passing
opam-solver.2.2.0~beta1 on 4.12 is now installable. Current state is: passing
opam-solver.2.2.0~beta1 on 4.13 is now installable. Current state is: passing
opam-solver.2.2.0~beta1 on 4.14 is now installable. Current state is: passing
opam-solver.2.2.0~beta1 on 5.0 is now installable. Current state is: passing
opam-solver.2.2.0~beta1 on 5.1 is now installable. Current state is: passing
opam-state.2.2.0~beta1 on 4.08 is now installable. Current state is: passing
opam-state.2.2.0~beta1 on 4.09 is now installable. Current state is: passing
opam-state.2.2.0~beta1 on 4.10 is now installable. Current state is: passing
opam-state.2.2.0~beta1 on 4.11 is now installable. Current state is: passing
opam-state.2.2.0~beta1 on 4.12 is now installable. Current state is: passing
opam-state.2.2.0~beta1 on 4.13 is now installable. Current state is: passing
opam-state.2.2.0~beta1 on 4.14 is now installable. Current state is: passing
opam-state.2.2.0~beta1 on 5.0 is now installable. Current state is: passing
opam-state.2.2.0~beta1 on 5.1 is now installable. Current state is: passing
opentelemetry-cohttp-lwt.0.6 on 4.08 had its build status changed: failing to passing
opentelemetry-cohttp-lwt.0.6 on 4.09 had its build status changed: failing to passing
opentelemetry-cohttp-lwt.0.6 on 4.10 had its build status changed: failing to passing
opentelemetry-cohttp-lwt.0.6 on 4.11 had its build status changed: failing to passing
opentelemetry-cohttp-lwt.0.6 on 4.12 had its build status changed: failing to passing
opentelemetry-cohttp-lwt.0.6 on 4.13 had its build status changed: failing to passing
opentelemetry-cohttp-lwt.0.6 on 4.14 had its build status changed: failing to passing
opentelemetry-cohttp-lwt.0.6 on 5.0 had its build status changed: failing to passing
opentelemetry-cohttp-lwt.0.6 on 5.1 had its build status changed: failing to passing
ordering.3.12.2 on 4.08 is now installable. Current state is: passing
ordering.3.12.2 on 4.09 is now installable. Current state is: passing
ordering.3.12.2 on 4.10 is now installable. Current state is: passing
ordering.3.12.2 on 4.11 is now installable. Current state is: passing
ordering.3.12.2 on 4.12 is now installable. Current state is: passing
ordering.3.12.2 on 4.13 is now installable. Current state is: passing
ordering.3.12.2 on 4.14 is now installable. Current state is: passing
ordering.3.12.2 on 5.0 is now installable. Current state is: passing
ordering.3.12.2 on 5.1 is now installable. Current state is: passing
ordering.3.13.0 on 4.08 is now installable. Current state is: passing
ordering.3.13.0 on 4.09 is now installable. Current state is: passing
ordering.3.13.0 on 4.10 is now installable. Current state is: passing
ordering.3.13.0 on 4.11 is now installable. Current state is: passing
ordering.3.13.0 on 4.12 is now installable. Current state is: passing
ordering.3.13.0 on 4.13 is now installable. Current state is: passing
ordering.3.13.0 on 4.14 is now installable. Current state is: passing
ordering.3.13.0 on 5.0 is now installable. Current state is: passing
ordering.3.13.0 on 5.1 is now installable. Current state is: 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
pancake.2.0.0 on 5.1 had its build status changed: internal failure to passing
portia.1.3 on 4.10 had its build status changed: failing to passing
portia.1.3 on 4.12 had its build status changed: failing to passing
portia.1.5 on 4.12 had its build status changed: failing to passing
portia.1.5 on 4.13 had its build status changed: failing to passing
ppx_deriving_yaml.0.2.2 on 4.08 is now installable. Current state is: passing
ppx_deriving_yaml.0.2.2 on 4.09 is now installable. Current state is: passing
ppx_deriving_yaml.0.2.2 on 4.10 is now installable. Current state is: passing
ppx_deriving_yaml.0.2.2 on 4.11 is now installable. Current state is: passing
ppx_deriving_yaml.0.2.2 on 4.12 is now installable. Current state is: passing
ppx_deriving_yaml.0.2.2 on 4.13 is now installable. Current state is: passing
ppx_deriving_yaml.0.2.2 on 4.14 is now installable. Current state is: passing
ppx_deriving_yaml.0.2.2 on 5.0 is now installable. Current state is: passing
ppx_deriving_yaml.0.2.2 on 5.1 is now installable. Current state is: passing
ppx_make.0.3.4 on 4.08 is now installable. Current state is: passing
ppx_make.0.3.4 on 4.09 is now installable. Current state is: passing
ppx_make.0.3.4 on 4.10 is now installable. Current state is: passing
ppx_make.0.3.4 on 4.11 is now installable. Current state is: passing
ppx_make.0.3.4 on 4.12 is now installable. Current state is: passing
ppx_make.0.3.4 on 4.13 is now installable. Current state is: passing
ppx_make.0.3.4 on 4.14 is now installable. Current state is: passing
ppx_make.0.3.4 on 5.0 is now installable. Current state is: passing
ppx_make.0.3.4 on 5.1 is now installable. Current state is: 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
ppx_trace.0.6 on 4.12 is now installable. Current state is: passing
ppx_trace.0.6 on 4.13 is now installable. Current state is: passing
ppx_trace.0.6 on 4.14 is now installable. Current state is: passing
ppx_trace.0.6 on 5.0 is now installable. Current state is: passing
ppx_trace.0.6 on 5.1 is now installable. Current state is: passing
prbnmcn-clustering.0.0.2 on 4.12 is now installable. Current state is: passing
prbnmcn-clustering.0.0.2 on 4.13 is now installable. Current state is: passing
prbnmcn-clustering.0.0.2 on 4.14 is now installable. Current state is: passing
prbnmcn-clustering.0.0.2 on 5.0 is now installable. Current state is: passing
prbnmcn-clustering.0.0.2 on 5.1 is now installable. Current state is: passing
printbox-html.0.8 on 4.08 is now installable. Current state is: passing
printbox-html.0.8 on 4.09 is now installable. Current state is: passing
printbox-html.0.8 on 4.10 is now installable. Current state is: passing
printbox-html.0.8 on 4.11 is now installable. Current state is: passing
printbox-html.0.8 on 4.12 is now installable. Current state is: passing
printbox-html.0.8 on 4.13 is now installable. Current state is: passing
printbox-html.0.8 on 4.14 is now installable. Current state is: passing
printbox-html.0.8 on 5.0 is now installable. Current state is: passing
printbox-html.0.8 on 5.1 is now installable. Current state is: passing
printbox-text.0.8 on 4.08 is now installable. Current state is: passing
printbox-text.0.8 on 4.09 is now installable. Current state is: passing
printbox-text.0.8 on 4.10 is now installable. Current state is: passing
printbox-text.0.8 on 4.11 is now installable. Current state is: passing
printbox-text.0.8 on 4.12 is now installable. Current state is: passing
printbox-text.0.8 on 4.13 is now installable. Current state is: passing
printbox-text.0.8 on 4.14 is now installable. Current state is: passing
printbox-text.0.8 on 5.0 is now installable. Current state is: passing
printbox-text.0.8 on 5.1 is now installable. Current state is: passing
printbox.0.8 on 4.08 is now installable. Current state is: passing
printbox.0.8 on 4.09 is now installable. Current state is: passing
printbox.0.8 on 4.10 is now installable. Current state is: passing
printbox.0.8 on 4.11 is now installable. Current state is: passing
printbox.0.8 on 4.12 is now installable. Current state is: passing
printbox.0.8 on 4.13 is now installable. Current state is: passing
printbox.0.8 on 4.14 is now installable. Current state is: passing
printbox.0.8 on 5.0 is now installable. Current state is: passing
printbox.0.8 on 5.1 is now installable. Current state is: passing
profiler-plugin.1.30 on 4.08 had its build status changed: partially failing to passing
raylib.1.2.1 on 4.08 is now installable. Current state is: passing
raylib.1.2.1 on 4.09 is now installable. Current state is: passing
raylib.1.2.1 on 4.10 is now installable. Current state is: passing
raylib.1.2.1 on 4.11 is now installable. Current state is: passing
raylib.1.2.1 on 4.12 is now installable. Current state is: passing
raylib.1.2.1 on 4.13 is now installable. Current state is: passing
raylib.1.2.1 on 4.14 is now installable. Current state is: passing
raylib.1.2.1 on 5.0 is now installable. Current state is: passing
raylib.1.2.1 on 5.1 is now installable. Current state is: passing
riot.0.0.7 on 5.1 is now installable. Current state is: passing
sarif.0.1.0 on 4.14 is now installable. Current state is: passing
sarif.0.1.0 on 5.0 is now installable. Current state is: passing
sarif.0.1.0 on 5.1 is now installable. Current state is: passing
sarif.0.2.0 on 4.14 is now installable. Current state is: passing
sarif.0.2.0 on 5.0 is now installable. Current state is: passing
sarif.0.2.0 on 5.1 is now installable. Current state is: passing
sarif.0.2.1 on 4.14 is now installable. Current state is: passing
sarif.0.2.1 on 5.0 is now installable. Current state is: passing
sarif.0.2.1 on 5.1 is now installable. Current state is: passing
sarif.0.3.0 on 4.14 is now installable. Current state is: passing
sarif.0.3.0 on 5.0 is now installable. Current state is: passing
sarif.0.3.0 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
spatial-shell.6 on 5.0 is now installable. Current state is: passing
spatial-shell.6 on 5.1 is now installable. Current state is: passing
spices.0.0.2 on 5.1 is now installable. Current state is: passing
starpath.0.1.2 on 4.11 is now installable. Current state is: passing
starpath.0.1.2 on 4.12 is now installable. Current state is: passing
starpath.0.1.2 on 4.13 is now installable. Current state is: passing
starpath.0.1.2 on 4.14 is now installable. Current state is: passing
starpath.0.1.2 on 5.0 is now installable. Current state is: passing
starpath.0.1.2 on 5.1 is now installable. Current state is: passing
stdune.3.12.2 on 4.08 is now installable. Current state is: passing
stdune.3.12.2 on 4.09 is now installable. Current state is: passing
stdune.3.12.2 on 4.10 is now installable. Current state is: passing
stdune.3.12.2 on 4.11 is now installable. Current state is: passing
stdune.3.12.2 on 4.12 is now installable. Current state is: passing
stdune.3.12.2 on 4.13 is now installable. Current state is: passing
stdune.3.12.2 on 4.14 is now installable. Current state is: passing
stdune.3.12.2 on 5.0 is now installable. Current state is: passing
stdune.3.12.2 on 5.1 is now installable. Current state is: passing
stdune.3.13.0 on 4.08 is now installable. Current state is: passing
stdune.3.13.0 on 4.09 is now installable. Current state is: passing
stdune.3.13.0 on 4.10 is now installable. Current state is: passing
stdune.3.13.0 on 4.11 is now installable. Current state is: passing
stdune.3.13.0 on 4.12 is now installable. Current state is: passing
stdune.3.13.0 on 4.13 is now installable. Current state is: passing
stdune.3.13.0 on 4.14 is now installable. Current state is: passing
stdune.3.13.0 on 5.0 is now installable. Current state is: passing
stdune.3.13.0 on 5.1 is now installable. Current state is: passing
stog.0.20.0 on 4.12 had its build status changed: failing to passing
stog_asy.0.20.0 on 4.12 had its build status changed: partially failing to passing
stog_dot.0.20.0 on 4.12 had its build status changed: partially failing to passing
stog_extern.0.20.0 on 4.12 had its build status changed: partially failing to passing
stog_markdown.0.20.0 on 4.12 had its build status changed: partially failing to passing
stog_multi_doc.0.20.0 on 4.12 had its build status changed: partially failing to passing
stog_nocaml.0.20.0 on 4.12 had its build status changed: partially failing to passing
stog_noexec.0.20.0 on 4.12 had its build status changed: partially failing to passing
stog_plugins.0.20.0 on 4.12 had its build status changed: partially failing to passing
stog_rel_href.0.20.0 on 4.12 had its build status changed: partially failing to passing
stog_sitemap.0.20.0 on 4.12 had its build status changed: partially failing to passing
stog_writing.0.20.0 on 4.12 had its build status changed: partially failing to passing
tablecloth-base.0.0.9 on 4.08 is now installable. Current state is: passing
tablecloth-base.0.0.9 on 4.09 is now installable. Current state is: passing
tablecloth-base.0.0.9 on 4.10 is now installable. Current state is: passing
tablecloth-base.0.0.9 on 4.11 is now installable. Current state is: passing
tablecloth-base.0.0.9 on 4.12 is now installable. Current state is: passing
tablecloth-base.0.0.9 on 4.13 is now installable. Current state is: passing
tablecloth-base.0.0.9 on 4.14 is now installable. Current state is: passing
tablecloth-melange.0.0.9 on 5.1 is now installable. Current state is: passing
tablecloth-native.transition on 4.08 is now installable. Current state is: passing
tablecloth-native.transition on 4.09 is now installable. Current state is: passing
tablecloth-native.transition on 4.10 is now installable. Current state is: passing
tablecloth-native.transition on 4.11 is now installable. Current state is: passing
tablecloth-native.transition on 4.12 is now installable. Current state is: passing
tablecloth-native.transition on 4.13 is now installable. Current state is: passing
tablecloth-native.transition on 4.14 is now installable. Current state is: passing
textmate-language.0.4.0 on 4.08 is now installable. Current state is: passing
textmate-language.0.4.0 on 4.09 is now installable. Current state is: passing
textmate-language.0.4.0 on 4.10 is now installable. Current state is: passing
textmate-language.0.4.0 on 4.11 is now installable. Current state is: passing
textmate-language.0.4.0 on 4.12 is now installable. Current state is: passing
textmate-language.0.4.0 on 4.13 is now installable. Current state is: passing
textmate-language.0.4.0 on 4.14 is now installable. Current state is: passing
textmate-language.0.4.0 on 5.0 is now installable. Current state is: passing
textmate-language.0.4.0 on 5.1 is now installable. Current state is: passing
tiny_httpd.0.16 on 4.08 is now installable. Current state is: passing
tiny_httpd.0.16 on 4.09 is now installable. Current state is: passing
tiny_httpd.0.16 on 4.10 is now installable. Current state is: passing
tiny_httpd.0.16 on 4.11 is now installable. Current state is: passing
tiny_httpd.0.16 on 4.12 is now installable. Current state is: passing
tiny_httpd.0.16 on 4.13 is now installable. Current state is: passing
tiny_httpd.0.16 on 4.14 is now installable. Current state is: passing
tiny_httpd.0.16 on 5.0 is now installable. Current state is: passing
tiny_httpd.0.16 on 5.1 is now installable. Current state is: passing
tiny_httpd_camlzip.0.16 on 4.08 is now installable. Current state is: passing
tiny_httpd_camlzip.0.16 on 4.09 is now installable. Current state is: passing
tiny_httpd_camlzip.0.16 on 4.10 is now installable. Current state is: passing
tiny_httpd_camlzip.0.16 on 4.11 is now installable. Current state is: passing
tiny_httpd_camlzip.0.16 on 4.12 is now installable. Current state is: passing
tiny_httpd_camlzip.0.16 on 4.13 is now installable. Current state is: passing
tiny_httpd_camlzip.0.16 on 4.14 is now installable. Current state is: passing
tiny_httpd_camlzip.0.16 on 5.0 is now installable. Current state is: passing
tiny_httpd_camlzip.0.16 on 5.1 is now installable. Current state is: passing
trace-fuchsia.0.6 on 4.08 is now installable. Current state is: passing
trace-fuchsia.0.6 on 4.09 is now installable. Current state is: passing
trace-fuchsia.0.6 on 4.10 is now installable. Current state is: passing
trace-fuchsia.0.6 on 4.11 is now installable. Current state is: passing
trace-fuchsia.0.6 on 4.12 is now installable. Current state is: passing
trace-fuchsia.0.6 on 4.13 is now installable. Current state is: passing
trace-fuchsia.0.6 on 4.14 is now installable. Current state is: passing
trace-fuchsia.0.6 on 5.0 is now installable. Current state is: passing
trace-fuchsia.0.6 on 5.1 is now installable. Current state is: passing
trace-tef.0.6 on 4.08 is now installable. Current state is: passing
trace-tef.0.6 on 4.09 is now installable. Current state is: passing
trace-tef.0.6 on 4.10 is now installable. Current state is: passing
trace-tef.0.6 on 4.11 is now installable. Current state is: passing
trace-tef.0.6 on 4.12 is now installable. Current state is: passing
trace-tef.0.6 on 4.13 is now installable. Current state is: passing
trace-tef.0.6 on 4.14 is now installable. Current state is: passing
trace-tef.0.6 on 5.0 is now installable. Current state is: passing
trace-tef.0.6 on 5.1 is now installable. Current state is: passing
trace.0.6 on 4.08 is now installable. Current state is: passing
trace.0.6 on 4.09 is now installable. Current state is: passing
trace.0.6 on 4.10 is now installable. Current state is: passing
trace.0.6 on 4.11 is now installable. Current state is: passing
trace.0.6 on 4.12 is now installable. Current state is: passing
trace.0.6 on 4.13 is now installable. Current state is: passing
trace.0.6 on 4.14 is now installable. Current state is: passing
trace.0.6 on 5.0 is now installable. Current state is: passing
trace.0.6 on 5.1 is now installable. Current state is: passing
tty.0.0.2 on 5.1 is now installable. Current state is: passing
tuareg.2.0.10 on 4.12 had its build status changed: failing to passing
tuareg.2.0.10 on 4.14 had its build status changed: failing to passing
tuareg.2.1.0 on 4.09 had its build status changed: failing to passing
type_eq.0.0.1 on 4.10 is now installable. Current state is: passing
type_eq.0.0.1 on 4.12 is now installable. Current state is: passing
type_eq.0.0.1 on 4.13 is now installable. Current state is: passing
type_eq.0.0.1 on 4.14 is now installable. Current state is: passing
type_eq.0.0.1 on 5.0 is now installable. Current state is: passing
validate.0.1.0 on 5.0 is now installable. Current state is: passing
validate.0.1.0 on 5.1 is now installable. Current state is: passing
validate.0.2.0 on 5.0 is now installable. Current state is: passing
validate.0.2.0 on 5.1 is now installable. Current state is: passing
validate.1.0.0 on 5.0 is now installable. Current state is: passing
validate.1.0.0 on 5.1 is now installable. Current state is: passing
vec.0.4.0 on 4.08 is now installable. Current state is: passing
vec.0.4.0 on 4.09 is now installable. Current state is: passing
vec.0.4.0 on 4.10 is now installable. Current state is: passing
vec.0.4.0 on 4.11 is now installable. Current state is: passing
vec.0.4.0 on 4.12 is now installable. Current state is: passing
vec.0.4.0 on 4.13 is now installable. Current state is: passing
vec.0.4.0 on 4.14 is now installable. Current state is: passing
vec.0.4.0 on 5.0 is now installable. Current state is: passing
vec.0.4.0 on 5.1 is now installable. Current state is: passing
vg.0.9.5 on 4.14 is now installable. Current state is: passing
vg.0.9.5 on 5.0 is now installable. Current state is: passing
vg.0.9.5 on 5.1 is now installable. Current state is: passing
waylaunch.0.3.0 on 4.11 is now installable. Current state is: passing
waylaunch.0.3.0 on 4.12 is now installable. Current state is: passing
waylaunch.0.3.0 on 4.13 is now installable. Current state is: passing
waylaunch.0.3.0 on 4.14 is now installable. Current state is: passing
waylaunch.0.3.0 on 5.0 is now installable. Current state is: passing
waylaunch.0.3.0 on 5.1 is now installable. Current state is: 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
why3-coq.1.7.1 on 4.08 is now installable. Current state is: passing
why3-coq.1.7.1 on 4.09 is now installable. Current state is: passing
why3-coq.1.7.1 on 4.10 is now installable. Current state is: passing
why3-coq.1.7.1 on 4.11 is now installable. Current state is: passing
why3-coq.1.7.1 on 4.12 is now installable. Current state is: passing
why3-coq.1.7.1 on 4.13 is now installable. Current state is: passing
why3-coq.1.7.1 on 4.14 is now installable. Current state is: passing
why3-coq.1.7.1 on 5.0 is now installable. Current state is: passing
why3-coq.1.7.1 on 5.1 is now installable. Current state is: passing
why3-ide.1.7.1 on 4.08 is now installable. Current state is: passing
why3-ide.1.7.1 on 4.09 is now installable. Current state is: passing
why3-ide.1.7.1 on 4.10 is now installable. Current state is: passing
why3-ide.1.7.1 on 4.11 is now installable. Current state is: passing
why3-ide.1.7.1 on 4.12 is now installable. Current state is: passing
why3-ide.1.7.1 on 4.13 is now installable. Current state is: passing
why3-ide.1.7.1 on 4.14 is now installable. Current state is: passing
why3-ide.1.7.1 on 5.0 is now installable. Current state is: passing
why3-ide.1.7.1 on 5.1 is now installable. Current state is: passing
why3.1.7.1 on 4.08 is now installable. Current state is: passing
why3.1.7.1 on 4.09 is now installable. Current state is: passing
why3.1.7.1 on 4.10 is now installable. Current state is: passing
why3.1.7.1 on 4.11 is now installable. Current state is: passing
why3.1.7.1 on 4.12 is now installable. Current state is: passing
why3.1.7.1 on 4.13 is now installable. Current state is: passing
why3.1.7.1 on 4.14 is now installable. Current state is: passing
why3.1.7.1 on 5.0 is now installable. Current state is: passing
why3.1.7.1 on 5.1 is now installable. Current state is: 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
xapi-stdext-date.4.24.0 on 4.12 is now installable. Current state is: passing
xapi-stdext-date.4.24.0 on 4.13 is now installable. Current state is: passing
xapi-stdext-date.4.24.0 on 4.14 is now installable. Current state is: passing
xapi-stdext-date.4.24.0 on 5.0 is now installable. Current state is: passing
xapi-stdext-date.4.24.0 on 5.1 is now installable. Current state is: passing
xapi-stdext-encodings.4.24.0 on 4.13 is now installable. Current state is: passing
xapi-stdext-encodings.4.24.0 on 4.14 is now installable. Current state is: passing
xapi-stdext-encodings.4.24.0 on 5.0 is now installable. Current state is: passing
xapi-stdext-encodings.4.24.0 on 5.1 is now installable. Current state is: passing
xapi-stdext-pervasives.4.24.0 on 4.08 is now installable. Current state is: passing
xapi-stdext-pervasives.4.24.0 on 4.09 is now installable. Current state is: passing
xapi-stdext-pervasives.4.24.0 on 4.10 is now installable. Current state is: passing
xapi-stdext-pervasives.4.24.0 on 4.11 is now installable. Current state is: passing
xapi-stdext-pervasives.4.24.0 on 4.12 is now installable. Current state is: passing
xapi-stdext-pervasives.4.24.0 on 4.13 is now installable. Current state is: passing
xapi-stdext-pervasives.4.24.0 on 4.14 is now installable. Current state is: passing
xapi-stdext-pervasives.4.24.0 on 5.0 is now installable. Current state is: passing
xapi-stdext-pervasives.4.24.0 on 5.1 is now installable. Current state is: passing
xapi-stdext-std.4.24.0 on 4.08 is now installable. Current state is: passing
xapi-stdext-std.4.24.0 on 4.09 is now installable. Current state is: passing
xapi-stdext-std.4.24.0 on 4.10 is now installable. Current state is: passing
xapi-stdext-std.4.24.0 on 4.11 is now installable. Current state is: passing
xapi-stdext-std.4.24.0 on 4.12 is now installable. Current state is: passing
xapi-stdext-std.4.24.0 on 4.13 is now installable. Current state is: passing
xapi-stdext-std.4.24.0 on 4.14 is now installable. Current state is: passing
xapi-stdext-std.4.24.0 on 5.0 is now installable. Current state is: passing
xapi-stdext-std.4.24.0 on 5.1 is now installable. Current state is: passing
xapi-stdext-threads.4.24.0 on 4.08 is now installable. Current state is: passing
xapi-stdext-threads.4.24.0 on 4.09 is now installable. Current state is: passing
xapi-stdext-threads.4.24.0 on 4.10 is now installable. Current state is: passing
xapi-stdext-threads.4.24.0 on 4.11 is now installable. Current state is: passing
xapi-stdext-threads.4.24.0 on 4.12 is now installable. Current state is: passing
xapi-stdext-threads.4.24.0 on 4.13 is now installable. Current state is: passing
xapi-stdext-threads.4.24.0 on 4.14 is now installable. Current state is: passing
xapi-stdext-threads.4.24.0 on 5.0 is now installable. Current state is: passing
xapi-stdext-threads.4.24.0 on 5.1 is now installable. Current state is: passing
xapi-stdext-unix.4.24.0 on 4.12 is now installable. Current state is: passing
xapi-stdext-unix.4.24.0 on 4.13 is now installable. Current state is: passing
xapi-stdext-unix.4.24.0 on 4.14 is now installable. Current state is: passing
xapi-stdext-unix.4.24.0 on 5.0 is now installable. Current state is: passing
xapi-stdext-unix.4.24.0 on 5.1 is now installable. Current state is: passing
xapi-stdext-zerocheck.4.24.0 on 4.08 is now installable. Current state is: passing
xapi-stdext-zerocheck.4.24.0 on 4.09 is now installable. Current state is: passing
xapi-stdext-zerocheck.4.24.0 on 4.10 is now installable. Current state is: passing
xapi-stdext-zerocheck.4.24.0 on 4.11 is now installable. Current state is: passing
xapi-stdext-zerocheck.4.24.0 on 4.12 is now installable. Current state is: passing
xapi-stdext-zerocheck.4.24.0 on 4.13 is now installable. Current state is: passing
xapi-stdext-zerocheck.4.24.0 on 4.14 is now installable. Current state is: passing
xapi-stdext-zerocheck.4.24.0 on 5.0 is now installable. Current state is: passing
xapi-stdext-zerocheck.4.24.0 on 5.1 is now installable. Current state is: passing
xdg.3.12.2 on 4.08 is now installable. Current state is: passing
xdg.3.12.2 on 4.09 is now installable. Current state is: passing
xdg.3.12.2 on 4.10 is now installable. Current state is: passing
xdg.3.12.2 on 4.11 is now installable. Current state is: passing
xdg.3.12.2 on 4.12 is now installable. Current state is: passing
xdg.3.12.2 on 4.13 is now installable. Current state is: passing
xdg.3.12.2 on 4.14 is now installable. Current state is: passing
xdg.3.12.2 on 5.0 is now installable. Current state is: passing
xdg.3.12.2 on 5.1 is now installable. Current state is: passing
xdg.3.13.0 on 4.08 is now installable. Current state is: passing
xdg.3.13.0 on 4.09 is now installable. Current state is: passing
xdg.3.13.0 on 4.10 is now installable. Current state is: passing
xdg.3.13.0 on 4.11 is now installable. Current state is: passing
xdg.3.13.0 on 4.12 is now installable. Current state is: passing
xdg.3.13.0 on 4.13 is now installable. Current state is: passing
xdg.3.13.0 on 4.14 is now installable. Current state is: passing
xdg.3.13.0 on 5.0 is now installable. Current state is: passing
xdg.3.13.0 on 5.1 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.09 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.2 on 4.11 had its build status changed: internal failure to passing
yojson-bench.2.0.0 on 4.08 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.1 on 4.08 had its build status changed: internal failure to passing
z3.4.10.1 on 4.09 had its build status changed: internal failure to passing
z3.4.10.2 on 4.09 had its build status changed: internal failure to passing
z3.4.10.2 on 4.10 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 4.14 had its build status changed: internal failure to passing
z3.4.10.2 on 5.0 had its build status changed: failing 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.3 on 4.10 had its build status changed: internal failure to passing
z3.4.12.4 on 4.08 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.12.5 on 4.08 is now installable. Current state is: passing
z3.4.12.5 on 4.09 is now installable. Current state is: passing
z3.4.12.5 on 4.10 is now installable. Current state is: passing
z3.4.12.5 on 4.11 is now installable. Current state is: passing
z3.4.12.5 on 4.13 is now installable. Current state is: passing
z3.4.12.5 on 4.14 is now installable. Current state is: passing
z3.4.12.5 on 5.0 is now installable. Current state is: passing
z3.4.12.5 on 5.1 is now installable. Current state is: passing
z3.4.8.13 on 4.09 had its build status changed: internal failure to passing
z3.4.8.13 on 4.10 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.10 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.17 on 4.10 had its build status changed: internal failure to passing
z3.4.8.17 on 4.11 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.09 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 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.11 had its build status changed: internal failure to passing
z3_tptp.4.10.1 on 4.12 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.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 4.14 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.08 had its build status changed: internal failure to passing
z3_tptp.4.11.0 on 4.11 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.10 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.10 had its build status changed: internal failure to passing
z3_tptp.4.8.13 on 4.13 had its build status changed: internal failure to passing
z3_tptp.4.8.14 on 4.08 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.11 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.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
zenon_modulo.0.5.0 on 4.08 is now installable. Current state is: passing
zenon_modulo.0.5.0 on 4.09 is now installable. Current state is: passing
zenon_modulo.0.5.0 on 4.10 is now installable. Current state is: passing
zenon_modulo.0.5.0 on 4.11 is now installable. Current state is: passing
zenon_modulo.0.5.0 on 4.12 is now installable. Current state is: passing
zenon_modulo.0.5.0 on 4.13 is now installable. Current state is: passing
zenon_modulo.0.5.0 on 4.14 is now installable. Current state is: passing
zenon_modulo.0.5.0 on 5.0 is now installable. Current state is: passing
zenon_modulo.0.5.0 on 5.1 is now installable. Current state is: passing
zipc.0.2.0 on 4.14 is now installable. Current state is: passing
zipc.0.2.0 on 5.0 is now installable. Current state is: passing
zipc.0.2.0 on 5.1 is now installable. Current state is: passing