Packages now failing:
- alt-ergo.2.0.0 on 4.11 had its build status changed: passing to failing
- alt-ergo.2.0.0 on 4.12 had its build status changed: passing to failing
- alt-ergo.2.2.0 on 4.10 had its build status changed: passing to failing
- conf-cuda.1 on 4.08 is now installable. Current state is: failing
- conf-cuda.1 on 4.09 is now installable. Current state is: failing
- conf-cuda.1 on 4.10 is now installable. Current state is: failing
- conf-cuda.1 on 4.11 is now installable. Current state is: failing
- conf-cuda.1 on 4.12 is now installable. Current state is: failing
- conf-cuda.1 on 4.13 is now installable. Current state is: failing
- conf-cuda.1 on 4.14 is now installable. Current state is: failing
- conf-cuda.1 on 5.0 is now installable. Current state is: failing
- conf-cuda.1 on 5.1 is now installable. Current state is: failing
- conf-cuda.1 on 5.2 is now installable. Current state is: failing
- conf-python-3-7.1.0.0 on 4.08 had its build status changed: passing to failing
- conf-python-3-7.1.0.0 on 4.09 had its build status changed: passing to failing
- conf-python-3-7.1.0.0 on 4.10 had its build status changed: passing to failing
- conf-python-3-7.1.0.0 on 4.11 had its build status changed: passing to failing
- conf-python-3-7.1.0.0 on 4.12 had its build status changed: passing to failing
- conf-python-3-7.1.0.0 on 4.13 had its build status changed: passing to failing
- conf-python-3-7.1.0.0 on 4.14 had its build status changed: passing to failing
- conf-python-3-7.1.0.0 on 5.0 had its build status changed: passing to failing
- conf-python-3-7.1.0.0 on 5.1 had its build status changed: passing to failing
- conf-python-3-7.1.0.0 on 5.2 had its build status changed: passing to failing
- gd.1.1 on 4.08 had its build status changed: passing to failing
- gd.1.1 on 4.09 had its build status changed: passing to failing
- gd.1.1 on 4.10 had its build status changed: passing to failing
- gd.1.1 on 4.11 had its build status changed: passing to failing
- gd.1.1 on 4.12 had its build status changed: passing to failing
- gd.1.1 on 4.13 had its build status changed: passing to failing
- gd.1.1 on 4.14 had its build status changed: passing to failing
- gd.1.1 on 5.0 had its build status changed: passing to failing
- gd.1.1 on 5.1 had its build status changed: passing to failing
- gd.1.1 on 5.2 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.10 had its build status changed: passing to failing
- hacl-star-raw.0.1.1 on 4.12 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.11 had its build status changed: passing to failing
- hacl-star-raw.0.2.1 on 4.08 had its build status changed: passing to failing
- hacl-star-raw.0.2.1 on 4.10 had its build status changed: passing to failing
- hacl-star-raw.0.2.2 on 4.09 had its build status changed: passing to failing
- melange.4.0.0-52 on 5.2 had its build status changed: passing to failing
- ocamlmerlin-mlx.0.9 on 5.1 is now installable. Current state is: failing
- ollvm-tapir.0.99.1 on 4.08 had its build status changed: passing to failing
- ollvm-tapir.0.99.1 on 5.2 had its build status changed: passing to failing
- owi.0.2 on 5.1 had its build status changed: passing to failing
- portaudio.0.2.1 on 4.08 had its build status changed: passing to failing
- portaudio.0.2.1 on 4.09 had its build status changed: passing to failing
- portaudio.0.2.1 on 4.10 had its build status changed: passing to failing
- portaudio.0.2.1 on 4.11 had its build status changed: passing to failing
- portaudio.0.2.1 on 4.12 had its build status changed: passing to failing
- portaudio.0.2.1 on 4.13 had its build status changed: passing to failing
- portaudio.0.2.1 on 4.14 had its build status changed: passing to failing
- portaudio.0.2.1 on 5.0 had its build status changed: passing to failing
- portaudio.0.2.1 on 5.1 had its build status changed: passing to failing
- portaudio.0.2.1 on 5.2 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.10 had its build status changed: passing to failing
- portia.1.3 on 4.11 had its build status changed: passing to failing
- portia.1.3 on 4.13 had its build status changed: passing to failing
- portia.1.3 on 4.14 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.09 had its build status changed: passing to failing
- solo5-cross-aarch64.0.7.0 on 4.08 had its build status changed: partially failing to failing
- solo5-cross-aarch64.0.7.1 on 5.1 had its build status changed: partially failing to failing
- solo5.0.7.0 on 4.13 had its build status changed: internal failure to failing
- tuareg.2.1.0 on 5.1 had its build status changed: passing to failing
Packages now partially failing:
Packages now not available:
- camlidl.1.05 on 4.14 had its build status changed: internal failure to not available
- distributed-lwt.0.2.0 on 5.0 had its build status changed: partially failing to not available
- distributed-lwt.0.2.0 on 5.1 had its build status changed: partially failing to not available
- distributed-lwt.0.2.0 on 5.2 had its build status changed: partially failing to not available
- distributed.0.6.0 on 5.0 had its build status changed: failing to not available
- distributed.0.6.0 on 5.1 had its build status changed: failing to not available
- distributed.0.6.0 on 5.2 had its build status changed: failing to not available
- encoding.0.0.1 on 5.1 is not available anymore. Previous state was: passing
- encoding.0.0.1 on 5.2 is not available anymore. Previous state was: passing
- encoding.0.0.2 on 4.14 is not available anymore. Previous state was: passing
- encoding.0.0.2 on 5.0 is not available anymore. Previous state was: passing
- encoding.0.0.2 on 5.1 is not available anymore. Previous state was: passing
- encoding.0.0.2 on 5.2 is not available anymore. Previous state was: passing
- encoding.0.0.3 on 4.14 is not available anymore. Previous state was: passing
- encoding.0.0.3 on 5.0 is not available anymore. Previous state was: passing
- encoding.0.0.3 on 5.1 is not available anymore. Previous state was: passing
- encoding.0.0.3 on 5.2 is not available anymore. Previous state was: passing
- encoding.0.0.4 on 4.14 is not available anymore. Previous state was: passing
- encoding.0.0.4 on 5.0 is not available anymore. Previous state was: passing
- encoding.0.0.4 on 5.1 is not available anymore. Previous state was: passing
- encoding.0.0.4 on 5.2 is not available anymore. Previous state was: passing
- ocaml-src.4.14.1 on 4.14 is not available anymore. Previous state was: passing
- ocurl.0.7.7 on 5.0 had its build status changed: passing to not available
- ocurl.0.7.7 on 5.1 had its build status changed: passing to not available
- ocurl.0.7.7 on 5.2 had its build status changed: passing to not available
- opam-build.0.2.3 on 4.08 is not available anymore. Previous state was: passing
- opam-build.0.2.3 on 4.09 is not available anymore. Previous state was: passing
- opam-build.0.2.3 on 4.10 is not available anymore. Previous state was: passing
- opam-build.0.2.3 on 4.11 is not available anymore. Previous state was: passing
- opam-build.0.2.3 on 4.12 is not available anymore. Previous state was: passing
- opam-build.0.2.3 on 4.13 is not available anymore. Previous state was: passing
- opam-build.0.2.3 on 4.14 is not available anymore. Previous state was: passing
- opam-build.0.2.3 on 5.0 is not available anymore. Previous state was: passing
- opam-build.0.2.3 on 5.1 is not available anymore. Previous state was: passing
- opam-build.0.2.3 on 5.2 is not available anymore. Previous state was: passing
- opam-build.0.2.4 on 4.08 is not available anymore. Previous state was: passing
- opam-build.0.2.4 on 4.09 is not available anymore. Previous state was: passing
- opam-build.0.2.4 on 4.10 is not available anymore. Previous state was: passing
- opam-build.0.2.4 on 4.11 is not available anymore. Previous state was: passing
- opam-build.0.2.4 on 4.12 is not available anymore. Previous state was: passing
- opam-build.0.2.4 on 4.13 is not available anymore. Previous state was: passing
- opam-build.0.2.4 on 4.14 is not available anymore. Previous state was: passing
- opam-build.0.2.4 on 5.0 is not available anymore. Previous state was: passing
- opam-build.0.2.4 on 5.1 is not available anymore. Previous state was: passing
- opam-build.0.2.4 on 5.2 is not available anymore. Previous state was: passing
- opam-check-npm-deps.2.0.0 on 4.14 is not available anymore. Previous state was: passing
- opam-check-npm-deps.2.0.0 on 5.0 is not available anymore. Previous state was: passing
- opam-check-npm-deps.2.0.0 on 5.1 is not available anymore. Previous state was: passing
- opam-check-npm-deps.2.0.0 on 5.2 is not available anymore. Previous state was: passing
- opam-dune-lint.0.1 on 4.11 is not available anymore. Previous state was: failing
- opam-dune-lint.0.1 on 4.12 is not available anymore. Previous state was: failing
- opam-dune-lint.0.1 on 4.13 is not available anymore. Previous state was: failing
- opam-dune-lint.0.1 on 4.14 is not available anymore. Previous state was: failing
- opam-dune-lint.0.2 on 4.10 is not available anymore. Previous state was: failing
- opam-dune-lint.0.2 on 4.11 is not available anymore. Previous state was: failing
- opam-dune-lint.0.2 on 4.12 is not available anymore. Previous state was: failing
- opam-dune-lint.0.2 on 4.13 is not available anymore. Previous state was: failing
- opam-dune-lint.0.2 on 4.14 is not available anymore. Previous state was: failing
- opam-test.0.2.3 on 4.08 is not available anymore. Previous state was: passing
- opam-test.0.2.3 on 4.09 is not available anymore. Previous state was: passing
- opam-test.0.2.3 on 4.10 is not available anymore. Previous state was: passing
- opam-test.0.2.3 on 4.11 is not available anymore. Previous state was: passing
- opam-test.0.2.3 on 4.12 is not available anymore. Previous state was: passing
- opam-test.0.2.3 on 4.13 is not available anymore. Previous state was: passing
- opam-test.0.2.3 on 4.14 is not available anymore. Previous state was: passing
- opam-test.0.2.3 on 5.0 is not available anymore. Previous state was: passing
- opam-test.0.2.3 on 5.1 is not available anymore. Previous state was: passing
- opam-test.0.2.3 on 5.2 is not available anymore. Previous state was: passing
- opam-test.0.2.4 on 4.08 is not available anymore. Previous state was: passing
- opam-test.0.2.4 on 4.09 is not available anymore. Previous state was: passing
- opam-test.0.2.4 on 4.10 is not available anymore. Previous state was: passing
- opam-test.0.2.4 on 4.11 is not available anymore. Previous state was: passing
- opam-test.0.2.4 on 4.12 is not available anymore. Previous state was: passing
- opam-test.0.2.4 on 4.13 is not available anymore. Previous state was: passing
- opam-test.0.2.4 on 4.14 is not available anymore. Previous state was: passing
- opam-test.0.2.4 on 5.0 is not available anymore. Previous state was: passing
- opam-test.0.2.4 on 5.1 is not available anymore. Previous state was: passing
- opam-test.0.2.4 on 5.2 is not available anymore. Previous state was: passing
- sarek.20210823 on 5.0 had its build status changed: passing to not available
- sarek.20210823 on 5.1 had its build status changed: partially failing to not available
- smtml.0.1.0 on 4.14 is not available anymore. Previous state was: passing
- smtml.0.1.0 on 5.0 is not available anymore. Previous state was: passing
- smtml.0.1.0 on 5.1 is not available anymore. Previous state was: passing
- smtml.0.1.0 on 5.2 is not available anymore. Previous state was: passing
- smtml.0.1.1 on 4.14 is not available anymore. Previous state was: passing
- smtml.0.1.1 on 5.0 is not available anymore. Previous state was: passing
- smtml.0.1.1 on 5.1 is not available anymore. Previous state was: passing
- smtml.0.1.1 on 5.2 is not available anymore. Previous state was: passing
- spoc.20210823 on 5.0 had its build status changed: passing to not available
- spoc.20210823 on 5.1 had its build status changed: partially failing to not available
- spoc_ppx.20210823 on 5.0 had its build status changed: passing to not available
- spoc_ppx.20210823 on 5.1 had its build status changed: partially failing to not available
- z3.4.10.1 on 4.08 is not available anymore. Previous state was: passing
- z3.4.10.1 on 4.09 is not available anymore. Previous state was: passing
- z3.4.10.1 on 4.10 is not available anymore. Previous state was: passing
- z3.4.10.1 on 4.11 is not available anymore. Previous state was: passing
- z3.4.10.1 on 4.12 is not available anymore. Previous state was: passing
- z3.4.10.1 on 4.13 is not available anymore. Previous state was: passing
- z3.4.10.1 on 4.14 is not available anymore. Previous state was: passing
- z3.4.10.1 on 5.0 is not available anymore. Previous state was: passing
- z3.4.10.1 on 5.1 is not available anymore. Previous state was: passing
- z3.4.10.1 on 5.2 is not available anymore. Previous state was: passing
- z3.4.10.2 on 4.08 is not available anymore. Previous state was: passing
- z3.4.10.2 on 4.09 is not available anymore. Previous state was: passing
- z3.4.10.2 on 4.10 is not available anymore. Previous state was: passing
- z3.4.10.2 on 4.11 is not available anymore. Previous state was: passing
- z3.4.10.2 on 4.12 is not available anymore. Previous state was: passing
- z3.4.10.2 on 4.13 is not available anymore. Previous state was: passing
- z3.4.10.2 on 4.14 is not available anymore. Previous state was: passing
- z3.4.10.2 on 5.0 is not available anymore. Previous state was: passing
- z3.4.10.2 on 5.1 is not available anymore. Previous state was: passing
- z3.4.10.2 on 5.2 is not available anymore. Previous state was: passing
- z3.4.11.0 on 4.08 is not available anymore. Previous state was: passing
- z3.4.11.0 on 4.09 is not available anymore. Previous state was: passing
- z3.4.11.0 on 4.10 is not available anymore. Previous state was: passing
- z3.4.11.0 on 4.11 is not available anymore. Previous state was: passing
- z3.4.11.0 on 4.12 is not available anymore. Previous state was: passing
- z3.4.11.0 on 4.13 is not available anymore. Previous state was: passing
- z3.4.11.0 on 4.14 is not available anymore. Previous state was: passing
- z3.4.11.0 on 5.0 is not available anymore. Previous state was: passing
- z3.4.11.0 on 5.1 is not available anymore. Previous state was: passing
- z3.4.11.0 on 5.2 is not available anymore. Previous state was: passing
- z3.4.11.2 on 4.08 is not available anymore. Previous state was: passing
- z3.4.11.2 on 4.09 is not available anymore. Previous state was: passing
- z3.4.11.2 on 4.10 is not available anymore. Previous state was: passing
- z3.4.11.2 on 4.11 is not available anymore. Previous state was: passing
- z3.4.11.2 on 4.12 is not available anymore. Previous state was: passing
- z3.4.11.2 on 4.13 is not available anymore. Previous state was: passing
- z3.4.11.2 on 4.14 is not available anymore. Previous state was: passing
- z3.4.11.2 on 5.0 is not available anymore. Previous state was: passing
- z3.4.11.2 on 5.1 is not available anymore. Previous state was: passing
- z3.4.11.2 on 5.2 is not available anymore. Previous state was: passing
- z3.4.12.2 on 4.08 is not available anymore. Previous state was: failing
- z3.4.12.2 on 4.09 is not available anymore. Previous state was: failing
- z3.4.12.2 on 4.10 is not available anymore. Previous state was: failing
- z3.4.12.2 on 4.11 is not available anymore. Previous state was: failing
- z3.4.12.2 on 4.12 is not available anymore. Previous state was: failing
- z3.4.12.2 on 4.13 is not available anymore. Previous state was: failing
- z3.4.12.2 on 4.14 is not available anymore. Previous state was: failing
- z3.4.12.2 on 5.0 is not available anymore. Previous state was: failing
- z3.4.12.2 on 5.1 is not available anymore. Previous state was: failing
- z3.4.12.2 on 5.2 is not available anymore. Previous state was: failing
- z3.4.12.2-1 on 4.08 is not available anymore. Previous state was: passing
- z3.4.12.2-1 on 4.09 is not available anymore. Previous state was: passing
- z3.4.12.2-1 on 4.10 is not available anymore. Previous state was: passing
- z3.4.12.2-1 on 4.11 is not available anymore. Previous state was: passing
- z3.4.12.2-1 on 4.12 is not available anymore. Previous state was: passing
- z3.4.12.2-1 on 4.13 is not available anymore. Previous state was: passing
- z3.4.12.2-1 on 4.14 is not available anymore. Previous state was: passing
- z3.4.12.2-1 on 5.0 is not available anymore. Previous state was: passing
- z3.4.12.2-1 on 5.1 is not available anymore. Previous state was: passing
- z3.4.12.2-1 on 5.2 is not available anymore. Previous state was: passing
- z3.4.12.3 on 4.08 is not available anymore. Previous state was: passing
- z3.4.12.3 on 4.09 is not available anymore. Previous state was: passing
- z3.4.12.3 on 4.10 is not available anymore. Previous state was: passing
- z3.4.12.3 on 4.11 is not available anymore. Previous state was: passing
- z3.4.12.3 on 4.12 is not available anymore. Previous state was: passing
- z3.4.12.3 on 4.13 is not available anymore. Previous state was: passing
- z3.4.12.3 on 4.14 is not available anymore. Previous state was: passing
- z3.4.12.3 on 5.0 is not available anymore. Previous state was: passing
- z3.4.12.3 on 5.1 is not available anymore. Previous state was: passing
- z3.4.12.3 on 5.2 is not available anymore. Previous state was: passing
- z3.4.12.4 on 4.08 is not available anymore. Previous state was: passing
- z3.4.12.4 on 4.09 is not available anymore. Previous state was: passing
- z3.4.12.4 on 4.10 is not available anymore. Previous state was: passing
- z3.4.12.4 on 4.11 is not available anymore. Previous state was: passing
- z3.4.12.4 on 4.12 is not available anymore. Previous state was: passing
- z3.4.12.4 on 4.13 is not available anymore. Previous state was: passing
- z3.4.12.4 on 4.14 is not available anymore. Previous state was: passing
- z3.4.12.4 on 5.0 is not available anymore. Previous state was: passing
- z3.4.12.4 on 5.1 is not available anymore. Previous state was: passing
- z3.4.12.4 on 5.2 is not available anymore. Previous state was: passing
- z3.4.12.5 on 4.08 is not available anymore. Previous state was: passing
- z3.4.12.5 on 4.09 is not available anymore. Previous state was: passing
- z3.4.12.5 on 4.10 is not available anymore. Previous state was: passing
- z3.4.12.5 on 4.11 is not available anymore. Previous state was: passing
- z3.4.12.5 on 4.12 is not available anymore. Previous state was: passing
- z3.4.12.5 on 4.13 is not available anymore. Previous state was: passing
- z3.4.12.5 on 4.14 is not available anymore. Previous state was: passing
- z3.4.12.5 on 5.0 is not available anymore. Previous state was: passing
- z3.4.12.5 on 5.1 is not available anymore. Previous state was: passing
- z3.4.12.5 on 5.2 is not available anymore. Previous state was: passing
- z3.4.12.6 on 4.08 is not available anymore. Previous state was: passing
- z3.4.12.6 on 4.09 is not available anymore. Previous state was: passing
- z3.4.12.6 on 4.10 is not available anymore. Previous state was: passing
- z3.4.12.6 on 4.11 is not available anymore. Previous state was: passing
- z3.4.12.6 on 4.12 is not available anymore. Previous state was: passing
- z3.4.12.6 on 4.13 is not available anymore. Previous state was: passing
- z3.4.12.6 on 4.14 is not available anymore. Previous state was: passing
- z3.4.12.6 on 5.0 is not available anymore. Previous state was: passing
- z3.4.12.6 on 5.1 is not available anymore. Previous state was: passing
- z3.4.12.6 on 5.2 is not available anymore. Previous state was: passing
- z3.4.13.0 on 4.08 is not available anymore. Previous state was: passing
- z3.4.13.0 on 4.09 is not available anymore. Previous state was: passing
- z3.4.13.0 on 4.10 is not available anymore. Previous state was: passing
- z3.4.13.0 on 4.11 is not available anymore. Previous state was: passing
- z3.4.13.0 on 4.12 is not available anymore. Previous state was: passing
- z3.4.13.0 on 4.13 is not available anymore. Previous state was: passing
- z3.4.13.0 on 4.14 is not available anymore. Previous state was: passing
- z3.4.13.0 on 5.0 is not available anymore. Previous state was: passing
- z3.4.13.0 on 5.1 is not available anymore. Previous state was: passing
- z3.4.13.0 on 5.2 is not available anymore. Previous state was: passing
- z3.4.8.13 on 4.08 is not available anymore. Previous state was: failing
- z3.4.8.13 on 4.09 is not available anymore. Previous state was: failing
- z3.4.8.13 on 4.10 is not available anymore. Previous state was: failing
- z3.4.8.13 on 4.11 is not available anymore. Previous state was: failing
- z3.4.8.13 on 4.12 is not available anymore. Previous state was: failing
- z3.4.8.13 on 4.13 is not available anymore. Previous state was: failing
- z3.4.8.13 on 4.14 is not available anymore. Previous state was: failing
- z3.4.8.14 on 4.08 is not available anymore. Previous state was: passing
- z3.4.8.14 on 4.09 is not available anymore. Previous state was: passing
- z3.4.8.14 on 4.10 is not available anymore. Previous state was: passing
- z3.4.8.14 on 4.11 is not available anymore. Previous state was: passing
- z3.4.8.14 on 4.12 is not available anymore. Previous state was: passing
- z3.4.8.14 on 4.13 is not available anymore. Previous state was: passing
- z3.4.8.14 on 4.14 is not available anymore. Previous state was: passing
- z3.4.8.14 on 5.0 is not available anymore. Previous state was: failing
- z3.4.8.14 on 5.1 is not available anymore. Previous state was: failing
- z3.4.8.14 on 5.2 is not available anymore. Previous state was: failing
- z3.4.8.17 on 4.08 is not available anymore. Previous state was: passing
- z3.4.8.17 on 4.09 is not available anymore. Previous state was: passing
- z3.4.8.17 on 4.10 is not available anymore. Previous state was: passing
- z3.4.8.17 on 4.11 is not available anymore. Previous state was: passing
- z3.4.8.17 on 4.12 is not available anymore. Previous state was: passing
- z3.4.8.17 on 4.13 is not available anymore. Previous state was: passing
- z3.4.8.17 on 4.14 is not available anymore. Previous state was: passing
- z3.4.8.17 on 5.0 is not available anymore. Previous state was: passing
- z3.4.8.17 on 5.1 is not available anymore. Previous state was: passing
- z3.4.8.17 on 5.2 is not available anymore. Previous state was: passing
- z3.4.8.5-1 on 4.08 is not available anymore. Previous state was: failing
- z3.4.8.5-1 on 4.09 is not available anymore. Previous state was: failing
- z3.4.8.5-1 on 4.10 is not available anymore. Previous state was: failing
- z3.4.8.5-1 on 4.11 is not available anymore. Previous state was: failing
- z3.4.8.5-1 on 4.12 is not available anymore. Previous state was: failing
- z3.4.8.5-1 on 4.13 is not available anymore. Previous state was: failing
- z3.4.8.5-1 on 4.14 is not available anymore. Previous state was: failing
- z3.4.9.1 on 4.08 is not available anymore. Previous state was: passing
- z3.4.9.1 on 4.09 is not available anymore. Previous state was: passing
- z3.4.9.1 on 4.10 is not available anymore. Previous state was: passing
- z3.4.9.1 on 4.11 is not available anymore. Previous state was: passing
- z3.4.9.1 on 4.12 is not available anymore. Previous state was: passing
- z3.4.9.1 on 4.13 is not available anymore. Previous state was: passing
- z3.4.9.1 on 4.14 is not available anymore. Previous state was: passing
- z3.4.9.1 on 5.0 is not available anymore. Previous state was: passing
- z3.4.9.1 on 5.1 is not available anymore. Previous state was: passing
- z3.4.9.1 on 5.2 is not available anymore. Previous state was: passing
- z3_tptp.4.10.1 on 4.08 is not available anymore. Previous state was: passing
- z3_tptp.4.10.1 on 4.09 is not available anymore. Previous state was: passing
- z3_tptp.4.10.1 on 4.10 is not available anymore. Previous state was: passing
- z3_tptp.4.10.1 on 4.11 is not available anymore. Previous state was: passing
- z3_tptp.4.10.1 on 4.12 is not available anymore. Previous state was: passing
- z3_tptp.4.10.1 on 4.13 is not available anymore. Previous state was: passing
- z3_tptp.4.10.1 on 4.14 is not available anymore. Previous state was: passing
- z3_tptp.4.10.1 on 5.0 is not available anymore. Previous state was: passing
- z3_tptp.4.10.1 on 5.1 is not available anymore. Previous state was: passing
- z3_tptp.4.10.1 on 5.2 is not available anymore. Previous state was: passing
- z3_tptp.4.10.2 on 4.08 is not available anymore. Previous state was: passing
- z3_tptp.4.10.2 on 4.09 is not available anymore. Previous state was: passing
- z3_tptp.4.10.2 on 4.10 is not available anymore. Previous state was: passing
- z3_tptp.4.10.2 on 4.11 is not available anymore. Previous state was: passing
- z3_tptp.4.10.2 on 4.12 is not available anymore. Previous state was: passing
- z3_tptp.4.10.2 on 4.13 is not available anymore. Previous state was: passing
- z3_tptp.4.10.2 on 4.14 is not available anymore. Previous state was: passing
- z3_tptp.4.10.2 on 5.0 is not available anymore. Previous state was: passing
- z3_tptp.4.10.2 on 5.1 is not available anymore. Previous state was: passing
- z3_tptp.4.10.2 on 5.2 is not available anymore. Previous state was: passing
- z3_tptp.4.11.0 on 4.08 is not available anymore. Previous state was: passing
- z3_tptp.4.11.0 on 4.09 is not available anymore. Previous state was: passing
- z3_tptp.4.11.0 on 4.10 is not available anymore. Previous state was: passing
- z3_tptp.4.11.0 on 4.11 is not available anymore. Previous state was: passing
- z3_tptp.4.11.0 on 4.12 is not available anymore. Previous state was: passing
- z3_tptp.4.11.0 on 4.13 is not available anymore. Previous state was: passing
- z3_tptp.4.11.0 on 4.14 is not available anymore. Previous state was: passing
- z3_tptp.4.11.0 on 5.0 is not available anymore. Previous state was: passing
- z3_tptp.4.11.0 on 5.1 is not available anymore. Previous state was: passing
- z3_tptp.4.11.0 on 5.2 is not available anymore. Previous state was: passing
- z3_tptp.4.11.2 on 4.08 is not available anymore. Previous state was: passing
- z3_tptp.4.11.2 on 4.09 is not available anymore. Previous state was: passing
- z3_tptp.4.11.2 on 4.10 is not available anymore. Previous state was: passing
- z3_tptp.4.11.2 on 4.11 is not available anymore. Previous state was: passing
- z3_tptp.4.11.2 on 4.12 is not available anymore. Previous state was: passing
- z3_tptp.4.11.2 on 4.13 is not available anymore. Previous state was: passing
- z3_tptp.4.11.2 on 4.14 is not available anymore. Previous state was: passing
- z3_tptp.4.11.2 on 5.0 is not available anymore. Previous state was: passing
- z3_tptp.4.11.2 on 5.1 is not available anymore. Previous state was: passing
- z3_tptp.4.11.2 on 5.2 is not available anymore. Previous state was: passing
- z3_tptp.4.8.13 on 4.08 is not available anymore. Previous state was: partially failing
- z3_tptp.4.8.13 on 4.09 is not available anymore. Previous state was: partially failing
- z3_tptp.4.8.13 on 4.10 is not available anymore. Previous state was: partially failing
- z3_tptp.4.8.13 on 4.11 is not available anymore. Previous state was: partially failing
- z3_tptp.4.8.13 on 4.12 is not available anymore. Previous state was: partially failing
- z3_tptp.4.8.13 on 4.13 is not available anymore. Previous state was: partially failing
- z3_tptp.4.8.13 on 4.14 is not available anymore. Previous state was: partially failing
- z3_tptp.4.8.14 on 4.08 is not available anymore. Previous state was: passing
- z3_tptp.4.8.14 on 4.09 is not available anymore. Previous state was: passing
- z3_tptp.4.8.14 on 4.10 is not available anymore. Previous state was: passing
- z3_tptp.4.8.14 on 4.11 is not available anymore. Previous state was: passing
- z3_tptp.4.8.14 on 4.12 is not available anymore. Previous state was: passing
- z3_tptp.4.8.14 on 4.13 is not available anymore. Previous state was: passing
- z3_tptp.4.8.14 on 4.14 is not available anymore. Previous state was: passing
- z3_tptp.4.8.14 on 5.0 is not available anymore. Previous state was: partially failing
- z3_tptp.4.8.14 on 5.1 is not available anymore. Previous state was: partially failing
- z3_tptp.4.8.14 on 5.2 is not available anymore. Previous state was: partially failing
- z3_tptp.4.8.17 on 4.08 is not available anymore. Previous state was: passing
- z3_tptp.4.8.17 on 4.09 is not available anymore. Previous state was: passing
- z3_tptp.4.8.17 on 4.10 is not available anymore. Previous state was: passing
- z3_tptp.4.8.17 on 4.11 is not available anymore. Previous state was: passing
- z3_tptp.4.8.17 on 4.12 is not available anymore. Previous state was: passing
- z3_tptp.4.8.17 on 4.13 is not available anymore. Previous state was: passing
- z3_tptp.4.8.17 on 4.14 is not available anymore. Previous state was: passing
- z3_tptp.4.8.17 on 5.0 is not available anymore. Previous state was: passing
- z3_tptp.4.8.17 on 5.1 is not available anymore. Previous state was: passing
- z3_tptp.4.8.17 on 5.2 is not available anymore. Previous state was: passing
- z3_tptp.4.9.1 on 4.08 is not available anymore. Previous state was: passing
- z3_tptp.4.9.1 on 4.09 is not available anymore. Previous state was: passing
- z3_tptp.4.9.1 on 4.10 is not available anymore. Previous state was: passing
- z3_tptp.4.9.1 on 4.11 is not available anymore. Previous state was: passing
- z3_tptp.4.9.1 on 4.12 is not available anymore. Previous state was: passing
- z3_tptp.4.9.1 on 4.13 is not available anymore. Previous state was: passing
- z3_tptp.4.9.1 on 4.14 is not available anymore. Previous state was: passing
- z3_tptp.4.9.1 on 5.0 is not available anymore. Previous state was: passing
- z3_tptp.4.9.1 on 5.1 is not available anymore. Previous state was: passing
- z3_tptp.4.9.1 on 5.2 is not available anymore. Previous state was: passing
Packages now failing with an internal failure:
Packages now passing:
- alt-ergo-free.2.0.0 on 4.08 had its build status changed: failing to passing
- alt-ergo-free.2.0.0 on 4.09 had its build status changed: failing to passing
- alt-ergo-free.2.0.0 on 4.11 had its build status changed: failing to passing
- alt-ergo-free.2.0.0 on 4.13 had its build status changed: failing to passing
- alt-ergo.2.0.0 on 4.10 had its build status changed: failing to passing
- alt-ergo.2.0.0 on 4.13 had its build status changed: failing to passing
- alt-ergo.2.1.0 on 4.09 had its build status changed: failing to passing
- alt-ergo.2.1.0 on 4.12 had its build status changed: failing to passing
- alt-ergo.2.1.0 on 4.14 had its build status changed: failing to passing
- alt-ergo.2.2.0 on 4.08 had its build status changed: failing to passing
- antic.0.4.0 on 4.10 is now installable. Current state is: passing
- antic.0.4.0 on 4.11 is now installable. Current state is: passing
- antic.0.4.0 on 4.12 is now installable. Current state is: passing
- antic.0.4.0 on 4.13 is now installable. Current state is: passing
- antic.0.4.0 on 4.14 is now installable. Current state is: passing
- antic.0.4.0 on 5.0 is now installable. Current state is: passing
- antic.0.4.0 on 5.1 is now installable. Current state is: passing
- antic.0.4.0 on 5.2 is now installable. Current state is: passing
- apron.v0.9.15 on 4.08 is now installable. Current state is: passing
- apron.v0.9.15 on 4.09 is now installable. Current state is: passing
- apron.v0.9.15 on 4.10 is now installable. Current state is: passing
- apron.v0.9.15 on 4.11 is now installable. Current state is: passing
- apron.v0.9.15 on 4.12 is now installable. Current state is: passing
- apron.v0.9.15 on 4.13 is now installable. Current state is: passing
- apron.v0.9.15 on 4.14 is now installable. Current state is: passing
- apron.v0.9.15 on 5.0 is now installable. Current state is: passing
- apron.v0.9.15 on 5.1 is now installable. Current state is: passing
- apron.v0.9.15 on 5.2 is now installable. Current state is: passing
- arb.0.4.0 on 4.10 is now installable. Current state is: passing
- arb.0.4.0 on 4.11 is now installable. Current state is: passing
- arb.0.4.0 on 4.12 is now installable. Current state is: passing
- arb.0.4.0 on 4.13 is now installable. Current state is: passing
- arb.0.4.0 on 4.14 is now installable. Current state is: passing
- arb.0.4.0 on 5.0 is now installable. Current state is: passing
- arb.0.4.0 on 5.1 is now installable. Current state is: passing
- arb.0.4.0 on 5.2 is now installable. Current state is: passing
- baby.20240619 on 4.14 is now installable. Current state is: passing
- baby.20240619 on 5.0 is now installable. Current state is: passing
- baby.20240619 on 5.1 is now installable. Current state is: passing
- baby.20240619 on 5.2 is now installable. Current state is: passing
- base.v0.17.1 on 5.1 is now installable. Current state is: passing
- base.v0.17.1 on 5.2 is now installable. Current state is: passing
- base32.1.0.0 on 4.08 had its build status changed: internal failure to passing
- base32.1.0.0 on 4.09 had its build status changed: internal failure to passing
- base32.1.0.0 on 4.10 had its build status changed: internal failure to passing
- base32.1.0.0 on 4.11 had its build status changed: internal failure to passing
- base32.1.0.0 on 4.12 had its build status changed: internal failure to passing
- base32.1.0.0 on 4.13 had its build status changed: internal failure to passing
- base32.1.0.0 on 4.14 had its build status changed: internal failure to passing
- base32.1.0.0 on 5.0 had its build status changed: internal failure to passing
- base32.1.0.0 on 5.1 had its build status changed: internal failure to passing
- base32.1.0.0 on 5.2 had its build status changed: internal failure to passing
- biotk.0.3 on 4.14 is now installable. Current state is: passing
- biotk.0.3 on 5.0 is now installable. Current state is: passing
- biotk.0.3 on 5.1 is now installable. Current state is: passing
- biotk.0.3 on 5.2 is now installable. Current state is: passing
- bls12-381.20.1 on 4.14 is now installable. Current state is: passing
- bls12-381.20.1 on 5.0 is now installable. Current state is: passing
- bls12-381.20.1 on 5.1 is now installable. Current state is: passing
- bls12-381.20.1 on 5.2 is now installable. Current state is: passing
- caisar.2.0 on 4.13 is now installable. Current state is: passing
- caisar.2.0 on 4.14 is now installable. Current state is: passing
- calcium.0.4.0 on 4.10 is now installable. Current state is: passing
- calcium.0.4.0 on 4.11 is now installable. Current state is: passing
- calcium.0.4.0 on 4.12 is now installable. Current state is: passing
- calcium.0.4.0 on 4.13 is now installable. Current state is: passing
- calcium.0.4.0 on 4.14 is now installable. Current state is: passing
- calcium.0.4.0 on 5.0 is now installable. Current state is: passing
- calcium.0.4.0 on 5.1 is now installable. Current state is: passing
- calcium.0.4.0 on 5.2 is now installable. Current state is: passing
- camlidl.1.05 on 4.08 had its build status changed: internal failure to passing
- camlidl.1.05 on 4.09 had its build status changed: internal failure to passing
- camlidl.1.05 on 4.10 had its build status changed: internal failure to passing
- camlidl.1.05 on 4.11 had its build status changed: internal failure to passing
- camlidl.1.05 on 4.12 had its build status changed: internal failure to passing
- camlidl.1.05 on 4.13 had its build status changed: internal failure to passing
- camlp4.5.2 on 5.2 is now installable. Current state is: passing
- camlzip.1.12 on 4.13 is now installable. Current state is: passing
- camlzip.1.12 on 4.14 is now installable. Current state is: passing
- camlzip.1.12 on 5.0 is now installable. Current state is: passing
- camlzip.1.12 on 5.1 is now installable. Current state is: passing
- camlzip.1.12 on 5.2 is now installable. Current state is: passing
- cborl.0.1.0 on 4.14 had its build status changed: internal failure to passing
- cborl.0.1.0 on 5.0 had its build status changed: internal failure to passing
- cborl.0.1.0 on 5.1 had its build status changed: internal failure to passing
- cborl.0.1.0 on 5.2 had its build status changed: internal failure to passing
- cdb.1.0.1 on 5.0 is now installable. Current state is: passing
- cdb.1.0.1 on 5.1 is now installable. Current state is: passing
- cdb.1.0.1 on 5.2 is now installable. Current state is: passing
- chrome-trace.3.16.0 on 4.08 is now installable. Current state is: passing
- chrome-trace.3.16.0 on 4.09 is now installable. Current state is: passing
- chrome-trace.3.16.0 on 4.10 is now installable. Current state is: passing
- chrome-trace.3.16.0 on 4.11 is now installable. Current state is: passing
- chrome-trace.3.16.0 on 4.12 is now installable. Current state is: passing
- chrome-trace.3.16.0 on 4.13 is now installable. Current state is: passing
- chrome-trace.3.16.0 on 4.14 is now installable. Current state is: passing
- chrome-trace.3.16.0 on 5.0 is now installable. Current state is: passing
- chrome-trace.3.16.0 on 5.1 is now installable. Current state is: passing
- chrome-trace.3.16.0 on 5.2 is now installable. Current state is: passing
- conf-bpftool.0.1.0 on 4.08 is now installable. Current state is: passing
- conf-bpftool.0.1.0 on 4.09 is now installable. Current state is: passing
- conf-bpftool.0.1.0 on 4.10 is now installable. Current state is: passing
- conf-bpftool.0.1.0 on 4.11 is now installable. Current state is: passing
- conf-bpftool.0.1.0 on 4.12 is now installable. Current state is: passing
- conf-bpftool.0.1.0 on 4.13 is now installable. Current state is: passing
- conf-bpftool.0.1.0 on 4.14 is now installable. Current state is: passing
- conf-bpftool.0.1.0 on 5.0 is now installable. Current state is: passing
- conf-bpftool.0.1.0 on 5.1 is now installable. Current state is: passing
- conf-bpftool.0.1.0 on 5.2 is now installable. Current state is: passing
- conf-cuda-config.1 on 4.08 is now installable. Current state is: passing
- conf-cuda-config.1 on 4.09 is now installable. Current state is: passing
- conf-cuda-config.1 on 4.10 is now installable. Current state is: passing
- conf-cuda-config.1 on 4.11 is now installable. Current state is: passing
- conf-cuda-config.1 on 4.12 is now installable. Current state is: passing
- conf-cuda-config.1 on 4.13 is now installable. Current state is: passing
- conf-cuda-config.1 on 4.14 is now installable. Current state is: passing
- conf-cuda-config.1 on 5.0 is now installable. Current state is: passing
- conf-cuda-config.1 on 5.1 is now installable. Current state is: passing
- conf-cuda-config.1 on 5.2 is now installable. Current state is: passing
- conf-flint.3.0 on 4.08 is now installable. Current state is: passing
- conf-flint.3.0 on 4.09 is now installable. Current state is: passing
- conf-flint.3.0 on 4.10 is now installable. Current state is: passing
- conf-flint.3.0 on 4.11 is now installable. Current state is: passing
- conf-flint.3.0 on 4.12 is now installable. Current state is: passing
- conf-flint.3.0 on 4.13 is now installable. Current state is: passing
- conf-flint.3.0 on 4.14 is now installable. Current state is: passing
- conf-flint.3.0 on 5.0 is now installable. Current state is: passing
- conf-flint.3.0 on 5.1 is now installable. Current state is: passing
- conf-flint.3.0 on 5.2 is now installable. Current state is: passing
- conf-libbpf.0.1.0 on 4.08 is now installable. Current state is: passing
- conf-libbpf.0.1.0 on 4.09 is now installable. Current state is: passing
- conf-libbpf.0.1.0 on 4.10 is now installable. Current state is: passing
- conf-libbpf.0.1.0 on 4.11 is now installable. Current state is: passing
- conf-libbpf.0.1.0 on 4.12 is now installable. Current state is: passing
- conf-libbpf.0.1.0 on 4.13 is now installable. Current state is: passing
- conf-libbpf.0.1.0 on 4.14 is now installable. Current state is: passing
- conf-libbpf.0.1.0 on 5.0 is now installable. Current state is: passing
- conf-libbpf.0.1.0 on 5.1 is now installable. Current state is: passing
- conf-libbpf.0.1.0 on 5.2 is now installable. Current state is: passing
- conf-llvm.17 on 4.08 is now installable. Current state is: passing
- conf-llvm.17 on 4.09 is now installable. Current state is: passing
- conf-llvm.17 on 4.10 is now installable. Current state is: passing
- conf-llvm.17 on 4.11 is now installable. Current state is: passing
- conf-llvm.17 on 4.12 is now installable. Current state is: passing
- conf-llvm.17 on 4.13 is now installable. Current state is: passing
- conf-llvm.17 on 4.14 is now installable. Current state is: passing
- conf-llvm.17 on 5.0 is now installable. Current state is: passing
- conf-llvm.17 on 5.1 is now installable. Current state is: passing
- conf-llvm.17 on 5.2 is now installable. Current state is: passing
- coq-core.8.19.2 on 4.09 is now installable. Current state is: passing
- coq-core.8.19.2 on 4.10 is now installable. Current state is: passing
- coq-core.8.19.2 on 4.11 is now installable. Current state is: passing
- coq-core.8.19.2 on 4.12 is now installable. Current state is: passing
- coq-core.8.19.2 on 4.13 is now installable. Current state is: passing
- coq-core.8.19.2 on 4.14 is now installable. Current state is: passing
- coq-core.8.19.2 on 5.0 is now installable. Current state is: passing
- coq-core.8.19.2 on 5.1 is now installable. Current state is: passing
- coq-core.8.19.2 on 5.2 is now installable. Current state is: passing
- coq-stdlib.8.19.2 on 4.09 is now installable. Current state is: passing
- coq-stdlib.8.19.2 on 4.10 is now installable. Current state is: passing
- coq-stdlib.8.19.2 on 4.11 is now installable. Current state is: passing
- coq-stdlib.8.19.2 on 4.12 is now installable. Current state is: passing
- coq-stdlib.8.19.2 on 4.13 is now installable. Current state is: passing
- coq-stdlib.8.19.2 on 4.14 is now installable. Current state is: passing
- coq-stdlib.8.19.2 on 5.0 is now installable. Current state is: passing
- coq-stdlib.8.19.2 on 5.1 is now installable. Current state is: passing
- coq-stdlib.8.19.2 on 5.2 is now installable. Current state is: passing
- coq.8.19.2 on 4.09 is now installable. Current state is: passing
- coq.8.19.2 on 4.10 is now installable. Current state is: passing
- coq.8.19.2 on 4.11 is now installable. Current state is: passing
- coq.8.19.2 on 4.12 is now installable. Current state is: passing
- coq.8.19.2 on 4.13 is now installable. Current state is: passing
- coq.8.19.2 on 4.14 is now installable. Current state is: passing
- coq.8.19.2 on 5.0 is now installable. Current state is: passing
- coq.8.19.2 on 5.1 is now installable. Current state is: passing
- coq.8.19.2 on 5.2 is now installable. Current state is: passing
- coqide-server.8.19.2 on 4.09 is now installable. Current state is: passing
- coqide-server.8.19.2 on 4.10 is now installable. Current state is: passing
- coqide-server.8.19.2 on 4.11 is now installable. Current state is: passing
- coqide-server.8.19.2 on 4.12 is now installable. Current state is: passing
- coqide-server.8.19.2 on 4.13 is now installable. Current state is: passing
- coqide-server.8.19.2 on 4.14 is now installable. Current state is: passing
- coqide-server.8.19.2 on 5.0 is now installable. Current state is: passing
- coqide-server.8.19.2 on 5.1 is now installable. Current state is: passing
- coqide-server.8.19.2 on 5.2 is now installable. Current state is: passing
- coqide.8.19.2 on 4.09 is now installable. Current state is: passing
- coqide.8.19.2 on 4.10 is now installable. Current state is: passing
- coqide.8.19.2 on 4.11 is now installable. Current state is: passing
- coqide.8.19.2 on 4.12 is now installable. Current state is: passing
- coqide.8.19.2 on 4.13 is now installable. Current state is: passing
- coqide.8.19.2 on 4.14 is now installable. Current state is: passing
- coqide.8.19.2 on 5.0 is now installable. Current state is: passing
- coqide.8.19.2 on 5.1 is now installable. Current state is: passing
- coqide.8.19.2 on 5.2 is now installable. Current state is: passing
- crc.2.2.0 on 4.08 is now installable. Current state is: passing
- crc.2.2.0 on 4.09 is now installable. Current state is: passing
- crc.2.2.0 on 4.10 is now installable. Current state is: passing
- crc.2.2.0 on 4.11 is now installable. Current state is: passing
- crc.2.2.0 on 4.12 is now installable. Current state is: passing
- crc.2.2.0 on 4.13 is now installable. Current state is: passing
- crc.2.2.0 on 4.14 is now installable. Current state is: passing
- crc.2.2.0 on 5.0 is now installable. Current state is: passing
- crc.2.2.0 on 5.1 is now installable. Current state is: passing
- crc.2.2.0 on 5.2 is now installable. Current state is: passing
- cryptokit.1.20 on 4.08 is now installable. Current state is: passing
- cryptokit.1.20 on 4.09 is now installable. Current state is: passing
- cryptokit.1.20 on 4.10 is now installable. Current state is: passing
- cryptokit.1.20 on 4.11 is now installable. Current state is: passing
- cryptokit.1.20 on 4.12 is now installable. Current state is: passing
- cryptokit.1.20 on 4.13 is now installable. Current state is: passing
- cryptokit.1.20 on 4.14 is now installable. Current state is: passing
- cryptokit.1.20 on 5.0 is now installable. Current state is: passing
- cryptokit.1.20 on 5.1 is now installable. Current state is: passing
- cryptokit.1.20 on 5.2 is now installable. Current state is: passing
- cryptoverif.2.03pl1 on 4.08 had its build status changed: internal failure to passing
- cryptoverif.2.03pl1 on 4.09 had its build status changed: internal failure to passing
- cryptoverif.2.03pl1 on 4.10 had its build status changed: internal failure to passing
- cryptoverif.2.03pl1 on 4.11 had its build status changed: internal failure to passing
- cryptoverif.2.03pl1 on 4.12 had its build status changed: internal failure to passing
- cryptoverif.2.03pl1 on 4.13 had its build status changed: internal failure to passing
- cryptoverif.2.03pl1 on 4.14 had its build status changed: internal failure to passing
- cryptoverif.2.03pl1 on 5.0 had its build status changed: internal failure to passing
- cryptoverif.2.03pl1 on 5.1 had its build status changed: internal failure to passing
- cryptoverif.2.03pl1 on 5.2 had its build status changed: internal failure to passing
- cryptoverif.2.04 on 4.08 had its build status changed: internal failure to passing
- cryptoverif.2.04 on 4.09 had its build status changed: internal failure to passing
- cryptoverif.2.04 on 4.10 had its build status changed: internal failure to passing
- cryptoverif.2.04 on 4.11 had its build status changed: internal failure to passing
- cryptoverif.2.04 on 4.12 had its build status changed: internal failure to passing
- cryptoverif.2.04 on 4.13 had its build status changed: internal failure to passing
- cryptoverif.2.04 on 4.14 had its build status changed: internal failure to passing
- cryptoverif.2.04 on 5.0 had its build status changed: internal failure to passing
- cryptoverif.2.04 on 5.1 had its build status changed: internal failure to passing
- cryptoverif.2.04 on 5.2 had its build status changed: internal failure to passing
- cryptoverif.2.05 on 4.08 had its build status changed: internal failure to passing
- cryptoverif.2.05 on 4.09 had its build status changed: internal failure to passing
- cryptoverif.2.05 on 4.10 had its build status changed: internal failure to passing
- cryptoverif.2.05 on 4.11 had its build status changed: internal failure to passing
- cryptoverif.2.05 on 4.12 had its build status changed: internal failure to passing
- cryptoverif.2.05 on 4.13 had its build status changed: internal failure to passing
- cryptoverif.2.05 on 4.14 had its build status changed: internal failure to passing
- cryptoverif.2.05 on 5.0 had its build status changed: internal failure to passing
- cryptoverif.2.05 on 5.1 had its build status changed: internal failure to passing
- cryptoverif.2.05 on 5.2 had its build status changed: internal failure to passing
- cryptoverif.2.07 on 4.08 had its build status changed: internal failure to passing
- cryptoverif.2.07 on 4.09 had its build status changed: internal failure to passing
- cryptoverif.2.07 on 4.10 had its build status changed: internal failure to passing
- cryptoverif.2.07 on 4.11 had its build status changed: internal failure to passing
- cryptoverif.2.07 on 4.12 had its build status changed: internal failure to passing
- cryptoverif.2.07 on 4.13 had its build status changed: internal failure to passing
- cryptoverif.2.07 on 4.14 had its build status changed: internal failure to passing
- cryptoverif.2.07 on 5.0 had its build status changed: internal failure to passing
- cryptoverif.2.07 on 5.1 had its build status changed: internal failure to passing
- cryptoverif.2.07 on 5.2 had its build status changed: internal failure to passing
- cryptoverif.2.08 on 4.08 had its build status changed: internal failure to passing
- cryptoverif.2.08 on 4.09 had its build status changed: internal failure to passing
- cryptoverif.2.08 on 4.10 had its build status changed: internal failure to passing
- cryptoverif.2.08 on 4.11 had its build status changed: internal failure to passing
- cryptoverif.2.08 on 4.12 had its build status changed: internal failure to passing
- cryptoverif.2.08 on 4.13 had its build status changed: internal failure to passing
- cryptoverif.2.08 on 4.14 had its build status changed: internal failure to passing
- cryptoverif.2.08 on 5.0 had its build status changed: internal failure to passing
- cryptoverif.2.08 on 5.1 had its build status changed: internal failure to passing
- cryptoverif.2.08 on 5.2 had its build status changed: internal failure to passing
- cryptoverif.2.10 on 4.08 is now installable. Current state is: passing
- cryptoverif.2.10 on 4.09 is now installable. Current state is: passing
- cryptoverif.2.10 on 4.10 is now installable. Current state is: passing
- cryptoverif.2.10 on 4.11 is now installable. Current state is: passing
- cryptoverif.2.10 on 4.12 is now installable. Current state is: passing
- cryptoverif.2.10 on 4.13 is now installable. Current state is: passing
- cryptoverif.2.10 on 4.14 is now installable. Current state is: passing
- cryptoverif.2.10 on 5.0 is now installable. Current state is: passing
- cryptoverif.2.10 on 5.1 is now installable. Current state is: passing
- cryptoverif.2.10 on 5.2 is now installable. Current state is: passing
- dbf.0.1.1 on 5.1 had its build status changed: failing to passing
- dbf.0.1.1 on 5.2 had its build status changed: failing to passing
- dbm.1.4 on 4.08 is now installable. Current state is: passing
- dbm.1.4 on 4.09 is now installable. Current state is: passing
- dbm.1.4 on 4.10 is now installable. Current state is: passing
- dbm.1.4 on 4.11 is now installable. Current state is: passing
- dbm.1.4 on 4.12 is now installable. Current state is: passing
- dbm.1.4 on 4.13 is now installable. Current state is: passing
- dbm.1.4 on 4.14 is now installable. Current state is: passing
- dbm.1.4 on 5.0 is now installable. Current state is: passing
- dbm.1.4 on 5.1 is now installable. Current state is: passing
- dbm.1.4 on 5.2 is now installable. Current state is: passing
- diy.5.01 on 4.08 had its build status changed: internal failure to passing
- diy.5.01 on 4.09 had its build status changed: internal failure to passing
- diy.5.01 on 4.10 had its build status changed: internal failure to passing
- diy.5.01 on 4.11 had its build status changed: internal failure to passing
- diy.5.01 on 4.12 had its build status changed: internal failure to passing
- diy.5.01 on 4.13 had its build status changed: internal failure to passing
- diy.5.01 on 4.14 had its build status changed: internal failure to passing
- dkml-component-offline-opam.2.2.0~alpha0~20221104 on 4.12 had its build status changed: internal failure to passing
- dkml-component-offline-opam.2.2.0~alpha0~20221104 on 4.13 had its build status changed: internal failure to passing
- dkml-component-offline-opam.2.2.0~alpha0~20221104 on 4.14 had its build status changed: internal failure to passing
- dkml-component-staging-opam32.2.2.0~alpha0~20221104 on 4.12 had its build status changed: internal failure to passing
- dkml-component-staging-opam32.2.2.0~alpha0~20221104 on 4.13 had its build status changed: internal failure to passing
- dkml-component-staging-opam32.2.2.0~alpha0~20221104 on 4.14 had its build status changed: internal failure to passing
- dkml-component-staging-opam32.2.2.0~dkml20220801 on 4.12 had its build status changed: internal failure to passing
- dkml-component-staging-opam32.2.2.0~dkml20220801 on 4.13 had its build status changed: internal failure to passing
- dkml-component-staging-opam32.2.2.0~dkml20220801 on 4.14 had its build status changed: internal failure to passing
- dkml-component-staging-opam64.2.2.0~alpha0~20221104 on 4.12 had its build status changed: internal failure to passing
- dkml-component-staging-opam64.2.2.0~alpha0~20221104 on 4.13 had its build status changed: internal failure to passing
- dkml-component-staging-opam64.2.2.0~alpha0~20221104 on 4.14 had its build status changed: internal failure to passing
- dkml-component-staging-opam64.2.2.0~dkml20220801 on 4.12 had its build status changed: internal failure to passing
- dkml-component-staging-opam64.2.2.0~dkml20220801 on 4.13 had its build status changed: internal failure to passing
- dkml-component-staging-opam64.2.2.0~dkml20220801 on 4.14 had its build status changed: internal failure to passing
- dolmen.0.10 on 4.08 is now installable. Current state is: passing
- dolmen.0.10 on 4.09 is now installable. Current state is: passing
- dolmen.0.10 on 4.10 is now installable. Current state is: passing
- dolmen.0.10 on 4.11 is now installable. Current state is: passing
- dolmen.0.10 on 4.12 is now installable. Current state is: passing
- dolmen.0.10 on 4.13 is now installable. Current state is: passing
- dolmen.0.10 on 4.14 is now installable. Current state is: passing
- dolmen.0.10 on 5.0 is now installable. Current state is: passing
- dolmen.0.10 on 5.1 is now installable. Current state is: passing
- dolmen.0.10 on 5.2 is now installable. Current state is: passing
- dolmen_bin.0.10 on 4.10 is now installable. Current state is: passing
- dolmen_bin.0.10 on 4.11 is now installable. Current state is: passing
- dolmen_bin.0.10 on 4.12 is now installable. Current state is: passing
- dolmen_bin.0.10 on 4.13 is now installable. Current state is: passing
- dolmen_bin.0.10 on 4.14 is now installable. Current state is: passing
- dolmen_bin.0.10 on 5.0 is now installable. Current state is: passing
- dolmen_bin.0.10 on 5.1 is now installable. Current state is: passing
- dolmen_bin.0.10 on 5.2 is now installable. Current state is: passing
- dolmen_loop.0.10 on 4.08 is now installable. Current state is: passing
- dolmen_loop.0.10 on 4.09 is now installable. Current state is: passing
- dolmen_loop.0.10 on 4.10 is now installable. Current state is: passing
- dolmen_loop.0.10 on 4.11 is now installable. Current state is: passing
- dolmen_loop.0.10 on 4.12 is now installable. Current state is: passing
- dolmen_loop.0.10 on 4.13 is now installable. Current state is: passing
- dolmen_loop.0.10 on 4.14 is now installable. Current state is: passing
- dolmen_loop.0.10 on 5.0 is now installable. Current state is: passing
- dolmen_loop.0.10 on 5.1 is now installable. Current state is: passing
- dolmen_loop.0.10 on 5.2 is now installable. Current state is: passing
- dolmen_lsp.0.10 on 4.08 is now installable. Current state is: passing
- dolmen_lsp.0.10 on 4.09 is now installable. Current state is: passing
- dolmen_lsp.0.10 on 4.10 is now installable. Current state is: passing
- dolmen_lsp.0.10 on 4.11 is now installable. Current state is: passing
- dolmen_lsp.0.10 on 4.12 is now installable. Current state is: passing
- dolmen_lsp.0.10 on 4.13 is now installable. Current state is: passing
- dolmen_lsp.0.10 on 4.14 is now installable. Current state is: passing
- dolmen_lsp.0.10 on 5.0 is now installable. Current state is: passing
- dolmen_lsp.0.10 on 5.1 is now installable. Current state is: passing
- dolmen_lsp.0.10 on 5.2 is now installable. Current state is: passing
- dolmen_model.0.10 on 4.10 is now installable. Current state is: passing
- dolmen_model.0.10 on 4.11 is now installable. Current state is: passing
- dolmen_model.0.10 on 4.12 is now installable. Current state is: passing
- dolmen_model.0.10 on 4.13 is now installable. Current state is: passing
- dolmen_model.0.10 on 4.14 is now installable. Current state is: passing
- dolmen_model.0.10 on 5.0 is now installable. Current state is: passing
- dolmen_model.0.10 on 5.1 is now installable. Current state is: passing
- dolmen_model.0.10 on 5.2 is now installable. Current state is: passing
- dolmen_type.0.10 on 4.08 is now installable. Current state is: passing
- dolmen_type.0.10 on 4.09 is now installable. Current state is: passing
- dolmen_type.0.10 on 4.10 is now installable. Current state is: passing
- dolmen_type.0.10 on 4.11 is now installable. Current state is: passing
- dolmen_type.0.10 on 4.12 is now installable. Current state is: passing
- dolmen_type.0.10 on 4.13 is now installable. Current state is: passing
- dolmen_type.0.10 on 4.14 is now installable. Current state is: passing
- dolmen_type.0.10 on 5.0 is now installable. Current state is: passing
- dolmen_type.0.10 on 5.1 is now installable. Current state is: passing
- dolmen_type.0.10 on 5.2 is now installable. Current state is: passing
- dot-merlin-reader.5.1 on 5.2 is now installable. Current state is: passing
- dream-html.3.5.2 on 4.08 is now installable. Current state is: passing
- dream-html.3.5.2 on 4.09 is now installable. Current state is: passing
- dream-html.3.5.2 on 4.10 is now installable. Current state is: passing
- dream-html.3.5.2 on 4.11 is now installable. Current state is: passing
- dream-html.3.5.2 on 4.12 is now installable. Current state is: passing
- dream-html.3.5.2 on 4.13 is now installable. Current state is: passing
- dream-html.3.5.2 on 4.14 is now installable. Current state is: passing
- dream-html.3.5.2 on 5.0 is now installable. Current state is: passing
- dream-html.3.5.2 on 5.1 is now installable. Current state is: passing
- dream-html.3.5.2 on 5.2 is now installable. Current state is: passing
- dream-html.3.6.0 on 4.08 is now installable. Current state is: passing
- dream-html.3.6.0 on 4.09 is now installable. Current state is: passing
- dream-html.3.6.0 on 4.10 is now installable. Current state is: passing
- dream-html.3.6.0 on 4.11 is now installable. Current state is: passing
- dream-html.3.6.0 on 4.12 is now installable. Current state is: passing
- dream-html.3.6.0 on 4.13 is now installable. Current state is: passing
- dream-html.3.6.0 on 4.14 is now installable. Current state is: passing
- dream-html.3.6.0 on 5.0 is now installable. Current state is: passing
- dream-html.3.6.0 on 5.1 is now installable. Current state is: passing
- dream-html.3.6.0 on 5.2 is now installable. Current state is: passing
- dscheck.0.5.0 on 4.12 is now installable. Current state is: passing
- dscheck.0.5.0 on 4.13 is now installable. Current state is: passing
- dscheck.0.5.0 on 4.14 is now installable. Current state is: passing
- dscheck.0.5.0 on 5.0 is now installable. Current state is: passing
- dscheck.0.5.0 on 5.1 is now installable. Current state is: passing
- dscheck.0.5.0 on 5.2 is now installable. Current state is: passing
- dune-action-plugin.3.16.0 on 4.08 is now installable. Current state is: passing
- dune-action-plugin.3.16.0 on 4.09 is now installable. Current state is: passing
- dune-action-plugin.3.16.0 on 4.10 is now installable. Current state is: passing
- dune-action-plugin.3.16.0 on 4.11 is now installable. Current state is: passing
- dune-action-plugin.3.16.0 on 4.12 is now installable. Current state is: passing
- dune-action-plugin.3.16.0 on 4.13 is now installable. Current state is: passing
- dune-action-plugin.3.16.0 on 4.14 is now installable. Current state is: passing
- dune-action-plugin.3.16.0 on 5.0 is now installable. Current state is: passing
- dune-action-plugin.3.16.0 on 5.1 is now installable. Current state is: passing
- dune-action-plugin.3.16.0 on 5.2 is now installable. Current state is: passing
- dune-build-info.3.16.0 on 4.08 is now installable. Current state is: passing
- dune-build-info.3.16.0 on 4.09 is now installable. Current state is: passing
- dune-build-info.3.16.0 on 4.10 is now installable. Current state is: passing
- dune-build-info.3.16.0 on 4.11 is now installable. Current state is: passing
- dune-build-info.3.16.0 on 4.12 is now installable. Current state is: passing
- dune-build-info.3.16.0 on 4.13 is now installable. Current state is: passing
- dune-build-info.3.16.0 on 4.14 is now installable. Current state is: passing
- dune-build-info.3.16.0 on 5.0 is now installable. Current state is: passing
- dune-build-info.3.16.0 on 5.1 is now installable. Current state is: passing
- dune-build-info.3.16.0 on 5.2 is now installable. Current state is: passing
- dune-configurator.3.16.0 on 4.08 is now installable. Current state is: passing
- dune-configurator.3.16.0 on 4.09 is now installable. Current state is: passing
- dune-configurator.3.16.0 on 4.10 is now installable. Current state is: passing
- dune-configurator.3.16.0 on 4.11 is now installable. Current state is: passing
- dune-configurator.3.16.0 on 4.12 is now installable. Current state is: passing
- dune-configurator.3.16.0 on 4.13 is now installable. Current state is: passing
- dune-configurator.3.16.0 on 4.14 is now installable. Current state is: passing
- dune-configurator.3.16.0 on 5.0 is now installable. Current state is: passing
- dune-configurator.3.16.0 on 5.1 is now installable. Current state is: passing
- dune-configurator.3.16.0 on 5.2 is now installable. Current state is: passing
- dune-glob.3.16.0 on 4.08 is now installable. Current state is: passing
- dune-glob.3.16.0 on 4.09 is now installable. Current state is: passing
- dune-glob.3.16.0 on 4.10 is now installable. Current state is: passing
- dune-glob.3.16.0 on 4.11 is now installable. Current state is: passing
- dune-glob.3.16.0 on 4.12 is now installable. Current state is: passing
- dune-glob.3.16.0 on 4.13 is now installable. Current state is: passing
- dune-glob.3.16.0 on 4.14 is now installable. Current state is: passing
- dune-glob.3.16.0 on 5.0 is now installable. Current state is: passing
- dune-glob.3.16.0 on 5.1 is now installable. Current state is: passing
- dune-glob.3.16.0 on 5.2 is now installable. Current state is: passing
- dune-private-libs.3.16.0 on 4.08 is now installable. Current state is: passing
- dune-private-libs.3.16.0 on 4.09 is now installable. Current state is: passing
- dune-private-libs.3.16.0 on 4.10 is now installable. Current state is: passing
- dune-private-libs.3.16.0 on 4.11 is now installable. Current state is: passing
- dune-private-libs.3.16.0 on 4.12 is now installable. Current state is: passing
- dune-private-libs.3.16.0 on 4.13 is now installable. Current state is: passing
- dune-private-libs.3.16.0 on 4.14 is now installable. Current state is: passing
- dune-private-libs.3.16.0 on 5.0 is now installable. Current state is: passing
- dune-private-libs.3.16.0 on 5.1 is now installable. Current state is: passing
- dune-private-libs.3.16.0 on 5.2 is now installable. Current state is: passing
- dune-rpc-lwt.3.16.0 on 4.08 is now installable. Current state is: passing
- dune-rpc-lwt.3.16.0 on 4.09 is now installable. Current state is: passing
- dune-rpc-lwt.3.16.0 on 4.10 is now installable. Current state is: passing
- dune-rpc-lwt.3.16.0 on 4.11 is now installable. Current state is: passing
- dune-rpc-lwt.3.16.0 on 4.12 is now installable. Current state is: passing
- dune-rpc-lwt.3.16.0 on 4.13 is now installable. Current state is: passing
- dune-rpc-lwt.3.16.0 on 4.14 is now installable. Current state is: passing
- dune-rpc-lwt.3.16.0 on 5.0 is now installable. Current state is: passing
- dune-rpc-lwt.3.16.0 on 5.1 is now installable. Current state is: passing
- dune-rpc-lwt.3.16.0 on 5.2 is now installable. Current state is: passing
- dune-rpc.3.16.0 on 4.08 is now installable. Current state is: passing
- dune-rpc.3.16.0 on 4.09 is now installable. Current state is: passing
- dune-rpc.3.16.0 on 4.10 is now installable. Current state is: passing
- dune-rpc.3.16.0 on 4.11 is now installable. Current state is: passing
- dune-rpc.3.16.0 on 4.12 is now installable. Current state is: passing
- dune-rpc.3.16.0 on 4.13 is now installable. Current state is: passing
- dune-rpc.3.16.0 on 4.14 is now installable. Current state is: passing
- dune-rpc.3.16.0 on 5.0 is now installable. Current state is: passing
- dune-rpc.3.16.0 on 5.1 is now installable. Current state is: passing
- dune-rpc.3.16.0 on 5.2 is now installable. Current state is: passing
- dune-site.3.16.0 on 4.08 is now installable. Current state is: passing
- dune-site.3.16.0 on 4.09 is now installable. Current state is: passing
- dune-site.3.16.0 on 4.10 is now installable. Current state is: passing
- dune-site.3.16.0 on 4.11 is now installable. Current state is: passing
- dune-site.3.16.0 on 4.12 is now installable. Current state is: passing
- dune-site.3.16.0 on 4.13 is now installable. Current state is: passing
- dune-site.3.16.0 on 4.14 is now installable. Current state is: passing
- dune-site.3.16.0 on 5.0 is now installable. Current state is: passing
- dune-site.3.16.0 on 5.1 is now installable. Current state is: passing
- dune-site.3.16.0 on 5.2 is now installable. Current state is: passing
- dune.3.16.0 on 4.08 is now installable. Current state is: passing
- dune.3.16.0 on 4.09 is now installable. Current state is: passing
- dune.3.16.0 on 4.10 is now installable. Current state is: passing
- dune.3.16.0 on 4.11 is now installable. Current state is: passing
- dune.3.16.0 on 4.12 is now installable. Current state is: passing
- dune.3.16.0 on 4.13 is now installable. Current state is: passing
- dune.3.16.0 on 4.14 is now installable. Current state is: passing
- dune.3.16.0 on 5.0 is now installable. Current state is: passing
- dune.3.16.0 on 5.1 is now installable. Current state is: passing
- dune.3.16.0 on 5.2 is now installable. Current state is: passing
- duppy.0.7.0 on 5.2 had its build status changed: not available to passing
- duppy.0.7.1 on 5.2 had its build status changed: not available to passing
- duppy.0.7.3 on 5.2 had its build status changed: not available to passing
- dyn.3.16.0 on 4.08 is now installable. Current state is: passing
- dyn.3.16.0 on 4.09 is now installable. Current state is: passing
- dyn.3.16.0 on 4.10 is now installable. Current state is: passing
- dyn.3.16.0 on 4.11 is now installable. Current state is: passing
- dyn.3.16.0 on 4.12 is now installable. Current state is: passing
- dyn.3.16.0 on 4.13 is now installable. Current state is: passing
- dyn.3.16.0 on 4.14 is now installable. Current state is: passing
- dyn.3.16.0 on 5.0 is now installable. Current state is: passing
- dyn.3.16.0 on 5.1 is now installable. Current state is: passing
- dyn.3.16.0 on 5.2 is now installable. Current state is: passing
- eio-ssl.0.3.0 on 5.0 is now installable. Current state is: passing
- eio-ssl.0.3.0 on 5.1 is now installable. Current state is: passing
- eio-ssl.0.3.0 on 5.2 is now installable. Current state is: passing
- eio-trace.0.2 on 5.1 is now installable. Current state is: passing
- eio-trace.0.2 on 5.2 is now installable. Current state is: passing
- eio-trace.0.3 on 5.1 is now installable. Current state is: passing
- eio-trace.0.3 on 5.2 is now installable. Current state is: passing
- elpi.1.19.3 on 4.08 is now installable. Current state is: passing
- elpi.1.19.3 on 4.09 is now installable. Current state is: passing
- elpi.1.19.3 on 4.10 is now installable. Current state is: passing
- elpi.1.19.3 on 4.11 is now installable. Current state is: passing
- elpi.1.19.3 on 4.12 is now installable. Current state is: passing
- elpi.1.19.3 on 4.13 is now installable. Current state is: passing
- elpi.1.19.3 on 4.14 is now installable. Current state is: passing
- elpi.1.19.3 on 5.0 is now installable. Current state is: passing
- elpi.1.19.3 on 5.1 is now installable. Current state is: passing
- elpi.1.19.3 on 5.2 is now installable. Current state is: passing
- eqaf-cstruct.0.10 on 4.08 is now installable. Current state is: passing
- eqaf-cstruct.0.10 on 4.09 is now installable. Current state is: passing
- eqaf-cstruct.0.10 on 4.10 is now installable. Current state is: passing
- eqaf-cstruct.0.10 on 4.11 is now installable. Current state is: passing
- eqaf-cstruct.0.10 on 4.12 is now installable. Current state is: passing
- eqaf-cstruct.0.10 on 4.13 is now installable. Current state is: passing
- eqaf-cstruct.0.10 on 4.14 is now installable. Current state is: passing
- eqaf-cstruct.0.10 on 5.0 is now installable. Current state is: passing
- eqaf-cstruct.0.10 on 5.1 is now installable. Current state is: passing
- eqaf-cstruct.0.10 on 5.2 is now installable. Current state is: passing
- eqaf.0.10 on 4.08 is now installable. Current state is: passing
- eqaf.0.10 on 4.09 is now installable. Current state is: passing
- eqaf.0.10 on 4.10 is now installable. Current state is: passing
- eqaf.0.10 on 4.11 is now installable. Current state is: passing
- eqaf.0.10 on 4.12 is now installable. Current state is: passing
- eqaf.0.10 on 4.13 is now installable. Current state is: passing
- eqaf.0.10 on 4.14 is now installable. Current state is: passing
- eqaf.0.10 on 5.0 is now installable. Current state is: passing
- eqaf.0.10 on 5.1 is now installable. Current state is: passing
- eqaf.0.10 on 5.2 is now installable. Current state is: passing
- euler.0.3 on 4.08 is now installable. Current state is: passing
- euler.0.3 on 4.09 is now installable. Current state is: passing
- euler.0.3 on 4.10 is now installable. Current state is: passing
- euler.0.3 on 4.11 is now installable. Current state is: passing
- euler.0.3 on 4.12 is now installable. Current state is: passing
- euler.0.3 on 4.13 is now installable. Current state is: passing
- euler.0.3 on 4.14 is now installable. Current state is: passing
- euler.0.3 on 5.0 is now installable. Current state is: passing
- euler.0.3 on 5.1 is now installable. Current state is: passing
- extism-manifest.1.3.0 on 4.14 is now installable. Current state is: passing
- extism-manifest.1.3.0 on 5.0 is now installable. Current state is: passing
- extism-manifest.1.3.0 on 5.1 is now installable. Current state is: passing
- extism-manifest.1.3.0 on 5.2 is now installable. Current state is: passing
- extism.1.3.0 on 4.14 is now installable. Current state is: passing
- extism.1.3.0 on 5.0 is now installable. Current state is: passing
- extism.1.3.0 on 5.1 is now installable. Current state is: passing
- extism.1.3.0 on 5.2 is now installable. Current state is: passing
- extprot.1.7.0 on 5.2 had its build status changed: not available to passing
- ez_api.2.1.0 on 4.10 is now installable. Current state is: passing
- ez_api.2.1.0 on 4.11 is now installable. Current state is: passing
- ez_api.2.1.0 on 4.12 is now installable. Current state is: passing
- ez_api.2.1.0 on 4.13 is now installable. Current state is: passing
- ez_api.2.1.0 on 4.14 is now installable. Current state is: passing
- ez_api.2.1.0 on 5.0 is now installable. Current state is: passing
- ez_api.2.1.0 on 5.1 is now installable. Current state is: passing
- ez_api.2.1.0 on 5.2 is now installable. Current state is: passing
- fix.20130611 on 4.08 had its build status changed: internal failure to passing
- fix.20130611 on 4.09 had its build status changed: internal failure to passing
- fix.20130611 on 4.10 had its build status changed: internal failure to passing
- fix.20130611 on 4.11 had its build status changed: internal failure to passing
- fix.20130611 on 4.12 had its build status changed: internal failure to passing
- fix.20130611 on 4.13 had its build status changed: internal failure to passing
- fix.20130611 on 4.14 had its build status changed: internal failure to passing
- fix.20130611 on 5.0 had its build status changed: internal failure to passing
- fix.20130611 on 5.1 had its build status changed: internal failure to passing
- fix.20130611 on 5.2 had its build status changed: internal failure to passing
- flint.0.4.0 on 4.10 is now installable. Current state is: passing
- flint.0.4.0 on 4.11 is now installable. Current state is: passing
- flint.0.4.0 on 4.12 is now installable. Current state is: passing
- flint.0.4.0 on 4.13 is now installable. Current state is: passing
- flint.0.4.0 on 4.14 is now installable. Current state is: passing
- flint.0.4.0 on 5.0 is now installable. Current state is: passing
- flint.0.4.0 on 5.1 is now installable. Current state is: passing
- flint.0.4.0 on 5.2 is now installable. Current state is: passing
- forester.4.1.0 on 5.2 is now installable. Current state is: passing
- frama-c-lannotate.0.2.3 on 4.13 is now installable. Current state is: passing
- frama-c-lannotate.0.2.3 on 4.14 is now installable. Current state is: passing
- frama-c-lannotate.0.2.3 on 5.0 is now installable. Current state is: passing
- frama-c-lannotate.0.2.3 on 5.1 is now installable. Current state is: passing
- frama-c-lannotate.0.2.3 on 5.2 is now installable. Current state is: passing
- frama-c-luncov.0.2.1 on 4.13 is now installable. Current state is: passing
- frama-c-luncov.0.2.1 on 4.14 is now installable. Current state is: passing
- frama-c-luncov.0.2.1 on 5.0 is now installable. Current state is: passing
- frama-c-luncov.0.2.1 on 5.1 is now installable. Current state is: passing
- frama-c-luncov.0.2.1 on 5.2 is now installable. Current state is: passing
- fun-postgresql.0.2.3 on 4.14 is now installable. Current state is: passing
- fun-postgresql.0.2.3 on 5.0 is now installable. Current state is: passing
- fun-postgresql.0.2.3 on 5.1 is now installable. Current state is: passing
- fun-postgresql.0.2.3 on 5.2 is now installable. Current state is: passing
- fun-sql.0.2.3 on 4.14 is now installable. Current state is: passing
- fun-sql.0.2.3 on 5.0 is now installable. Current state is: passing
- fun-sql.0.2.3 on 5.1 is now installable. Current state is: passing
- fun-sql.0.2.3 on 5.2 is now installable. Current state is: passing
- fun-sqlite.0.2.3 on 4.14 is now installable. Current state is: passing
- fun-sqlite.0.2.3 on 5.0 is now installable. Current state is: passing
- fun-sqlite.0.2.3 on 5.1 is now installable. Current state is: passing
- fun-sqlite.0.2.3 on 5.2 is now installable. Current state is: passing
- h2-async.0.12.0 on 4.11 is now installable. Current state is: passing
- h2-async.0.12.0 on 4.12 is now installable. Current state is: passing
- h2-async.0.12.0 on 4.13 is now installable. Current state is: passing
- h2-async.0.12.0 on 4.14 is now installable. Current state is: passing
- h2-async.0.12.0 on 5.0 is now installable. Current state is: passing
- h2-async.0.12.0 on 5.1 is now installable. Current state is: passing
- h2-async.0.12.0 on 5.2 is now installable. Current state is: passing
- h2-eio.0.12.0 on 5.0 is now installable. Current state is: passing
- h2-eio.0.12.0 on 5.1 is now installable. Current state is: passing
- h2-eio.0.12.0 on 5.2 is now installable. Current state is: passing
- h2-lwt-unix.0.12.0 on 4.08 is now installable. Current state is: passing
- h2-lwt-unix.0.12.0 on 4.09 is now installable. Current state is: passing
- h2-lwt-unix.0.12.0 on 4.10 is now installable. Current state is: passing
- h2-lwt-unix.0.12.0 on 4.11 is now installable. Current state is: passing
- h2-lwt-unix.0.12.0 on 4.12 is now installable. Current state is: passing
- h2-lwt-unix.0.12.0 on 4.13 is now installable. Current state is: passing
- h2-lwt-unix.0.12.0 on 4.14 is now installable. Current state is: passing
- h2-lwt-unix.0.12.0 on 5.0 is now installable. Current state is: passing
- h2-lwt-unix.0.12.0 on 5.1 is now installable. Current state is: passing
- h2-lwt-unix.0.12.0 on 5.2 is now installable. Current state is: passing
- h2-lwt.0.12.0 on 4.08 is now installable. Current state is: passing
- h2-lwt.0.12.0 on 4.09 is now installable. Current state is: passing
- h2-lwt.0.12.0 on 4.10 is now installable. Current state is: passing
- h2-lwt.0.12.0 on 4.11 is now installable. Current state is: passing
- h2-lwt.0.12.0 on 4.12 is now installable. Current state is: passing
- h2-lwt.0.12.0 on 4.13 is now installable. Current state is: passing
- h2-lwt.0.12.0 on 4.14 is now installable. Current state is: passing
- h2-lwt.0.12.0 on 5.0 is now installable. Current state is: passing
- h2-lwt.0.12.0 on 5.1 is now installable. Current state is: passing
- h2-lwt.0.12.0 on 5.2 is now installable. Current state is: passing
- h2-mirage.0.12.0 on 4.08 is now installable. Current state is: passing
- h2-mirage.0.12.0 on 4.09 is now installable. Current state is: passing
- h2-mirage.0.12.0 on 4.10 is now installable. Current state is: passing
- h2-mirage.0.12.0 on 4.11 is now installable. Current state is: passing
- h2-mirage.0.12.0 on 4.12 is now installable. Current state is: passing
- h2-mirage.0.12.0 on 4.13 is now installable. Current state is: passing
- h2-mirage.0.12.0 on 4.14 is now installable. Current state is: passing
- h2-mirage.0.12.0 on 5.0 is now installable. Current state is: passing
- h2-mirage.0.12.0 on 5.1 is now installable. Current state is: passing
- h2-mirage.0.12.0 on 5.2 is now installable. Current state is: passing
- h2.0.12.0 on 4.08 is now installable. Current state is: passing
- h2.0.12.0 on 4.09 is now installable. Current state is: passing
- h2.0.12.0 on 4.10 is now installable. Current state is: passing
- h2.0.12.0 on 4.11 is now installable. Current state is: passing
- h2.0.12.0 on 4.12 is now installable. Current state is: passing
- h2.0.12.0 on 4.13 is now installable. Current state is: passing
- h2.0.12.0 on 4.14 is now installable. Current state is: passing
- h2.0.12.0 on 5.0 is now installable. Current state is: passing
- h2.0.12.0 on 5.1 is now installable. Current state is: passing
- h2.0.12.0 on 5.2 is now installable. Current state is: passing
- hacl-star-raw.0.2.1 on 4.11 had its build status changed: failing to passing
- hacl-star-raw.0.2.1 on 4.13 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.0.1 on 4.10 had its build status changed: partially failing to passing
- hacl-star.0.1.1 on 4.09 had its build status changed: partially failing to passing
- hacl-star.0.2.0 on 4.11 had its build status changed: partially failing to passing
- hacl-star.0.2.1 on 4.08 had its build status changed: partially failing to passing
- hacl-star.0.2.2 on 4.13 had its build status changed: partially failing to passing
- hevea.2.25 on 4.08 had its build status changed: internal failure to passing
- hevea.2.25 on 4.09 had its build status changed: internal failure to passing
- hevea.2.25 on 4.10 had its build status changed: internal failure to passing
- hevea.2.25 on 4.11 had its build status changed: internal failure to passing
- hevea.2.25 on 4.12 had its build status changed: internal failure to passing
- hevea.2.25 on 4.13 had its build status changed: internal failure to passing
- hevea.2.25 on 4.14 had its build status changed: internal failure to passing
- hevea.2.28 on 4.08 had its build status changed: internal failure to passing
- hevea.2.28 on 4.09 had its build status changed: internal failure to passing
- hevea.2.28 on 4.10 had its build status changed: internal failure to passing
- hevea.2.28 on 4.11 had its build status changed: internal failure to passing
- hevea.2.28 on 4.12 had its build status changed: internal failure to passing
- hevea.2.28 on 4.13 had its build status changed: internal failure to passing
- hevea.2.28 on 4.14 had its build status changed: internal failure to passing
- hevea.2.29 on 4.08 had its build status changed: internal failure to passing
- hevea.2.29 on 4.09 had its build status changed: internal failure to passing
- hevea.2.29 on 4.10 had its build status changed: internal failure to passing
- hevea.2.29 on 4.11 had its build status changed: internal failure to passing
- hevea.2.29 on 4.12 had its build status changed: internal failure to passing
- hevea.2.29 on 4.13 had its build status changed: internal failure to passing
- hevea.2.29 on 4.14 had its build status changed: internal failure to passing
- hevea.2.32 on 4.08 had its build status changed: internal failure to passing
- hevea.2.32 on 4.09 had its build status changed: internal failure to passing
- hevea.2.32 on 4.10 had its build status changed: internal failure to passing
- hevea.2.32 on 4.11 had its build status changed: internal failure to passing
- hevea.2.32 on 4.12 had its build status changed: internal failure to passing
- hevea.2.32 on 4.13 had its build status changed: internal failure to passing
- hevea.2.32 on 4.14 had its build status changed: internal failure to passing
- hkdf.2.0.0 on 4.08 is now installable. Current state is: passing
- hkdf.2.0.0 on 4.09 is now installable. Current state is: passing
- hkdf.2.0.0 on 4.10 is now installable. Current state is: passing
- hkdf.2.0.0 on 4.11 is now installable. Current state is: passing
- hkdf.2.0.0 on 4.12 is now installable. Current state is: passing
- hkdf.2.0.0 on 4.13 is now installable. Current state is: passing
- hkdf.2.0.0 on 4.14 is now installable. Current state is: passing
- hkdf.2.0.0 on 5.0 is now installable. Current state is: passing
- hkdf.2.0.0 on 5.1 is now installable. Current state is: passing
- hkdf.2.0.0 on 5.2 is now installable. Current state is: passing
- hpack.0.12.0 on 4.08 is now installable. Current state is: passing
- hpack.0.12.0 on 4.09 is now installable. Current state is: passing
- hpack.0.12.0 on 4.10 is now installable. Current state is: passing
- hpack.0.12.0 on 4.11 is now installable. Current state is: passing
- hpack.0.12.0 on 4.12 is now installable. Current state is: passing
- hpack.0.12.0 on 4.13 is now installable. Current state is: passing
- hpack.0.12.0 on 4.14 is now installable. Current state is: passing
- hpack.0.12.0 on 5.0 is now installable. Current state is: passing
- hpack.0.12.0 on 5.1 is now installable. Current state is: passing
- hpack.0.12.0 on 5.2 is now installable. Current state is: passing
- html_of_jsx.0.0.4 on 4.14 is now installable. Current state is: passing
- html_of_jsx.0.0.4 on 5.0 is now installable. Current state is: passing
- html_of_jsx.0.0.4 on 5.1 is now installable. Current state is: passing
- html_of_jsx.0.0.4 on 5.2 is now installable. Current state is: passing
- http-mirage-client.0.0.6 on 4.11 is now installable. Current state is: passing
- http-mirage-client.0.0.6 on 4.12 is now installable. Current state is: passing
- http-mirage-client.0.0.6 on 4.13 is now installable. Current state is: passing
- http-mirage-client.0.0.6 on 4.14 is now installable. Current state is: passing
- http-mirage-client.0.0.6 on 5.0 is now installable. Current state is: passing
- http-mirage-client.0.0.6 on 5.1 is now installable. Current state is: passing
- http-mirage-client.0.0.6 on 5.2 is now installable. Current state is: passing
- http_async.0.0.2 on 5.1 had its build status changed: partially failing to passing
- http_async.0.0.2 on 5.2 had its build status changed: partially failing to passing
- http_async.0.0.3 on 5.1 had its build status changed: partially failing to passing
- http_async.0.0.3 on 5.2 had its build status changed: partially failing to passing
- http_async.0.0.4 on 5.1 had its build status changed: partially failing to passing
- http_async.0.0.4 on 5.2 had its build status changed: partially failing to passing
- http_async.0.1.0 on 5.1 had its build status changed: partially failing to passing
- http_async.0.1.0 on 5.2 had its build status changed: partially failing to passing
- http_async.0.1.1 on 5.1 had its build status changed: partially failing to passing
- http_async.0.1.1 on 5.2 had its build status changed: partially failing to passing
- http_async.0.2.0 on 5.1 had its build status changed: partially failing to passing
- http_async.0.2.0 on 5.2 had its build status changed: partially failing to passing
- httpun-ws-async.0.1.0 on 4.11 is now installable. Current state is: passing
- httpun-ws-async.0.1.0 on 4.12 is now installable. Current state is: passing
- httpun-ws-async.0.1.0 on 4.13 is now installable. Current state is: passing
- httpun-ws-async.0.1.0 on 4.14 is now installable. Current state is: passing
- httpun-ws-async.0.1.0 on 5.0 is now installable. Current state is: passing
- httpun-ws-async.0.1.0 on 5.1 is now installable. Current state is: passing
- httpun-ws-async.0.1.0 on 5.2 is now installable. Current state is: passing
- httpun-ws-eio.0.1.0 on 5.0 is now installable. Current state is: passing
- httpun-ws-eio.0.1.0 on 5.1 is now installable. Current state is: passing
- httpun-ws-eio.0.1.0 on 5.2 is now installable. Current state is: passing
- httpun-ws-lwt-unix.0.1.0 on 4.08 is now installable. Current state is: passing
- httpun-ws-lwt-unix.0.1.0 on 4.09 is now installable. Current state is: passing
- httpun-ws-lwt-unix.0.1.0 on 4.10 is now installable. Current state is: passing
- httpun-ws-lwt-unix.0.1.0 on 4.11 is now installable. Current state is: passing
- httpun-ws-lwt-unix.0.1.0 on 4.12 is now installable. Current state is: passing
- httpun-ws-lwt-unix.0.1.0 on 4.13 is now installable. Current state is: passing
- httpun-ws-lwt-unix.0.1.0 on 4.14 is now installable. Current state is: passing
- httpun-ws-lwt-unix.0.1.0 on 5.0 is now installable. Current state is: passing
- httpun-ws-lwt-unix.0.1.0 on 5.1 is now installable. Current state is: passing
- httpun-ws-lwt-unix.0.1.0 on 5.2 is now installable. Current state is: passing
- httpun-ws-lwt.0.1.0 on 4.08 is now installable. Current state is: passing
- httpun-ws-lwt.0.1.0 on 4.09 is now installable. Current state is: passing
- httpun-ws-lwt.0.1.0 on 4.10 is now installable. Current state is: passing
- httpun-ws-lwt.0.1.0 on 4.11 is now installable. Current state is: passing
- httpun-ws-lwt.0.1.0 on 4.12 is now installable. Current state is: passing
- httpun-ws-lwt.0.1.0 on 4.13 is now installable. Current state is: passing
- httpun-ws-lwt.0.1.0 on 4.14 is now installable. Current state is: passing
- httpun-ws-lwt.0.1.0 on 5.0 is now installable. Current state is: passing
- httpun-ws-lwt.0.1.0 on 5.1 is now installable. Current state is: passing
- httpun-ws-lwt.0.1.0 on 5.2 is now installable. Current state is: passing
- httpun-ws-mirage.0.1.0 on 4.08 is now installable. Current state is: passing
- httpun-ws-mirage.0.1.0 on 4.09 is now installable. Current state is: passing
- httpun-ws-mirage.0.1.0 on 4.10 is now installable. Current state is: passing
- httpun-ws-mirage.0.1.0 on 4.11 is now installable. Current state is: passing
- httpun-ws-mirage.0.1.0 on 4.12 is now installable. Current state is: passing
- httpun-ws-mirage.0.1.0 on 4.13 is now installable. Current state is: passing
- httpun-ws-mirage.0.1.0 on 4.14 is now installable. Current state is: passing
- httpun-ws-mirage.0.1.0 on 5.0 is now installable. Current state is: passing
- httpun-ws-mirage.0.1.0 on 5.1 is now installable. Current state is: passing
- httpun-ws-mirage.0.1.0 on 5.2 is now installable. Current state is: passing
- httpun-ws.0.1.0 on 4.08 is now installable. Current state is: passing
- httpun-ws.0.1.0 on 4.09 is now installable. Current state is: passing
- httpun-ws.0.1.0 on 4.10 is now installable. Current state is: passing
- httpun-ws.0.1.0 on 4.11 is now installable. Current state is: passing
- httpun-ws.0.1.0 on 4.12 is now installable. Current state is: passing
- httpun-ws.0.1.0 on 4.13 is now installable. Current state is: passing
- httpun-ws.0.1.0 on 4.14 is now installable. Current state is: passing
- httpun-ws.0.1.0 on 5.0 is now installable. Current state is: passing
- httpun-ws.0.1.0 on 5.1 is now installable. Current state is: passing
- httpun-ws.0.1.0 on 5.2 is now installable. Current state is: passing
- imguiml.v1.90.6 on 4.08 is now installable. Current state is: passing
- imguiml.v1.90.6 on 4.09 is now installable. Current state is: passing
- imguiml.v1.90.6 on 4.10 is now installable. Current state is: passing
- imguiml.v1.90.6 on 4.11 is now installable. Current state is: passing
- imguiml.v1.90.6 on 4.12 is now installable. Current state is: passing
- imguiml.v1.90.6 on 4.13 is now installable. Current state is: passing
- imguiml.v1.90.6 on 4.14 is now installable. Current state is: passing
- imguiml.v1.90.6 on 5.0 is now installable. Current state is: passing
- imguiml.v1.90.6 on 5.1 is now installable. Current state is: passing
- imguiml.v1.90.6 on 5.2 is now installable. Current state is: passing
- irmin-mirage-git.2.3.0 on 4.08 had its build status changed: partially failing to passing
- irmin-mirage-git.2.3.0 on 4.09 had its build status changed: partially failing to passing
- irmin-mirage-git.2.3.0 on 4.10 had its build status changed: partially failing to passing
- irmin-mirage-git.2.3.0 on 4.11 had its build status changed: partially failing to passing
- jasmin.2023.06.4 on 4.11 is now installable. Current state is: passing
- jasmin.2023.06.4 on 4.12 is now installable. Current state is: passing
- jasmin.2023.06.4 on 4.13 is now installable. Current state is: passing
- jasmin.2023.06.4 on 4.14 is now installable. Current state is: passing
- jasmin.2023.06.4 on 5.0 is now installable. Current state is: passing
- jasmin.2023.06.4 on 5.1 is now installable. Current state is: passing
- jasmin.2023.06.4 on 5.2 is now installable. Current state is: passing
- jasmin.2024.07.0 on 4.11 is now installable. Current state is: passing
- jasmin.2024.07.0 on 4.12 is now installable. Current state is: passing
- jasmin.2024.07.0 on 4.13 is now installable. Current state is: passing
- jasmin.2024.07.0 on 4.14 is now installable. Current state is: passing
- jasmin.2024.07.0 on 5.0 is now installable. Current state is: passing
- jasmin.2024.07.0 on 5.1 is now installable. Current state is: passing
- jasmin.2024.07.0 on 5.2 is now installable. Current state is: passing
- jsonrpc.1.18.0 on 4.08 is now installable. Current state is: passing
- jsonrpc.1.18.0 on 4.09 is now installable. Current state is: passing
- jsonrpc.1.18.0 on 4.10 is now installable. Current state is: passing
- jsonrpc.1.18.0 on 4.11 is now installable. Current state is: passing
- jsonrpc.1.18.0 on 4.12 is now installable. Current state is: passing
- jsonrpc.1.18.0 on 4.13 is now installable. Current state is: passing
- jsonrpc.1.18.0 on 4.14 is now installable. Current state is: passing
- jsonrpc.1.18.0 on 5.0 is now installable. Current state is: passing
- jsonrpc.1.18.0 on 5.1 is now installable. Current state is: passing
- jsonrpc.1.18.0 on 5.2 is now installable. Current state is: passing
- jsonschema2atd.0.0.3 on 4.14 is now installable. Current state is: passing
- jsonschema2atd.0.0.3 on 5.0 is now installable. Current state is: passing
- jsonschema2atd.0.0.3 on 5.1 is now installable. Current state is: passing
- jsonschema2atd.0.0.3 on 5.2 is now installable. Current state is: passing
- lablgtk3-goocanvas2.3.1.5 on 4.09 is now installable. Current state is: passing
- lablgtk3-goocanvas2.3.1.5 on 4.10 is now installable. Current state is: passing
- lablgtk3-goocanvas2.3.1.5 on 4.11 is now installable. Current state is: passing
- lablgtk3-goocanvas2.3.1.5 on 4.12 is now installable. Current state is: passing
- lablgtk3-goocanvas2.3.1.5 on 4.13 is now installable. Current state is: passing
- lablgtk3-goocanvas2.3.1.5 on 4.14 is now installable. Current state is: passing
- lablgtk3-goocanvas2.3.1.5 on 5.0 is now installable. Current state is: passing
- lablgtk3-goocanvas2.3.1.5 on 5.1 is now installable. Current state is: passing
- lablgtk3-goocanvas2.3.1.5 on 5.2 is now installable. Current state is: passing
- lablgtk3-gtkspell3.3.1.5 on 4.09 is now installable. Current state is: passing
- lablgtk3-gtkspell3.3.1.5 on 4.10 is now installable. Current state is: passing
- lablgtk3-gtkspell3.3.1.5 on 4.11 is now installable. Current state is: passing
- lablgtk3-gtkspell3.3.1.5 on 4.12 is now installable. Current state is: passing
- lablgtk3-gtkspell3.3.1.5 on 4.13 is now installable. Current state is: passing
- lablgtk3-gtkspell3.3.1.5 on 4.14 is now installable. Current state is: passing
- lablgtk3-gtkspell3.3.1.5 on 5.0 is now installable. Current state is: passing
- lablgtk3-gtkspell3.3.1.5 on 5.1 is now installable. Current state is: passing
- lablgtk3-gtkspell3.3.1.5 on 5.2 is now installable. Current state is: passing
- lablgtk3-rsvg2.3.1.5 on 4.12 is now installable. Current state is: passing
- lablgtk3-rsvg2.3.1.5 on 4.13 is now installable. Current state is: passing
- lablgtk3-rsvg2.3.1.5 on 4.14 is now installable. Current state is: passing
- lablgtk3-rsvg2.3.1.5 on 5.0 is now installable. Current state is: passing
- lablgtk3-rsvg2.3.1.5 on 5.1 is now installable. Current state is: passing
- lablgtk3-rsvg2.3.1.5 on 5.2 is now installable. Current state is: passing
- lablgtk3-sourceview3.3.1.5 on 4.09 is now installable. Current state is: passing
- lablgtk3-sourceview3.3.1.5 on 4.10 is now installable. Current state is: passing
- lablgtk3-sourceview3.3.1.5 on 4.11 is now installable. Current state is: passing
- lablgtk3-sourceview3.3.1.5 on 4.12 is now installable. Current state is: passing
- lablgtk3-sourceview3.3.1.5 on 4.13 is now installable. Current state is: passing
- lablgtk3-sourceview3.3.1.5 on 4.14 is now installable. Current state is: passing
- lablgtk3-sourceview3.3.1.5 on 5.0 is now installable. Current state is: passing
- lablgtk3-sourceview3.3.1.5 on 5.1 is now installable. Current state is: passing
- lablgtk3-sourceview3.3.1.5 on 5.2 is now installable. Current state is: passing
- lablgtk3.3.1.5 on 4.09 is now installable. Current state is: passing
- lablgtk3.3.1.5 on 4.10 is now installable. Current state is: passing
- lablgtk3.3.1.5 on 4.11 is now installable. Current state is: passing
- lablgtk3.3.1.5 on 4.12 is now installable. Current state is: passing
- lablgtk3.3.1.5 on 4.13 is now installable. Current state is: passing
- lablgtk3.3.1.5 on 4.14 is now installable. Current state is: passing
- lablgtk3.3.1.5 on 5.0 is now installable. Current state is: passing
- lablgtk3.3.1.5 on 5.1 is now installable. Current state is: passing
- lablgtk3.3.1.5 on 5.2 is now installable. Current state is: passing
- labltk.8.06.14 on 4.08 is now installable. Current state is: passing
- labltk.8.06.14 on 4.09 is now installable. Current state is: passing
- labltk.8.06.14 on 4.10 is now installable. Current state is: passing
- labltk.8.06.14 on 4.11 is now installable. Current state is: passing
- labltk.8.06.14 on 4.12 is now installable. Current state is: passing
- labltk.8.06.14 on 4.13 is now installable. Current state is: passing
- labltk.8.06.14 on 4.14 is now installable. Current state is: passing
- labltk.8.06.14 on 5.0 is now installable. Current state is: passing
- labltk.8.06.14 on 5.1 is now installable. Current state is: passing
- labltk.8.06.14 on 5.2 is now installable. Current state is: passing
- lambdapi.2.0.0 on 4.12 had its build status changed: partially failing to passing
- lambdapi.2.0.0 on 4.13 had its build status changed: partially failing to passing
- lbfgs.0.9.1 on 5.2 had its build status changed: not available to passing
- lbfgs.0.9.2 on 5.2 had its build status changed: not available to passing
- ledit.2.04 on 4.08 had its build status changed: internal failure to passing
- ledit.2.04 on 4.09 had its build status changed: internal failure to passing
- ledit.2.04 on 4.10 had its build status changed: internal failure to passing
- ledit.2.04 on 4.11 had its build status changed: internal failure to passing
- ledit.2.04 on 4.12 had its build status changed: internal failure to passing
- libbpf.0.1.0 on 4.08 is now installable. Current state is: passing
- libbpf.0.1.0 on 4.09 is now installable. Current state is: passing
- libbpf.0.1.0 on 4.10 is now installable. Current state is: passing
- libbpf.0.1.0 on 4.11 is now installable. Current state is: passing
- libbpf.0.1.0 on 4.12 is now installable. Current state is: passing
- libbpf.0.1.0 on 4.13 is now installable. Current state is: passing
- libbpf.0.1.0 on 4.14 is now installable. Current state is: passing
- libbpf.0.1.0 on 5.0 is now installable. Current state is: passing
- libbpf.0.1.0 on 5.1 is now installable. Current state is: passing
- libbpf.0.1.0 on 5.2 is now installable. Current state is: passing
- libbpf_maps.0.1.0 on 4.08 is now installable. Current state is: passing
- libbpf_maps.0.1.0 on 4.09 is now installable. Current state is: passing
- libbpf_maps.0.1.0 on 4.10 is now installable. Current state is: passing
- libbpf_maps.0.1.0 on 4.11 is now installable. Current state is: passing
- libbpf_maps.0.1.0 on 4.12 is now installable. Current state is: passing
- libbpf_maps.0.1.0 on 4.13 is now installable. Current state is: passing
- libbpf_maps.0.1.0 on 4.14 is now installable. Current state is: passing
- libbpf_maps.0.1.0 on 5.0 is now installable. Current state is: passing
- libbpf_maps.0.1.0 on 5.1 is now installable. Current state is: passing
- libbpf_maps.0.1.0 on 5.2 is now installable. Current state is: passing
- llvm.17.0.6 on 4.08 is now installable. Current state is: passing
- llvm.17.0.6 on 4.09 is now installable. Current state is: passing
- llvm.17.0.6 on 4.10 is now installable. Current state is: passing
- llvm.17.0.6 on 4.11 is now installable. Current state is: passing
- llvm.17.0.6 on 4.12 is now installable. Current state is: passing
- llvm.17.0.6 on 4.13 is now installable. Current state is: passing
- llvm.17.0.6 on 4.14 is now installable. Current state is: passing
- llvm.17.0.6 on 5.0 is now installable. Current state is: passing
- llvm.17.0.6 on 5.1 is now installable. Current state is: passing
- llvm.17.0.6 on 5.2 is now installable. Current state is: passing
- lreplay.0.1.1 on 4.13 is now installable. Current state is: passing
- lreplay.0.1.1 on 4.14 is now installable. Current state is: passing
- lreplay.0.1.1 on 5.0 is now installable. Current state is: passing
- lreplay.0.1.1 on 5.1 is now installable. Current state is: passing
- lreplay.0.1.1 on 5.2 is now installable. Current state is: passing
- lsp.1.18.0 on 4.14 is now installable. Current state is: passing
- lsp.1.18.0 on 5.0 is now installable. Current state is: passing
- lsp.1.18.0 on 5.1 is now installable. Current state is: passing
- lsp.1.18.0 on 5.2 is now installable. Current state is: passing
- malfunction.0.6 on 4.08 is now installable. Current state is: passing
- malfunction.0.6 on 4.09 is now installable. Current state is: passing
- malfunction.0.6 on 4.10 is now installable. Current state is: passing
- malfunction.0.6 on 4.11 is now installable. Current state is: passing
- malfunction.0.6 on 4.12 is now installable. Current state is: passing
- malfunction.0.6 on 4.13 is now installable. Current state is: passing
- malfunction.0.6 on 4.14 is now installable. Current state is: passing
- malfunction.0.6 on 5.0 is now installable. Current state is: passing
- malfunction.0.6 on 5.1 is now installable. Current state is: passing
- malfunction.0.6 on 5.2 is now installable. Current state is: passing
- menhir.20160303 on 4.08 had its build status changed: internal failure to passing
- menhir.20160303 on 4.09 had its build status changed: internal failure to passing
- menhir.20160303 on 4.10 had its build status changed: internal failure to passing
- menhir.20160303 on 4.11 had its build status changed: internal failure to passing
- menhir.20160303 on 4.12 had its build status changed: internal failure to passing
- menhir.20160303 on 4.13 had its build status changed: internal failure to passing
- menhir.20160303 on 4.14 had its build status changed: internal failure to passing
- menhir.20160504 on 4.08 had its build status changed: internal failure to passing
- menhir.20160504 on 4.09 had its build status changed: internal failure to passing
- menhir.20160504 on 4.10 had its build status changed: internal failure to passing
- menhir.20160504 on 4.11 had its build status changed: internal failure to passing
- menhir.20160504 on 4.12 had its build status changed: internal failure to passing
- menhir.20160504 on 4.13 had its build status changed: internal failure to passing
- menhir.20160504 on 4.14 had its build status changed: internal failure to passing
- menhir.20160526 on 4.08 had its build status changed: internal failure to passing
- menhir.20160526 on 4.09 had its build status changed: internal failure to passing
- menhir.20160526 on 4.10 had its build status changed: internal failure to passing
- menhir.20160526 on 4.11 had its build status changed: internal failure to passing
- menhir.20160526 on 4.12 had its build status changed: internal failure to passing
- menhir.20160526 on 4.13 had its build status changed: internal failure to passing
- menhir.20160526 on 4.14 had its build status changed: internal failure to passing
- menhir.20160808 on 4.08 had its build status changed: internal failure to passing
- menhir.20160808 on 4.09 had its build status changed: internal failure to passing
- menhir.20160808 on 4.10 had its build status changed: internal failure to passing
- menhir.20160808 on 4.11 had its build status changed: internal failure to passing
- menhir.20160808 on 4.12 had its build status changed: internal failure to passing
- menhir.20160808 on 4.13 had its build status changed: internal failure to passing
- menhir.20160808 on 4.14 had its build status changed: internal failure to passing
- menhir.20160825 on 4.08 had its build status changed: internal failure to passing
- menhir.20160825 on 4.09 had its build status changed: internal failure to passing
- menhir.20160825 on 4.10 had its build status changed: internal failure to passing
- menhir.20160825 on 4.11 had its build status changed: internal failure to passing
- menhir.20160825 on 4.12 had its build status changed: internal failure to passing
- menhir.20160825 on 4.13 had its build status changed: internal failure to passing
- menhir.20160825 on 4.14 had its build status changed: internal failure to passing
- menhir.20161114 on 4.08 had its build status changed: internal failure to passing
- menhir.20161114 on 4.09 had its build status changed: internal failure to passing
- menhir.20161114 on 4.10 had its build status changed: internal failure to passing
- menhir.20161114 on 4.11 had its build status changed: internal failure to passing
- menhir.20161114 on 4.12 had its build status changed: internal failure to passing
- menhir.20161114 on 4.13 had its build status changed: internal failure to passing
- menhir.20161114 on 4.14 had its build status changed: internal failure to passing
- menhir.20161115 on 4.08 had its build status changed: internal failure to passing
- menhir.20161115 on 4.09 had its build status changed: internal failure to passing
- menhir.20161115 on 4.10 had its build status changed: internal failure to passing
- menhir.20161115 on 4.11 had its build status changed: internal failure to passing
- menhir.20161115 on 4.12 had its build status changed: internal failure to passing
- menhir.20161115 on 4.13 had its build status changed: internal failure to passing
- menhir.20161115 on 4.14 had its build status changed: internal failure to passing
- menhir.20170101 on 4.08 had its build status changed: internal failure to passing
- menhir.20170101 on 4.09 had its build status changed: internal failure to passing
- menhir.20170101 on 4.10 had its build status changed: internal failure to passing
- menhir.20170101 on 4.11 had its build status changed: internal failure to passing
- menhir.20170101 on 4.12 had its build status changed: internal failure to passing
- menhir.20170101 on 4.13 had its build status changed: internal failure to passing
- menhir.20170101 on 4.14 had its build status changed: internal failure to passing
- menhir.20170418 on 4.08 had its build status changed: internal failure to passing
- menhir.20170418 on 4.09 had its build status changed: internal failure to passing
- menhir.20170418 on 4.10 had its build status changed: internal failure to passing
- menhir.20170418 on 4.11 had its build status changed: internal failure to passing
- menhir.20170418 on 4.12 had its build status changed: internal failure to passing
- menhir.20170418 on 4.13 had its build status changed: internal failure to passing
- menhir.20170418 on 4.14 had its build status changed: internal failure to passing
- menhir.20170509 on 4.08 had its build status changed: internal failure to passing
- menhir.20170509 on 4.09 had its build status changed: internal failure to passing
- menhir.20170509 on 4.10 had its build status changed: internal failure to passing
- menhir.20170509 on 4.11 had its build status changed: internal failure to passing
- menhir.20170509 on 4.12 had its build status changed: internal failure to passing
- menhir.20170509 on 4.13 had its build status changed: internal failure to passing
- menhir.20170509 on 4.14 had its build status changed: internal failure to passing
- menhir.20170607 on 4.08 had its build status changed: internal failure to passing
- menhir.20170607 on 4.09 had its build status changed: internal failure to passing
- menhir.20170607 on 4.10 had its build status changed: internal failure to passing
- menhir.20170607 on 4.11 had its build status changed: internal failure to passing
- menhir.20170607 on 4.12 had its build status changed: internal failure to passing
- menhir.20170607 on 4.13 had its build status changed: internal failure to passing
- menhir.20170607 on 4.14 had its build status changed: internal failure to passing
- menhir.20170712 on 4.08 had its build status changed: internal failure to passing
- menhir.20170712 on 4.09 had its build status changed: internal failure to passing
- menhir.20170712 on 4.10 had its build status changed: internal failure to passing
- menhir.20170712 on 4.11 had its build status changed: internal failure to passing
- menhir.20170712 on 4.12 had its build status changed: internal failure to passing
- menhir.20170712 on 4.13 had its build status changed: internal failure to passing
- menhir.20170712 on 4.14 had its build status changed: internal failure to passing
- menhir.20171013 on 4.08 had its build status changed: internal failure to passing
- menhir.20171013 on 4.09 had its build status changed: internal failure to passing
- menhir.20171013 on 4.10 had its build status changed: internal failure to passing
- menhir.20171013 on 4.11 had its build status changed: internal failure to passing
- menhir.20171013 on 4.12 had its build status changed: internal failure to passing
- menhir.20171013 on 4.13 had its build status changed: internal failure to passing
- menhir.20171013 on 4.14 had its build status changed: internal failure to passing
- menhir.20171206 on 4.08 had its build status changed: internal failure to passing
- menhir.20171206 on 4.09 had its build status changed: internal failure to passing
- menhir.20171206 on 4.10 had its build status changed: internal failure to passing
- menhir.20171206 on 4.11 had its build status changed: internal failure to passing
- menhir.20171206 on 4.12 had its build status changed: internal failure to passing
- menhir.20171206 on 4.13 had its build status changed: internal failure to passing
- menhir.20171206 on 4.14 had its build status changed: internal failure to passing
- menhir.20171222 on 4.08 had its build status changed: internal failure to passing
- menhir.20171222 on 4.09 had its build status changed: internal failure to passing
- menhir.20171222 on 4.10 had its build status changed: internal failure to passing
- menhir.20171222 on 4.11 had its build status changed: internal failure to passing
- menhir.20171222 on 4.12 had its build status changed: internal failure to passing
- menhir.20171222 on 4.13 had its build status changed: internal failure to passing
- menhir.20171222 on 4.14 had its build status changed: internal failure to passing
- menhir.20180528 on 4.08 had its build status changed: internal failure to passing
- menhir.20180528 on 4.09 had its build status changed: internal failure to passing
- menhir.20180528 on 4.10 had its build status changed: internal failure to passing
- menhir.20180528 on 4.11 had its build status changed: internal failure to passing
- menhir.20180528 on 4.12 had its build status changed: internal failure to passing
- menhir.20180528 on 4.13 had its build status changed: internal failure to passing
- menhir.20180528 on 4.14 had its build status changed: internal failure to passing
- menhir.20180530 on 4.08 had its build status changed: internal failure to passing
- menhir.20180530 on 4.09 had its build status changed: internal failure to passing
- menhir.20180530 on 4.10 had its build status changed: internal failure to passing
- menhir.20180530 on 4.11 had its build status changed: internal failure to passing
- menhir.20180530 on 4.12 had its build status changed: internal failure to passing
- menhir.20180530 on 4.13 had its build status changed: internal failure to passing
- menhir.20180530 on 4.14 had its build status changed: internal failure to passing
- menhir.20180703 on 4.08 had its build status changed: internal failure to passing
- menhir.20180703 on 4.09 had its build status changed: internal failure to passing
- menhir.20180703 on 4.10 had its build status changed: internal failure to passing
- menhir.20180703 on 4.11 had its build status changed: internal failure to passing
- menhir.20180703 on 4.12 had its build status changed: internal failure to passing
- menhir.20180703 on 4.13 had its build status changed: internal failure to passing
- menhir.20180703 on 4.14 had its build status changed: internal failure to passing
- menhir.20180905 on 4.08 had its build status changed: internal failure to passing
- menhir.20180905 on 4.09 had its build status changed: internal failure to passing
- menhir.20180905 on 4.10 had its build status changed: internal failure to passing
- menhir.20180905 on 4.11 had its build status changed: internal failure to passing
- menhir.20180905 on 4.12 had its build status changed: internal failure to passing
- menhir.20180905 on 4.13 had its build status changed: internal failure to passing
- menhir.20180905 on 4.14 had its build status changed: internal failure to passing
- menhir.20181006 on 4.08 had its build status changed: internal failure to passing
- menhir.20181006 on 4.09 had its build status changed: internal failure to passing
- menhir.20181006 on 4.10 had its build status changed: internal failure to passing
- menhir.20181006 on 4.11 had its build status changed: internal failure to passing
- menhir.20181006 on 4.12 had its build status changed: internal failure to passing
- menhir.20181006 on 4.13 had its build status changed: internal failure to passing
- menhir.20181006 on 4.14 had its build status changed: internal failure to passing
- merlin-lib.5.1-502 on 5.2 is now installable. Current state is: passing
- merlin.5.1-502 on 5.2 is now installable. Current state is: passing
- mikmatch.1.0.9 on 5.2 had its build status changed: not available to passing
- mimic-happy-eyeballs.0.0.9 on 4.08 is now installable. Current state is: passing
- mimic-happy-eyeballs.0.0.9 on 4.09 is now installable. Current state is: passing
- mimic-happy-eyeballs.0.0.9 on 4.10 is now installable. Current state is: passing
- mimic-happy-eyeballs.0.0.9 on 4.11 is now installable. Current state is: passing
- mimic-happy-eyeballs.0.0.9 on 4.12 is now installable. Current state is: passing
- mimic-happy-eyeballs.0.0.9 on 4.13 is now installable. Current state is: passing
- mimic-happy-eyeballs.0.0.9 on 4.14 is now installable. Current state is: passing
- mimic-happy-eyeballs.0.0.9 on 5.0 is now installable. Current state is: passing
- mimic-happy-eyeballs.0.0.9 on 5.1 is now installable. Current state is: passing
- mimic-happy-eyeballs.0.0.9 on 5.2 is now installable. Current state is: passing
- mimic.0.0.9 on 4.08 is now installable. Current state is: passing
- mimic.0.0.9 on 4.09 is now installable. Current state is: passing
- mimic.0.0.9 on 4.10 is now installable. Current state is: passing
- mimic.0.0.9 on 4.11 is now installable. Current state is: passing
- mimic.0.0.9 on 4.12 is now installable. Current state is: passing
- mimic.0.0.9 on 4.13 is now installable. Current state is: passing
- mimic.0.0.9 on 4.14 is now installable. Current state is: passing
- mimic.0.0.9 on 5.0 is now installable. Current state is: passing
- mimic.0.0.9 on 5.1 is now installable. Current state is: passing
- mimic.0.0.9 on 5.2 is now installable. Current state is: passing
- mirage-crypto-ec.1.0.0 on 4.13 is now installable. Current state is: passing
- mirage-crypto-ec.1.0.0 on 4.14 is now installable. Current state is: passing
- mirage-crypto-ec.1.0.0 on 5.0 is now installable. Current state is: passing
- mirage-crypto-ec.1.0.0 on 5.1 is now installable. Current state is: passing
- mirage-crypto-ec.1.0.0 on 5.2 is now installable. Current state is: passing
- mirage-crypto-pk.1.0.0 on 4.13 is now installable. Current state is: passing
- mirage-crypto-pk.1.0.0 on 4.14 is now installable. Current state is: passing
- mirage-crypto-pk.1.0.0 on 5.0 is now installable. Current state is: passing
- mirage-crypto-pk.1.0.0 on 5.1 is now installable. Current state is: passing
- mirage-crypto-pk.1.0.0 on 5.2 is now installable. Current state is: passing
- mirage-crypto-rng-async.1.0.0 on 4.13 is now installable. Current state is: passing
- mirage-crypto-rng-async.1.0.0 on 4.14 is now installable. Current state is: passing
- mirage-crypto-rng-async.1.0.0 on 5.0 is now installable. Current state is: passing
- mirage-crypto-rng-async.1.0.0 on 5.1 is now installable. Current state is: passing
- mirage-crypto-rng-async.1.0.0 on 5.2 is now installable. Current state is: passing
- mirage-crypto-rng-eio.1.0.0 on 5.0 is now installable. Current state is: passing
- mirage-crypto-rng-eio.1.0.0 on 5.1 is now installable. Current state is: passing
- mirage-crypto-rng-eio.1.0.0 on 5.2 is now installable. Current state is: passing
- mirage-crypto-rng-lwt.1.0.0 on 4.13 is now installable. Current state is: passing
- mirage-crypto-rng-lwt.1.0.0 on 4.14 is now installable. Current state is: passing
- mirage-crypto-rng-lwt.1.0.0 on 5.0 is now installable. Current state is: passing
- mirage-crypto-rng-lwt.1.0.0 on 5.1 is now installable. Current state is: passing
- mirage-crypto-rng-lwt.1.0.0 on 5.2 is now installable. Current state is: passing
- mirage-crypto-rng-miou-unix.1.0.0 on 5.0 is now installable. Current state is: passing
- mirage-crypto-rng-miou-unix.1.0.0 on 5.1 is now installable. Current state is: passing
- mirage-crypto-rng-miou-unix.1.0.0 on 5.2 is now installable. Current state is: passing
- mirage-crypto-rng-mirage.1.0.0 on 4.13 is now installable. Current state is: passing
- mirage-crypto-rng-mirage.1.0.0 on 4.14 is now installable. Current state is: passing
- mirage-crypto-rng-mirage.1.0.0 on 5.0 is now installable. Current state is: passing
- mirage-crypto-rng-mirage.1.0.0 on 5.1 is now installable. Current state is: passing
- mirage-crypto-rng-mirage.1.0.0 on 5.2 is now installable. Current state is: passing
- mirage-crypto-rng.1.0.0 on 4.13 is now installable. Current state is: passing
- mirage-crypto-rng.1.0.0 on 4.14 is now installable. Current state is: passing
- mirage-crypto-rng.1.0.0 on 5.0 is now installable. Current state is: passing
- mirage-crypto-rng.1.0.0 on 5.1 is now installable. Current state is: passing
- mirage-crypto-rng.1.0.0 on 5.2 is now installable. Current state is: passing
- mirage-crypto.1.0.0 on 4.13 is now installable. Current state is: passing
- mirage-crypto.1.0.0 on 4.14 is now installable. Current state is: passing
- mirage-crypto.1.0.0 on 5.0 is now installable. Current state is: passing
- mirage-crypto.1.0.0 on 5.1 is now installable. Current state is: passing
- mirage-crypto.1.0.0 on 5.2 is now installable. Current state is: passing
- mirage-runtime.4.6.0 on 4.08 is now installable. Current state is: passing
- mirage-runtime.4.6.0 on 4.09 is now installable. Current state is: passing
- mirage-runtime.4.6.0 on 4.10 is now installable. Current state is: passing
- mirage-runtime.4.6.0 on 4.11 is now installable. Current state is: passing
- mirage-runtime.4.6.0 on 4.12 is now installable. Current state is: passing
- mirage-runtime.4.6.0 on 4.13 is now installable. Current state is: passing
- mirage-runtime.4.6.0 on 4.14 is now installable. Current state is: passing
- mirage-runtime.4.6.0 on 5.0 is now installable. Current state is: passing
- mirage-runtime.4.6.0 on 5.1 is now installable. Current state is: passing
- mirage-runtime.4.6.0 on 5.2 is now installable. Current state is: passing
- mirage.4.6.0 on 4.10 is now installable. Current state is: passing
- mirage.4.6.0 on 4.11 is now installable. Current state is: passing
- mirage.4.6.0 on 4.12 is now installable. Current state is: passing
- mirage.4.6.0 on 4.13 is now installable. Current state is: passing
- mirage.4.6.0 on 4.14 is now installable. Current state is: passing
- mirage.4.6.0 on 5.0 is now installable. Current state is: passing
- mirage.4.6.0 on 5.1 is now installable. Current state is: passing
- mirage.4.6.0 on 5.2 is now installable. Current state is: passing
- mlcuddidl.3.0.8 on 4.08 is now installable. Current state is: passing
- mlcuddidl.3.0.8 on 4.09 is now installable. Current state is: passing
- mlcuddidl.3.0.8 on 4.10 is now installable. Current state is: passing
- mlcuddidl.3.0.8 on 4.11 is now installable. Current state is: passing
- mlcuddidl.3.0.8 on 4.12 is now installable. Current state is: passing
- mlcuddidl.3.0.8 on 4.13 is now installable. Current state is: passing
- mlcuddidl.3.0.8 on 4.14 is now installable. Current state is: passing
- mlx.0.9 on 4.14 is now installable. Current state is: passing
- mlx.0.9 on 5.0 is now installable. Current state is: passing
- mlx.0.9 on 5.1 is now installable. Current state is: passing
- mlx.0.9 on 5.2 is now installable. Current state is: passing
- multicore-bench.0.1.4 on 4.13 is now installable. Current state is: passing
- multicore-bench.0.1.4 on 4.14 is now installable. Current state is: passing
- multicore-bench.0.1.4 on 5.0 is now installable. Current state is: passing
- multicore-bench.0.1.4 on 5.1 is now installable. Current state is: passing
- multicore-bench.0.1.4 on 5.2 is now installable. Current state is: passing
- multicore-magic-dscheck.2.3.0 on 4.12 is now installable. Current state is: passing
- multicore-magic-dscheck.2.3.0 on 4.13 is now installable. Current state is: passing
- multicore-magic-dscheck.2.3.0 on 4.14 is now installable. Current state is: passing
- multicore-magic-dscheck.2.3.0 on 5.0 is now installable. Current state is: passing
- multicore-magic-dscheck.2.3.0 on 5.1 is now installable. Current state is: passing
- multicore-magic-dscheck.2.3.0 on 5.2 is now installable. Current state is: passing
- multicore-magic.2.3.0 on 4.12 is now installable. Current state is: passing
- multicore-magic.2.3.0 on 4.13 is now installable. Current state is: passing
- multicore-magic.2.3.0 on 4.14 is now installable. Current state is: passing
- multicore-magic.2.3.0 on 5.0 is now installable. Current state is: passing
- multicore-magic.2.3.0 on 5.1 is now installable. Current state is: passing
- multicore-magic.2.3.0 on 5.2 is now installable. Current state is: passing
- num.1.5-1 on 4.08 is now installable. Current state is: passing
- num.1.5-1 on 4.09 is now installable. Current state is: passing
- num.1.5-1 on 4.10 is now installable. Current state is: passing
- num.1.5-1 on 4.11 is now installable. Current state is: passing
- num.1.5-1 on 4.12 is now installable. Current state is: passing
- num.1.5-1 on 4.13 is now installable. Current state is: passing
- num.1.5-1 on 4.14 is now installable. Current state is: passing
- num.1.5-1 on 5.0 is now installable. Current state is: passing
- num.1.5-1 on 5.1 is now installable. Current state is: passing
- num.1.5-1 on 5.2 is now installable. Current state is: passing
- obelisk.0.7.0 on 4.08 is now installable. Current state is: passing
- obelisk.0.7.0 on 4.09 is now installable. Current state is: passing
- obelisk.0.7.0 on 4.10 is now installable. Current state is: passing
- obelisk.0.7.0 on 4.11 is now installable. Current state is: passing
- obelisk.0.7.0 on 4.12 is now installable. Current state is: passing
- obelisk.0.7.0 on 4.13 is now installable. Current state is: passing
- obelisk.0.7.0 on 4.14 is now installable. Current state is: passing
- obelisk.0.7.0 on 5.0 is now installable. Current state is: passing
- obelisk.0.7.0 on 5.1 is now installable. Current state is: passing
- obelisk.0.7.0 on 5.2 is now installable. Current state is: passing
- ocaml-index.1.0 on 5.2 is now installable. Current state is: passing
- ocaml-lsp-server.1.18.0 on 4.14 is now installable. Current state is: passing
- ocaml-protoc.3.1 on 4.08 is now installable. Current state is: passing
- ocaml-protoc.3.1 on 4.09 is now installable. Current state is: passing
- ocaml-protoc.3.1 on 4.10 is now installable. Current state is: passing
- ocaml-protoc.3.1 on 4.11 is now installable. Current state is: passing
- ocaml-protoc.3.1 on 4.12 is now installable. Current state is: passing
- ocaml-protoc.3.1 on 4.13 is now installable. Current state is: passing
- ocaml-protoc.3.1 on 4.14 is now installable. Current state is: passing
- ocaml-protoc.3.1 on 5.0 is now installable. Current state is: passing
- ocaml-protoc.3.1 on 5.1 is now installable. Current state is: passing
- ocaml-protoc.3.1 on 5.2 is now installable. Current state is: passing
- ocaml-src.4.14.2 on 4.14 is now installable. Current state is: passing
- ocamlbrowser.5.2.0 on 5.2 is now installable. Current state is: passing
- ocamlbuild.0.15.0 on 4.08 is now installable. Current state is: passing
- ocamlbuild.0.15.0 on 4.09 is now installable. Current state is: passing
- ocamlbuild.0.15.0 on 4.10 is now installable. Current state is: passing
- ocamlbuild.0.15.0 on 4.11 is now installable. Current state is: passing
- ocamlbuild.0.15.0 on 4.12 is now installable. Current state is: passing
- ocamlbuild.0.15.0 on 4.13 is now installable. Current state is: passing
- ocamlbuild.0.15.0 on 4.14 is now installable. Current state is: passing
- ocamlbuild.0.15.0 on 5.0 is now installable. Current state is: passing
- ocamlbuild.0.15.0 on 5.1 is now installable. Current state is: passing
- ocamlbuild.0.15.0 on 5.2 is now installable. Current state is: passing
- ocamlc-loc.3.16.0 on 4.08 is now installable. Current state is: passing
- ocamlc-loc.3.16.0 on 4.09 is now installable. Current state is: passing
- ocamlc-loc.3.16.0 on 4.10 is now installable. Current state is: passing
- ocamlc-loc.3.16.0 on 4.11 is now installable. Current state is: passing
- ocamlc-loc.3.16.0 on 4.12 is now installable. Current state is: passing
- ocamlc-loc.3.16.0 on 4.13 is now installable. Current state is: passing
- ocamlc-loc.3.16.0 on 4.14 is now installable. Current state is: passing
- ocamlc-loc.3.16.0 on 5.0 is now installable. Current state is: passing
- ocamlc-loc.3.16.0 on 5.1 is now installable. Current state is: passing
- ocamlc-loc.3.16.0 on 5.2 is now installable. Current state is: passing
- ocamlmerlin-mlx.0.9 on 4.14 is now installable. Current state is: passing
- ocamlmerlin-mlx.0.9 on 5.0 is now installable. Current state is: passing
- ocamlmerlin-mlx.0.9 on 5.2 is now installable. Current state is: passing
- ocsipersist-dbm-config.2.0.0 on 4.08 is now installable. Current state is: passing
- ocsipersist-dbm-config.2.0.0 on 4.09 is now installable. Current state is: passing
- ocsipersist-dbm-config.2.0.0 on 4.10 is now installable. Current state is: passing
- ocsipersist-dbm-config.2.0.0 on 4.11 is now installable. Current state is: passing
- ocsipersist-dbm-config.2.0.0 on 4.12 is now installable. Current state is: passing
- ocsipersist-dbm-config.2.0.0 on 4.13 is now installable. Current state is: passing
- ocsipersist-dbm-config.2.0.0 on 4.14 is now installable. Current state is: passing
- ocsipersist-dbm-config.2.0.0 on 5.0 is now installable. Current state is: passing
- ocsipersist-dbm-config.2.0.0 on 5.1 is now installable. Current state is: passing
- ocsipersist-dbm-config.2.0.0 on 5.2 is now installable. Current state is: passing
- ocsipersist-dbm.2.0.0 on 4.08 is now installable. Current state is: passing
- ocsipersist-dbm.2.0.0 on 4.09 is now installable. Current state is: passing
- ocsipersist-dbm.2.0.0 on 4.10 is now installable. Current state is: passing
- ocsipersist-dbm.2.0.0 on 4.11 is now installable. Current state is: passing
- ocsipersist-dbm.2.0.0 on 4.12 is now installable. Current state is: passing
- ocsipersist-dbm.2.0.0 on 4.13 is now installable. Current state is: passing
- ocsipersist-dbm.2.0.0 on 4.14 is now installable. Current state is: passing
- ocsipersist-dbm.2.0.0 on 5.0 is now installable. Current state is: passing
- ocsipersist-dbm.2.0.0 on 5.1 is now installable. Current state is: passing
- ocsipersist-dbm.2.0.0 on 5.2 is now installable. Current state is: passing
- ocsipersist-lib.2.0.0 on 4.08 is now installable. Current state is: passing
- ocsipersist-lib.2.0.0 on 4.09 is now installable. Current state is: passing
- ocsipersist-lib.2.0.0 on 4.10 is now installable. Current state is: passing
- ocsipersist-lib.2.0.0 on 4.11 is now installable. Current state is: passing
- ocsipersist-lib.2.0.0 on 4.12 is now installable. Current state is: passing
- ocsipersist-lib.2.0.0 on 4.13 is now installable. Current state is: passing
- ocsipersist-lib.2.0.0 on 4.14 is now installable. Current state is: passing
- ocsipersist-lib.2.0.0 on 5.0 is now installable. Current state is: passing
- ocsipersist-lib.2.0.0 on 5.1 is now installable. Current state is: passing
- ocsipersist-lib.2.0.0 on 5.2 is now installable. Current state is: passing
- ocsipersist-pgsql-config.2.0.0 on 4.08 is now installable. Current state is: passing
- ocsipersist-pgsql-config.2.0.0 on 4.09 is now installable. Current state is: passing
- ocsipersist-pgsql-config.2.0.0 on 4.10 is now installable. Current state is: passing
- ocsipersist-pgsql-config.2.0.0 on 4.11 is now installable. Current state is: passing
- ocsipersist-pgsql-config.2.0.0 on 4.12 is now installable. Current state is: passing
- ocsipersist-pgsql-config.2.0.0 on 4.13 is now installable. Current state is: passing
- ocsipersist-pgsql-config.2.0.0 on 4.14 is now installable. Current state is: passing
- ocsipersist-pgsql-config.2.0.0 on 5.0 is now installable. Current state is: passing
- ocsipersist-pgsql-config.2.0.0 on 5.1 is now installable. Current state is: passing
- ocsipersist-pgsql-config.2.0.0 on 5.2 is now installable. Current state is: passing
- ocsipersist-pgsql.2.0.0 on 4.08 is now installable. Current state is: passing
- ocsipersist-pgsql.2.0.0 on 4.09 is now installable. Current state is: passing
- ocsipersist-pgsql.2.0.0 on 4.10 is now installable. Current state is: passing
- ocsipersist-pgsql.2.0.0 on 4.11 is now installable. Current state is: passing
- ocsipersist-pgsql.2.0.0 on 4.12 is now installable. Current state is: passing
- ocsipersist-pgsql.2.0.0 on 4.13 is now installable. Current state is: passing
- ocsipersist-pgsql.2.0.0 on 4.14 is now installable. Current state is: passing
- ocsipersist-pgsql.2.0.0 on 5.0 is now installable. Current state is: passing
- ocsipersist-pgsql.2.0.0 on 5.1 is now installable. Current state is: passing
- ocsipersist-pgsql.2.0.0 on 5.2 is now installable. Current state is: passing
- ocsipersist-sqlite-config.2.0.0 on 4.08 is now installable. Current state is: passing
- ocsipersist-sqlite-config.2.0.0 on 4.09 is now installable. Current state is: passing
- ocsipersist-sqlite-config.2.0.0 on 4.10 is now installable. Current state is: passing
- ocsipersist-sqlite-config.2.0.0 on 4.11 is now installable. Current state is: passing
- ocsipersist-sqlite-config.2.0.0 on 4.12 is now installable. Current state is: passing
- ocsipersist-sqlite-config.2.0.0 on 4.13 is now installable. Current state is: passing
- ocsipersist-sqlite-config.2.0.0 on 4.14 is now installable. Current state is: passing
- ocsipersist-sqlite-config.2.0.0 on 5.0 is now installable. Current state is: passing
- ocsipersist-sqlite-config.2.0.0 on 5.1 is now installable. Current state is: passing
- ocsipersist-sqlite-config.2.0.0 on 5.2 is now installable. Current state is: passing
- ocsipersist-sqlite.2.0.0 on 4.08 is now installable. Current state is: passing
- ocsipersist-sqlite.2.0.0 on 4.09 is now installable. Current state is: passing
- ocsipersist-sqlite.2.0.0 on 4.10 is now installable. Current state is: passing
- ocsipersist-sqlite.2.0.0 on 4.11 is now installable. Current state is: passing
- ocsipersist-sqlite.2.0.0 on 4.12 is now installable. Current state is: passing
- ocsipersist-sqlite.2.0.0 on 4.13 is now installable. Current state is: passing
- ocsipersist-sqlite.2.0.0 on 4.14 is now installable. Current state is: passing
- ocsipersist-sqlite.2.0.0 on 5.0 is now installable. Current state is: passing
- ocsipersist-sqlite.2.0.0 on 5.1 is now installable. Current state is: passing
- ocsipersist-sqlite.2.0.0 on 5.2 is now installable. Current state is: passing
- ocsipersist.2.0.0 on 4.08 is now installable. Current state is: passing
- ocsipersist.2.0.0 on 4.09 is now installable. Current state is: passing
- ocsipersist.2.0.0 on 4.10 is now installable. Current state is: passing
- ocsipersist.2.0.0 on 4.11 is now installable. Current state is: passing
- ocsipersist.2.0.0 on 4.12 is now installable. Current state is: passing
- ocsipersist.2.0.0 on 4.13 is now installable. Current state is: passing
- ocsipersist.2.0.0 on 4.14 is now installable. Current state is: passing
- ocsipersist.2.0.0 on 5.0 is now installable. Current state is: passing
- ocsipersist.2.0.0 on 5.1 is now installable. Current state is: passing
- ocsipersist.2.0.0 on 5.2 is now installable. Current state is: passing
- octez-accuser-Proxford.20.1 on 4.14 is now installable. Current state is: passing
- octez-accuser-PsParisC.20.1 on 4.14 is now installable. Current state is: passing
- octez-accuser-PtParisB.20.1 on 4.14 is now installable. Current state is: passing
- octez-alcotezt.20.1 on 4.14 is now installable. Current state is: passing
- octez-alcotezt.20.1 on 5.0 is now installable. Current state is: passing
- octez-alcotezt.20.1 on 5.1 is now installable. Current state is: passing
- octez-alcotezt.20.1 on 5.2 is now installable. Current state is: passing
- octez-baker-Proxford.20.1 on 4.14 is now installable. Current state is: passing
- octez-baker-PsParisC.20.1 on 4.14 is now installable. Current state is: passing
- octez-baker-PtParisB.20.1 on 4.14 is now installable. Current state is: passing
- octez-client.20.1 on 4.14 is now installable. Current state is: passing
- octez-codec.20.1 on 4.14 is now installable. Current state is: passing
- octez-crawler.20.1 on 4.14 is now installable. Current state is: passing
- octez-dac-client.20.1 on 4.14 is now installable. Current state is: passing
- octez-dac-node.20.1 on 4.14 is now installable. Current state is: passing
- octez-dal-node.20.1 on 4.14 is now installable. Current state is: passing
- octez-distributed-internal.20.1 on 4.14 is now installable. Current state is: passing
- octez-distributed-internal.20.1 on 5.0 is now installable. Current state is: passing
- octez-distributed-internal.20.1 on 5.1 is now installable. Current state is: passing
- octez-distributed-internal.20.1 on 5.2 is now installable. Current state is: passing
- octez-distributed-lwt-internal.20.1 on 4.14 is now installable. Current state is: passing
- octez-distributed-lwt-internal.20.1 on 5.0 is now installable. Current state is: passing
- octez-distributed-lwt-internal.20.1 on 5.1 is now installable. Current state is: passing
- octez-distributed-lwt-internal.20.1 on 5.2 is now installable. Current state is: passing
- octez-injector.20.1 on 4.14 is now installable. Current state is: passing
- octez-internal-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-internal-libs.20.1 on 5.0 is now installable. Current state is: passing
- octez-internal-libs.20.1 on 5.1 is now installable. Current state is: passing
- octez-internal-libs.20.1 on 5.2 is now installable. Current state is: passing
- octez-l2-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-node-config.20.1 on 4.14 is now installable. Current state is: passing
- octez-node.20.1 on 4.14 is now installable. Current state is: passing
- octez-proto-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-protocol-000-Ps9mPmXa-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-protocol-001-PtCJ7pwo-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-protocol-002-PsYLVpVv-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-protocol-003-PsddFKi3-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-protocol-004-Pt24m4xi-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-protocol-005-PsBabyM1-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-protocol-006-PsCARTHA-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-protocol-007-PsDELPH1-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-protocol-008-PtEdo2Zk-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-protocol-009-PsFLoren-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-protocol-010-PtGRANAD-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-protocol-011-PtHangz2-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-protocol-012-Psithaca-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-protocol-013-PtJakart-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-protocol-014-PtKathma-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-protocol-015-PtLimaPt-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-protocol-016-PtMumbai-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-protocol-017-PtNairob-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-protocol-018-Proxford-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-protocol-019-PtParisB-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-protocol-020-PsParisC-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-protocol-alpha-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-protocol-compiler.20.1 on 4.14 is now installable. Current state is: passing
- octez-proxy-server.20.1 on 4.14 is now installable. Current state is: passing
- octez-rpc-process.20.1 on 4.14 is now installable. Current state is: passing
- octez-shell-libs.20.1 on 4.14 is now installable. Current state is: passing
- octez-signer.20.1 on 4.14 is now installable. Current state is: passing
- octez-smart-rollup-node-Proxford.20.1 on 4.14 is now installable. Current state is: passing
- octez-smart-rollup-node-PsParisC.20.1 on 4.14 is now installable. Current state is: passing
- octez-smart-rollup-node-PtNairob.20.1 on 4.14 is now installable. Current state is: passing
- octez-smart-rollup-node-PtParisB.20.1 on 4.14 is now installable. Current state is: passing
- octez-smart-rollup-node-alpha.20.1 on 4.14 is now installable. Current state is: passing
- octez-smart-rollup-node-lib.20.1 on 4.14 is now installable. Current state is: passing
- octez-smart-rollup-node.20.1 on 4.14 is now installable. Current state is: passing
- octez-smart-rollup-wasm-debugger-lib.20.1 on 4.14 is now installable. Current state is: passing
- octez-smart-rollup-wasm-debugger-plugin.20.1 on 4.14 is now installable. Current state is: passing
- octez-smart-rollup-wasm-debugger-plugin.20.1 on 5.0 is now installable. Current state is: passing
- octez-smart-rollup-wasm-debugger-plugin.20.1 on 5.1 is now installable. Current state is: passing
- octez-smart-rollup-wasm-debugger-plugin.20.1 on 5.2 is now installable. Current state is: passing
- octez-smart-rollup-wasm-debugger.20.1 on 4.14 is now installable. Current state is: passing
- octez-version.20.1 on 4.14 is now installable. Current state is: passing
- octez.20.1 on 4.14 is now installable. Current state is: passing
- ollvm-tapir.0.99.1 on 4.13 had its build status changed: failing to passing
- ollvm.0.99 on 4.10 had its build status changed: failing to passing
- ollvm.0.99 on 4.11 had its build status changed: failing to passing
- ollvm.0.99 on 4.13 had its build status changed: failing to passing
- oma.20240619 on 4.12 is now installable. Current state is: passing
- oma.20240619 on 4.13 is now installable. Current state is: passing
- oma.20240619 on 4.14 is now installable. Current state is: passing
- oma.20240619 on 5.0 is now installable. Current state is: passing
- oma.20240619 on 5.1 is now installable. Current state is: passing
- oma.20240619 on 5.2 is now installable. Current state is: passing
- opam-client.2.2.0 on 4.08 is now installable. Current state is: passing
- opam-client.2.2.0 on 4.09 is now installable. Current state is: passing
- opam-client.2.2.0 on 4.10 is now installable. Current state is: passing
- opam-client.2.2.0 on 4.11 is now installable. Current state is: passing
- opam-client.2.2.0 on 4.12 is now installable. Current state is: passing
- opam-client.2.2.0 on 4.13 is now installable. Current state is: passing
- opam-client.2.2.0 on 4.14 is now installable. Current state is: passing
- opam-client.2.2.0 on 5.0 is now installable. Current state is: passing
- opam-client.2.2.0 on 5.1 is now installable. Current state is: passing
- opam-client.2.2.0 on 5.2 is now installable. Current state is: passing
- opam-client.2.2.0~rc1 on 4.08 is now installable. Current state is: passing
- opam-client.2.2.0~rc1 on 4.09 is now installable. Current state is: passing
- opam-client.2.2.0~rc1 on 4.10 is now installable. Current state is: passing
- opam-client.2.2.0~rc1 on 4.11 is now installable. Current state is: passing
- opam-client.2.2.0~rc1 on 4.12 is now installable. Current state is: passing
- opam-client.2.2.0~rc1 on 4.13 is now installable. Current state is: passing
- opam-client.2.2.0~rc1 on 4.14 is now installable. Current state is: passing
- opam-client.2.2.0~rc1 on 5.0 is now installable. Current state is: passing
- opam-client.2.2.0~rc1 on 5.1 is now installable. Current state is: passing
- opam-client.2.2.0~rc1 on 5.2 is now installable. Current state is: passing
- opam-core.2.2.0 on 4.08 is now installable. Current state is: passing
- opam-core.2.2.0 on 4.09 is now installable. Current state is: passing
- opam-core.2.2.0 on 4.10 is now installable. Current state is: passing
- opam-core.2.2.0 on 4.11 is now installable. Current state is: passing
- opam-core.2.2.0 on 4.12 is now installable. Current state is: passing
- opam-core.2.2.0 on 4.13 is now installable. Current state is: passing
- opam-core.2.2.0 on 4.14 is now installable. Current state is: passing
- opam-core.2.2.0 on 5.0 is now installable. Current state is: passing
- opam-core.2.2.0 on 5.1 is now installable. Current state is: passing
- opam-core.2.2.0 on 5.2 is now installable. Current state is: passing
- opam-core.2.2.0~rc1 on 4.08 is now installable. Current state is: passing
- opam-core.2.2.0~rc1 on 4.09 is now installable. Current state is: passing
- opam-core.2.2.0~rc1 on 4.10 is now installable. Current state is: passing
- opam-core.2.2.0~rc1 on 4.11 is now installable. Current state is: passing
- opam-core.2.2.0~rc1 on 4.12 is now installable. Current state is: passing
- opam-core.2.2.0~rc1 on 4.13 is now installable. Current state is: passing
- opam-core.2.2.0~rc1 on 4.14 is now installable. Current state is: passing
- opam-core.2.2.0~rc1 on 5.0 is now installable. Current state is: passing
- opam-core.2.2.0~rc1 on 5.1 is now installable. Current state is: passing
- opam-core.2.2.0~rc1 on 5.2 is now installable. Current state is: passing
- opam-devel.2.2.0 on 4.08 is now installable. Current state is: passing
- opam-devel.2.2.0 on 4.09 is now installable. Current state is: passing
- opam-devel.2.2.0 on 4.10 is now installable. Current state is: passing
- opam-devel.2.2.0 on 4.11 is now installable. Current state is: passing
- opam-devel.2.2.0 on 4.12 is now installable. Current state is: passing
- opam-devel.2.2.0 on 4.13 is now installable. Current state is: passing
- opam-devel.2.2.0 on 4.14 is now installable. Current state is: passing
- opam-devel.2.2.0 on 5.0 is now installable. Current state is: passing
- opam-devel.2.2.0 on 5.1 is now installable. Current state is: passing
- opam-devel.2.2.0 on 5.2 is now installable. Current state is: passing
- opam-devel.2.2.0~rc1 on 4.08 is now installable. Current state is: passing
- opam-devel.2.2.0~rc1 on 4.09 is now installable. Current state is: passing
- opam-devel.2.2.0~rc1 on 4.10 is now installable. Current state is: passing
- opam-devel.2.2.0~rc1 on 4.11 is now installable. Current state is: passing
- opam-devel.2.2.0~rc1 on 4.12 is now installable. Current state is: passing
- opam-devel.2.2.0~rc1 on 4.13 is now installable. Current state is: passing
- opam-devel.2.2.0~rc1 on 4.14 is now installable. Current state is: passing
- opam-devel.2.2.0~rc1 on 5.0 is now installable. Current state is: passing
- opam-devel.2.2.0~rc1 on 5.1 is now installable. Current state is: passing
- opam-devel.2.2.0~rc1 on 5.2 is now installable. Current state is: passing
- opam-format.2.2.0 on 4.08 is now installable. Current state is: passing
- opam-format.2.2.0 on 4.09 is now installable. Current state is: passing
- opam-format.2.2.0 on 4.10 is now installable. Current state is: passing
- opam-format.2.2.0 on 4.11 is now installable. Current state is: passing
- opam-format.2.2.0 on 4.12 is now installable. Current state is: passing
- opam-format.2.2.0 on 4.13 is now installable. Current state is: passing
- opam-format.2.2.0 on 4.14 is now installable. Current state is: passing
- opam-format.2.2.0 on 5.0 is now installable. Current state is: passing
- opam-format.2.2.0 on 5.1 is now installable. Current state is: passing
- opam-format.2.2.0 on 5.2 is now installable. Current state is: passing
- opam-format.2.2.0~rc1 on 4.08 is now installable. Current state is: passing
- opam-format.2.2.0~rc1 on 4.09 is now installable. Current state is: passing
- opam-format.2.2.0~rc1 on 4.10 is now installable. Current state is: passing
- opam-format.2.2.0~rc1 on 4.11 is now installable. Current state is: passing
- opam-format.2.2.0~rc1 on 4.12 is now installable. Current state is: passing
- opam-format.2.2.0~rc1 on 4.13 is now installable. Current state is: passing
- opam-format.2.2.0~rc1 on 4.14 is now installable. Current state is: passing
- opam-format.2.2.0~rc1 on 5.0 is now installable. Current state is: passing
- opam-format.2.2.0~rc1 on 5.1 is now installable. Current state is: passing
- opam-format.2.2.0~rc1 on 5.2 is now installable. Current state is: passing
- opam-installer.2.2.0 on 4.08 is now installable. Current state is: passing
- opam-installer.2.2.0 on 4.09 is now installable. Current state is: passing
- opam-installer.2.2.0 on 4.10 is now installable. Current state is: passing
- opam-installer.2.2.0 on 4.11 is now installable. Current state is: passing
- opam-installer.2.2.0 on 4.12 is now installable. Current state is: passing
- opam-installer.2.2.0 on 4.13 is now installable. Current state is: passing
- opam-installer.2.2.0 on 4.14 is now installable. Current state is: passing
- opam-installer.2.2.0 on 5.0 is now installable. Current state is: passing
- opam-installer.2.2.0 on 5.1 is now installable. Current state is: passing
- opam-installer.2.2.0 on 5.2 is now installable. Current state is: passing
- opam-installer.2.2.0~rc1 on 4.08 is now installable. Current state is: passing
- opam-installer.2.2.0~rc1 on 4.09 is now installable. Current state is: passing
- opam-installer.2.2.0~rc1 on 4.10 is now installable. Current state is: passing
- opam-installer.2.2.0~rc1 on 4.11 is now installable. Current state is: passing
- opam-installer.2.2.0~rc1 on 4.12 is now installable. Current state is: passing
- opam-installer.2.2.0~rc1 on 4.13 is now installable. Current state is: passing
- opam-installer.2.2.0~rc1 on 4.14 is now installable. Current state is: passing
- opam-installer.2.2.0~rc1 on 5.0 is now installable. Current state is: passing
- opam-installer.2.2.0~rc1 on 5.1 is now installable. Current state is: passing
- opam-installer.2.2.0~rc1 on 5.2 is now installable. Current state is: passing
- opam-publish.2.3.1 on 4.08 is now installable. Current state is: passing
- opam-publish.2.3.1 on 4.09 is now installable. Current state is: passing
- opam-publish.2.3.1 on 4.10 is now installable. Current state is: passing
- opam-publish.2.3.1 on 4.11 is now installable. Current state is: passing
- opam-publish.2.3.1 on 4.12 is now installable. Current state is: passing
- opam-publish.2.3.1 on 4.13 is now installable. Current state is: passing
- opam-publish.2.3.1 on 4.14 is now installable. Current state is: passing
- opam-publish.2.3.1 on 5.0 is now installable. Current state is: passing
- opam-publish.2.3.1 on 5.1 is now installable. Current state is: passing
- opam-publish.2.3.1 on 5.2 is now installable. Current state is: passing
- opam-repository.2.2.0 on 4.08 is now installable. Current state is: passing
- opam-repository.2.2.0 on 4.09 is now installable. Current state is: passing
- opam-repository.2.2.0 on 4.10 is now installable. Current state is: passing
- opam-repository.2.2.0 on 4.11 is now installable. Current state is: passing
- opam-repository.2.2.0 on 4.12 is now installable. Current state is: passing
- opam-repository.2.2.0 on 4.13 is now installable. Current state is: passing
- opam-repository.2.2.0 on 4.14 is now installable. Current state is: passing
- opam-repository.2.2.0 on 5.0 is now installable. Current state is: passing
- opam-repository.2.2.0 on 5.1 is now installable. Current state is: passing
- opam-repository.2.2.0 on 5.2 is now installable. Current state is: passing
- opam-repository.2.2.0~rc1 on 4.08 is now installable. Current state is: passing
- opam-repository.2.2.0~rc1 on 4.09 is now installable. Current state is: passing
- opam-repository.2.2.0~rc1 on 4.10 is now installable. Current state is: passing
- opam-repository.2.2.0~rc1 on 4.11 is now installable. Current state is: passing
- opam-repository.2.2.0~rc1 on 4.12 is now installable. Current state is: passing
- opam-repository.2.2.0~rc1 on 4.13 is now installable. Current state is: passing
- opam-repository.2.2.0~rc1 on 4.14 is now installable. Current state is: passing
- opam-repository.2.2.0~rc1 on 5.0 is now installable. Current state is: passing
- opam-repository.2.2.0~rc1 on 5.1 is now installable. Current state is: passing
- opam-repository.2.2.0~rc1 on 5.2 is now installable. Current state is: passing
- opam-solver.2.2.0 on 4.08 is now installable. Current state is: passing
- opam-solver.2.2.0 on 4.09 is now installable. Current state is: passing
- opam-solver.2.2.0 on 4.10 is now installable. Current state is: passing
- opam-solver.2.2.0 on 4.11 is now installable. Current state is: passing
- opam-solver.2.2.0 on 4.12 is now installable. Current state is: passing
- opam-solver.2.2.0 on 4.13 is now installable. Current state is: passing
- opam-solver.2.2.0 on 4.14 is now installable. Current state is: passing
- opam-solver.2.2.0 on 5.0 is now installable. Current state is: passing
- opam-solver.2.2.0 on 5.1 is now installable. Current state is: passing
- opam-solver.2.2.0 on 5.2 is now installable. Current state is: passing
- opam-solver.2.2.0~rc1 on 4.08 is now installable. Current state is: passing
- opam-solver.2.2.0~rc1 on 4.09 is now installable. Current state is: passing
- opam-solver.2.2.0~rc1 on 4.10 is now installable. Current state is: passing
- opam-solver.2.2.0~rc1 on 4.11 is now installable. Current state is: passing
- opam-solver.2.2.0~rc1 on 4.12 is now installable. Current state is: passing
- opam-solver.2.2.0~rc1 on 4.13 is now installable. Current state is: passing
- opam-solver.2.2.0~rc1 on 4.14 is now installable. Current state is: passing
- opam-solver.2.2.0~rc1 on 5.0 is now installable. Current state is: passing
- opam-solver.2.2.0~rc1 on 5.1 is now installable. Current state is: passing
- opam-solver.2.2.0~rc1 on 5.2 is now installable. Current state is: passing
- opam-state.2.2.0 on 4.08 is now installable. Current state is: passing
- opam-state.2.2.0 on 4.09 is now installable. Current state is: passing
- opam-state.2.2.0 on 4.10 is now installable. Current state is: passing
- opam-state.2.2.0 on 4.11 is now installable. Current state is: passing
- opam-state.2.2.0 on 4.12 is now installable. Current state is: passing
- opam-state.2.2.0 on 4.13 is now installable. Current state is: passing
- opam-state.2.2.0 on 4.14 is now installable. Current state is: passing
- opam-state.2.2.0 on 5.0 is now installable. Current state is: passing
- opam-state.2.2.0 on 5.1 is now installable. Current state is: passing
- opam-state.2.2.0 on 5.2 is now installable. Current state is: passing
- opam-state.2.2.0~rc1 on 4.08 is now installable. Current state is: passing
- opam-state.2.2.0~rc1 on 4.09 is now installable. Current state is: passing
- opam-state.2.2.0~rc1 on 4.10 is now installable. Current state is: passing
- opam-state.2.2.0~rc1 on 4.11 is now installable. Current state is: passing
- opam-state.2.2.0~rc1 on 4.12 is now installable. Current state is: passing
- opam-state.2.2.0~rc1 on 4.13 is now installable. Current state is: passing
- opam-state.2.2.0~rc1 on 4.14 is now installable. Current state is: passing
- opam-state.2.2.0~rc1 on 5.0 is now installable. Current state is: passing
- opam-state.2.2.0~rc1 on 5.1 is now installable. Current state is: passing
- opam-state.2.2.0~rc1 on 5.2 is now installable. Current state is: passing
- ordering.3.16.0 on 4.08 is now installable. Current state is: passing
- ordering.3.16.0 on 4.09 is now installable. Current state is: passing
- ordering.3.16.0 on 4.10 is now installable. Current state is: passing
- ordering.3.16.0 on 4.11 is now installable. Current state is: passing
- ordering.3.16.0 on 4.12 is now installable. Current state is: passing
- ordering.3.16.0 on 4.13 is now installable. Current state is: passing
- ordering.3.16.0 on 4.14 is now installable. Current state is: passing
- ordering.3.16.0 on 5.0 is now installable. Current state is: passing
- ordering.3.16.0 on 5.1 is now installable. Current state is: passing
- ordering.3.16.0 on 5.2 is now installable. Current state is: passing
- orf.1.0.1 on 5.0 is now installable. Current state is: passing
- orf.1.0.1 on 5.1 is now installable. Current state is: passing
- ortac-core.0.3.0 on 4.12 is now installable. Current state is: passing
- ortac-core.0.3.0 on 4.13 is now installable. Current state is: passing
- ortac-core.0.3.0 on 4.14 is now installable. Current state is: passing
- ortac-core.0.3.0 on 5.0 is now installable. Current state is: passing
- ortac-core.0.3.0 on 5.1 is now installable. Current state is: passing
- ortac-core.0.3.0 on 5.2 is now installable. Current state is: passing
- ortac-dune.0.3.0 on 4.12 is now installable. Current state is: passing
- ortac-dune.0.3.0 on 4.13 is now installable. Current state is: passing
- ortac-dune.0.3.0 on 4.14 is now installable. Current state is: passing
- ortac-dune.0.3.0 on 5.0 is now installable. Current state is: passing
- ortac-dune.0.3.0 on 5.1 is now installable. Current state is: passing
- ortac-dune.0.3.0 on 5.2 is now installable. Current state is: passing
- ortac-qcheck-stm.0.3.0 on 4.12 is now installable. Current state is: passing
- ortac-qcheck-stm.0.3.0 on 4.13 is now installable. Current state is: passing
- ortac-qcheck-stm.0.3.0 on 4.14 is now installable. Current state is: passing
- ortac-qcheck-stm.0.3.0 on 5.0 is now installable. Current state is: passing
- ortac-qcheck-stm.0.3.0 on 5.1 is now installable. Current state is: passing
- ortac-qcheck-stm.0.3.0 on 5.2 is now installable. Current state is: passing
- ortac-runtime-qcheck-stm.0.3.0 on 4.12 is now installable. Current state is: passing
- ortac-runtime-qcheck-stm.0.3.0 on 4.13 is now installable. Current state is: passing
- ortac-runtime-qcheck-stm.0.3.0 on 4.14 is now installable. Current state is: passing
- ortac-runtime-qcheck-stm.0.3.0 on 5.0 is now installable. Current state is: passing
- ortac-runtime-qcheck-stm.0.3.0 on 5.1 is now installable. Current state is: passing
- ortac-runtime-qcheck-stm.0.3.0 on 5.2 is now installable. Current state is: passing
- ortac-runtime.0.3.0 on 4.12 is now installable. Current state is: passing
- ortac-runtime.0.3.0 on 4.13 is now installable. Current state is: passing
- ortac-runtime.0.3.0 on 4.14 is now installable. Current state is: passing
- ortac-runtime.0.3.0 on 5.0 is now installable. Current state is: passing
- ortac-runtime.0.3.0 on 5.1 is now installable. Current state is: passing
- ortac-runtime.0.3.0 on 5.2 is now installable. Current state is: passing
- pa_ppx.0.15 on 4.12 is now installable. Current state is: passing
- pa_ppx.0.15 on 4.13 is now installable. Current state is: passing
- pa_ppx.0.15 on 4.14 is now installable. Current state is: passing
- pa_ppx.0.15 on 5.0 is now installable. Current state is: passing
- pa_ppx.0.15 on 5.1 is now installable. Current state is: passing
- pa_ppx.0.15 on 5.2 is now installable. Current state is: passing
- pa_ppx_hashcons.0.11 on 5.2 had its build status changed: not available to passing
- pa_ppx_migrate.0.12 on 4.12 is now installable. Current state is: passing
- pa_ppx_migrate.0.12 on 4.13 is now installable. Current state is: passing
- pa_ppx_migrate.0.12 on 4.14 is now installable. Current state is: passing
- pa_ppx_migrate.0.12 on 5.0 is now installable. Current state is: passing
- pa_ppx_migrate.0.12 on 5.1 is now installable. Current state is: passing
- pa_ppx_migrate.0.12 on 5.2 is now installable. Current state is: passing
- pa_ppx_q_ast.0.12 on 4.12 is now installable. Current state is: passing
- pa_ppx_q_ast.0.12 on 4.13 is now installable. Current state is: passing
- pa_ppx_q_ast.0.12 on 4.14 is now installable. Current state is: passing
- pa_ppx_q_ast.0.12 on 5.0 is now installable. Current state is: passing
- pa_ppx_q_ast.0.12 on 5.1 is now installable. Current state is: passing
- pa_ppx_q_ast.0.12 on 5.2 is now installable. Current state is: passing
- pa_ppx_quotation2extension.0.02 on 5.2 had its build status changed: not available to passing
- pa_ppx_regexp.0.02 on 5.2 had its build status changed: not available to passing
- pa_ppx_static.0.02 on 5.2 had its build status changed: not available to passing
- pa_ppx_string.0.01 on 5.2 had its build status changed: not available to passing
- pa_ppx_unique.0.11 on 5.2 had its build status changed: not available to passing
- pbrt.3.1 on 4.08 is now installable. Current state is: passing
- pbrt.3.1 on 4.09 is now installable. Current state is: passing
- pbrt.3.1 on 4.10 is now installable. Current state is: passing
- pbrt.3.1 on 4.11 is now installable. Current state is: passing
- pbrt.3.1 on 4.12 is now installable. Current state is: passing
- pbrt.3.1 on 4.13 is now installable. Current state is: passing
- pbrt.3.1 on 4.14 is now installable. Current state is: passing
- pbrt.3.1 on 5.0 is now installable. Current state is: passing
- pbrt.3.1 on 5.1 is now installable. Current state is: passing
- pbrt.3.1 on 5.2 is now installable. Current state is: passing
- pbrt_services.3.1 on 4.08 is now installable. Current state is: passing
- pbrt_services.3.1 on 4.09 is now installable. Current state is: passing
- pbrt_services.3.1 on 4.10 is now installable. Current state is: passing
- pbrt_services.3.1 on 4.11 is now installable. Current state is: passing
- pbrt_services.3.1 on 4.12 is now installable. Current state is: passing
- pbrt_services.3.1 on 4.13 is now installable. Current state is: passing
- pbrt_services.3.1 on 4.14 is now installable. Current state is: passing
- pbrt_services.3.1 on 5.0 is now installable. Current state is: passing
- pbrt_services.3.1 on 5.1 is now installable. Current state is: passing
- pbrt_services.3.1 on 5.2 is now installable. Current state is: passing
- pbrt_yojson.3.1 on 4.08 is now installable. Current state is: passing
- pbrt_yojson.3.1 on 4.09 is now installable. Current state is: passing
- pbrt_yojson.3.1 on 4.10 is now installable. Current state is: passing
- pbrt_yojson.3.1 on 4.11 is now installable. Current state is: passing
- pbrt_yojson.3.1 on 4.12 is now installable. Current state is: passing
- pbrt_yojson.3.1 on 4.13 is now installable. Current state is: passing
- pbrt_yojson.3.1 on 4.14 is now installable. Current state is: passing
- pbrt_yojson.3.1 on 5.0 is now installable. Current state is: passing
- pbrt_yojson.3.1 on 5.1 is now installable. Current state is: passing
- pbrt_yojson.3.1 on 5.2 is now installable. Current state is: passing
- phylogenetics.0.3.0 on 4.14 is now installable. Current state is: passing
- phylogenetics.0.3.0 on 5.0 is now installable. Current state is: passing
- phylogenetics.0.3.0 on 5.1 is now installable. Current state is: passing
- phylogenetics.0.3.0 on 5.2 is now installable. Current state is: passing
- portia.1.3 on 4.08 had its build status changed: failing to passing
- ppx_map.0.2.1 on 4.08 is now installable. Current state is: passing
- ppx_map.0.2.1 on 4.09 is now installable. Current state is: passing
- ppx_map.0.2.1 on 4.10 is now installable. Current state is: passing
- ppx_map.0.2.1 on 4.11 is now installable. Current state is: passing
- ppx_map.0.2.1 on 4.12 is now installable. Current state is: passing
- ppx_map.0.2.1 on 4.13 is now installable. Current state is: passing
- ppx_map.0.2.1 on 4.14 is now installable. Current state is: passing
- ppx_map.0.2.1 on 5.0 is now installable. Current state is: passing
- ppx_map.0.2.1 on 5.1 is now installable. Current state is: passing
- ppx_map.0.2.1 on 5.2 is now installable. Current state is: passing
- ppx_minidebug.1.5.1 on 4.13 is now installable. Current state is: passing
- ppx_minidebug.1.5.1 on 4.14 is now installable. Current state is: passing
- ppx_minidebug.1.5.1 on 5.0 is now installable. Current state is: passing
- ppx_minidebug.1.5.1 on 5.1 is now installable. Current state is: passing
- ppx_minidebug.1.5.1 on 5.2 is now installable. Current state is: passing
- ppx_partial.1.0 on 4.14 is now installable. Current state is: passing
- ppx_partial.1.0 on 5.0 is now installable. Current state is: passing
- ppx_partial.1.0 on 5.1 is now installable. Current state is: passing
- ppx_partial.1.0 on 5.2 is now installable. Current state is: passing
- pure-html.3.5.2 on 4.08 is now installable. Current state is: passing
- pure-html.3.5.2 on 4.09 is now installable. Current state is: passing
- pure-html.3.5.2 on 4.10 is now installable. Current state is: passing
- pure-html.3.5.2 on 4.11 is now installable. Current state is: passing
- pure-html.3.5.2 on 4.12 is now installable. Current state is: passing
- pure-html.3.5.2 on 4.13 is now installable. Current state is: passing
- pure-html.3.5.2 on 4.14 is now installable. Current state is: passing
- pure-html.3.5.2 on 5.0 is now installable. Current state is: passing
- pure-html.3.5.2 on 5.1 is now installable. Current state is: passing
- pure-html.3.5.2 on 5.2 is now installable. Current state is: passing
- pure-html.3.6.0 on 4.08 is now installable. Current state is: passing
- pure-html.3.6.0 on 4.09 is now installable. Current state is: passing
- pure-html.3.6.0 on 4.10 is now installable. Current state is: passing
- pure-html.3.6.0 on 4.11 is now installable. Current state is: passing
- pure-html.3.6.0 on 4.12 is now installable. Current state is: passing
- pure-html.3.6.0 on 4.13 is now installable. Current state is: passing
- pure-html.3.6.0 on 4.14 is now installable. Current state is: passing
- pure-html.3.6.0 on 5.0 is now installable. Current state is: passing
- pure-html.3.6.0 on 5.1 is now installable. Current state is: passing
- pure-html.3.6.0 on 5.2 is now installable. Current state is: passing
- pyml_bindgen.0.1.1 on 5.1 had its build status changed: failing to passing
- pyml_bindgen.0.1.1 on 5.2 had its build status changed: failing to passing
- pyml_bindgen.0.1.2 on 5.1 had its build status changed: failing to passing
- pyml_bindgen.0.1.2 on 5.2 had its build status changed: failing to passing
- pyml_bindgen.0.2.0 on 5.1 had its build status changed: failing to passing
- pyml_bindgen.0.2.0 on 5.2 had its build status changed: failing to passing
- pyml_bindgen.0.3.0 on 5.1 had its build status changed: failing to passing
- pyml_bindgen.0.3.0 on 5.2 had its build status changed: failing to passing
- pyre-ast.0.1.10 on 4.08 is now installable. Current state is: passing
- pyre-ast.0.1.10 on 4.09 is now installable. Current state is: passing
- pyre-ast.0.1.10 on 4.10 is now installable. Current state is: passing
- pyre-ast.0.1.10 on 4.11 is now installable. Current state is: passing
- pyre-ast.0.1.10 on 4.12 is now installable. Current state is: passing
- pyre-ast.0.1.10 on 4.13 is now installable. Current state is: passing
- pyre-ast.0.1.10 on 4.14 is now installable. Current state is: passing
- pyre-ast.0.1.10 on 5.0 is now installable. Current state is: passing
- pyre-ast.0.1.10 on 5.1 is now installable. Current state is: passing
- pyre-ast.0.1.10 on 5.2 is now installable. Current state is: passing
- pyre-ast.0.1.11 on 4.08 is now installable. Current state is: passing
- pyre-ast.0.1.11 on 4.09 is now installable. Current state is: passing
- pyre-ast.0.1.11 on 4.10 is now installable. Current state is: passing
- pyre-ast.0.1.11 on 4.11 is now installable. Current state is: passing
- pyre-ast.0.1.11 on 4.12 is now installable. Current state is: passing
- pyre-ast.0.1.11 on 4.13 is now installable. Current state is: passing
- pyre-ast.0.1.11 on 4.14 is now installable. Current state is: passing
- pyre-ast.0.1.11 on 5.0 is now installable. Current state is: passing
- pyre-ast.0.1.11 on 5.1 is now installable. Current state is: passing
- pyre-ast.0.1.11 on 5.2 is now installable. Current state is: passing
- qcheck-alcotest.0.18 on 4.09 had its build status changed: internal failure to passing
- qcheck-alcotest.0.18 on 4.10 had its build status changed: internal failure to passing
- qcheck-alcotest.0.18 on 4.12 had its build status changed: internal failure to passing
- qcheck-alcotest.0.18 on 4.13 had its build status changed: internal failure to passing
- qcheck-alcotest.0.18.1 on 4.08 had its build status changed: internal failure to passing
- qcheck-alcotest.0.18.1 on 5.2 had its build status changed: internal failure to passing
- qcheck-alcotest.0.19 on 4.12 had its build status changed: internal failure to passing
- qcheck-alcotest.0.19.1 on 4.14 had its build status changed: internal failure to passing
- qcheck-alcotest.0.20 on 5.2 had its build status changed: internal failure to passing
- qcheck-alcotest.0.21 on 4.14 had its build status changed: internal failure to passing
- qcheck-alcotest.0.21 on 5.1 had its build status changed: internal failure to passing
- qcheck-alcotest.0.21.1 on 5.2 had its build status changed: internal failure to passing
- qcheck-alcotest.0.21.3 on 5.0 had its build status changed: internal failure to passing
- qcheck-alcotest.0.21.3 on 5.1 had its build status changed: internal failure to passing
- qcheck-alcotest.0.22 on 4.08 is now installable. Current state is: passing
- qcheck-alcotest.0.22 on 4.09 is now installable. Current state is: passing
- qcheck-alcotest.0.22 on 4.10 is now installable. Current state is: passing
- qcheck-alcotest.0.22 on 4.11 is now installable. Current state is: passing
- qcheck-alcotest.0.22 on 4.12 is now installable. Current state is: passing
- qcheck-alcotest.0.22 on 4.13 is now installable. Current state is: passing
- qcheck-alcotest.0.22 on 4.14 is now installable. Current state is: passing
- qcheck-alcotest.0.22 on 5.0 is now installable. Current state is: passing
- qcheck-alcotest.0.22 on 5.1 is now installable. Current state is: passing
- qcheck-alcotest.0.22 on 5.2 is now installable. Current state is: passing
- qcheck-core.0.11 on 4.14 had its build status changed: internal failure to passing
- qcheck-core.0.12 on 4.09 had its build status changed: internal failure to passing
- qcheck-core.0.13 on 4.08 had its build status changed: internal failure to passing
- qcheck-core.0.13 on 4.09 had its build status changed: internal failure to passing
- qcheck-core.0.13 on 4.10 had its build status changed: internal failure to passing
- qcheck-core.0.13 on 4.13 had its build status changed: internal failure to passing
- qcheck-core.0.22 on 4.08 is now installable. Current state is: passing
- qcheck-core.0.22 on 4.09 is now installable. Current state is: passing
- qcheck-core.0.22 on 4.10 is now installable. Current state is: passing
- qcheck-core.0.22 on 4.11 is now installable. Current state is: passing
- qcheck-core.0.22 on 4.12 is now installable. Current state is: passing
- qcheck-core.0.22 on 4.13 is now installable. Current state is: passing
- qcheck-core.0.22 on 4.14 is now installable. Current state is: passing
- qcheck-core.0.22 on 5.0 is now installable. Current state is: passing
- qcheck-core.0.22 on 5.1 is now installable. Current state is: passing
- qcheck-core.0.22 on 5.2 is now installable. Current state is: passing
- qcheck-ounit.0.22 on 4.08 is now installable. Current state is: passing
- qcheck-ounit.0.22 on 4.09 is now installable. Current state is: passing
- qcheck-ounit.0.22 on 4.10 is now installable. Current state is: passing
- qcheck-ounit.0.22 on 4.11 is now installable. Current state is: passing
- qcheck-ounit.0.22 on 4.12 is now installable. Current state is: passing
- qcheck-ounit.0.22 on 4.13 is now installable. Current state is: passing
- qcheck-ounit.0.22 on 4.14 is now installable. Current state is: passing
- qcheck-ounit.0.22 on 5.0 is now installable. Current state is: passing
- qcheck-ounit.0.22 on 5.1 is now installable. Current state is: passing
- qcheck-ounit.0.22 on 5.2 is now installable. Current state is: passing
- qcheck.0.22 on 4.08 is now installable. Current state is: passing
- qcheck.0.22 on 4.09 is now installable. Current state is: passing
- qcheck.0.22 on 4.10 is now installable. Current state is: passing
- qcheck.0.22 on 4.11 is now installable. Current state is: passing
- qcheck.0.22 on 4.12 is now installable. Current state is: passing
- qcheck.0.22 on 4.13 is now installable. Current state is: passing
- qcheck.0.22 on 4.14 is now installable. Current state is: passing
- qcheck.0.22 on 5.0 is now installable. Current state is: passing
- qcheck.0.22 on 5.1 is now installable. Current state is: passing
- qcheck.0.22 on 5.2 is now installable. Current state is: passing
- shuttle.0.4.0 on 5.1 had its build status changed: failing to passing
- shuttle.0.4.0 on 5.2 had its build status changed: failing to passing
- shuttle.0.5.0 on 5.1 had its build status changed: failing to passing
- shuttle.0.5.0 on 5.2 had its build status changed: failing to passing
- shuttle.0.6.0 on 5.1 had its build status changed: failing to passing
- shuttle.0.6.0 on 5.2 had its build status changed: failing to passing
- shuttle.0.7.0 on 5.1 had its build status changed: failing to passing
- shuttle.0.7.0 on 5.2 had its build status changed: failing to passing
- shuttle.0.8.1 on 5.1 had its build status changed: failing to passing
- shuttle.0.8.1 on 5.2 had its build status changed: failing to passing
- shuttle.0.9.0 on 5.1 had its build status changed: failing to passing
- shuttle.0.9.0 on 5.2 had its build status changed: failing to passing
- shuttle.0.9.1 on 5.1 had its build status changed: failing to passing
- shuttle.0.9.1 on 5.2 had its build status changed: failing to passing
- shuttle.0.9.2 on 5.1 had its build status changed: failing to passing
- shuttle.0.9.2 on 5.2 had its build status changed: failing to passing
- shuttle.0.9.4 on 5.1 had its build status changed: failing to passing
- shuttle.0.9.4 on 5.2 had its build status changed: failing to passing
- shuttle_http.0.10.0 on 5.1 had its build status changed: failing to passing
- shuttle_http.0.10.0 on 5.2 had its build status changed: failing to passing
- shuttle_http.0.10.1 on 5.1 had its build status changed: failing to passing
- shuttle_http.0.10.1 on 5.2 had its build status changed: failing to passing
- shuttle_http.0.11.0 on 5.1 had its build status changed: failing to passing
- shuttle_http.0.11.0 on 5.2 had its build status changed: failing to passing
- shuttle_http.0.12.0 on 5.1 is now installable. Current state is: passing
- shuttle_http.0.12.0 on 5.2 is now installable. Current state is: passing
- shuttle_http.0.8.1 on 5.1 had its build status changed: partially failing to passing
- shuttle_http.0.8.1 on 5.2 had its build status changed: partially failing to passing
- shuttle_http.0.9.0 on 5.1 had its build status changed: partially failing to passing
- shuttle_http.0.9.0 on 5.2 had its build status changed: partially failing to passing
- shuttle_http.0.9.1 on 5.1 had its build status changed: partially failing to passing
- shuttle_http.0.9.1 on 5.2 had its build status changed: partially failing to passing
- shuttle_http.0.9.2 on 5.1 had its build status changed: partially failing to passing
- shuttle_http.0.9.2 on 5.2 had its build status changed: partially failing to passing
- shuttle_http.0.9.4 on 5.1 had its build status changed: partially failing to passing
- shuttle_http.0.9.4 on 5.2 had its build status changed: partially failing to passing
- shuttle_ssl.0.4.0 on 5.1 had its build status changed: partially failing to passing
- shuttle_ssl.0.4.0 on 5.2 had its build status changed: partially failing to passing
- shuttle_ssl.0.5.0 on 5.1 had its build status changed: partially failing to passing
- shuttle_ssl.0.5.0 on 5.2 had its build status changed: partially failing to passing
- shuttle_ssl.0.6.0 on 5.1 had its build status changed: partially failing to passing
- shuttle_ssl.0.6.0 on 5.2 had its build status changed: partially failing to passing
- shuttle_ssl.0.7.0 on 5.1 had its build status changed: partially failing to passing
- shuttle_ssl.0.7.0 on 5.2 had its build status changed: partially failing to passing
- shuttle_ssl.0.8.1 on 5.1 had its build status changed: partially failing to passing
- shuttle_ssl.0.8.1 on 5.2 had its build status changed: partially failing to passing
- shuttle_ssl.0.9.0 on 5.1 had its build status changed: partially failing to passing
- shuttle_ssl.0.9.0 on 5.2 had its build status changed: partially failing to passing
- shuttle_ssl.0.9.1 on 5.1 had its build status changed: partially failing to passing
- shuttle_ssl.0.9.1 on 5.2 had its build status changed: partially failing to passing
- shuttle_ssl.0.9.2 on 5.1 had its build status changed: partially failing to passing
- shuttle_ssl.0.9.2 on 5.2 had its build status changed: partially failing to passing
- shuttle_ssl.0.9.4 on 5.1 had its build status changed: partially failing to passing
- shuttle_ssl.0.9.4 on 5.2 had its build status changed: partially failing to passing
- shuttle_websocket.0.11.0 on 5.1 had its build status changed: partially failing to passing
- shuttle_websocket.0.11.0 on 5.2 had its build status changed: partially failing to passing
- shuttle_websocket.0.12.0 on 5.1 is now installable. Current state is: passing
- shuttle_websocket.0.12.0 on 5.2 is now installable. Current state is: passing
- sitemap.1.0 on 4.14 is now installable. Current state is: passing
- sitemap.1.0 on 5.0 is now installable. Current state is: passing
- sitemap.1.0 on 5.1 is now installable. Current state is: passing
- sitemap.1.0 on 5.2 is now installable. Current state is: passing
- smtml.0.1.2 on 4.14 is now installable. Current state is: passing
- smtml.0.1.2 on 5.0 is now installable. Current state is: passing
- smtml.0.1.2 on 5.1 is now installable. Current state is: passing
- smtml.0.1.2 on 5.2 is now installable. Current state is: passing
- smtml.0.2.0 on 4.14 is now installable. Current state is: passing
- smtml.0.2.0 on 5.0 is now installable. Current state is: passing
- smtml.0.2.0 on 5.1 is now installable. Current state is: passing
- smtml.0.2.0 on 5.2 is now installable. Current state is: passing
- smtml.0.2.1 on 4.14 is now installable. Current state is: passing
- smtml.0.2.1 on 5.0 is now installable. Current state is: passing
- smtml.0.2.1 on 5.1 is now installable. Current state is: passing
- smtml.0.2.1 on 5.2 is now installable. Current state is: passing
- spoke.0.0.3 on 4.08 is now installable. Current state is: passing
- spoke.0.0.3 on 4.09 is now installable. Current state is: passing
- spoke.0.0.3 on 4.10 is now installable. Current state is: passing
- spoke.0.0.3 on 4.11 is now installable. Current state is: passing
- spoke.0.0.3 on 4.12 is now installable. Current state is: passing
- spoke.0.0.3 on 4.13 is now installable. Current state is: passing
- spoke.0.0.3 on 4.14 is now installable. Current state is: passing
- spoke.0.0.3 on 5.0 is now installable. Current state is: passing
- spoke.0.0.3 on 5.1 is now installable. Current state is: passing
- spoke.0.0.3 on 5.2 is now installable. Current state is: passing
- sqlgg.20231201 on 4.08 is now installable. Current state is: passing
- sqlgg.20231201 on 4.09 is now installable. Current state is: passing
- sqlgg.20231201 on 4.10 is now installable. Current state is: passing
- sqlgg.20231201 on 4.11 is now installable. Current state is: passing
- sqlgg.20231201 on 4.12 is now installable. Current state is: passing
- sqlgg.20231201 on 4.13 is now installable. Current state is: passing
- sqlgg.20231201 on 4.14 is now installable. Current state is: passing
- sqlgg.20231201 on 5.0 is now installable. Current state is: passing
- sqlgg.20231201 on 5.1 is now installable. Current state is: passing
- sqlgg.20231201 on 5.2 is now installable. Current state is: passing
- stdune.3.16.0 on 4.08 is now installable. Current state is: passing
- stdune.3.16.0 on 4.09 is now installable. Current state is: passing
- stdune.3.16.0 on 4.10 is now installable. Current state is: passing
- stdune.3.16.0 on 4.11 is now installable. Current state is: passing
- stdune.3.16.0 on 4.12 is now installable. Current state is: passing
- stdune.3.16.0 on 4.13 is now installable. Current state is: passing
- stdune.3.16.0 on 4.14 is now installable. Current state is: passing
- stdune.3.16.0 on 5.0 is now installable. Current state is: passing
- stdune.3.16.0 on 5.1 is now installable. Current state is: passing
- stdune.3.16.0 on 5.2 is now installable. Current state is: passing
- tezos-benchmark.20.1 on 4.14 is now installable. Current state is: passing
- tezos-client-demo-counter.20.1 on 4.14 is now installable. Current state is: passing
- tezos-client-genesis.20.1 on 4.14 is now installable. Current state is: passing
- tezos-dac-client-lib.20.1 on 4.14 is now installable. Current state is: passing
- tezos-dac-lib.20.1 on 4.14 is now installable. Current state is: passing
- tezos-dac-node-lib.20.1 on 4.14 is now installable. Current state is: passing
- tezos-dal-node-lib.20.1 on 4.14 is now installable. Current state is: passing
- tezos-dal-node-services.20.1 on 4.14 is now installable. Current state is: passing
- tezos-openapi.20.1 on 4.14 is now installable. Current state is: passing
- tezos-openapi.20.1 on 5.0 is now installable. Current state is: passing
- tezos-openapi.20.1 on 5.1 is now installable. Current state is: passing
- tezos-openapi.20.1 on 5.2 is now installable. Current state is: passing
- tezos-protocol-000-Ps9mPmXa.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-001-PtCJ7pwo.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-002-PsYLVpVv.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-003-PsddFKi3.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-004-Pt24m4xi.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-005-PsBABY5H.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-005-PsBabyM1.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-006-PsCARTHA.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-007-PsDELPH1.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-008-PtEdo2Zk.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-008-PtEdoTez.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-009-PsFLoren.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-010-PtGRANAD.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-011-PtHangz2.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-012-Psithaca.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-013-PtJakart.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-014-PtKathma.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-015-PtLimaPt.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-016-PtMumbai.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-017-PtNairob.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-018-Proxford.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-019-PtParisB.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-020-PsParisC.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-alpha.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-demo-counter.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-demo-noops.20.1 on 4.14 is now installable. Current state is: passing
- tezos-protocol-genesis.20.1 on 4.14 is now installable. Current state is: passing
- tezos-proxy-server-config.20.1 on 4.14 is now installable. Current state is: passing
- tezt-tezos.20.1 on 4.14 is now installable. Current state is: passing
- tiny_httpd.0.17.0 on 4.08 is now installable. Current state is: passing
- tiny_httpd.0.17.0 on 4.09 is now installable. Current state is: passing
- tiny_httpd.0.17.0 on 4.10 is now installable. Current state is: passing
- tiny_httpd.0.17.0 on 4.11 is now installable. Current state is: passing
- tiny_httpd.0.17.0 on 4.12 is now installable. Current state is: passing
- tiny_httpd.0.17.0 on 4.13 is now installable. Current state is: passing
- tiny_httpd.0.17.0 on 4.14 is now installable. Current state is: passing
- tiny_httpd.0.17.0 on 5.0 is now installable. Current state is: passing
- tiny_httpd.0.17.0 on 5.1 is now installable. Current state is: passing
- tiny_httpd.0.17.0 on 5.2 is now installable. Current state is: passing
- tiny_httpd_camlzip.0.17.0 on 4.08 is now installable. Current state is: passing
- tiny_httpd_camlzip.0.17.0 on 4.09 is now installable. Current state is: passing
- tiny_httpd_camlzip.0.17.0 on 4.10 is now installable. Current state is: passing
- tiny_httpd_camlzip.0.17.0 on 4.11 is now installable. Current state is: passing
- tiny_httpd_camlzip.0.17.0 on 4.12 is now installable. Current state is: passing
- tiny_httpd_camlzip.0.17.0 on 4.13 is now installable. Current state is: passing
- tiny_httpd_camlzip.0.17.0 on 4.14 is now installable. Current state is: passing
- tiny_httpd_camlzip.0.17.0 on 5.0 is now installable. Current state is: passing
- tiny_httpd_camlzip.0.17.0 on 5.1 is now installable. Current state is: passing
- tiny_httpd_camlzip.0.17.0 on 5.2 is now installable. Current state is: passing
- tuareg.2.2.0 on 4.10 had its build status changed: failing to passing
- tuareg.2.2.0 on 4.11 had its build status changed: failing to passing
- twirp_cohttp_lwt_unix.0.1 on 4.08 is now installable. Current state is: passing
- twirp_cohttp_lwt_unix.0.1 on 4.09 is now installable. Current state is: passing
- twirp_cohttp_lwt_unix.0.1 on 4.10 is now installable. Current state is: passing
- twirp_cohttp_lwt_unix.0.1 on 4.11 is now installable. Current state is: passing
- twirp_cohttp_lwt_unix.0.1 on 4.12 is now installable. Current state is: passing
- twirp_cohttp_lwt_unix.0.1 on 4.13 is now installable. Current state is: passing
- twirp_cohttp_lwt_unix.0.1 on 4.14 is now installable. Current state is: passing
- twirp_cohttp_lwt_unix.0.1 on 5.0 is now installable. Current state is: passing
- twirp_cohttp_lwt_unix.0.1 on 5.1 is now installable. Current state is: passing
- twirp_cohttp_lwt_unix.0.1 on 5.2 is now installable. Current state is: passing
- twirp_core.0.1 on 4.08 is now installable. Current state is: passing
- twirp_core.0.1 on 4.09 is now installable. Current state is: passing
- twirp_core.0.1 on 4.10 is now installable. Current state is: passing
- twirp_core.0.1 on 4.11 is now installable. Current state is: passing
- twirp_core.0.1 on 4.12 is now installable. Current state is: passing
- twirp_core.0.1 on 4.13 is now installable. Current state is: passing
- twirp_core.0.1 on 4.14 is now installable. Current state is: passing
- twirp_core.0.1 on 5.0 is now installable. Current state is: passing
- twirp_core.0.1 on 5.1 is now installable. Current state is: passing
- twirp_core.0.1 on 5.2 is now installable. Current state is: passing
- twirp_ezcurl.0.1 on 4.08 is now installable. Current state is: passing
- twirp_ezcurl.0.1 on 4.09 is now installable. Current state is: passing
- twirp_ezcurl.0.1 on 4.10 is now installable. Current state is: passing
- twirp_ezcurl.0.1 on 4.11 is now installable. Current state is: passing
- twirp_ezcurl.0.1 on 4.12 is now installable. Current state is: passing
- twirp_ezcurl.0.1 on 4.13 is now installable. Current state is: passing
- twirp_ezcurl.0.1 on 4.14 is now installable. Current state is: passing
- twirp_ezcurl.0.1 on 5.0 is now installable. Current state is: passing
- twirp_ezcurl.0.1 on 5.1 is now installable. Current state is: passing
- twirp_ezcurl.0.1 on 5.2 is now installable. Current state is: passing
- twirp_tiny_httpd.0.1 on 4.08 is now installable. Current state is: passing
- twirp_tiny_httpd.0.1 on 4.09 is now installable. Current state is: passing
- twirp_tiny_httpd.0.1 on 4.10 is now installable. Current state is: passing
- twirp_tiny_httpd.0.1 on 4.11 is now installable. Current state is: passing
- twirp_tiny_httpd.0.1 on 4.12 is now installable. Current state is: passing
- twirp_tiny_httpd.0.1 on 4.13 is now installable. Current state is: passing
- twirp_tiny_httpd.0.1 on 4.14 is now installable. Current state is: passing
- twirp_tiny_httpd.0.1 on 5.0 is now installable. Current state is: passing
- twirp_tiny_httpd.0.1 on 5.1 is now installable. Current state is: passing
- twirp_tiny_httpd.0.1 on 5.2 is now installable. Current state is: passing
- universal-portal.0.3.0 on 5.2 is now installable. Current state is: passing
- vscoq-language-server.2.1.3 on 4.13 is now installable. Current state is: passing
- vscoq-language-server.2.1.3 on 4.14 is now installable. Current state is: passing
- vscoq-language-server.2.1.3 on 5.0 is now installable. Current state is: passing
- vscoq-language-server.2.1.3 on 5.1 is now installable. Current state is: passing
- vscoq-language-server.2.1.3 on 5.2 is now installable. Current state is: passing
- vscoq-language-server.2.1.4 on 4.13 is now installable. Current state is: passing
- vscoq-language-server.2.1.4 on 4.14 is now installable. Current state is: passing
- vscoq-language-server.2.1.4 on 5.0 is now installable. Current state is: passing
- vscoq-language-server.2.1.4 on 5.1 is now installable. Current state is: passing
- vscoq-language-server.2.1.4 on 5.2 is now installable. Current state is: passing
- xdg.3.16.0 on 4.08 is now installable. Current state is: passing
- xdg.3.16.0 on 4.09 is now installable. Current state is: passing
- xdg.3.16.0 on 4.10 is now installable. Current state is: passing
- xdg.3.16.0 on 4.11 is now installable. Current state is: passing
- xdg.3.16.0 on 4.12 is now installable. Current state is: passing
- xdg.3.16.0 on 4.13 is now installable. Current state is: passing
- xdg.3.16.0 on 4.14 is now installable. Current state is: passing
- xdg.3.16.0 on 5.0 is now installable. Current state is: passing
- xdg.3.16.0 on 5.1 is now installable. Current state is: passing
- xdg.3.16.0 on 5.2 is now installable. Current state is: passing
- yojson-five.2.2.2 on 4.08 is now installable. Current state is: passing
- yojson-five.2.2.2 on 4.09 is now installable. Current state is: passing
- yojson-five.2.2.2 on 4.10 is now installable. Current state is: passing
- yojson-five.2.2.2 on 4.11 is now installable. Current state is: passing
- yojson-five.2.2.2 on 4.12 is now installable. Current state is: passing
- yojson-five.2.2.2 on 4.13 is now installable. Current state is: passing
- yojson-five.2.2.2 on 4.14 is now installable. Current state is: passing
- yojson-five.2.2.2 on 5.0 is now installable. Current state is: passing
- yojson-five.2.2.2 on 5.1 is now installable. Current state is: passing
- yojson-five.2.2.2 on 5.2 is now installable. Current state is: passing
- yojson.2.2.2 on 4.08 is now installable. Current state is: passing
- yojson.2.2.2 on 4.09 is now installable. Current state is: passing
- yojson.2.2.2 on 4.10 is now installable. Current state is: passing
- yojson.2.2.2 on 4.11 is now installable. Current state is: passing
- yojson.2.2.2 on 4.12 is now installable. Current state is: passing
- yojson.2.2.2 on 4.13 is now installable. Current state is: passing
- yojson.2.2.2 on 4.14 is now installable. Current state is: passing
- yojson.2.2.2 on 5.0 is now installable. Current state is: passing
- yojson.2.2.2 on 5.1 is now installable. Current state is: passing
- yojson.2.2.2 on 5.2 is now installable. Current state is: passing
- z3.4.13.0-3 on 4.08 is now installable. Current state is: passing
- z3.4.13.0-3 on 4.09 is now installable. Current state is: passing
- z3.4.13.0-3 on 4.10 is now installable. Current state is: passing
- z3.4.13.0-3 on 4.11 is now installable. Current state is: passing
- z3.4.13.0-3 on 4.12 is now installable. Current state is: passing
- z3.4.13.0-3 on 4.13 is now installable. Current state is: passing
- z3.4.13.0-3 on 4.14 is now installable. Current state is: passing
- z3.4.13.0-3 on 5.0 is now installable. Current state is: passing
- z3.4.13.0-3 on 5.1 is now installable. Current state is: passing
- z3.4.13.0-3 on 5.2 is now installable. Current state is: passing