opam-health-check diff

Home|Differences with the last checks|Previous runs

Differences between f4fe6a1 and b6de4bb (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.09 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.12 had its build status changed: passing to failing
alt-ergo-free.2.0.0 on 4.13 had its build status changed: passing to failing
alt-ergo.2.0.0 on 4.13 had its build status changed: passing to failing
alt-ergo.2.1.0 on 4.10 had its build status changed: passing to failing
alt-ergo.2.2.0 on 4.11 had its build status changed: passing to failing
hacl-star-raw.0.1 on 4.08 had its build status changed: passing to failing
ollvm-tapir.0.99.1 on 4.13 had its build status changed: passing to failing
ollvm.0.99 on 4.10 had its build status changed: passing to failing
ollvm.0.99 on 4.11 had its build status changed: passing to failing
ollvm.0.99 on 4.13 had its build status changed: passing to failing
opam-dune-lint.0.1 on 4.11 had its build status changed: passing to failing
opam-dune-lint.0.1 on 4.12 had its build status changed: passing to failing
opam-dune-lint.0.1 on 4.13 had its build status changed: passing to failing
opam-dune-lint.0.1 on 4.14 had its build status changed: passing to failing
opam-dune-lint.0.2 on 4.10 had its build status changed: passing to failing
opam-dune-lint.0.2 on 4.11 had its build status changed: passing to failing
opam-dune-lint.0.2 on 4.12 had its build status changed: passing to failing
opam-dune-lint.0.2 on 4.13 had its build status changed: passing to failing
opam-dune-lint.0.2 on 4.14 had its build status changed: passing to failing
portia.1.1 on 4.11 had its build status changed: passing to failing
portia.1.3 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-cross-aarch64.0.7.1 on 5.0 had its build status changed: partially failing to failing
tuareg.2.2.0 on 4.10 had its build status changed: passing to failing
tuareg.2.2.0 on 4.11 had its build status changed: passing to failing
z3.4.8.13 on 4.08 had its build status changed: internal failure to failing
z3.4.8.13 on 4.09 had its build status changed: passing to failing
z3.4.8.13 on 4.10 had its build status changed: passing to failing
z3.4.8.13 on 4.11 had its build status changed: passing to failing
z3.4.8.13 on 4.12 had its build status changed: passing to failing
z3.4.8.13 on 4.13 had its build status changed: internal failure to failing
z3.4.8.13 on 4.14 had its build status changed: passing to failing
z3.4.8.5-1 on 4.08 had its build status changed: passing to failing
z3.4.8.5-1 on 4.09 had its build status changed: passing to failing
z3.4.8.5-1 on 4.10 had its build status changed: passing to failing
z3.4.8.5-1 on 4.11 had its build status changed: passing to failing
z3.4.8.5-1 on 4.12 had its build status changed: passing to failing
z3.4.8.5-1 on 4.13 had its build status changed: passing to failing
z3.4.8.5-1 on 4.14 had its build status changed: passing to failing

Packages now partially failing:

hacl-star.0.1 on 4.09 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.10 had its build status changed: passing to partially failing
hacl-star.0.2.0 on 4.08 had its build status changed: passing to partially failing
hacl-star.0.2.0 on 4.10 had its build status changed: passing to partially failing
hacl-star.0.2.1 on 4.12 had its build status changed: passing to partially failing
hacl-star.0.2.1 on 4.13 had its build status changed: passing to partially failing
lambdapi.2.0.0 on 4.11 had its build status changed: passing to partially failing
lambdapi.2.0.0 on 4.12 had its build status changed: passing to partially failing
solo5-cross-aarch64.0.7.0 on 4.09 had its build status changed: failing to partially failing
z3_tptp.4.8.13 on 4.08 had its build status changed: passing to partially failing
z3_tptp.4.8.13 on 4.09 had its build status changed: passing to partially failing
z3_tptp.4.8.13 on 4.10 had its build status changed: passing to partially failing
z3_tptp.4.8.13 on 4.11 had its build status changed: passing to partially failing
z3_tptp.4.8.13 on 4.12 had its build status changed: passing to partially failing
z3_tptp.4.8.13 on 4.13 had its build status changed: passing to partially failing
z3_tptp.4.8.13 on 4.14 had its build status changed: passing to partially failing

Packages now not available:

melange.4.0.0-51 on 5.1 is not available anymore. Previous state was: failing
vlq.0.2.1 on 5.0 had its build status changed: internal failure to not available
zanuda.1.0.0 on 4.13 had its build status changed: internal failure to not available
zanuda.1.0.0 on 5.2 had its build status changed: internal failure to not available
zar.0.9.3 on 4.08 had its build status changed: internal failure to not available
zar.0.9.3 on 4.09 had its build status changed: internal failure to not available
zar.0.9.3 on 4.10 had its build status changed: internal failure to not available
zar.0.9.3 on 4.11 had its build status changed: internal failure to not available
zar.0.9.3 on 4.12 had its build status changed: internal failure to not available
zar.0.9.3 on 4.13 had its build status changed: internal failure to not available
zarith-freestanding.1.6 on 4.14 had its build status changed: internal failure to not available

Packages now failing with an internal failure:

camlidl.1.05 on 4.08 had its build status changed: passing to internal failure
camlidl.1.05 on 4.09 had its build status changed: passing to internal failure
camlidl.1.05 on 4.10 had its build status changed: passing to internal failure
camlidl.1.05 on 4.11 had its build status changed: passing to internal failure
camlidl.1.05 on 4.12 had its build status changed: passing to internal failure
camlidl.1.05 on 4.13 had its build status changed: passing to internal failure
camlidl.1.05 on 4.14 had its build status changed: passing to internal failure
cryptoverif.2.03pl1 on 4.08 had its build status changed: passing to internal failure
cryptoverif.2.03pl1 on 4.09 had its build status changed: passing to internal failure
cryptoverif.2.03pl1 on 4.10 had its build status changed: passing to internal failure
cryptoverif.2.03pl1 on 4.11 had its build status changed: passing to internal failure
cryptoverif.2.03pl1 on 4.12 had its build status changed: passing to internal failure
cryptoverif.2.03pl1 on 4.13 had its build status changed: passing to internal failure
cryptoverif.2.03pl1 on 4.14 had its build status changed: passing to internal failure
cryptoverif.2.03pl1 on 5.0 had its build status changed: passing to internal failure
cryptoverif.2.03pl1 on 5.1 had its build status changed: passing to internal failure
cryptoverif.2.03pl1 on 5.2 had its build status changed: passing to internal failure
cryptoverif.2.04 on 4.08 had its build status changed: passing to internal failure
cryptoverif.2.04 on 4.09 had its build status changed: passing to internal failure
cryptoverif.2.04 on 4.10 had its build status changed: passing to internal failure
cryptoverif.2.04 on 4.11 had its build status changed: passing to internal failure
cryptoverif.2.04 on 4.12 had its build status changed: passing to internal failure
cryptoverif.2.04 on 4.13 had its build status changed: passing to internal failure
cryptoverif.2.04 on 4.14 had its build status changed: passing to internal failure
cryptoverif.2.04 on 5.0 had its build status changed: passing to internal failure
cryptoverif.2.04 on 5.1 had its build status changed: passing to internal failure
cryptoverif.2.04 on 5.2 had its build status changed: passing to internal failure
cryptoverif.2.05 on 4.08 had its build status changed: passing to internal failure
cryptoverif.2.05 on 4.09 had its build status changed: passing to internal failure
cryptoverif.2.05 on 4.10 had its build status changed: passing to internal failure
cryptoverif.2.05 on 4.11 had its build status changed: passing to internal failure
cryptoverif.2.05 on 4.12 had its build status changed: passing to internal failure
cryptoverif.2.05 on 4.13 had its build status changed: passing to internal failure
cryptoverif.2.05 on 4.14 had its build status changed: passing to internal failure
cryptoverif.2.05 on 5.0 had its build status changed: passing to internal failure
cryptoverif.2.05 on 5.1 had its build status changed: passing to internal failure
cryptoverif.2.05 on 5.2 had its build status changed: passing to internal failure
cryptoverif.2.07 on 4.08 had its build status changed: passing to internal failure
cryptoverif.2.07 on 4.09 had its build status changed: passing to internal failure
cryptoverif.2.07 on 4.10 had its build status changed: passing to internal failure
cryptoverif.2.07 on 4.11 had its build status changed: passing to internal failure
cryptoverif.2.07 on 4.12 had its build status changed: passing to internal failure
cryptoverif.2.07 on 4.13 had its build status changed: passing to internal failure
cryptoverif.2.07 on 4.14 had its build status changed: passing to internal failure
cryptoverif.2.07 on 5.0 had its build status changed: passing to internal failure
cryptoverif.2.07 on 5.1 had its build status changed: passing to internal failure
cryptoverif.2.07 on 5.2 had its build status changed: passing to internal failure
cryptoverif.2.08 on 4.08 had its build status changed: passing to internal failure
cryptoverif.2.08 on 4.09 had its build status changed: passing to internal failure
cryptoverif.2.08 on 4.10 had its build status changed: passing to internal failure
cryptoverif.2.08 on 4.11 had its build status changed: passing to internal failure
cryptoverif.2.08 on 4.12 had its build status changed: passing to internal failure
cryptoverif.2.08 on 4.13 had its build status changed: passing to internal failure
cryptoverif.2.08 on 4.14 had its build status changed: passing to internal failure
cryptoverif.2.08 on 5.0 had its build status changed: passing to internal failure
cryptoverif.2.08 on 5.1 had its build status changed: passing to internal failure
cryptoverif.2.08 on 5.2 had its build status changed: passing to internal failure
diy.5.01 on 4.08 had its build status changed: passing to internal failure
diy.5.01 on 4.09 had its build status changed: passing to internal failure
diy.5.01 on 4.10 had its build status changed: passing to internal failure
diy.5.01 on 4.11 had its build status changed: passing to internal failure
diy.5.01 on 4.12 had its build status changed: passing to internal failure
diy.5.01 on 4.13 had its build status changed: passing to internal failure
diy.5.01 on 4.14 had its build status changed: passing to internal failure
dkml-component-offline-opam.2.2.0~alpha0~20221104 on 4.12 had its build status changed: passing to internal failure
dkml-component-offline-opam.2.2.0~alpha0~20221104 on 4.13 had its build status changed: passing to internal failure
dkml-component-offline-opam.2.2.0~alpha0~20221104 on 4.14 had its build status changed: passing to internal failure
dkml-component-staging-opam32.2.2.0~alpha0~20221104 on 4.12 had its build status changed: passing to internal failure
dkml-component-staging-opam32.2.2.0~alpha0~20221104 on 4.13 had its build status changed: passing to internal failure
dkml-component-staging-opam32.2.2.0~alpha0~20221104 on 4.14 had its build status changed: passing to internal failure
dkml-component-staging-opam32.2.2.0~dkml20220801 on 4.12 had its build status changed: passing to internal failure
dkml-component-staging-opam32.2.2.0~dkml20220801 on 4.13 had its build status changed: passing to internal failure
dkml-component-staging-opam32.2.2.0~dkml20220801 on 4.14 had its build status changed: passing to internal failure
dkml-component-staging-opam64.2.2.0~alpha0~20221104 on 4.12 had its build status changed: passing to internal failure
dkml-component-staging-opam64.2.2.0~alpha0~20221104 on 4.13 had its build status changed: passing to internal failure
dkml-component-staging-opam64.2.2.0~alpha0~20221104 on 4.14 had its build status changed: passing to internal failure
dkml-component-staging-opam64.2.2.0~dkml20220801 on 4.12 had its build status changed: passing to internal failure
dkml-component-staging-opam64.2.2.0~dkml20220801 on 4.13 had its build status changed: passing to internal failure
dkml-component-staging-opam64.2.2.0~dkml20220801 on 4.14 had its build status changed: passing to internal failure
fix.20130611 on 4.08 had its build status changed: passing to internal failure
fix.20130611 on 4.09 had its build status changed: passing to internal failure
fix.20130611 on 4.10 had its build status changed: passing to internal failure
fix.20130611 on 4.11 had its build status changed: passing to internal failure
fix.20130611 on 4.12 had its build status changed: passing to internal failure
fix.20130611 on 4.13 had its build status changed: passing to internal failure
fix.20130611 on 4.14 had its build status changed: passing to internal failure
fix.20130611 on 5.0 had its build status changed: passing to internal failure
fix.20130611 on 5.1 had its build status changed: passing to internal failure
fix.20130611 on 5.2 had its build status changed: passing to internal failure
hevea.2.25 on 4.08 had its build status changed: passing to internal failure
hevea.2.25 on 4.09 had its build status changed: passing to internal failure
hevea.2.25 on 4.10 had its build status changed: passing to internal failure
hevea.2.25 on 4.11 had its build status changed: passing to internal failure
hevea.2.25 on 4.12 had its build status changed: passing to internal failure
hevea.2.25 on 4.13 had its build status changed: passing to internal failure
hevea.2.25 on 4.14 had its build status changed: passing to internal failure
hevea.2.28 on 4.08 had its build status changed: passing to internal failure
hevea.2.28 on 4.09 had its build status changed: passing to internal failure
hevea.2.28 on 4.10 had its build status changed: passing to internal failure
hevea.2.28 on 4.11 had its build status changed: passing to internal failure
hevea.2.28 on 4.12 had its build status changed: passing to internal failure
hevea.2.28 on 4.13 had its build status changed: passing to internal failure
hevea.2.28 on 4.14 had its build status changed: passing to internal failure
hevea.2.29 on 4.08 had its build status changed: passing to internal failure
hevea.2.29 on 4.09 had its build status changed: passing to internal failure
hevea.2.29 on 4.10 had its build status changed: passing to internal failure
hevea.2.29 on 4.11 had its build status changed: passing to internal failure
hevea.2.29 on 4.12 had its build status changed: passing to internal failure
hevea.2.29 on 4.13 had its build status changed: passing to internal failure
hevea.2.29 on 4.14 had its build status changed: passing to internal failure
hevea.2.32 on 4.08 had its build status changed: passing to internal failure
hevea.2.32 on 4.09 had its build status changed: passing to internal failure
hevea.2.32 on 4.10 had its build status changed: passing to internal failure
hevea.2.32 on 4.11 had its build status changed: passing to internal failure
hevea.2.32 on 4.12 had its build status changed: passing to internal failure
hevea.2.32 on 4.13 had its build status changed: passing to internal failure
hevea.2.32 on 4.14 had its build status changed: passing to internal failure
ledit.2.04 on 4.08 had its build status changed: passing to internal failure
ledit.2.04 on 4.09 had its build status changed: passing to internal failure
ledit.2.04 on 4.10 had its build status changed: passing to internal failure
ledit.2.04 on 4.11 had its build status changed: passing to internal failure
ledit.2.04 on 4.12 had its build status changed: passing to internal failure
menhir.20160303 on 4.08 had its build status changed: passing to internal failure
menhir.20160303 on 4.09 had its build status changed: passing to internal failure
menhir.20160303 on 4.10 had its build status changed: passing to internal failure
menhir.20160303 on 4.11 had its build status changed: passing to internal failure
menhir.20160303 on 4.12 had its build status changed: passing to internal failure
menhir.20160303 on 4.13 had its build status changed: passing to internal failure
menhir.20160303 on 4.14 had its build status changed: passing to internal failure
menhir.20160504 on 4.08 had its build status changed: passing to internal failure
menhir.20160504 on 4.09 had its build status changed: passing to internal failure
menhir.20160504 on 4.10 had its build status changed: passing to internal failure
menhir.20160504 on 4.11 had its build status changed: passing to internal failure
menhir.20160504 on 4.12 had its build status changed: passing to internal failure
menhir.20160504 on 4.13 had its build status changed: passing to internal failure
menhir.20160504 on 4.14 had its build status changed: passing to internal failure
menhir.20160526 on 4.08 had its build status changed: passing to internal failure
menhir.20160526 on 4.09 had its build status changed: passing to internal failure
menhir.20160526 on 4.10 had its build status changed: passing to internal failure
menhir.20160526 on 4.11 had its build status changed: passing to internal failure
menhir.20160526 on 4.12 had its build status changed: passing to internal failure
menhir.20160526 on 4.13 had its build status changed: passing to internal failure
menhir.20160526 on 4.14 had its build status changed: passing to internal failure
menhir.20160808 on 4.08 had its build status changed: passing to internal failure
menhir.20160808 on 4.09 had its build status changed: passing to internal failure
menhir.20160808 on 4.10 had its build status changed: passing to internal failure
menhir.20160808 on 4.11 had its build status changed: passing to internal failure
menhir.20160808 on 4.12 had its build status changed: passing to internal failure
menhir.20160808 on 4.13 had its build status changed: passing to internal failure
menhir.20160808 on 4.14 had its build status changed: passing to internal failure
menhir.20160825 on 4.08 had its build status changed: passing to internal failure
menhir.20160825 on 4.09 had its build status changed: passing to internal failure
menhir.20160825 on 4.10 had its build status changed: passing to internal failure
menhir.20160825 on 4.11 had its build status changed: passing to internal failure
menhir.20160825 on 4.12 had its build status changed: passing to internal failure
menhir.20160825 on 4.13 had its build status changed: passing to internal failure
menhir.20160825 on 4.14 had its build status changed: passing to internal failure
menhir.20161114 on 4.08 had its build status changed: passing to internal failure
menhir.20161114 on 4.09 had its build status changed: passing to internal failure
menhir.20161114 on 4.10 had its build status changed: passing to internal failure
menhir.20161114 on 4.11 had its build status changed: passing to internal failure
menhir.20161114 on 4.12 had its build status changed: passing to internal failure
menhir.20161114 on 4.13 had its build status changed: passing to internal failure
menhir.20161114 on 4.14 had its build status changed: passing to internal failure
menhir.20161115 on 4.08 had its build status changed: passing to internal failure
menhir.20161115 on 4.09 had its build status changed: passing to internal failure
menhir.20161115 on 4.10 had its build status changed: passing to internal failure
menhir.20161115 on 4.11 had its build status changed: passing to internal failure
menhir.20161115 on 4.12 had its build status changed: passing to internal failure
menhir.20161115 on 4.13 had its build status changed: passing to internal failure
menhir.20161115 on 4.14 had its build status changed: passing to internal failure
menhir.20170101 on 4.08 had its build status changed: passing to internal failure
menhir.20170101 on 4.09 had its build status changed: passing to internal failure
menhir.20170101 on 4.10 had its build status changed: passing to internal failure
menhir.20170101 on 4.11 had its build status changed: passing to internal failure
menhir.20170101 on 4.12 had its build status changed: passing to internal failure
menhir.20170101 on 4.13 had its build status changed: passing to internal failure
menhir.20170101 on 4.14 had its build status changed: passing to internal failure
menhir.20170418 on 4.08 had its build status changed: passing to internal failure
menhir.20170418 on 4.09 had its build status changed: passing to internal failure
menhir.20170418 on 4.10 had its build status changed: passing to internal failure
menhir.20170418 on 4.11 had its build status changed: passing to internal failure
menhir.20170418 on 4.12 had its build status changed: passing to internal failure
menhir.20170418 on 4.13 had its build status changed: passing to internal failure
menhir.20170418 on 4.14 had its build status changed: passing to internal failure
menhir.20170509 on 4.08 had its build status changed: passing to internal failure
menhir.20170509 on 4.09 had its build status changed: passing to internal failure
menhir.20170509 on 4.10 had its build status changed: passing to internal failure
menhir.20170509 on 4.11 had its build status changed: passing to internal failure
menhir.20170509 on 4.12 had its build status changed: passing to internal failure
menhir.20170509 on 4.13 had its build status changed: passing to internal failure
menhir.20170509 on 4.14 had its build status changed: passing to internal failure
menhir.20170607 on 4.08 had its build status changed: passing to internal failure
menhir.20170607 on 4.09 had its build status changed: passing to internal failure
menhir.20170607 on 4.10 had its build status changed: passing to internal failure
menhir.20170607 on 4.11 had its build status changed: passing to internal failure
menhir.20170607 on 4.12 had its build status changed: passing to internal failure
menhir.20170607 on 4.13 had its build status changed: passing to internal failure
menhir.20170607 on 4.14 had its build status changed: passing to internal failure
menhir.20170712 on 4.08 had its build status changed: passing to internal failure
menhir.20170712 on 4.09 had its build status changed: passing to internal failure
menhir.20170712 on 4.10 had its build status changed: passing to internal failure
menhir.20170712 on 4.11 had its build status changed: passing to internal failure
menhir.20170712 on 4.12 had its build status changed: passing to internal failure
menhir.20170712 on 4.13 had its build status changed: passing to internal failure
menhir.20170712 on 4.14 had its build status changed: passing to internal failure
menhir.20171013 on 4.08 had its build status changed: passing to internal failure
menhir.20171013 on 4.09 had its build status changed: passing to internal failure
menhir.20171013 on 4.10 had its build status changed: passing to internal failure
menhir.20171013 on 4.11 had its build status changed: passing to internal failure
menhir.20171013 on 4.12 had its build status changed: passing to internal failure
menhir.20171013 on 4.13 had its build status changed: passing to internal failure
menhir.20171013 on 4.14 had its build status changed: passing to internal failure
menhir.20171206 on 4.08 had its build status changed: passing to internal failure
menhir.20171206 on 4.09 had its build status changed: passing to internal failure
menhir.20171206 on 4.10 had its build status changed: passing to internal failure
menhir.20171206 on 4.11 had its build status changed: passing to internal failure
menhir.20171206 on 4.12 had its build status changed: passing to internal failure
menhir.20171206 on 4.13 had its build status changed: passing to internal failure
menhir.20171206 on 4.14 had its build status changed: passing to internal failure
menhir.20171222 on 4.08 had its build status changed: passing to internal failure
menhir.20171222 on 4.09 had its build status changed: passing to internal failure
menhir.20171222 on 4.10 had its build status changed: passing to internal failure
menhir.20171222 on 4.11 had its build status changed: passing to internal failure
menhir.20171222 on 4.12 had its build status changed: passing to internal failure
menhir.20171222 on 4.13 had its build status changed: passing to internal failure
menhir.20171222 on 4.14 had its build status changed: passing to internal failure
menhir.20180528 on 4.08 had its build status changed: passing to internal failure
menhir.20180528 on 4.09 had its build status changed: passing to internal failure
menhir.20180528 on 4.10 had its build status changed: passing to internal failure
menhir.20180528 on 4.11 had its build status changed: passing to internal failure
menhir.20180528 on 4.12 had its build status changed: passing to internal failure
menhir.20180528 on 4.13 had its build status changed: passing to internal failure
menhir.20180528 on 4.14 had its build status changed: passing to internal failure
menhir.20180530 on 4.08 had its build status changed: passing to internal failure
menhir.20180530 on 4.09 had its build status changed: passing to internal failure
menhir.20180530 on 4.10 had its build status changed: passing to internal failure
menhir.20180530 on 4.11 had its build status changed: passing to internal failure
menhir.20180530 on 4.12 had its build status changed: passing to internal failure
menhir.20180530 on 4.13 had its build status changed: passing to internal failure
menhir.20180530 on 4.14 had its build status changed: passing to internal failure
menhir.20180703 on 4.08 had its build status changed: passing to internal failure
menhir.20180703 on 4.09 had its build status changed: passing to internal failure
menhir.20180703 on 4.10 had its build status changed: passing to internal failure
menhir.20180703 on 4.11 had its build status changed: passing to internal failure
menhir.20180703 on 4.12 had its build status changed: passing to internal failure
menhir.20180703 on 4.13 had its build status changed: passing to internal failure
menhir.20180703 on 4.14 had its build status changed: passing to internal failure
menhir.20180905 on 4.08 had its build status changed: passing to internal failure
menhir.20180905 on 4.09 had its build status changed: passing to internal failure
menhir.20180905 on 4.10 had its build status changed: passing to internal failure
menhir.20180905 on 4.11 had its build status changed: passing to internal failure
menhir.20180905 on 4.12 had its build status changed: passing to internal failure
menhir.20180905 on 4.13 had its build status changed: passing to internal failure
menhir.20180905 on 4.14 had its build status changed: passing to internal failure
menhir.20181006 on 4.08 had its build status changed: passing to internal failure
menhir.20181006 on 4.09 had its build status changed: passing to internal failure
menhir.20181006 on 4.10 had its build status changed: passing to internal failure
menhir.20181006 on 4.11 had its build status changed: passing to internal failure
menhir.20181006 on 4.12 had its build status changed: passing to internal failure
menhir.20181006 on 4.13 had its build status changed: passing to internal failure
menhir.20181006 on 4.14 had its build status changed: passing to internal failure
qcheck-alcotest.0.18 on 4.09 had its build status changed: passing to internal failure
qcheck-alcotest.0.18 on 4.10 had its build status changed: passing to internal failure
qcheck-alcotest.0.18 on 4.12 had its build status changed: passing to internal failure
qcheck-alcotest.0.18 on 4.13 had its build status changed: passing to internal failure
qcheck-alcotest.0.18.1 on 4.08 had its build status changed: passing to internal failure
qcheck-alcotest.0.18.1 on 5.2 had its build status changed: passing to internal failure
qcheck-alcotest.0.19 on 4.12 had its build status changed: passing to internal failure
qcheck-alcotest.0.19.1 on 4.14 had its build status changed: passing to internal failure
qcheck-alcotest.0.20 on 5.2 had its build status changed: passing to internal failure
qcheck-alcotest.0.21 on 4.14 had its build status changed: passing to internal failure
qcheck-alcotest.0.21 on 5.1 had its build status changed: passing to internal failure
qcheck-alcotest.0.21.1 on 5.2 had its build status changed: passing to internal failure
qcheck-alcotest.0.21.3 on 5.0 had its build status changed: passing to internal failure
qcheck-alcotest.0.21.3 on 5.1 had its build status changed: passing to internal failure
qcheck-core.0.11 on 4.14 had its build status changed: passing to internal failure
qcheck-core.0.12 on 4.09 had its build status changed: passing to internal failure
qcheck-core.0.13 on 4.08 had its build status changed: passing to internal failure
qcheck-core.0.13 on 4.09 had its build status changed: passing to internal failure
qcheck-core.0.13 on 4.10 had its build status changed: passing to internal failure
qcheck-core.0.13 on 4.13 had its build status changed: passing to internal failure
solo5.0.7.0 on 4.13 had its build status changed: failing to internal failure

Packages now passing:

aches-lwt.1.1.0 on 4.08 is now installable. Current state is: passing
aches-lwt.1.1.0 on 4.09 is now installable. Current state is: passing
aches-lwt.1.1.0 on 4.10 is now installable. Current state is: passing
aches-lwt.1.1.0 on 4.11 is now installable. Current state is: passing
aches-lwt.1.1.0 on 4.12 is now installable. Current state is: passing
aches-lwt.1.1.0 on 4.13 is now installable. Current state is: passing
aches-lwt.1.1.0 on 4.14 is now installable. Current state is: passing
aches-lwt.1.1.0 on 5.0 is now installable. Current state is: passing
aches-lwt.1.1.0 on 5.1 is now installable. Current state is: passing
aches-lwt.1.1.0 on 5.2 is now installable. Current state is: passing
aches.1.1.0 on 4.08 is now installable. Current state is: passing
aches.1.1.0 on 4.09 is now installable. Current state is: passing
aches.1.1.0 on 4.10 is now installable. Current state is: passing
aches.1.1.0 on 4.11 is now installable. Current state is: passing
aches.1.1.0 on 4.12 is now installable. Current state is: passing
aches.1.1.0 on 4.13 is now installable. Current state is: passing
aches.1.1.0 on 4.14 is now installable. Current state is: passing
aches.1.1.0 on 5.0 is now installable. Current state is: passing
aches.1.1.0 on 5.1 is now installable. Current state is: passing
aches.1.1.0 on 5.2 is now installable. Current state is: passing
alt-ergo.2.0.0 on 4.12 had its build status changed: failing to passing
alt-ergo.2.2.0 on 4.10 had its build status changed: failing to passing
alt-ergo.2.2.0 on 4.12 had its build status changed: failing to passing
alt-ergo.2.2.0 on 4.14 had its build status changed: failing to passing
ask-integrator.0.2.0 on 5.2 had its build status changed: internal failure to passing
ca-certs-nss.3.101 on 4.08 is now installable. Current state is: passing
ca-certs-nss.3.101 on 4.09 is now installable. Current state is: passing
ca-certs-nss.3.101 on 4.10 is now installable. Current state is: passing
ca-certs-nss.3.101 on 4.11 is now installable. Current state is: passing
ca-certs-nss.3.101 on 4.12 is now installable. Current state is: passing
ca-certs-nss.3.101 on 4.13 is now installable. Current state is: passing
ca-certs-nss.3.101 on 4.14 is now installable. Current state is: passing
ca-certs-nss.3.101 on 5.0 is now installable. Current state is: passing
ca-certs-nss.3.101 on 5.1 is now installable. Current state is: passing
ca-certs-nss.3.101 on 5.2 is now installable. Current state is: passing
checked_oint.0.2.0 on 4.13 is now installable. Current state is: passing
checked_oint.0.2.0 on 4.14 is now installable. Current state is: passing
checked_oint.0.2.0 on 5.0 is now installable. Current state is: passing
checked_oint.0.2.0 on 5.1 is now installable. Current state is: passing
checked_oint.0.2.0 on 5.2 is now installable. Current state is: passing
cobs.0.1.1 on 4.08 is now installable. Current state is: passing
cobs.0.1.1 on 4.09 is now installable. Current state is: passing
cobs.0.1.1 on 4.10 is now installable. Current state is: passing
cobs.0.1.1 on 4.11 is now installable. Current state is: passing
cobs.0.1.1 on 4.12 is now installable. Current state is: passing
cobs.0.1.1 on 4.13 is now installable. Current state is: passing
cobs.0.1.1 on 4.14 is now installable. Current state is: passing
cobs.0.1.1 on 5.0 is now installable. Current state is: passing
cobs.0.1.1 on 5.1 is now installable. Current state is: passing
cobs.0.1.1 on 5.2 is now installable. Current state is: passing
conduit-async.6.2.3 on 4.11 is now installable. Current state is: passing
conduit-async.6.2.3 on 4.12 is now installable. Current state is: passing
conduit-async.6.2.3 on 4.13 is now installable. Current state is: passing
conduit-async.6.2.3 on 4.14 is now installable. Current state is: passing
conduit-async.6.2.3 on 5.0 is now installable. Current state is: passing
conduit-async.6.2.3 on 5.1 is now installable. Current state is: passing
conduit-async.6.2.3 on 5.2 is now installable. Current state is: passing
conduit-lwt-unix.6.2.3 on 4.08 is now installable. Current state is: passing
conduit-lwt-unix.6.2.3 on 4.09 is now installable. Current state is: passing
conduit-lwt-unix.6.2.3 on 4.10 is now installable. Current state is: passing
conduit-lwt-unix.6.2.3 on 4.11 is now installable. Current state is: passing
conduit-lwt-unix.6.2.3 on 4.12 is now installable. Current state is: passing
conduit-lwt-unix.6.2.3 on 4.13 is now installable. Current state is: passing
conduit-lwt-unix.6.2.3 on 4.14 is now installable. Current state is: passing
conduit-lwt-unix.6.2.3 on 5.0 is now installable. Current state is: passing
conduit-lwt-unix.6.2.3 on 5.1 is now installable. Current state is: passing
conduit-lwt-unix.6.2.3 on 5.2 is now installable. Current state is: passing
conduit-lwt.6.2.3 on 4.08 is now installable. Current state is: passing
conduit-lwt.6.2.3 on 4.09 is now installable. Current state is: passing
conduit-lwt.6.2.3 on 4.10 is now installable. Current state is: passing
conduit-lwt.6.2.3 on 4.11 is now installable. Current state is: passing
conduit-lwt.6.2.3 on 4.12 is now installable. Current state is: passing
conduit-lwt.6.2.3 on 4.13 is now installable. Current state is: passing
conduit-lwt.6.2.3 on 4.14 is now installable. Current state is: passing
conduit-lwt.6.2.3 on 5.0 is now installable. Current state is: passing
conduit-lwt.6.2.3 on 5.1 is now installable. Current state is: passing
conduit-lwt.6.2.3 on 5.2 is now installable. Current state is: passing
conduit-mirage.6.2.3 on 4.08 is now installable. Current state is: passing
conduit-mirage.6.2.3 on 4.09 is now installable. Current state is: passing
conduit-mirage.6.2.3 on 4.10 is now installable. Current state is: passing
conduit-mirage.6.2.3 on 4.11 is now installable. Current state is: passing
conduit-mirage.6.2.3 on 4.12 is now installable. Current state is: passing
conduit-mirage.6.2.3 on 4.13 is now installable. Current state is: passing
conduit-mirage.6.2.3 on 4.14 is now installable. Current state is: passing
conduit-mirage.6.2.3 on 5.0 is now installable. Current state is: passing
conduit-mirage.6.2.3 on 5.1 is now installable. Current state is: passing
conduit-mirage.6.2.3 on 5.2 is now installable. Current state is: passing
conduit.6.2.3 on 4.08 is now installable. Current state is: passing
conduit.6.2.3 on 4.09 is now installable. Current state is: passing
conduit.6.2.3 on 4.10 is now installable. Current state is: passing
conduit.6.2.3 on 4.11 is now installable. Current state is: passing
conduit.6.2.3 on 4.12 is now installable. Current state is: passing
conduit.6.2.3 on 4.13 is now installable. Current state is: passing
conduit.6.2.3 on 4.14 is now installable. Current state is: passing
conduit.6.2.3 on 5.0 is now installable. Current state is: passing
conduit.6.2.3 on 5.1 is now installable. Current state is: passing
conduit.6.2.3 on 5.2 is now installable. Current state is: passing
conf-autoconf.0.2 on 4.08 is now installable. Current state is: passing
conf-autoconf.0.2 on 4.09 is now installable. Current state is: passing
conf-autoconf.0.2 on 4.10 is now installable. Current state is: passing
conf-autoconf.0.2 on 4.11 is now installable. Current state is: passing
conf-autoconf.0.2 on 4.12 is now installable. Current state is: passing
conf-autoconf.0.2 on 4.13 is now installable. Current state is: passing
conf-autoconf.0.2 on 4.14 is now installable. Current state is: passing
conf-autoconf.0.2 on 5.0 is now installable. Current state is: passing
conf-autoconf.0.2 on 5.1 is now installable. Current state is: passing
conf-autoconf.0.2 on 5.2 is now installable. Current state is: passing
elpi.1.19.2 on 4.08 is now installable. Current state is: passing
elpi.1.19.2 on 4.09 is now installable. Current state is: passing
elpi.1.19.2 on 4.10 is now installable. Current state is: passing
elpi.1.19.2 on 4.11 is now installable. Current state is: passing
elpi.1.19.2 on 4.12 is now installable. Current state is: passing
elpi.1.19.2 on 4.13 is now installable. Current state is: passing
elpi.1.19.2 on 4.14 is now installable. Current state is: passing
elpi.1.19.2 on 5.0 is now installable. Current state is: passing
elpi.1.19.2 on 5.1 is now installable. Current state is: passing
elpi.1.19.2 on 5.2 is now installable. Current state is: passing
frama-c.29.0 on 4.13 is now installable. Current state is: passing
frama-c.29.0 on 4.14 is now installable. Current state is: passing
frama-c.29.0 on 5.0 is now installable. Current state is: passing
frama-c.29.0 on 5.1 is now installable. Current state is: passing
frama-c.29.0 on 5.2 is now installable. Current state is: passing
functory.0.6 on 4.12 had its build status changed: failing to passing
git-mirage.3.16.1 on 4.10 is now installable. Current state is: passing
git-mirage.3.16.1 on 4.11 is now installable. Current state is: passing
git-mirage.3.16.1 on 4.12 is now installable. Current state is: passing
git-mirage.3.16.1 on 4.13 is now installable. Current state is: passing
git-mirage.3.16.1 on 4.14 is now installable. Current state is: passing
git-mirage.3.16.1 on 5.0 is now installable. Current state is: passing
git-mirage.3.16.1 on 5.1 is now installable. Current state is: passing
git-mirage.3.16.1 on 5.2 is now installable. Current state is: passing
git-paf.3.16.1 on 4.08 is now installable. Current state is: passing
git-paf.3.16.1 on 4.09 is now installable. Current state is: passing
git-paf.3.16.1 on 4.10 is now installable. Current state is: passing
git-paf.3.16.1 on 4.11 is now installable. Current state is: passing
git-paf.3.16.1 on 4.12 is now installable. Current state is: passing
git-paf.3.16.1 on 4.13 is now installable. Current state is: passing
git-paf.3.16.1 on 4.14 is now installable. Current state is: passing
git-paf.3.16.1 on 5.0 is now installable. Current state is: passing
git-paf.3.16.1 on 5.1 is now installable. Current state is: passing
git-paf.3.16.1 on 5.2 is now installable. Current state is: passing
git-unix.3.16.1 on 4.10 is now installable. Current state is: passing
git-unix.3.16.1 on 4.11 is now installable. Current state is: passing
git-unix.3.16.1 on 4.12 is now installable. Current state is: passing
git-unix.3.16.1 on 4.13 is now installable. Current state is: passing
git-unix.3.16.1 on 4.14 is now installable. Current state is: passing
git-unix.3.16.1 on 5.0 is now installable. Current state is: passing
git-unix.3.16.1 on 5.1 is now installable. Current state is: passing
git-unix.3.16.1 on 5.2 is now installable. Current state is: passing
git.3.16.1 on 4.08 is now installable. Current state is: passing
git.3.16.1 on 4.09 is now installable. Current state is: passing
git.3.16.1 on 4.10 is now installable. Current state is: passing
git.3.16.1 on 4.11 is now installable. Current state is: passing
git.3.16.1 on 4.12 is now installable. Current state is: passing
git.3.16.1 on 4.13 is now installable. Current state is: passing
git.3.16.1 on 4.14 is now installable. Current state is: passing
git.3.16.1 on 5.0 is now installable. Current state is: passing
git.3.16.1 on 5.1 is now installable. Current state is: passing
git.3.16.1 on 5.2 is now installable. Current state is: passing
hacl-star-raw.0.1 on 4.09 had its build status changed: failing to passing
hacl-star-raw.0.1 on 4.11 had its build status changed: failing to passing
hacl-star-raw.0.1 on 4.13 had its build status changed: failing to passing
hacl-star-raw.0.1.1 on 4.12 had its build status changed: failing to passing
hacl-star-raw.0.2.0 on 4.08 had its build status changed: failing to passing
hacl-star-raw.0.2.0 on 4.11 had its build status changed: failing to passing
hacl-star-raw.0.2.1 on 4.08 had its build status changed: failing to passing
hacl-star-raw.0.2.1 on 4.14 had its build status changed: failing to passing
hacl-star-raw.0.2.2 on 4.09 had its build status changed: failing to passing
hacl-star.0.1 on 4.11 had its build status changed: partially failing to passing
hacl-star.0.2.1 on 4.09 had its build status changed: partially failing to passing
hacl-star.0.2.1 on 4.10 had its build status changed: partially failing to passing
hacl-star.0.2.1 on 4.11 had its build status changed: partially failing to passing
hacl-star.0.2.1 on 4.14 had its build status changed: partially failing to passing
hacl-star.0.2.2 on 4.08 had its build status changed: partially failing to passing
hacl-star.0.2.2 on 4.10 had its build status changed: partially failing to passing
hacl-star.0.2.2 on 4.11 had its build status changed: partially failing to passing
html_of_jsx.0.0.3 on 5.0 is now installable. Current state is: passing
html_of_jsx.0.0.3 on 5.1 is now installable. Current state is: passing
html_of_jsx.0.0.3 on 5.2 is now installable. Current state is: passing
httpun-async.0.1.0 on 4.14 is now installable. Current state is: passing
httpun-async.0.1.0 on 5.0 is now installable. Current state is: passing
httpun-async.0.1.0 on 5.1 is now installable. Current state is: passing
httpun-async.0.1.0 on 5.2 is now installable. Current state is: passing
httpun-eio.0.1.0 on 5.0 is now installable. Current state is: passing
httpun-eio.0.1.0 on 5.1 is now installable. Current state is: passing
httpun-eio.0.1.0 on 5.2 is now installable. Current state is: passing
httpun-lwt-unix.0.1.0 on 4.08 is now installable. Current state is: passing
httpun-lwt-unix.0.1.0 on 4.09 is now installable. Current state is: passing
httpun-lwt-unix.0.1.0 on 4.10 is now installable. Current state is: passing
httpun-lwt-unix.0.1.0 on 4.11 is now installable. Current state is: passing
httpun-lwt-unix.0.1.0 on 4.12 is now installable. Current state is: passing
httpun-lwt-unix.0.1.0 on 4.13 is now installable. Current state is: passing
httpun-lwt-unix.0.1.0 on 4.14 is now installable. Current state is: passing
httpun-lwt-unix.0.1.0 on 5.0 is now installable. Current state is: passing
httpun-lwt-unix.0.1.0 on 5.1 is now installable. Current state is: passing
httpun-lwt-unix.0.1.0 on 5.2 is now installable. Current state is: passing
httpun-lwt.0.1.0 on 4.08 is now installable. Current state is: passing
httpun-lwt.0.1.0 on 4.09 is now installable. Current state is: passing
httpun-lwt.0.1.0 on 4.10 is now installable. Current state is: passing
httpun-lwt.0.1.0 on 4.11 is now installable. Current state is: passing
httpun-lwt.0.1.0 on 4.12 is now installable. Current state is: passing
httpun-lwt.0.1.0 on 4.13 is now installable. Current state is: passing
httpun-lwt.0.1.0 on 4.14 is now installable. Current state is: passing
httpun-lwt.0.1.0 on 5.0 is now installable. Current state is: passing
httpun-lwt.0.1.0 on 5.1 is now installable. Current state is: passing
httpun-lwt.0.1.0 on 5.2 is now installable. Current state is: passing
httpun-mirage.0.1.0 on 4.08 is now installable. Current state is: passing
httpun-mirage.0.1.0 on 4.09 is now installable. Current state is: passing
httpun-mirage.0.1.0 on 4.10 is now installable. Current state is: passing
httpun-mirage.0.1.0 on 4.11 is now installable. Current state is: passing
httpun-mirage.0.1.0 on 4.12 is now installable. Current state is: passing
httpun-mirage.0.1.0 on 4.13 is now installable. Current state is: passing
httpun-mirage.0.1.0 on 4.14 is now installable. Current state is: passing
httpun-mirage.0.1.0 on 5.0 is now installable. Current state is: passing
httpun-mirage.0.1.0 on 5.1 is now installable. Current state is: passing
httpun-mirage.0.1.0 on 5.2 is now installable. Current state is: passing
httpun-types.0.1.0 on 4.08 is now installable. Current state is: passing
httpun-types.0.1.0 on 4.09 is now installable. Current state is: passing
httpun-types.0.1.0 on 4.10 is now installable. Current state is: passing
httpun-types.0.1.0 on 4.11 is now installable. Current state is: passing
httpun-types.0.1.0 on 4.12 is now installable. Current state is: passing
httpun-types.0.1.0 on 4.13 is now installable. Current state is: passing
httpun-types.0.1.0 on 4.14 is now installable. Current state is: passing
httpun-types.0.1.0 on 5.0 is now installable. Current state is: passing
httpun-types.0.1.0 on 5.1 is now installable. Current state is: passing
httpun-types.0.1.0 on 5.2 is now installable. Current state is: passing
httpun.0.1.0 on 4.08 is now installable. Current state is: passing
httpun.0.1.0 on 4.09 is now installable. Current state is: passing
httpun.0.1.0 on 4.10 is now installable. Current state is: passing
httpun.0.1.0 on 4.11 is now installable. Current state is: passing
httpun.0.1.0 on 4.12 is now installable. Current state is: passing
httpun.0.1.0 on 4.13 is now installable. Current state is: passing
httpun.0.1.0 on 4.14 is now installable. Current state is: passing
httpun.0.1.0 on 5.0 is now installable. Current state is: passing
httpun.0.1.0 on 5.1 is now installable. Current state is: passing
httpun.0.1.0 on 5.2 is now installable. Current state is: passing
jasmin.2023.06.3 on 4.11 is now installable. Current state is: passing
jasmin.2023.06.3 on 4.12 is now installable. Current state is: passing
jasmin.2023.06.3 on 4.13 is now installable. Current state is: passing
jasmin.2023.06.3 on 4.14 is now installable. Current state is: passing
jasmin.2023.06.3 on 5.0 is now installable. Current state is: passing
jasmin.2023.06.3 on 5.1 is now installable. Current state is: passing
jasmin.2023.06.3 on 5.2 is now installable. Current state is: passing
lambdapi.2.0.0 on 4.08 had its build status changed: partially failing to passing
lambdapi.2.0.0 on 4.09 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
melange.4.0.1-52 on 5.2 is now installable. Current state is: passing
merlin-lib.4.16-414 on 4.14 is now installable. Current state is: passing
merlin.4.16-414 on 4.14 is now installable. Current state is: passing
mirage-qubes-ipv4.0.10.0 on 4.08 is now installable. Current state is: passing
mirage-qubes-ipv4.0.10.0 on 4.09 is now installable. Current state is: passing
mirage-qubes-ipv4.0.10.0 on 4.10 is now installable. Current state is: passing
mirage-qubes-ipv4.0.10.0 on 4.11 is now installable. Current state is: passing
mirage-qubes-ipv4.0.10.0 on 4.12 is now installable. Current state is: passing
mirage-qubes-ipv4.0.10.0 on 4.13 is now installable. Current state is: passing
mirage-qubes-ipv4.0.10.0 on 4.14 is now installable. Current state is: passing
mirage-qubes-ipv4.0.10.0 on 5.0 is now installable. Current state is: passing
mirage-qubes-ipv4.0.10.0 on 5.1 is now installable. Current state is: passing
mirage-qubes-ipv4.0.10.0 on 5.2 is now installable. Current state is: passing
mirage-qubes.0.10.0 on 4.08 is now installable. Current state is: passing
mirage-qubes.0.10.0 on 4.09 is now installable. Current state is: passing
mirage-qubes.0.10.0 on 4.10 is now installable. Current state is: passing
mirage-qubes.0.10.0 on 4.11 is now installable. Current state is: passing
mirage-qubes.0.10.0 on 4.12 is now installable. Current state is: passing
mirage-qubes.0.10.0 on 4.13 is now installable. Current state is: passing
mirage-qubes.0.10.0 on 4.14 is now installable. Current state is: passing
mirage-qubes.0.10.0 on 5.0 is now installable. Current state is: passing
mirage-qubes.0.10.0 on 5.1 is now installable. Current state is: passing
mirage-qubes.0.10.0 on 5.2 is now installable. Current state is: passing
mybuild.7 on 4.08 is now installable. Current state is: passing
mybuild.7 on 4.09 is now installable. Current state is: passing
mybuild.7 on 4.10 is now installable. Current state is: passing
mybuild.7 on 4.11 is now installable. Current state is: passing
mybuild.7 on 4.12 is now installable. Current state is: passing
mybuild.7 on 4.13 is now installable. Current state is: passing
mybuild.7 on 4.14 is now installable. Current state is: passing
mybuild.7 on 5.0 is now installable. Current state is: passing
mybuild.7 on 5.1 is now installable. Current state is: passing
mybuild.7 on 5.2 is now installable. Current state is: passing
nuscr.2.0.0 on 5.1 had its build status changed: failing to passing
nuscr.2.0.0 on 5.2 had its build status changed: failing to passing
ollvm-tapir.0.99.1 on 4.09 had its build status changed: failing to passing
ollvm-tapir.0.99.1 on 4.10 had its build status changed: failing to passing
ollvm.0.99 on 4.09 had its build status changed: failing to passing
ollvm.0.99 on 4.12 had its build status changed: failing to passing
ollvm.0.99 on 5.0 had its build status changed: failing to passing
ollvm.0.99 on 5.2 had its build status changed: failing to passing
opam-client.2.2.0~beta3 on 4.08 is now installable. Current state is: passing
opam-client.2.2.0~beta3 on 4.09 is now installable. Current state is: passing
opam-client.2.2.0~beta3 on 4.10 is now installable. Current state is: passing
opam-client.2.2.0~beta3 on 4.11 is now installable. Current state is: passing
opam-client.2.2.0~beta3 on 4.12 is now installable. Current state is: passing
opam-client.2.2.0~beta3 on 4.13 is now installable. Current state is: passing
opam-client.2.2.0~beta3 on 4.14 is now installable. Current state is: passing
opam-client.2.2.0~beta3 on 5.0 is now installable. Current state is: passing
opam-client.2.2.0~beta3 on 5.1 is now installable. Current state is: passing
opam-client.2.2.0~beta3 on 5.2 is now installable. Current state is: passing
opam-core.2.2.0~beta3 on 4.08 is now installable. Current state is: passing
opam-core.2.2.0~beta3 on 4.09 is now installable. Current state is: passing
opam-core.2.2.0~beta3 on 4.10 is now installable. Current state is: passing
opam-core.2.2.0~beta3 on 4.11 is now installable. Current state is: passing
opam-core.2.2.0~beta3 on 4.12 is now installable. Current state is: passing
opam-core.2.2.0~beta3 on 4.13 is now installable. Current state is: passing
opam-core.2.2.0~beta3 on 4.14 is now installable. Current state is: passing
opam-core.2.2.0~beta3 on 5.0 is now installable. Current state is: passing
opam-core.2.2.0~beta3 on 5.1 is now installable. Current state is: passing
opam-core.2.2.0~beta3 on 5.2 is now installable. Current state is: passing
opam-devel.2.2.0~beta3 on 4.08 is now installable. Current state is: passing
opam-devel.2.2.0~beta3 on 4.09 is now installable. Current state is: passing
opam-devel.2.2.0~beta3 on 4.10 is now installable. Current state is: passing
opam-devel.2.2.0~beta3 on 4.11 is now installable. Current state is: passing
opam-devel.2.2.0~beta3 on 4.12 is now installable. Current state is: passing
opam-devel.2.2.0~beta3 on 4.13 is now installable. Current state is: passing
opam-devel.2.2.0~beta3 on 4.14 is now installable. Current state is: passing
opam-devel.2.2.0~beta3 on 5.0 is now installable. Current state is: passing
opam-devel.2.2.0~beta3 on 5.1 is now installable. Current state is: passing
opam-devel.2.2.0~beta3 on 5.2 is now installable. Current state is: passing
opam-format.2.2.0~beta3 on 4.08 is now installable. Current state is: passing
opam-format.2.2.0~beta3 on 4.09 is now installable. Current state is: passing
opam-format.2.2.0~beta3 on 4.10 is now installable. Current state is: passing
opam-format.2.2.0~beta3 on 4.11 is now installable. Current state is: passing
opam-format.2.2.0~beta3 on 4.12 is now installable. Current state is: passing
opam-format.2.2.0~beta3 on 4.13 is now installable. Current state is: passing
opam-format.2.2.0~beta3 on 4.14 is now installable. Current state is: passing
opam-format.2.2.0~beta3 on 5.0 is now installable. Current state is: passing
opam-format.2.2.0~beta3 on 5.1 is now installable. Current state is: passing
opam-format.2.2.0~beta3 on 5.2 is now installable. Current state is: passing
opam-installer.2.2.0~beta3 on 4.08 is now installable. Current state is: passing
opam-installer.2.2.0~beta3 on 4.09 is now installable. Current state is: passing
opam-installer.2.2.0~beta3 on 4.10 is now installable. Current state is: passing
opam-installer.2.2.0~beta3 on 4.11 is now installable. Current state is: passing
opam-installer.2.2.0~beta3 on 4.12 is now installable. Current state is: passing
opam-installer.2.2.0~beta3 on 4.13 is now installable. Current state is: passing
opam-installer.2.2.0~beta3 on 4.14 is now installable. Current state is: passing
opam-installer.2.2.0~beta3 on 5.0 is now installable. Current state is: passing
opam-installer.2.2.0~beta3 on 5.1 is now installable. Current state is: passing
opam-installer.2.2.0~beta3 on 5.2 is now installable. Current state is: passing
opam-repository.2.2.0~beta3 on 4.08 is now installable. Current state is: passing
opam-repository.2.2.0~beta3 on 4.09 is now installable. Current state is: passing
opam-repository.2.2.0~beta3 on 4.10 is now installable. Current state is: passing
opam-repository.2.2.0~beta3 on 4.11 is now installable. Current state is: passing
opam-repository.2.2.0~beta3 on 4.12 is now installable. Current state is: passing
opam-repository.2.2.0~beta3 on 4.13 is now installable. Current state is: passing
opam-repository.2.2.0~beta3 on 4.14 is now installable. Current state is: passing
opam-repository.2.2.0~beta3 on 5.0 is now installable. Current state is: passing
opam-repository.2.2.0~beta3 on 5.1 is now installable. Current state is: passing
opam-repository.2.2.0~beta3 on 5.2 is now installable. Current state is: passing
opam-solver.2.2.0~beta3 on 4.08 is now installable. Current state is: passing
opam-solver.2.2.0~beta3 on 4.09 is now installable. Current state is: passing
opam-solver.2.2.0~beta3 on 4.10 is now installable. Current state is: passing
opam-solver.2.2.0~beta3 on 4.11 is now installable. Current state is: passing
opam-solver.2.2.0~beta3 on 4.12 is now installable. Current state is: passing
opam-solver.2.2.0~beta3 on 4.13 is now installable. Current state is: passing
opam-solver.2.2.0~beta3 on 4.14 is now installable. Current state is: passing
opam-solver.2.2.0~beta3 on 5.0 is now installable. Current state is: passing
opam-solver.2.2.0~beta3 on 5.1 is now installable. Current state is: passing
opam-solver.2.2.0~beta3 on 5.2 is now installable. Current state is: passing
opam-state.2.2.0~beta3 on 4.08 is now installable. Current state is: passing
opam-state.2.2.0~beta3 on 4.09 is now installable. Current state is: passing
opam-state.2.2.0~beta3 on 4.10 is now installable. Current state is: passing
opam-state.2.2.0~beta3 on 4.11 is now installable. Current state is: passing
opam-state.2.2.0~beta3 on 4.12 is now installable. Current state is: passing
opam-state.2.2.0~beta3 on 4.13 is now installable. Current state is: passing
opam-state.2.2.0~beta3 on 4.14 is now installable. Current state is: passing
opam-state.2.2.0~beta3 on 5.0 is now installable. Current state is: passing
opam-state.2.2.0~beta3 on 5.1 is now installable. Current state is: passing
opam-state.2.2.0~beta3 on 5.2 is now installable. Current state is: passing
pds-reachability.0.2.3 on 4.12 had its build status changed: internal failure to passing
pgx_async.2.2 on 5.1 had its build status changed: failing to passing
pgx_async.2.2 on 5.2 had its build status changed: failing to passing
portia.1.1 on 4.09 had its build status changed: failing to passing
portia.1.1 on 4.10 had its build status changed: failing to passing
portia.1.3 on 4.14 had its build status changed: failing to passing
portia.1.5 on 4.08 had its build status changed: failing to passing
portia.1.5 on 4.11 had its build status changed: failing to passing
portia.1.5 on 4.12 had its build status changed: failing to passing
ringo.1.1.0 on 4.08 is now installable. Current state is: passing
ringo.1.1.0 on 4.09 is now installable. Current state is: passing
ringo.1.1.0 on 4.10 is now installable. Current state is: passing
ringo.1.1.0 on 4.11 is now installable. Current state is: passing
ringo.1.1.0 on 4.12 is now installable. Current state is: passing
ringo.1.1.0 on 4.13 is now installable. Current state is: passing
ringo.1.1.0 on 4.14 is now installable. Current state is: passing
ringo.1.1.0 on 5.0 is now installable. Current state is: passing
ringo.1.1.0 on 5.1 is now installable. Current state is: passing
ringo.1.1.0 on 5.2 is now installable. Current state is: passing
tuareg.2.1.0 on 4.12 had its build status changed: failing to passing
tuareg.2.1.0 on 4.13 had its build status changed: failing to passing
tuareg.2.1.0 on 5.0 had its build status changed: failing to passing
visitors.20190711 on 4.09 had its build status changed: internal failure to passing
visitors.20190711 on 4.10 had its build status changed: internal failure to passing
visitors.20190711 on 4.11 had its build status changed: internal failure to passing
yices2_bindings.0.2 on 4.08 had its build status changed: internal failure to passing
yices2_bindings.0.2 on 4.10 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.11.2 on 4.11 had its build status changed: internal failure to passing
z3.4.12.2-1 on 4.09 had its build status changed: internal failure to passing
z3.4.12.3 on 4.08 had its build status changed: internal failure to passing
z3.4.12.3 on 4.14 had its build status changed: internal failure to passing
z3.4.12.3 on 5.1 had its build status changed: internal failure to passing
z3.4.12.3 on 5.2 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.5 on 4.09 had its build status changed: internal failure to passing
z3.4.12.5 on 4.10 had its build status changed: internal failure to passing
z3.4.12.5 on 4.14 had its build status changed: internal failure to passing
z3.4.12.5 on 5.0 had its build status changed: internal failure to passing
z3.4.12.5 on 5.1 had its build status changed: internal failure to passing
z3.4.12.6 on 4.09 had its build status changed: internal failure to passing
z3.4.13.0 on 4.11 had its build status changed: internal failure to passing
z3.4.13.0 on 5.0 had its build status changed: internal failure to passing
z3.4.13.0-1 on 4.08 had its build status changed: internal failure to passing
z3.4.13.0-1 on 4.10 had its build status changed: internal failure to passing
z3.4.13.0-1 on 4.11 had its build status changed: internal failure to passing
z3.4.13.0-2 on 4.08 is now installable. Current state is: passing
z3.4.13.0-2 on 4.09 is now installable. Current state is: passing
z3.4.13.0-2 on 4.10 is now installable. Current state is: passing
z3.4.13.0-2 on 4.11 is now installable. Current state is: passing
z3.4.13.0-2 on 4.12 is now installable. Current state is: passing
z3.4.13.0-2 on 4.13 is now installable. Current state is: passing
z3.4.13.0-2 on 4.14 is now installable. Current state is: passing
z3.4.13.0-2 on 5.0 is now installable. Current state is: passing
z3.4.13.0-2 on 5.1 is now installable. Current state is: passing
z3.4.13.0-2 on 5.2 is now installable. Current state is: passing
z3.4.8.14 on 4.12 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.2 on 4.11 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.09 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.11 had its build status changed: internal failure to passing
z3_tptp.4.8.14 on 4.12 had its build status changed: internal failure to passing
z3_tptp.4.8.17 on 4.08 had its build status changed: internal failure to passing
z3_tptp.4.8.17 on 4.10 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.12 had its build status changed: internal failure to passing
z3_tptp.4.8.17 on 4.14 had its build status changed: internal failure to passing
z3_tptp.4.9.1 on 4.08 had its build status changed: internal failure to passing
z3_tptp.4.9.1 on 4.10 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.12 had its build status changed: internal failure to passing