Home|Differences with the last checks|Previous runs

Differences between a2d9de3 and 1b72c30 (git diff)

Packages now failing:

• alt-ergo-free.2.0.0 on 4.08 had its build status changed: passing to failing
• alt-ergo.0.95.2 on 4.14 had its build status changed: passing to failing
• alt-ergo.2.0.0 on 4.10 had its build status changed: passing to failing
• alt-ergo.2.0.0 on 4.14 had its build status changed: passing to failing
• alt-ergo.2.1.0 on 4.09 had its build status changed: passing to failing
• alt-ergo.2.1.0 on 4.10 had its build status changed: passing to failing
• alt-ergo.2.2.0 on 4.09 had its build status changed: passing to failing
• cgi.0.10 on 4.14 had its build status changed: passing to failing
• hacl-star-raw.0.1.1 on 4.09 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.2 on 4.08 had its build status changed: passing to failing
• metapp.0.4.4 on 4.08 had its build status changed: passing to failing
• metapp.0.4.4 on 4.09 had its build status changed: passing to failing
• metapp.0.4.4 on 4.10 had its build status changed: passing to failing
• metapp.0.4.4 on 4.11 had its build status changed: passing to failing
• metapp.0.4.4 on 4.12 had its build status changed: passing to failing
• metapp.0.4.4 on 4.13 had its build status changed: passing to failing
• metapp.0.4.4 on 4.14 had its build status changed: passing to failing
• metapp.0.4.4 on 5.0 had its build status changed: passing to failing
• metapp.0.4.4 on 5.1 had its build status changed: passing to failing
• ocamldsort.0.15.0 on 4.13 had its build status changed: passing to failing
• ollvm-tapir.0.99.1 on 4.10 had its build status changed: passing to failing
• ollvm.0.99 on 4.10 had its build status changed: passing to failing
• ollvm.0.99 on 4.12 had its build status changed: passing to failing
• opentelemetry-cohttp-lwt.0.7 on 4.08 is now installable. Current state is: failing
• opentelemetry-cohttp-lwt.0.7 on 4.09 is now installable. Current state is: failing
• opentelemetry-cohttp-lwt.0.7 on 4.10 is now installable. Current state is: failing
• opentelemetry-cohttp-lwt.0.7 on 4.11 is now installable. Current state is: failing
• opentelemetry-cohttp-lwt.0.7 on 4.12 is now installable. Current state is: failing
• opentelemetry-cohttp-lwt.0.7 on 4.13 is now installable. Current state is: failing
• opentelemetry-cohttp-lwt.0.7 on 4.14 is now installable. Current state is: failing
• opentelemetry-cohttp-lwt.0.7 on 5.0 is now installable. Current state is: failing
• opentelemetry-cohttp-lwt.0.7 on 5.1 is now installable. Current state is: failing
• portia.1.1 on 4.09 had its build status changed: passing to failing
• portia.1.1 on 4.11 had its build status changed: passing to failing
• portia.1.3 on 4.12 had its build status changed: passing to failing
• portia.1.5 on 4.13 had its build status changed: passing to failing
• ppx_deriving_encoding.0.2.3 on 4.08 had its build status changed: passing to failing
• ppx_deriving_encoding.0.2.3 on 4.09 had its build status changed: passing to failing
• ppx_deriving_encoding.0.2.3 on 4.10 had its build status changed: passing to failing
• ppx_deriving_encoding.0.2.3 on 4.11 had its build status changed: passing to failing
• ppx_deriving_encoding.0.2.3 on 4.12 had its build status changed: passing to failing
• ppx_deriving_encoding.0.2.3 on 4.13 had its build status changed: passing to failing
• ppx_deriving_encoding.0.2.3 on 4.14 had its build status changed: passing to failing
• ppx_deriving_encoding.0.2.3 on 5.0 had its build status changed: passing to failing
• ppx_deriving_encoding.0.2.3 on 5.1 had its build status changed: passing to failing
• rdf.0.11.0 on 4.10 had its build status changed: internal failure to failing
• torch.0.10 on 4.14 had its build status changed: internal failure to failing
• torch.0.10 on 5.0 had its build status changed: internal failure to failing
• torch.0.12 on 4.09 had its build status changed: internal failure to failing
• torch.0.12 on 5.0 had its build status changed: internal failure to failing
• torch.0.13 on 4.08 had its build status changed: internal failure to failing
• torch.0.13 on 4.09 had its build status changed: internal failure to failing
• tuareg.2.1.0 on 4.08 had its build status changed: passing to failing
• tuareg.2.1.0 on 4.10 had its build status changed: passing to failing
• tuareg.2.1.0 on 4.11 had its build status changed: passing to failing
• tuareg.2.1.0 on 4.13 had its build status changed: passing to failing
• wcs-lib.2017-05-26.05 on 4.12 had its build status changed: internal failure to failing

Packages now partially failing:

• clangml.4.7.0 on 4.08 had its build status changed: passing to partially failing
• clangml.4.7.0 on 4.09 had its build status changed: passing to partially failing
• clangml.4.7.0 on 4.10 had its build status changed: passing to partially failing
• clangml.4.7.0 on 4.11 had its build status changed: passing to partially failing
• clangml.4.7.0 on 4.12 had its build status changed: passing to partially failing
• clangml.4.7.0 on 4.13 had its build status changed: passing to partially failing
• clangml.4.7.0 on 4.14 had its build status changed: passing to partially failing
• clangml.4.7.0 on 5.0 had its build status changed: passing to partially failing
• fm-simplex-plugin.1.30 on 4.08 had its build status changed: passing to partially failing
• fm-simplex-plugin.1.30 on 4.11 had its build status changed: passing to partially failing
• hacl-star.0.1.1 on 4.13 had its build status changed: passing to partially failing
• hacl-star.0.2.0 on 4.14 had its build status changed: passing to partially failing
• hacl-star.0.2.2 on 4.11 had its build status changed: passing to partially failing
• metaquot.0.5.2 on 4.08 had its build status changed: passing to partially failing
• metaquot.0.5.2 on 4.09 had its build status changed: passing to partially failing
• metaquot.0.5.2 on 4.10 had its build status changed: passing to partially failing
• metaquot.0.5.2 on 4.11 had its build status changed: passing to partially failing
• metaquot.0.5.2 on 4.12 had its build status changed: passing to partially failing
• metaquot.0.5.2 on 4.13 had its build status changed: passing to partially failing
• metaquot.0.5.2 on 4.14 had its build status changed: passing to partially failing
• metaquot.0.5.2 on 5.0 had its build status changed: passing to partially failing
• metaquot.0.5.2 on 5.1 had its build status changed: passing to partially failing
• pattern.0.3.2 on 4.08 had its build status changed: passing to partially failing
• pattern.0.3.2 on 4.09 had its build status changed: passing to partially failing
• pattern.0.3.2 on 4.10 had its build status changed: passing to partially failing
• pattern.0.3.2 on 4.11 had its build status changed: passing to partially failing
• pattern.0.3.2 on 4.12 had its build status changed: passing to partially failing
• pattern.0.3.2 on 4.13 had its build status changed: passing to partially failing
• pattern.0.3.2 on 4.14 had its build status changed: passing to partially failing
• pattern.0.3.2 on 5.0 had its build status changed: passing to partially failing
• ppx_pbt.0.1.0 on 4.10 had its build status changed: passing to partially failing
• ppx_pbt.0.1.0 on 4.11 had its build status changed: passing to partially failing
• ppx_pbt.0.1.0 on 4.12 had its build status changed: passing to partially failing
• ppx_pbt.0.1.0 on 4.13 had its build status changed: passing to partially failing
• profiler-plugin.1.30 on 4.12 had its build status changed: passing to partially failing
• pyast.0.1.0 on 4.08 had its build status changed: passing to partially failing
• pyast.0.1.0 on 4.09 had its build status changed: passing to partially failing
• pyast.0.1.0 on 4.10 had its build status changed: passing to partially failing
• pyast.0.1.0 on 4.11 had its build status changed: passing to partially failing
• pyast.0.1.0 on 4.12 had its build status changed: passing to partially failing
• pyast.0.1.0 on 4.13 had its build status changed: passing to partially failing
• pyast.0.1.0 on 4.14 had its build status changed: passing to partially failing
• pyast.0.1.0 on 5.0 had its build status changed: passing to partially failing
• pyast.0.1.0 on 5.1 had its build status changed: passing to partially failing
• pyast.0.1.1 on 4.08 had its build status changed: passing to partially failing
• pyast.0.1.1 on 4.09 had its build status changed: passing to partially failing
• pyast.0.1.1 on 4.10 had its build status changed: passing to partially failing
• pyast.0.1.1 on 4.11 had its build status changed: passing to partially failing
• pyast.0.1.1 on 4.12 had its build status changed: passing to partially failing
• pyast.0.1.1 on 4.13 had its build status changed: passing to partially failing
• pyast.0.1.1 on 4.14 had its build status changed: passing to partially failing
• pyast.0.1.1 on 5.0 had its build status changed: passing to partially failing
• pyast.0.1.1 on 5.1 had its build status changed: passing to partially failing
• pyast.0.2.0 on 4.08 had its build status changed: passing to partially failing
• pyast.0.2.0 on 4.09 had its build status changed: passing to partially failing
• pyast.0.2.0 on 4.10 had its build status changed: passing to partially failing
• pyast.0.2.0 on 4.11 had its build status changed: passing to partially failing
• pyast.0.2.0 on 4.12 had its build status changed: passing to partially failing
• pyast.0.2.0 on 4.13 had its build status changed: passing to partially failing
• pyast.0.2.0 on 4.14 had its build status changed: passing to partially failing
• pyast.0.2.0 on 5.0 had its build status changed: passing to partially failing
• pyast.0.2.0 on 5.1 had its build status changed: passing to partially failing
• refl.0.4.1 on 4.08 had its build status changed: passing to partially failing
• refl.0.4.1 on 4.09 had its build status changed: passing to partially failing
• refl.0.4.1 on 4.10 had its build status changed: passing to partially failing
• refl.0.4.1 on 4.11 had its build status changed: passing to partially failing
• refl.0.4.1 on 4.12 had its build status changed: passing to partially failing
• refl.0.4.1 on 4.13 had its build status changed: passing to partially failing
• refl.0.4.1 on 4.14 had its build status changed: passing to partially failing
• refl.0.4.1 on 5.0 had its build status changed: passing to partially failing
• refl.0.4.1 on 5.1 had its build status changed: passing to partially failing
• traverse.0.3.0 on 4.08 had its build status changed: passing to partially failing
• traverse.0.3.0 on 4.09 had its build status changed: passing to partially failing
• traverse.0.3.0 on 4.10 had its build status changed: passing to partially failing
• traverse.0.3.0 on 4.11 had its build status changed: passing to partially failing
• traverse.0.3.0 on 4.12 had its build status changed: passing to partially failing
• traverse.0.3.0 on 4.13 had its build status changed: passing to partially failing
• traverse.0.3.0 on 4.14 had its build status changed: passing to partially failing
• traverse.0.3.0 on 5.0 had its build status changed: passing to partially failing
• traverse.0.3.0 on 5.1 had its build status changed: passing to partially failing
• trexio.2.2.0 on 4.11 had its build status changed: internal failure to partially failing
• trexio.2.2.0 on 5.0 had its build status changed: internal failure to partially failing

Packages now not available:

• eio_luv.0.6 on 5.0 is not available anymore. Previous state was: passing
• eio_luv.0.6 on 5.1 is not available anymore. Previous state was: passing
• eio_luv.0.7 on 5.0 is not available anymore. Previous state was: passing
• eio_luv.0.7 on 5.1 is not available anymore. Previous state was: passing
• eio_luv.0.8.1 on 5.0 is not available anymore. Previous state was: passing
• eio_luv.0.8.1 on 5.1 is not available anymore. Previous state was: passing
• eio_luv.0.9 on 5.0 is not available anymore. Previous state was: passing
• eio_luv.0.9 on 5.1 is not available anymore. Previous state was: passing
• eio_main.0.6 on 5.0 is not available anymore. Previous state was: passing
• eio_main.0.6 on 5.1 is not available anymore. Previous state was: passing
• eio_main.0.7 on 5.0 is not available anymore. Previous state was: passing
• eio_main.0.7 on 5.1 is not available anymore. Previous state was: passing
• eio_main.0.8.1 on 5.0 is not available anymore. Previous state was: passing
• eio_main.0.8.1 on 5.1 is not available anymore. Previous state was: passing
• memprof-limits.0.2.0 on 5.0 had its build status changed: passing to not available
• memprof-limits.0.2.0 on 5.1 had its build status changed: passing to not available
• tls.0.10.4 on 5.1 had its build status changed: internal failure to not available
• tls.0.9.2 on 4.12 had its build status changed: internal failure to not available
• topkg.0.7.5 on 4.12 had its build status changed: internal failure to not available
• topkg.0.7.6 on 4.13 had its build status changed: internal failure to not available
• tracing.v0.16.0 on 4.12 had its build status changed: internal failure to not available
• tracing.v0.16.0 on 4.13 had its build status changed: internal failure to not available
• travis-opam.1.3.0 on 5.0 had its build status changed: internal failure to not available
• tsdl.0.9.2 on 5.1 had its build status changed: internal failure to not available
• tsdl.0.9.5 on 4.14 had its build status changed: internal failure to not available
• tsdl.0.9.6 on 5.0 had its build status changed: internal failure to not available
• tsdl.0.9.6 on 5.1 had its build status changed: internal failure to not available
• tty.0.0.2 on 4.13 had its build status changed: internal failure to not available

Packages now failing with an internal failure:

• DkSDKFFIOCaml_Std.1.0.0~1 on 4.14 had its build status changed: passing to internal failure
• GT.0.5.2 on 5.0 had its build status changed: passing to internal failure
• ISO8601.0.2.4 on 4.09 had its build status changed: passing to internal failure
• ISO8601.0.2.5 on 4.10 had its build status changed: passing to internal failure
• ISO8601.0.2.5 on 5.0 had its build status changed: passing to internal failure
• ISO8601.0.2.6 on 4.08 had its build status changed: passing to internal failure
• OCADml.0.1.0 on 4.13 had its build status changed: passing to internal failure
• erssical.1.1.0 on 4.12 had its build status changed: passing to internal failure
• erssical.1.1.0 on 4.13 had its build status changed: passing to internal failure
• erssical.1.1.0 on 5.0 had its build status changed: passing to internal failure
• erssical.1.1.0 on 5.1 had its build status changed: passing to internal failure
• happy-eyeballs-mirage.0.0.5 on 4.09 had its build status changed: not available to internal failure
• happy-eyeballs-mirage.0.0.6 on 4.10 had its build status changed: passing to internal failure
• happy-eyeballs-mirage.0.0.6 on 4.12 had its build status changed: passing to internal failure
• happy-eyeballs-mirage.0.0.7 on 5.0 had its build status changed: not available to internal failure
• happy-eyeballs-mirage.0.0.8 on 4.08 had its build status changed: not available to internal failure
• happy-eyeballs-mirage.0.0.8 on 4.10 had its build status changed: passing to internal failure
• happy-eyeballs.0.0.3 on 4.12 had its build status changed: passing to internal failure
• hardcaml_of_verilog.v0.15.0 on 4.14 had its build status changed: passing to internal failure
• hardcaml_of_verilog.v0.16.0 on 4.12 had its build status changed: not available to internal failure
• hardcaml_of_verilog.v0.16.0 on 4.13 had its build status changed: not available to internal failure
• hardcaml_of_verilog.v0.16.0 on 4.14 had its build status changed: passing to internal failure
• hardcaml_of_verilog.v0.16.0 on 5.0 had its build status changed: passing to internal failure
• hardcaml_of_verilog.v0.16.0 on 5.1 had its build status changed: passing to internal failure
• hardcaml_step_testbench.v0.15.0 on 4.11 had its build status changed: passing to internal failure
• hardcaml_step_testbench.v0.15.0 on 4.12 had its build status changed: passing to internal failure
• hardcaml_step_testbench.v0.15.0 on 4.13 had its build status changed: passing to internal failure
• hardcaml_verify.v0.16.0 on 4.11 had its build status changed: not available to internal failure
• iri.0.5.0 on 4.12 had its build status changed: passing to internal failure
• iri.0.6.0 on 4.12 had its build status changed: passing to internal failure
• iri.0.7.0 on 4.13 had its build status changed: passing to internal failure
• lru-cache.0.1.0 on 4.14 had its build status changed: passing to internal failure
• lru-cache.0.1.0 on 5.1 had its build status changed: passing to internal failure
• lru-cache.0.2.0 on 4.10 had its build status changed: passing to internal failure
• lru-cache.0.2.0 on 4.12 had its build status changed: passing to internal failure
• lru-cache.0.2.0 on 4.13 had its build status changed: passing to internal failure
• lru-cache.0.2.0 on 5.1 had its build status changed: passing to internal failure
• lru-cache.0.3.0 on 4.10 had its build status changed: passing to internal failure
• lru-cache.0.3.0 on 4.14 had its build status changed: passing to internal failure
• qinap.1.0 on 4.08 had its build status changed: passing to internal failure
• qinap.1.0 on 4.09 had its build status changed: passing to internal failure
• qinap.1.0 on 4.14 had its build status changed: passing to internal failure
• qinap.1.0 on 5.1 had its build status changed: passing to internal failure
• rml.1.09.05 on 4.10 had its build status changed: passing to internal failure
• rml.1.09.06 on 4.09 had its build status changed: passing to internal failure
• rml.1.09.06 on 5.0 had its build status changed: passing to internal failure
• rml.1.09.07 on 4.09 had its build status changed: passing to internal failure
• rml.1.09.07 on 4.14 had its build status changed: passing to internal failure
• vcardgen.1.1 on 4.11 had its build status changed: passing to internal failure
• vcardgen.1.2 on 4.13 had its build status changed: passing to internal failure
• vercel.0.1.0 on 4.08 had its build status changed: passing to internal failure
• vercel.0.1.0 on 4.09 had its build status changed: passing to internal failure
• vercel.0.1.0 on 4.13 had its build status changed: passing to internal failure
• vhd-format-lwt.0.12.0 on 4.10 had its build status changed: passing to internal failure
• vhd-format-lwt.0.12.1 on 4.13 had its build status changed: passing to internal failure
• vhd-format-lwt.0.12.2 on 4.08 had its build status changed: partially failing to internal failure
• vhd-format-lwt.0.12.2 on 4.10 had its build status changed: partially failing to internal failure
• vhd-format-lwt.0.12.2 on 4.11 had its build status changed: partially failing to internal failure
• vhd-format-lwt.0.12.2 on 4.12 had its build status changed: partially failing to internal failure
• vhd-format-lwt.0.12.2 on 4.14 had its build status changed: passing to internal failure
• vhd-format-lwt.0.12.3 on 4.14 had its build status changed: passing to internal failure
• vhd-format.0.12.1 on 4.10 had its build status changed: failing to internal failure
• vhd-format.0.12.2 on 5.1 had its build status changed: passing to internal failure
• vhd-format.0.12.3 on 5.0 had its build status changed: passing to internal failure
• vhd-format.0.9.1 on 4.08 had its build status changed: passing to internal failure
• vhd-format.0.9.1 on 4.11 had its build status changed: passing to internal failure
• vhd-format.0.9.1 on 4.12 had its build status changed: passing to internal failure
• virtual_dom.v0.15.0 on 4.12 had its build status changed: passing to internal failure
• vlq.0.1.0 on 4.08 had its build status changed: passing to internal failure
• vlq.0.1.0 on 4.10 had its build status changed: passing to internal failure
• vlq.0.1.0 on 4.11 had its build status changed: passing to internal failure
• vlq.0.1.0 on 4.12 had its build status changed: passing to internal failure
• vlq.0.2.0 on 4.09 had its build status changed: passing to internal failure
• vlq.0.2.1 on 4.12 had its build status changed: passing to internal failure
• vlt.0.1 on 4.14 had its build status changed: passing to internal failure
• vlt.0.1 on 5.0 had its build status changed: passing to internal failure
• voaacenc.0.1.1 on 5.0 had its build status changed: passing to internal failure
• vorbis.0.7.1 on 4.10 had its build status changed: passing to internal failure
• vorbis.0.8.0 on 4.10 had its build status changed: passing to internal failure
• vpt.3.0.1 on 4.09 had its build status changed: passing to internal failure
• vpt.4.0.1 on 4.13 had its build status changed: passing to internal failure
• vscoq-language-server.2.0.1+coq8.18 on 4.13 had its build status changed: passing to internal failure
• vscoq-language-server.2.0.1+coq8.18 on 5.1 had its build status changed: passing to internal failure
• vscoq-language-server.2.0.2+coq8.18 on 4.12 had its build status changed: not available to internal failure
• vscoq-language-server.2.0.2+coq8.18 on 5.0 had its build status changed: passing to internal failure
• vscoq-language-server.2.0.3+coq8.18 on 4.10 had its build status changed: not available to internal failure
• vscoq-language-server.2.0.3+coq8.18 on 4.12 had its build status changed: not available to internal failure
• vscoq-language-server.2.0.3+coq8.18 on 4.14 had its build status changed: passing to internal failure
• vscoq-language-server.2.1.0+coq8.19 on 5.0 had its build status changed: passing to internal failure
• vscoq-language-server.2.1.2 on 5.1 is now installable. Current state is: internal failure
• wall.0.4 on 4.14 had its build status changed: passing to internal failure
• wcs-api.2017-05-26.03 on 4.08 had its build status changed: passing to internal failure
• wcs-api.2017-05-26.03 on 4.12 had its build status changed: passing to internal failure
• wcs-api.2017-05-26.04 on 4.10 had its build status changed: passing to internal failure
• wcs-lib.2017-05-26.03 on 4.08 had its build status changed: passing to internal failure
• wcs-lib.2017-05-26.03 on 4.10 had its build status changed: passing to internal failure
• wcs-lib.2017-05-26.04 on 4.08 had its build status changed: passing to internal failure
• wcs-lib.2017-05-26.04 on 4.12 had its build status changed: passing to internal failure
• wcs-lib.2017-05-26.05 on 4.08 had its build status changed: failing to internal failure
• wcs-lib.2017-05-26.05 on 4.09 had its build status changed: failing to internal failure
• wcs-lib.2017-05-26.05 on 4.11 had its build status changed: failing to internal failure
• wcs.2017-05-26.03 on 4.10 had its build status changed: passing to internal failure
• wcs.2017-05-26.03 on 4.12 had its build status changed: passing to internal failure
• wcs.2017-05-26.04 on 4.09 had its build status changed: passing to internal failure
• wcs.2017-05-26.04 on 4.10 had its build status changed: passing to internal failure
• wcs.2017-05-26.04 on 4.12 had its build status changed: passing to internal failure
• wcs.2017-05-26.05 on 4.10 had its build status changed: partially failing to internal failure
• wcs.2017-05-26.05 on 4.11 had its build status changed: partially failing to internal failure
• wcs.2017-05-26.05 on 4.12 had its build status changed: partially failing to internal failure
• yara.0.2 on 4.11 had its build status changed: passing to internal failure
• yojson-bench.2.0.0 on 4.08 had its build status changed: passing to internal failure
• yojson-bench.2.0.0 on 4.09 had its build status changed: passing to internal failure
• yojson-bench.2.0.0 on 4.12 had its build status changed: passing to internal failure
• yojson-bench.2.0.1 on 4.08 had its build status changed: passing to internal failure
• yojson-bench.2.0.2 on 4.08 had its build status changed: passing to internal failure
• yojson-bench.2.0.2 on 4.13 had its build status changed: passing to internal failure
• yojson-bench.2.0.2 on 4.14 had its build status changed: passing to internal failure
• yojson-bench.2.0.2 on 5.0 had its build status changed: passing to internal failure
• z3.4.10.1 on 4.08 had its build status changed: passing to internal failure
• z3.4.10.1 on 4.09 had its build status changed: passing to internal failure
• z3.4.10.1 on 4.10 had its build status changed: passing to internal failure
• z3.4.10.1 on 4.14 had its build status changed: passing to internal failure
• z3.4.10.2 on 4.10 had its build status changed: passing to internal failure
• z3.4.10.2 on 4.14 had its build status changed: passing to internal failure
• z3.4.11.0 on 4.13 had its build status changed: passing to internal failure
• z3.4.11.0 on 4.14 had its build status changed: passing to internal failure
• z3.4.12.2-1 on 4.10 had its build status changed: passing to internal failure
• z3.4.12.3 on 4.10 had its build status changed: passing to internal failure
• z3.4.12.4 on 4.11 had its build status changed: passing to internal failure
• z3.4.12.4 on 4.12 had its build status changed: passing to internal failure
• z3.4.12.5 on 4.09 had its build status changed: passing to internal failure
• z3.4.12.5 on 4.13 had its build status changed: passing to internal failure
• z3.4.12.5 on 4.14 had its build status changed: passing to internal failure
• z3.4.12.6 on 4.08 is now installable. Current state is: internal failure
• z3.4.12.6 on 4.10 is now installable. Current state is: internal failure
• z3.4.12.6 on 4.12 is now installable. Current state is: internal failure
• z3.4.8.13 on 4.08 had its build status changed: failing to internal failure
• z3.4.8.13 on 4.14 had its build status changed: passing to internal failure
• z3.4.8.14 on 4.12 had its build status changed: passing to internal failure
• z3.4.8.14 on 4.14 had its build status changed: passing to internal failure
• z3.4.8.5-1 on 4.08 had its build status changed: passing to internal failure
• z3.4.9.1 on 4.11 had its build status changed: passing to internal failure
• z3_tptp.4.10.1 on 4.12 had its build status changed: passing to internal failure
• z3_tptp.4.10.2 on 4.13 had its build status changed: partially failing to internal failure
• z3_tptp.4.11.0 on 4.09 had its build status changed: passing to internal failure
• z3_tptp.4.11.0 on 4.12 had its build status changed: passing to internal failure
• z3_tptp.4.8.13 on 4.10 had its build status changed: passing to internal failure
• z3_tptp.4.8.13 on 4.14 had its build status changed: passing to internal failure
• z3_tptp.4.8.14 on 4.13 had its build status changed: passing to internal failure
• z3_tptp.4.8.17 on 4.09 had its build status changed: passing to internal failure
• z3_tptp.4.8.17 on 4.12 had its build status changed: passing to internal failure
• z3_tptp.4.8.17 on 4.14 had its build status changed: passing to internal failure
• z3_tptp.4.9.1 on 4.09 had its build status changed: passing to internal failure
• z3_tptp.4.9.1 on 4.10 had its build status changed: passing to internal failure
• z3_tptp.4.9.1 on 4.14 had its build status changed: passing to internal failure
• zanuda.1.0.0 on 4.14 had its build status changed: passing to internal failure
• zarith-freestanding.1.11 on 4.08 had its build status changed: partially failing to internal failure
• zarith-freestanding.1.11 on 4.09 had its build status changed: partially failing to internal failure
• zarith-freestanding.1.11 on 4.12 had its build status changed: partially failing to internal failure
• zarith-freestanding.1.12 on 4.14 had its build status changed: partially failing to internal failure
• zarith-freestanding.1.4.1 on 4.12 had its build status changed: not available to internal failure
• zarith-freestanding.1.7 on 5.0 had its build status changed: not available to internal failure
• zarith-xen.1.6 on 4.08 had its build status changed: passing to internal failure
• zarith-xen.1.6 on 4.09 had its build status changed: passing to internal failure
• zarith-xen.1.6 on 4.10 had its build status changed: passing to internal failure
• zarith-xen.1.6 on 4.11 had its build status changed: passing to internal failure
• zarith-xen.1.6 on 4.14 had its build status changed: passing to internal failure
• zarith-xen.1.7 on 4.08 had its build status changed: passing to internal failure
• zarith-xen.1.7 on 4.10 had its build status changed: passing to internal failure
• zarith-xen.1.7 on 4.11 had its build status changed: passing to internal failure
• zarith-xen.1.7 on 4.13 had its build status changed: passing to internal failure
• zarith.1.10 on 4.09 had its build status changed: passing to internal failure
• zarith.1.12 on 4.08 had its build status changed: passing to internal failure
• zarith_stubs_js.v0.16.0 on 4.08 had its build status changed: not available to internal failure
• zed.1.6 on 4.10 had its build status changed: passing to internal failure
• zed.1.6 on 4.12 had its build status changed: passing to internal failure
• zed.1.6 on 5.0 had its build status changed: not available to internal failure
• zed.2.0 on 4.11 had its build status changed: passing to internal failure
• zed.2.0.1 on 4.09 had its build status changed: passing to internal failure
• zed.2.0.1 on 4.10 had its build status changed: passing to internal failure
• zed.2.0.2 on 4.09 had its build status changed: passing to internal failure
• zed.2.0.2 on 4.12 had its build status changed: passing to internal failure
• zed.2.0.3 on 4.08 had its build status changed: passing to internal failure
• zed.2.0.3 on 4.09 had its build status changed: passing to internal failure
• zed.2.0.3 on 4.13 had its build status changed: passing to internal failure
• zed.2.0.4 on 4.08 had its build status changed: passing to internal failure
• zed.2.0.5 on 4.10 had its build status changed: passing to internal failure
• zed.2.0.5 on 4.11 had its build status changed: passing to internal failure
• zed.2.0.6 on 5.0 had its build status changed: not available to internal failure
• zed.3.0.0 on 4.08 had its build status changed: passing to internal failure

Packages now passing:

• 0install-gtk.2.15.2 on 5.0 had its build status changed: not available to passing
• 0install-gtk.2.15.2 on 5.1 had its build status changed: not available to passing
• 0install-gtk.2.16 on 5.0 had its build status changed: not available to passing
• 0install-gtk.2.16 on 5.1 had its build status changed: not available to passing
• 0install-gtk.2.17 on 5.0 had its build status changed: not available to passing
• 0install-gtk.2.17 on 5.1 had its build status changed: not available to passing
• 0install-gtk.2.18 on 5.0 had its build status changed: not available to passing
• 0install-gtk.2.18 on 5.1 had its build status changed: not available to passing
• 0install.2.15.2 on 5.0 had its build status changed: not available to passing
• 0install.2.15.2 on 5.1 had its build status changed: not available to passing
• 0install.2.16 on 5.0 had its build status changed: not available to passing
• 0install.2.16 on 5.1 had its build status changed: not available to passing
• 0install.2.17 on 5.0 had its build status changed: not available to passing
• 0install.2.17 on 5.1 had its build status changed: not available to passing
• 0install.2.18 on 5.0 had its build status changed: not available to passing
• 0install.2.18 on 5.1 had its build status changed: not available to passing
• acgtk.2.1.0 on 4.14 is now installable. Current state is: passing
• acgtk.2.1.0 on 5.0 is now installable. Current state is: passing
• acgtk.2.1.0 on 5.1 is now installable. Current state is: passing
• adobe_font_metrics.1.0.0 on 4.14 is now installable. Current state is: passing
• adobe_font_metrics.1.0.0 on 5.0 is now installable. Current state is: passing
• adobe_font_metrics.1.0.0 on 5.1 is now installable. Current state is: passing
• aez.0.3 on 4.08 had its build status changed: internal failure to passing
• aez.0.3 on 4.14 had its build status changed: internal failure 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.10 had its build status changed: failing to passing
• alt-ergo.0.95.2 on 4.08 had its build status changed: failing to passing
• alt-ergo.0.95.2 on 4.13 had its build status changed: failing to passing
• alt-ergo.2.0.0 on 4.09 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.11 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.10 had its build status changed: failing to passing
• bam.0.1 on 4.14 is now installable. Current state is: passing
• bam.0.1 on 5.0 is now installable. Current state is: passing
• bam.0.1 on 5.1 is now installable. Current state is: passing
• batteries.3.8.0 on 4.08 is now installable. Current state is: passing
• batteries.3.8.0 on 4.09 is now installable. Current state is: passing
• batteries.3.8.0 on 4.10 is now installable. Current state is: passing
• batteries.3.8.0 on 4.11 is now installable. Current state is: passing
• batteries.3.8.0 on 4.12 is now installable. Current state is: passing
• batteries.3.8.0 on 4.13 is now installable. Current state is: passing
• batteries.3.8.0 on 4.14 is now installable. Current state is: passing
• batteries.3.8.0 on 5.0 is now installable. Current state is: passing
• batteries.3.8.0 on 5.1 is now installable. Current state is: passing
• bin_tree.0.1 on 4.08 is now installable. Current state is: passing
• bin_tree.0.1 on 4.09 is now installable. Current state is: passing
• bin_tree.0.1 on 4.10 is now installable. Current state is: passing
• bin_tree.0.1 on 4.11 is now installable. Current state is: passing
• bin_tree.0.1 on 4.12 is now installable. Current state is: passing
• bin_tree.0.1 on 4.13 is now installable. Current state is: passing
• bin_tree.0.1 on 4.14 is now installable. Current state is: passing
• bin_tree.0.1 on 5.0 is now installable. Current state is: passing
• bin_tree.0.1 on 5.1 is now installable. Current state is: passing
• bls12-381.19.1 on 4.14 is now installable. Current state is: passing
• bls12-381.19.1 on 5.0 is now installable. Current state is: passing
• bls12-381.19.1 on 5.1 is now installable. Current state is: passing
• bogue.20240225 on 4.08 is now installable. Current state is: passing
• bogue.20240225 on 4.09 is now installable. Current state is: passing
• bogue.20240225 on 4.10 is now installable. Current state is: passing
• bogue.20240225 on 4.11 is now installable. Current state is: passing
• bogue.20240225 on 4.12 is now installable. Current state is: passing
• bogue.20240225 on 4.13 is now installable. Current state is: passing
• bogue.20240225 on 4.14 is now installable. Current state is: passing
• bogue.20240225 on 5.0 is now installable. Current state is: passing
• bogue.20240225 on 5.1 is now installable. Current state is: passing
• ca-certs-nss.3.98 on 4.08 is now installable. Current state is: passing
• ca-certs-nss.3.98 on 4.09 is now installable. Current state is: passing
• ca-certs-nss.3.98 on 4.10 is now installable. Current state is: passing
• ca-certs-nss.3.98 on 4.11 is now installable. Current state is: passing
• ca-certs-nss.3.98 on 4.12 is now installable. Current state is: passing
• ca-certs-nss.3.98 on 4.13 is now installable. Current state is: passing
• ca-certs-nss.3.98 on 4.14 is now installable. Current state is: passing
• ca-certs-nss.3.98 on 5.0 is now installable. Current state is: passing
• ca-certs-nss.3.98 on 5.1 is now installable. Current state is: passing
• caqti-async.2.1.1 on 4.14 is now installable. Current state is: passing
• caqti-async.2.1.1 on 5.0 is now installable. Current state is: passing
• caqti-async.2.1.1 on 5.1 is now installable. Current state is: passing
• caqti-driver-mariadb.2.1.1 on 4.08 is now installable. Current state is: passing
• caqti-driver-mariadb.2.1.1 on 4.09 is now installable. Current state is: passing
• caqti-driver-mariadb.2.1.1 on 4.10 is now installable. Current state is: passing
• caqti-driver-mariadb.2.1.1 on 4.11 is now installable. Current state is: passing
• caqti-driver-mariadb.2.1.1 on 4.12 is now installable. Current state is: passing
• caqti-driver-mariadb.2.1.1 on 4.13 is now installable. Current state is: passing
• caqti-driver-mariadb.2.1.1 on 4.14 is now installable. Current state is: passing
• caqti-driver-pgx.2.1.1 on 4.08 is now installable. Current state is: passing
• caqti-driver-pgx.2.1.1 on 4.09 is now installable. Current state is: passing
• caqti-driver-pgx.2.1.1 on 4.10 is now installable. Current state is: passing
• caqti-driver-pgx.2.1.1 on 4.11 is now installable. Current state is: passing
• caqti-driver-pgx.2.1.1 on 4.12 is now installable. Current state is: passing
• caqti-driver-pgx.2.1.1 on 4.13 is now installable. Current state is: passing
• caqti-driver-pgx.2.1.1 on 4.14 is now installable. Current state is: passing
• caqti-driver-pgx.2.1.1 on 5.0 is now installable. Current state is: passing
• caqti-driver-pgx.2.1.1 on 5.1 is now installable. Current state is: passing
• caqti-driver-postgresql.2.1.1 on 4.08 is now installable. Current state is: passing
• caqti-driver-postgresql.2.1.1 on 4.09 is now installable. Current state is: passing
• caqti-driver-postgresql.2.1.1 on 4.10 is now installable. Current state is: passing
• caqti-driver-postgresql.2.1.1 on 4.11 is now installable. Current state is: passing
• caqti-driver-postgresql.2.1.1 on 4.12 is now installable. Current state is: passing
• caqti-driver-postgresql.2.1.1 on 4.13 is now installable. Current state is: passing
• caqti-driver-postgresql.2.1.1 on 4.14 is now installable. Current state is: passing
• caqti-driver-postgresql.2.1.1 on 5.0 is now installable. Current state is: passing
• caqti-driver-postgresql.2.1.1 on 5.1 is now installable. Current state is: passing
• caqti-driver-sqlite3.2.1.1 on 4.08 is now installable. Current state is: passing
• caqti-driver-sqlite3.2.1.1 on 4.09 is now installable. Current state is: passing
• caqti-driver-sqlite3.2.1.1 on 4.10 is now installable. Current state is: passing
• caqti-driver-sqlite3.2.1.1 on 4.11 is now installable. Current state is: passing
• caqti-driver-sqlite3.2.1.1 on 4.12 is now installable. Current state is: passing
• caqti-driver-sqlite3.2.1.1 on 4.13 is now installable. Current state is: passing
• caqti-driver-sqlite3.2.1.1 on 4.14 is now installable. Current state is: passing
• caqti-driver-sqlite3.2.1.1 on 5.0 is now installable. Current state is: passing
• caqti-driver-sqlite3.2.1.1 on 5.1 is now installable. Current state is: passing
• caqti-eio.2.1.1 on 5.0 is now installable. Current state is: passing
• caqti-eio.2.1.1 on 5.1 is now installable. Current state is: passing
• caqti-lwt.2.1.1 on 4.08 is now installable. Current state is: passing
• caqti-lwt.2.1.1 on 4.09 is now installable. Current state is: passing
• caqti-lwt.2.1.1 on 4.10 is now installable. Current state is: passing
• caqti-lwt.2.1.1 on 4.11 is now installable. Current state is: passing
• caqti-lwt.2.1.1 on 4.12 is now installable. Current state is: passing
• caqti-lwt.2.1.1 on 4.13 is now installable. Current state is: passing
• caqti-lwt.2.1.1 on 4.14 is now installable. Current state is: passing
• caqti-lwt.2.1.1 on 5.0 is now installable. Current state is: passing
• caqti-lwt.2.1.1 on 5.1 is now installable. Current state is: passing
• caqti-mirage.2.1.1 on 4.08 is now installable. Current state is: passing
• caqti-mirage.2.1.1 on 4.09 is now installable. Current state is: passing
• caqti-mirage.2.1.1 on 4.10 is now installable. Current state is: passing
• caqti-mirage.2.1.1 on 4.11 is now installable. Current state is: passing
• caqti-mirage.2.1.1 on 4.12 is now installable. Current state is: passing
• caqti-mirage.2.1.1 on 4.13 is now installable. Current state is: passing
• caqti-mirage.2.1.1 on 4.14 is now installable. Current state is: passing
• caqti-mirage.2.1.1 on 5.0 is now installable. Current state is: passing
• caqti-mirage.2.1.1 on 5.1 is now installable. Current state is: passing
• caqti-tls.2.1.1 on 4.08 is now installable. Current state is: passing
• caqti-tls.2.1.1 on 4.09 is now installable. Current state is: passing
• caqti-tls.2.1.1 on 4.10 is now installable. Current state is: passing
• caqti-tls.2.1.1 on 4.11 is now installable. Current state is: passing
• caqti-tls.2.1.1 on 4.12 is now installable. Current state is: passing
• caqti-tls.2.1.1 on 4.13 is now installable. Current state is: passing
• caqti-tls.2.1.1 on 4.14 is now installable. Current state is: passing
• caqti-tls.2.1.1 on 5.0 is now installable. Current state is: passing
• caqti-tls.2.1.1 on 5.1 is now installable. Current state is: passing
• caqti.2.1.1 on 4.08 is now installable. Current state is: passing
• caqti.2.1.1 on 4.09 is now installable. Current state is: passing
• caqti.2.1.1 on 4.10 is now installable. Current state is: passing
• caqti.2.1.1 on 4.11 is now installable. Current state is: passing
• caqti.2.1.1 on 4.12 is now installable. Current state is: passing
• caqti.2.1.1 on 4.13 is now installable. Current state is: passing
• caqti.2.1.1 on 4.14 is now installable. Current state is: passing
• caqti.2.1.1 on 5.0 is now installable. Current state is: passing
• caqti.2.1.1 on 5.1 is now installable. Current state is: passing
• catala.0.9.0 on 4.14 is now installable. Current state is: passing
• catala.0.9.0 on 5.0 is now installable. Current state is: passing
• cgi.0.10 on 4.10 had its build status changed: failing to passing
• conf-openblas.0.2.2 on 4.08 is now installable. Current state is: passing
• conf-openblas.0.2.2 on 4.09 is now installable. Current state is: passing
• conf-openblas.0.2.2 on 4.10 is now installable. Current state is: passing
• conf-openblas.0.2.2 on 4.11 is now installable. Current state is: passing
• conf-openblas.0.2.2 on 4.12 is now installable. Current state is: passing
• conf-openblas.0.2.2 on 4.13 is now installable. Current state is: passing
• conf-openblas.0.2.2 on 4.14 is now installable. Current state is: passing
• conf-openblas.0.2.2 on 5.0 is now installable. Current state is: passing
• conf-openblas.0.2.2 on 5.1 is now installable. Current state is: passing
• config-file.1.1 on 4.09 had its build status changed: failing to passing
• config.0.0.2 on 5.1 is now installable. Current state is: passing
• coq-serapi.8.19.0+0.19.1 on 4.09 is now installable. Current state is: passing
• coq-serapi.8.19.0+0.19.1 on 4.10 is now installable. Current state is: passing
• coq-serapi.8.19.0+0.19.1 on 4.11 is now installable. Current state is: passing
• coq-serapi.8.19.0+0.19.1 on 4.12 is now installable. Current state is: passing
• coq-serapi.8.19.0+0.19.1 on 4.13 is now installable. Current state is: passing
• coq-serapi.8.19.0+0.19.1 on 4.14 is now installable. Current state is: passing
• coq-serapi.8.19.0+0.19.1 on 5.0 is now installable. Current state is: passing
• coq-serapi.8.19.0+0.19.1 on 5.1 is now installable. Current state is: passing
• ctypes-foreign.0.22.0 on 4.08 is now installable. Current state is: passing
• ctypes-foreign.0.22.0 on 4.09 is now installable. Current state is: passing
• ctypes-foreign.0.22.0 on 4.10 is now installable. Current state is: passing
• ctypes-foreign.0.22.0 on 4.11 is now installable. Current state is: passing
• ctypes-foreign.0.22.0 on 4.12 is now installable. Current state is: passing
• ctypes-foreign.0.22.0 on 4.13 is now installable. Current state is: passing
• ctypes-foreign.0.22.0 on 4.14 is now installable. Current state is: passing
• ctypes-foreign.0.22.0 on 5.0 is now installable. Current state is: passing
• ctypes-foreign.0.22.0 on 5.1 is now installable. Current state is: passing
• ctypes.0.22.0 on 4.08 is now installable. Current state is: passing
• ctypes.0.22.0 on 4.09 is now installable. Current state is: passing
• ctypes.0.22.0 on 4.10 is now installable. Current state is: passing
• ctypes.0.22.0 on 4.11 is now installable. Current state is: passing
• ctypes.0.22.0 on 4.12 is now installable. Current state is: passing
• ctypes.0.22.0 on 4.13 is now installable. Current state is: passing
• ctypes.0.22.0 on 4.14 is now installable. Current state is: passing
• ctypes.0.22.0 on 5.0 is now installable. Current state is: passing
• ctypes.0.22.0 on 5.1 is now installable. Current state is: passing
• dns-client.6.0.0 on 4.12 had its build status changed: internal failure to passing
• dns-client.6.0.1 on 4.10 had its build status changed: internal failure to passing
• dns-client.6.0.2 on 4.10 had its build status changed: internal failure to passing
• dns-client.6.1.0 on 4.08 had its build status changed: internal failure to passing
• dns-client.6.1.0 on 4.12 had its build status changed: internal failure to passing
• dns-client.6.1.1 on 4.08 had its build status changed: internal failure to passing
• dns-client.6.1.1 on 4.09 had its build status changed: internal failure to passing
• dns-client.6.1.1 on 4.10 had its build status changed: internal failure to passing
• dns-client.6.1.1 on 4.12 had its build status changed: internal failure to passing
• dns-client.6.1.1 on 5.1 had its build status changed: internal failure to passing
• dns-client.6.1.3 on 5.1 had its build status changed: internal failure to passing
• dns-client.6.1.4 on 4.11 had its build status changed: internal failure to passing
• dns-client.6.2.0 on 4.14 had its build status changed: internal failure to passing
• dns-client.6.2.1 on 4.14 had its build status changed: internal failure to passing
• docfd.2.2.0 on 5.1 is now installable. Current state is: passing
• dream-html.3.0.1 on 4.08 is now installable. Current state is: passing
• dream-html.3.0.1 on 4.09 is now installable. Current state is: passing
• dream-html.3.0.1 on 4.10 is now installable. Current state is: passing
• dream-html.3.0.1 on 4.11 is now installable. Current state is: passing
• dream-html.3.0.1 on 4.12 is now installable. Current state is: passing
• dream-html.3.0.1 on 4.13 is now installable. Current state is: passing
• dream-html.3.0.1 on 4.14 is now installable. Current state is: passing
• dream-html.3.0.1 on 5.0 is now installable. Current state is: passing
• dream-html.3.0.1 on 5.1 is now installable. Current state is: passing
• earlybird.1.3.2 on 4.12 is now installable. Current state is: passing
• earlybird.1.3.2 on 4.13 is now installable. Current state is: passing
• earlybird.1.3.2 on 4.14 is now installable. Current state is: passing
• earlybird.1.3.2 on 5.0 is now installable. Current state is: passing
• earlybird.1.3.2 on 5.1 is now installable. Current state is: passing
• eio-trace.0.1 on 5.1 is now installable. Current state is: passing
• eio.0.15 on 5.1 is now installable. Current state is: passing
• eio_linux.0.15 on 5.1 is now installable. Current state is: passing
• eio_main.0.15 on 5.1 is now installable. Current state is: passing
• eio_posix.0.15 on 5.1 is now installable. Current state is: passing
• eliom.10.3.0 on 4.08 is now installable. Current state is: passing
• eliom.10.3.0 on 4.09 is now installable. Current state is: passing
• eliom.10.3.0 on 4.10 is now installable. Current state is: passing
• eliom.10.3.0 on 4.11 is now installable. Current state is: passing
• eliom.10.3.0 on 4.12 is now installable. Current state is: passing
• eliom.10.3.0 on 4.13 is now installable. Current state is: passing
• eliom.10.3.0 on 4.14 is now installable. Current state is: passing
• eliom.10.3.0 on 5.0 is now installable. Current state is: passing
• eliom.10.3.0 on 5.1 is now installable. Current state is: passing
• eliom.10.3.1 on 4.08 is now installable. Current state is: passing
• eliom.10.3.1 on 4.09 is now installable. Current state is: passing
• eliom.10.3.1 on 4.10 is now installable. Current state is: passing
• eliom.10.3.1 on 4.11 is now installable. Current state is: passing
• eliom.10.3.1 on 4.12 is now installable. Current state is: passing
• eliom.10.3.1 on 4.13 is now installable. Current state is: passing
• eliom.10.3.1 on 4.14 is now installable. Current state is: passing
• eliom.10.3.1 on 5.0 is now installable. Current state is: passing
• eliom.10.3.1 on 5.1 is now installable. Current state is: passing
• extism-manifest.1.1.0 on 4.14 is now installable. Current state is: passing
• extism-manifest.1.1.0 on 5.0 is now installable. Current state is: passing
• extism-manifest.1.1.0 on 5.1 is now installable. Current state is: passing
• extism.1.1.0 on 4.14 is now installable. Current state is: passing
• extism.1.1.0 on 5.0 is now installable. Current state is: passing
• extism.1.1.0 on 5.1 is now installable. Current state is: passing
• ez-conf-lib.2 on 4.08 is now installable. Current state is: passing
• ez-conf-lib.2 on 4.09 is now installable. Current state is: passing
• ez-conf-lib.2 on 4.10 is now installable. Current state is: passing
• ez-conf-lib.2 on 4.11 is now installable. Current state is: passing
• ez-conf-lib.2 on 4.12 is now installable. Current state is: passing
• ez-conf-lib.2 on 4.13 is now installable. Current state is: passing
• ez-conf-lib.2 on 4.14 is now installable. Current state is: passing
• ez-conf-lib.2 on 5.0 is now installable. Current state is: passing
• ez-conf-lib.2 on 5.1 is now installable. Current state is: passing
• flow_parser.0.229.1 on 4.14 is now installable. Current state is: passing
• flow_parser.0.229.1 on 5.0 is now installable. Current state is: passing
• flow_parser.0.229.1 on 5.1 is now installable. Current state is: passing
• fm-simplex-plugin.1.01 on 4.08 had its build status changed: failing to passing
• frama-c-metacsl.0.6 on 4.13 is now installable. Current state is: passing
• frama-c-metacsl.0.6 on 4.14 is now installable. Current state is: passing
• frama-c-metacsl.0.6 on 5.0 is now installable. Current state is: passing
• frama-c-metacsl.0.6 on 5.1 is now installable. Current state is: passing
• functoria-runtime.4.4.2 on 4.08 is now installable. Current state is: passing
• functoria-runtime.4.4.2 on 4.09 is now installable. Current state is: passing
• functoria-runtime.4.4.2 on 4.10 is now installable. Current state is: passing
• functoria-runtime.4.4.2 on 4.11 is now installable. Current state is: passing
• functoria-runtime.4.4.2 on 4.12 is now installable. Current state is: passing
• functoria-runtime.4.4.2 on 4.13 is now installable. Current state is: passing
• functoria-runtime.4.4.2 on 4.14 is now installable. Current state is: passing
• functoria-runtime.4.4.2 on 5.0 is now installable. Current state is: passing
• functoria-runtime.4.4.2 on 5.1 is now installable. Current state is: passing
• functoria.4.4.2 on 4.08 is now installable. Current state is: passing
• functoria.4.4.2 on 4.09 is now installable. Current state is: passing
• functoria.4.4.2 on 4.10 is now installable. Current state is: passing
• functoria.4.4.2 on 4.11 is now installable. Current state is: passing
• functoria.4.4.2 on 4.12 is now installable. Current state is: passing
• functoria.4.4.2 on 4.13 is now installable. Current state is: passing
• functoria.4.4.2 on 4.14 is now installable. Current state is: passing
• functoria.4.4.2 on 5.0 is now installable. Current state is: passing
• functoria.4.4.2 on 5.1 is now installable. Current state is: passing
• fuseau-lwt.0.1 on 5.0 is now installable. Current state is: passing
• fuseau-lwt.0.1 on 5.1 is now installable. Current state is: passing
• fuseau.0.1 on 5.0 is now installable. Current state is: passing
• fuseau.0.1 on 5.1 is now installable. Current state is: passing
• gd.1.1 on 4.08 is now installable. Current state is: passing
• gd.1.1 on 4.09 is now installable. Current state is: passing
• gd.1.1 on 4.10 is now installable. Current state is: passing
• gd.1.1 on 4.11 is now installable. Current state is: passing
• gd.1.1 on 4.12 is now installable. Current state is: passing
• gd.1.1 on 4.13 is now installable. Current state is: passing
• gd.1.1 on 4.14 is now installable. Current state is: passing
• gd.1.1 on 5.0 is now installable. Current state is: passing
• gd.1.1 on 5.1 is now installable. Current state is: passing
• gmp.6.2.1-5 on 4.08 is now installable. Current state is: passing
• gmp.6.2.1-5 on 4.09 is now installable. Current state is: passing
• gmp.6.2.1-5 on 4.10 is now installable. Current state is: passing
• gmp.6.2.1-5 on 4.11 is now installable. Current state is: passing
• gmp.6.2.1-5 on 4.12 is now installable. Current state is: passing
• gmp.6.2.1-5 on 4.13 is now installable. Current state is: passing
• gmp.6.2.1-5 on 4.14 is now installable. Current state is: passing
• gmp.6.2.1-5 on 5.0 is now installable. Current state is: passing
• gmp.6.2.1-5 on 5.1 is now installable. Current state is: passing
• gpt.1.0.0 on 4.13 is now installable. Current state is: passing
• gpt.1.0.0 on 4.14 is now installable. Current state is: passing
• gpt.1.0.0 on 5.0 is now installable. Current state is: passing
• gpt.1.0.0 on 5.1 is now installable. Current state is: passing
• hacl-star-raw.0.1 on 4.12 had its build status changed: failing to passing
• hacl-star-raw.0.2.0 on 4.08 had its build status changed: failing to passing
• hacl-star-raw.0.2.0 on 4.10 had its build status changed: failing to passing
• hacl-star-raw.0.2.0 on 4.11 had its build status changed: failing to passing
• hacl-star-raw.0.2.0 on 4.12 had its build status changed: failing to passing
• hacl-star-raw.0.2.1 on 4.08 had its build status changed: failing to passing
• hacl-star-raw.0.2.1 on 4.13 had its build status changed: failing to passing
• hacl-star-raw.0.2.2 on 4.13 had its build status changed: failing to passing
• hacl-star-raw.0.2.2 on 4.14 had its build status changed: failing to passing
• hacl-star.0.1 on 4.09 had its build status changed: partially failing to passing
• hacl-star.0.1 on 4.10 had its build status changed: partially failing to passing
• hacl-star.0.1 on 4.11 had its build status changed: partially failing to passing
• hacl-star.0.1 on 4.12 had its build status changed: partially failing to passing
• hacl-star.0.1 on 4.13 had its build status changed: partially failing to passing
• hacl-star.0.1 on 4.14 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.08 had its build status changed: partially failing to passing
• hacl-star.0.2.0 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.2 on 4.08 had its build status changed: partially failing to passing
• hacl-star.0.2.2 on 4.10 had its build status changed: partially failing to passing
• hacl-star.0.2.2 on 4.12 had its build status changed: partially failing to passing
• hol2dk.1.0.0 on 4.13 is now installable. Current state is: passing
• hol2dk.1.0.0 on 4.14 is now installable. Current state is: passing
• hol2dk.1.0.0 on 5.0 is now installable. Current state is: passing
• hol2dk.1.0.0 on 5.1 is now installable. Current state is: passing
• iostream-camlzip.0.2 on 4.08 is now installable. Current state is: passing
• iostream-camlzip.0.2 on 4.09 is now installable. Current state is: passing
• iostream-camlzip.0.2 on 4.10 is now installable. Current state is: passing
• iostream-camlzip.0.2 on 4.11 is now installable. Current state is: passing
• iostream-camlzip.0.2 on 4.12 is now installable. Current state is: passing
• iostream-camlzip.0.2 on 4.13 is now installable. Current state is: passing
• iostream-camlzip.0.2 on 4.14 is now installable. Current state is: passing
• iostream-camlzip.0.2 on 5.0 is now installable. Current state is: passing
• iostream-camlzip.0.2 on 5.1 is now installable. Current state is: passing
• iostream.0.2 on 4.08 is now installable. Current state is: passing
• iostream.0.2 on 4.09 is now installable. Current state is: passing
• iostream.0.2 on 4.10 is now installable. Current state is: passing
• iostream.0.2 on 4.11 is now installable. Current state is: passing
• iostream.0.2 on 4.12 is now installable. Current state is: passing
• iostream.0.2 on 4.13 is now installable. Current state is: passing
• iostream.0.2 on 4.14 is now installable. Current state is: passing
• iostream.0.2 on 5.0 is now installable. Current state is: passing
• iostream.0.2 on 5.1 is now installable. Current state is: passing
• iri.0.4.0 on 4.08 had its build status changed: internal failure to passing
• iri.0.5.0 on 4.13 had its build status changed: internal failure to passing
• iri.0.5.0 on 4.14 had its build status changed: internal failure to passing
• iri.0.6.0 on 4.14 had its build status changed: internal failure to passing
• iri.0.7.0 on 4.12 had its build status changed: internal failure to passing
• iri.0.7.0 on 5.0 had its build status changed: internal failure to passing
• js_of_ocaml-compiler.5.7.0 on 4.08 is now installable. Current state is: passing
• js_of_ocaml-compiler.5.7.0 on 4.09 is now installable. Current state is: passing
• js_of_ocaml-compiler.5.7.0 on 4.10 is now installable. Current state is: passing
• js_of_ocaml-compiler.5.7.0 on 4.11 is now installable. Current state is: passing
• js_of_ocaml-compiler.5.7.0 on 4.12 is now installable. Current state is: passing
• js_of_ocaml-compiler.5.7.0 on 4.13 is now installable. Current state is: passing
• js_of_ocaml-compiler.5.7.0 on 4.14 is now installable. Current state is: passing
• js_of_ocaml-compiler.5.7.0 on 5.0 is now installable. Current state is: passing
• js_of_ocaml-compiler.5.7.0 on 5.1 is now installable. Current state is: passing
• js_of_ocaml-lwt.5.7.0 on 4.08 is now installable. Current state is: passing
• js_of_ocaml-lwt.5.7.0 on 4.09 is now installable. Current state is: passing
• js_of_ocaml-lwt.5.7.0 on 4.10 is now installable. Current state is: passing
• js_of_ocaml-lwt.5.7.0 on 4.11 is now installable. Current state is: passing
• js_of_ocaml-lwt.5.7.0 on 4.12 is now installable. Current state is: passing
• js_of_ocaml-lwt.5.7.0 on 4.13 is now installable. Current state is: passing
• js_of_ocaml-lwt.5.7.0 on 4.14 is now installable. Current state is: passing
• js_of_ocaml-lwt.5.7.0 on 5.0 is now installable. Current state is: passing
• js_of_ocaml-lwt.5.7.0 on 5.1 is now installable. Current state is: passing
• js_of_ocaml-ppx.5.7.0 on 4.08 is now installable. Current state is: passing
• js_of_ocaml-ppx.5.7.0 on 4.09 is now installable. Current state is: passing
• js_of_ocaml-ppx.5.7.0 on 4.10 is now installable. Current state is: passing
• js_of_ocaml-ppx.5.7.0 on 4.11 is now installable. Current state is: passing
• js_of_ocaml-ppx.5.7.0 on 4.12 is now installable. Current state is: passing
• js_of_ocaml-ppx.5.7.0 on 4.13 is now installable. Current state is: passing
• js_of_ocaml-ppx.5.7.0 on 4.14 is now installable. Current state is: passing
• js_of_ocaml-ppx.5.7.0 on 5.0 is now installable. Current state is: passing
• js_of_ocaml-ppx.5.7.0 on 5.1 is now installable. Current state is: passing
• js_of_ocaml-ppx_deriving_json.5.7.0 on 4.08 is now installable. Current state is: passing
• js_of_ocaml-ppx_deriving_json.5.7.0 on 4.09 is now installable. Current state is: passing
• js_of_ocaml-ppx_deriving_json.5.7.0 on 4.10 is now installable. Current state is: passing
• js_of_ocaml-ppx_deriving_json.5.7.0 on 4.11 is now installable. Current state is: passing
• js_of_ocaml-ppx_deriving_json.5.7.0 on 4.12 is now installable. Current state is: passing
• js_of_ocaml-ppx_deriving_json.5.7.0 on 4.13 is now installable. Current state is: passing
• js_of_ocaml-ppx_deriving_json.5.7.0 on 4.14 is now installable. Current state is: passing
• js_of_ocaml-ppx_deriving_json.5.7.0 on 5.0 is now installable. Current state is: passing
• js_of_ocaml-ppx_deriving_json.5.7.0 on 5.1 is now installable. Current state is: passing
• js_of_ocaml-toplevel.5.7.0 on 4.08 is now installable. Current state is: passing
• js_of_ocaml-toplevel.5.7.0 on 4.09 is now installable. Current state is: passing
• js_of_ocaml-toplevel.5.7.0 on 4.10 is now installable. Current state is: passing
• js_of_ocaml-toplevel.5.7.0 on 4.11 is now installable. Current state is: passing
• js_of_ocaml-toplevel.5.7.0 on 4.12 is now installable. Current state is: passing
• js_of_ocaml-toplevel.5.7.0 on 4.13 is now installable. Current state is: passing
• js_of_ocaml-toplevel.5.7.0 on 4.14 is now installable. Current state is: passing
• js_of_ocaml-toplevel.5.7.0 on 5.0 is now installable. Current state is: passing
• js_of_ocaml-toplevel.5.7.0 on 5.1 is now installable. Current state is: passing
• js_of_ocaml-tyxml.5.7.0 on 4.08 is now installable. Current state is: passing
• js_of_ocaml-tyxml.5.7.0 on 4.09 is now installable. Current state is: passing
• js_of_ocaml-tyxml.5.7.0 on 4.10 is now installable. Current state is: passing
• js_of_ocaml-tyxml.5.7.0 on 4.11 is now installable. Current state is: passing
• js_of_ocaml-tyxml.5.7.0 on 4.12 is now installable. Current state is: passing
• js_of_ocaml-tyxml.5.7.0 on 4.13 is now installable. Current state is: passing
• js_of_ocaml-tyxml.5.7.0 on 4.14 is now installable. Current state is: passing
• js_of_ocaml-tyxml.5.7.0 on 5.0 is now installable. Current state is: passing
• js_of_ocaml-tyxml.5.7.0 on 5.1 is now installable. Current state is: passing
• js_of_ocaml.5.7.0 on 4.08 is now installable. Current state is: passing
• js_of_ocaml.5.7.0 on 4.09 is now installable. Current state is: passing
• js_of_ocaml.5.7.0 on 4.10 is now installable. Current state is: passing
• js_of_ocaml.5.7.0 on 4.11 is now installable. Current state is: passing
• js_of_ocaml.5.7.0 on 4.12 is now installable. Current state is: passing
• js_of_ocaml.5.7.0 on 4.13 is now installable. Current state is: passing
• js_of_ocaml.5.7.0 on 4.14 is now installable. Current state is: passing
• js_of_ocaml.5.7.0 on 5.0 is now installable. Current state is: passing
• js_of_ocaml.5.7.0 on 5.1 is now installable. Current state is: passing
• kcas.0.7.0 on 4.13 is now installable. Current state is: passing
• kcas.0.7.0 on 4.14 is now installable. Current state is: passing
• kcas.0.7.0 on 5.0 is now installable. Current state is: passing
• kcas.0.7.0 on 5.1 is now installable. Current state is: passing
• kcas_data.0.7.0 on 4.13 is now installable. Current state is: passing
• kcas_data.0.7.0 on 4.14 is now installable. Current state is: passing
• kcas_data.0.7.0 on 5.0 is now installable. Current state is: passing
• kcas_data.0.7.0 on 5.1 is now installable. Current state is: passing
• kqueue.0.4.0 on 4.12 is now installable. Current state is: passing
• kqueue.0.4.0 on 4.13 is now installable. Current state is: passing
• kqueue.0.4.0 on 4.14 is now installable. Current state is: passing
• kqueue.0.4.0 on 5.0 is now installable. Current state is: passing
• kqueue.0.4.0 on 5.1 is now installable. Current state is: passing
• lambdapi.2.0.0 on 4.09 had its build status changed: partially failing to passing
• lambdapi.2.0.0 on 4.11 had its build status changed: partially failing to passing
• lambdapi.2.0.0 on 4.14 had its build status changed: partially failing to passing
• lambdapi.2.5.0 on 4.08 is now installable. Current state is: passing
• lambdapi.2.5.0 on 4.09 is now installable. Current state is: passing
• lambdapi.2.5.0 on 4.10 is now installable. Current state is: passing
• lambdapi.2.5.0 on 4.11 is now installable. Current state is: passing
• lambdapi.2.5.0 on 4.12 is now installable. Current state is: passing
• lambdapi.2.5.0 on 4.13 is now installable. Current state is: passing
• lambdapi.2.5.0 on 4.14 is now installable. Current state is: passing
• lambdapi.2.5.0 on 5.0 is now installable. Current state is: passing
• lambdapi.2.5.0 on 5.1 is now installable. Current state is: passing
• learn-ocaml-client.1.0.0 on 4.12 is now installable. Current state is: passing
• learn-ocaml.1.0.0 on 4.12 is now installable. Current state is: passing
• libtorch.2.2.1+linux-x86_64 on 4.08 is now installable. Current state is: passing
• libtorch.2.2.1+linux-x86_64 on 4.09 is now installable. Current state is: passing
• libtorch.2.2.1+linux-x86_64 on 4.10 is now installable. Current state is: passing
• libtorch.2.2.1+linux-x86_64 on 4.11 is now installable. Current state is: passing
• libtorch.2.2.1+linux-x86_64 on 4.12 is now installable. Current state is: passing
• libtorch.2.2.1+linux-x86_64 on 4.13 is now installable. Current state is: passing
• libtorch.2.2.1+linux-x86_64 on 4.14 is now installable. Current state is: passing
• libtorch.2.2.1+linux-x86_64 on 5.0 is now installable. Current state is: passing
• libtorch.2.2.1+linux-x86_64 on 5.1 is now installable. Current state is: passing
• linenoise.1.5 on 4.08 is now installable. Current state is: passing
• linenoise.1.5 on 4.09 is now installable. Current state is: passing
• linenoise.1.5 on 4.10 is now installable. Current state is: passing
• linenoise.1.5 on 4.11 is now installable. Current state is: passing
• linenoise.1.5 on 4.12 is now installable. Current state is: passing
• linenoise.1.5 on 4.13 is now installable. Current state is: passing
• linenoise.1.5 on 4.14 is now installable. Current state is: passing
• linenoise.1.5 on 5.0 is now installable. Current state is: passing
• linenoise.1.5 on 5.1 is now installable. Current state is: passing
• linol-lwt.0.5 on 4.14 is now installable. Current state is: passing
• linol-lwt.0.5 on 5.0 is now installable. Current state is: passing
• linol-lwt.0.5 on 5.1 is now installable. Current state is: passing
• linol.0.5 on 4.14 is now installable. Current state is: passing
• linol.0.5 on 5.0 is now installable. Current state is: passing
• linol.0.5 on 5.1 is now installable. Current state is: passing
• lru-cache.0.1.0 on 4.09 had its build status changed: internal failure to passing
• lru-cache.0.1.0 on 4.10 had its build status changed: internal failure to passing
• lru-cache.0.1.0 on 4.12 had its build status changed: internal failure to passing
• lru-cache.0.2.0 on 4.14 had its build status changed: internal failure to passing
• lru-cache.0.2.0 on 5.0 had its build status changed: internal failure to passing
• lru-cache.0.3.0 on 4.09 had its build status changed: internal failure to passing
• lru-cache.0.3.0 on 4.11 had its build status changed: internal failure to passing
• lwt_eio.0.5.1 on 5.1 is now installable. Current state is: passing
• melange-recharts.4.0.1 on 5.1 is now installable. Current state is: passing
• merlin-lib.4.14-414 on 4.14 is now installable. Current state is: passing
• merlin-lib.4.14-500 on 5.0 is now installable. Current state is: passing
• mirage-crypto-ec.0.11.3 on 4.08 is now installable. Current state is: passing
• mirage-crypto-ec.0.11.3 on 4.09 is now installable. Current state is: passing
• mirage-crypto-ec.0.11.3 on 4.10 is now installable. Current state is: passing
• mirage-crypto-ec.0.11.3 on 4.11 is now installable. Current state is: passing
• mirage-crypto-ec.0.11.3 on 4.12 is now installable. Current state is: passing
• mirage-crypto-ec.0.11.3 on 4.13 is now installable. Current state is: passing
• mirage-crypto-ec.0.11.3 on 4.14 is now installable. Current state is: passing
• mirage-crypto-ec.0.11.3 on 5.0 is now installable. Current state is: passing
• mirage-crypto-ec.0.11.3 on 5.1 is now installable. Current state is: passing
• mirage-crypto-pk.0.11.3 on 4.08 is now installable. Current state is: passing
• mirage-crypto-pk.0.11.3 on 4.09 is now installable. Current state is: passing
• mirage-crypto-pk.0.11.3 on 4.10 is now installable. Current state is: passing
• mirage-crypto-pk.0.11.3 on 4.11 is now installable. Current state is: passing
• mirage-crypto-pk.0.11.3 on 4.12 is now installable. Current state is: passing
• mirage-crypto-pk.0.11.3 on 4.13 is now installable. Current state is: passing
• mirage-crypto-pk.0.11.3 on 4.14 is now installable. Current state is: passing
• mirage-crypto-pk.0.11.3 on 5.0 is now installable. Current state is: passing
• mirage-crypto-pk.0.11.3 on 5.1 is now installable. Current state is: passing
• mirage-crypto-rng-async.0.11.3 on 4.08 is now installable. Current state is: passing
• mirage-crypto-rng-async.0.11.3 on 4.09 is now installable. Current state is: passing
• mirage-crypto-rng-async.0.11.3 on 4.10 is now installable. Current state is: passing
• mirage-crypto-rng-async.0.11.3 on 4.11 is now installable. Current state is: passing
• mirage-crypto-rng-async.0.11.3 on 4.12 is now installable. Current state is: passing
• mirage-crypto-rng-async.0.11.3 on 4.13 is now installable. Current state is: passing
• mirage-crypto-rng-async.0.11.3 on 4.14 is now installable. Current state is: passing
• mirage-crypto-rng-async.0.11.3 on 5.0 is now installable. Current state is: passing
• mirage-crypto-rng-async.0.11.3 on 5.1 is now installable. Current state is: passing
• mirage-crypto-rng-eio.0.11.3 on 5.0 is now installable. Current state is: passing
• mirage-crypto-rng-eio.0.11.3 on 5.1 is now installable. Current state is: passing
• mirage-crypto-rng-lwt.0.11.3 on 4.08 is now installable. Current state is: passing
• mirage-crypto-rng-lwt.0.11.3 on 4.09 is now installable. Current state is: passing
• mirage-crypto-rng-lwt.0.11.3 on 4.10 is now installable. Current state is: passing
• mirage-crypto-rng-lwt.0.11.3 on 4.11 is now installable. Current state is: passing
• mirage-crypto-rng-lwt.0.11.3 on 4.12 is now installable. Current state is: passing
• mirage-crypto-rng-lwt.0.11.3 on 4.13 is now installable. Current state is: passing
• mirage-crypto-rng-lwt.0.11.3 on 4.14 is now installable. Current state is: passing
• mirage-crypto-rng-lwt.0.11.3 on 5.0 is now installable. Current state is: passing
• mirage-crypto-rng-lwt.0.11.3 on 5.1 is now installable. Current state is: passing
• mirage-crypto-rng-mirage.0.11.3 on 4.08 is now installable. Current state is: passing
• mirage-crypto-rng-mirage.0.11.3 on 4.09 is now installable. Current state is: passing
• mirage-crypto-rng-mirage.0.11.3 on 4.10 is now installable. Current state is: passing
• mirage-crypto-rng-mirage.0.11.3 on 4.11 is now installable. Current state is: passing
• mirage-crypto-rng-mirage.0.11.3 on 4.12 is now installable. Current state is: passing
• mirage-crypto-rng-mirage.0.11.3 on 4.13 is now installable. Current state is: passing
• mirage-crypto-rng-mirage.0.11.3 on 4.14 is now installable. Current state is: passing
• mirage-crypto-rng-mirage.0.11.3 on 5.0 is now installable. Current state is: passing
• mirage-crypto-rng-mirage.0.11.3 on 5.1 is now installable. Current state is: passing
• mirage-crypto-rng.0.11.3 on 4.08 is now installable. Current state is: passing
• mirage-crypto-rng.0.11.3 on 4.09 is now installable. Current state is: passing
• mirage-crypto-rng.0.11.3 on 4.10 is now installable. Current state is: passing
• mirage-crypto-rng.0.11.3 on 4.11 is now installable. Current state is: passing
• mirage-crypto-rng.0.11.3 on 4.12 is now installable. Current state is: passing
• mirage-crypto-rng.0.11.3 on 4.13 is now installable. Current state is: passing
• mirage-crypto-rng.0.11.3 on 4.14 is now installable. Current state is: passing
• mirage-crypto-rng.0.11.3 on 5.0 is now installable. Current state is: passing
• mirage-crypto-rng.0.11.3 on 5.1 is now installable. Current state is: passing
• mirage-crypto.0.11.3 on 4.08 is now installable. Current state is: passing
• mirage-crypto.0.11.3 on 4.09 is now installable. Current state is: passing
• mirage-crypto.0.11.3 on 4.10 is now installable. Current state is: passing
• mirage-crypto.0.11.3 on 4.11 is now installable. Current state is: passing
• mirage-crypto.0.11.3 on 4.12 is now installable. Current state is: passing
• mirage-crypto.0.11.3 on 4.13 is now installable. Current state is: passing
• mirage-crypto.0.11.3 on 4.14 is now installable. Current state is: passing
• mirage-crypto.0.11.3 on 5.0 is now installable. Current state is: passing
• mirage-crypto.0.11.3 on 5.1 is now installable. Current state is: passing
• mirage-runtime.4.4.2 on 4.08 is now installable. Current state is: passing
• mirage-runtime.4.4.2 on 4.09 is now installable. Current state is: passing
• mirage-runtime.4.4.2 on 4.10 is now installable. Current state is: passing
• mirage-runtime.4.4.2 on 4.11 is now installable. Current state is: passing
• mirage-runtime.4.4.2 on 4.12 is now installable. Current state is: passing
• mirage-runtime.4.4.2 on 4.13 is now installable. Current state is: passing
• mirage-runtime.4.4.2 on 4.14 is now installable. Current state is: passing
• mirage-runtime.4.4.2 on 5.0 is now installable. Current state is: passing
• mirage-runtime.4.4.2 on 5.1 is now installable. Current state is: passing
• mirage.4.4.2 on 4.10 is now installable. Current state is: passing
• mirage.4.4.2 on 4.11 is now installable. Current state is: passing
• mirage.4.4.2 on 4.12 is now installable. Current state is: passing
• mirage.4.4.2 on 4.13 is now installable. Current state is: passing
• mirage.4.4.2 on 4.14 is now installable. Current state is: passing
• mirage.4.4.2 on 5.0 is now installable. Current state is: passing
• mirage.4.4.2 on 5.1 is now installable. Current state is: passing
• mpris-clients.0.2.0 on 5.0 had its build status changed: not available to passing
• mpris-clients.0.2.0 on 5.1 had its build status changed: not available to passing
• mpris.0.2.0 on 5.0 had its build status changed: not available to passing
• mpris.0.2.0 on 5.1 had its build status changed: not available to passing
• multicore-bench.0.1.0 on 4.13 is now installable. Current state is: passing
• multicore-bench.0.1.0 on 4.14 is now installable. Current state is: passing
• multicore-bench.0.1.0 on 5.0 is now installable. Current state is: passing
• multicore-bench.0.1.0 on 5.1 is now installable. Current state is: passing
• multicore-bench.0.1.1 on 4.13 is now installable. Current state is: passing
• multicore-bench.0.1.1 on 4.14 is now installable. Current state is: passing
• multicore-bench.0.1.1 on 5.0 is now installable. Current state is: passing
• multicore-bench.0.1.1 on 5.1 is now installable. Current state is: passing
• obus.1.2.5 on 4.08 is now installable. Current state is: passing
• obus.1.2.5 on 4.09 is now installable. Current state is: passing
• obus.1.2.5 on 4.10 is now installable. Current state is: passing
• obus.1.2.5 on 4.11 is now installable. Current state is: passing
• obus.1.2.5 on 4.12 is now installable. Current state is: passing
• obus.1.2.5 on 4.13 is now installable. Current state is: passing
• obus.1.2.5 on 4.14 is now installable. Current state is: passing
• obus.1.2.5 on 5.0 is now installable. Current state is: passing
• obus.1.2.5 on 5.1 is now installable. Current state is: passing
• ocaml-protoc-plugin.5.0.0 on 4.08 is now installable. Current state is: passing
• ocaml-protoc-plugin.5.0.0 on 4.09 is now installable. Current state is: passing
• ocaml-protoc-plugin.5.0.0 on 4.10 is now installable. Current state is: passing
• ocaml-protoc-plugin.5.0.0 on 4.11 is now installable. Current state is: passing
• ocaml-protoc-plugin.5.0.0 on 4.12 is now installable. Current state is: passing
• ocaml-protoc-plugin.5.0.0 on 4.13 is now installable. Current state is: passing
• ocaml-protoc-plugin.5.0.0 on 4.14 is now installable. Current state is: passing
• ocaml-protoc-plugin.5.0.0 on 5.0 is now installable. Current state is: passing
• ocaml-protoc-plugin.5.0.0 on 5.1 is now installable. Current state is: passing
• ocaml-protoc.3.0.2 on 4.08 is now installable. Current state is: passing
• ocaml-protoc.3.0.2 on 4.09 is now installable. Current state is: passing
• ocaml-protoc.3.0.2 on 4.10 is now installable. Current state is: passing
• ocaml-protoc.3.0.2 on 4.11 is now installable. Current state is: passing
• ocaml-protoc.3.0.2 on 4.12 is now installable. Current state is: passing
• ocaml-protoc.3.0.2 on 4.13 is now installable. Current state is: passing
• ocaml-protoc.3.0.2 on 4.14 is now installable. Current state is: passing
• ocaml-protoc.3.0.2 on 5.0 is now installable. Current state is: passing
• ocaml-protoc.3.0.2 on 5.1 is now installable. Current state is: passing
• ocaml_intrinsics.v0.16.1 on 4.14 is now installable. Current state is: passing
• ocaml_intrinsics.v0.16.1 on 5.0 is now installable. Current state is: passing
• ocaml_intrinsics.v0.16.1 on 5.1 is now installable. Current state is: passing
• ocamldsort.0.15.0 on 4.10 had its build status changed: failing to passing
• ocamldsort.0.15.0 on 4.14 had its build status changed: failing to passing
• ocamlfuse.2.7.1-cvs10 on 4.08 is now installable. Current state is: passing
• ocamlfuse.2.7.1-cvs10 on 4.09 is now installable. Current state is: passing
• ocamlfuse.2.7.1-cvs10 on 4.10 is now installable. Current state is: passing
• ocamlfuse.2.7.1-cvs10 on 4.11 is now installable. Current state is: passing
• ocamlfuse.2.7.1-cvs10 on 4.12 is now installable. Current state is: passing
• ocamlfuse.2.7.1-cvs10 on 4.13 is now installable. Current state is: passing
• ocamlfuse.2.7.1-cvs10 on 4.14 is now installable. Current state is: passing
• ocamlfuse.2.7.1-cvs10 on 5.0 is now installable. Current state is: passing
• ocamlfuse.2.7.1-cvs10 on 5.1 is now installable. Current state is: passing
• ocp-browser.1.3.6 on 4.08 is now installable. Current state is: passing
• ocp-browser.1.3.6 on 4.09 is now installable. Current state is: passing
• ocp-browser.1.3.6 on 4.10 is now installable. Current state is: passing
• ocp-browser.1.3.6 on 4.11 is now installable. Current state is: passing
• ocp-browser.1.3.6 on 4.12 is now installable. Current state is: passing
• ocp-browser.1.3.6 on 4.13 is now installable. Current state is: passing
• ocp-browser.1.3.6 on 4.14 is now installable. Current state is: passing
• ocp-browser.1.3.6 on 5.0 is now installable. Current state is: passing
• ocp-browser.1.3.6 on 5.1 is now installable. Current state is: passing
• ocp-index.1.3.6 on 4.08 is now installable. Current state is: passing
• ocp-index.1.3.6 on 4.09 is now installable. Current state is: passing
• ocp-index.1.3.6 on 4.10 is now installable. Current state is: passing
• ocp-index.1.3.6 on 4.11 is now installable. Current state is: passing
• ocp-index.1.3.6 on 4.12 is now installable. Current state is: passing
• ocp-index.1.3.6 on 4.13 is now installable. Current state is: passing
• ocp-index.1.3.6 on 4.14 is now installable. Current state is: passing
• ocp-index.1.3.6 on 5.0 is now installable. Current state is: passing
• ocp-index.1.3.6 on 5.1 is now installable. Current state is: passing
• ocsigen-start.6.2.0 on 4.08 is now installable. Current state is: passing
• ocsigen-start.6.2.0 on 4.09 is now installable. Current state is: passing
• ocsigen-start.6.2.0 on 4.10 is now installable. Current state is: passing
• ocsigen-start.6.2.0 on 4.11 is now installable. Current state is: passing
• ocsigen-start.6.2.0 on 4.12 is now installable. Current state is: passing
• ocsigen-start.6.2.0 on 4.13 is now installable. Current state is: passing
• ocsigen-start.6.2.0 on 4.14 is now installable. Current state is: passing
• ocsigen-start.6.2.0 on 5.0 is now installable. Current state is: passing
• ocsigen-start.6.2.0 on 5.1 is now installable. Current state is: passing
• octez-accuser-Proxford.19.1 on 4.14 is now installable. Current state is: passing
• octez-accuser-PtNairob.19.1 on 4.14 is now installable. Current state is: passing
• octez-alcotezt.19.1 on 4.14 is now installable. Current state is: passing
• octez-alcotezt.19.1 on 5.0 is now installable. Current state is: passing
• octez-alcotezt.19.1 on 5.1 is now installable. Current state is: passing
• octez-baker-Proxford.19.1 on 4.14 is now installable. Current state is: passing
• octez-baker-PtNairob.19.1 on 4.14 is now installable. Current state is: passing
• octez-client.19.1 on 4.14 is now installable. Current state is: passing
• octez-codec.19.1 on 4.14 is now installable. Current state is: passing
• octez-crawler.19.1 on 4.14 is now installable. Current state is: passing
• octez-dac-client.19.1 on 4.14 is now installable. Current state is: passing
• octez-dac-node.19.1 on 4.14 is now installable. Current state is: passing
• octez-distributed-internal.19.1 on 4.14 is now installable. Current state is: passing
• octez-distributed-internal.19.1 on 5.0 is now installable. Current state is: passing
• octez-distributed-internal.19.1 on 5.1 is now installable. Current state is: passing
• octez-distributed-lwt-internal.19.1 on 4.14 is now installable. Current state is: passing
• octez-distributed-lwt-internal.19.1 on 5.0 is now installable. Current state is: passing
• octez-distributed-lwt-internal.19.1 on 5.1 is now installable. Current state is: passing
• octez-injector.19.1 on 4.14 is now installable. Current state is: passing
• octez-l2-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-node-config.19.1 on 4.14 is now installable. Current state is: passing
• octez-node.19.1 on 4.14 is now installable. Current state is: passing
• octez-proto-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-protocol-000-Ps9mPmXa-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-protocol-001-PtCJ7pwo-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-protocol-002-PsYLVpVv-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-protocol-003-PsddFKi3-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-protocol-004-Pt24m4xi-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-protocol-005-PsBabyM1-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-protocol-006-PsCARTHA-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-protocol-007-PsDELPH1-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-protocol-008-PtEdo2Zk-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-protocol-009-PsFLoren-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-protocol-010-PtGRANAD-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-protocol-011-PtHangz2-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-protocol-012-Psithaca-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-protocol-013-PtJakart-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-protocol-014-PtKathma-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-protocol-015-PtLimaPt-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-protocol-016-PtMumbai-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-protocol-017-PtNairob-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-protocol-018-Proxford-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-protocol-alpha-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-protocol-compiler.19.1 on 4.14 is now installable. Current state is: passing
• octez-proxy-server.19.1 on 4.14 is now installable. Current state is: passing
• octez-rpc-process.19.1 on 4.14 is now installable. Current state is: passing
• octez-shell-libs.19.1 on 4.14 is now installable. Current state is: passing
• octez-signer.19.1 on 4.14 is now installable. Current state is: passing
• octez-smart-rollup-node-Proxford.19.1 on 4.14 is now installable. Current state is: passing
• octez-smart-rollup-node-PtNairob.19.1 on 4.14 is now installable. Current state is: passing
• octez-smart-rollup-node-alpha.19.1 on 4.14 is now installable. Current state is: passing
• octez-smart-rollup-node-lib.19.1 on 4.14 is now installable. Current state is: passing
• octez-smart-rollup-node.19.1 on 4.14 is now installable. Current state is: passing
• octez-smart-rollup-wasm-debugger-lib.19.1 on 4.14 is now installable. Current state is: passing
• octez-smart-rollup-wasm-debugger-plugin.19.1 on 4.14 is now installable. Current state is: passing
• octez-smart-rollup-wasm-debugger-plugin.19.1 on 5.0 is now installable. Current state is: passing
• octez-smart-rollup-wasm-debugger-plugin.19.1 on 5.1 is now installable. Current state is: passing
• octez-smart-rollup-wasm-debugger.19.1 on 4.14 is now installable. Current state is: passing
• octez-version.19.1 on 4.14 is now installable. Current state is: passing
• octez.19.1 on 4.14 is now installable. Current state is: passing
• ollvm-tapir.0.99.1 on 4.09 had its build status changed: failing to passing
• ollvm-tapir.0.99.1 on 4.11 had its build status changed: failing to passing
• ollvm-tapir.0.99.1 on 4.13 had its build status changed: failing to passing
• ollvm-tapir.0.99.1 on 5.0 had its build status changed: failing to passing
• ollvm.0.99 on 4.13 had its build status changed: failing to passing
• opam-build.0.2.1 on 4.08 is now installable. Current state is: passing
• opam-build.0.2.1 on 4.09 is now installable. Current state is: passing
• opam-build.0.2.1 on 4.10 is now installable. Current state is: passing
• opam-build.0.2.1 on 4.11 is now installable. Current state is: passing
• opam-build.0.2.1 on 4.12 is now installable. Current state is: passing
• opam-build.0.2.1 on 4.13 is now installable. Current state is: passing
• opam-build.0.2.1 on 4.14 is now installable. Current state is: passing
• opam-build.0.2.1 on 5.0 is now installable. Current state is: passing
• opam-build.0.2.1 on 5.1 is now installable. Current state is: passing
• opam-test.0.2.1 on 4.08 is now installable. Current state is: passing
• opam-test.0.2.1 on 4.09 is now installable. Current state is: passing
• opam-test.0.2.1 on 4.10 is now installable. Current state is: passing
• opam-test.0.2.1 on 4.11 is now installable. Current state is: passing
• opam-test.0.2.1 on 4.12 is now installable. Current state is: passing
• opam-test.0.2.1 on 4.13 is now installable. Current state is: passing
• opam-test.0.2.1 on 4.14 is now installable. Current state is: passing
• opam-test.0.2.1 on 5.0 is now installable. Current state is: passing
• opam-test.0.2.1 on 5.1 is now installable. Current state is: passing
• opentelemetry-client-cohttp-lwt.0.7 on 4.08 is now installable. Current state is: passing
• opentelemetry-client-cohttp-lwt.0.7 on 4.09 is now installable. Current state is: passing
• opentelemetry-client-cohttp-lwt.0.7 on 4.10 is now installable. Current state is: passing
• opentelemetry-client-cohttp-lwt.0.7 on 4.11 is now installable. Current state is: passing
• opentelemetry-client-cohttp-lwt.0.7 on 4.12 is now installable. Current state is: passing
• opentelemetry-client-cohttp-lwt.0.7 on 4.13 is now installable. Current state is: passing
• opentelemetry-client-cohttp-lwt.0.7 on 4.14 is now installable. Current state is: passing
• opentelemetry-client-cohttp-lwt.0.7 on 5.0 is now installable. Current state is: passing
• opentelemetry-client-cohttp-lwt.0.7 on 5.1 is now installable. Current state is: passing
• opentelemetry-client-ocurl.0.7 on 4.08 is now installable. Current state is: passing
• opentelemetry-client-ocurl.0.7 on 4.09 is now installable. Current state is: passing
• opentelemetry-client-ocurl.0.7 on 4.10 is now installable. Current state is: passing
• opentelemetry-client-ocurl.0.7 on 4.11 is now installable. Current state is: passing
• opentelemetry-client-ocurl.0.7 on 4.12 is now installable. Current state is: passing
• opentelemetry-client-ocurl.0.7 on 4.13 is now installable. Current state is: passing
• opentelemetry-client-ocurl.0.7 on 4.14 is now installable. Current state is: passing
• opentelemetry-client-ocurl.0.7 on 5.0 is now installable. Current state is: passing
• opentelemetry-client-ocurl.0.7 on 5.1 is now installable. Current state is: passing
• opentelemetry-lwt.0.7 on 4.08 is now installable. Current state is: passing
• opentelemetry-lwt.0.7 on 4.09 is now installable. Current state is: passing
• opentelemetry-lwt.0.7 on 4.10 is now installable. Current state is: passing
• opentelemetry-lwt.0.7 on 4.11 is now installable. Current state is: passing
• opentelemetry-lwt.0.7 on 4.12 is now installable. Current state is: passing
• opentelemetry-lwt.0.7 on 4.13 is now installable. Current state is: passing
• opentelemetry-lwt.0.7 on 4.14 is now installable. Current state is: passing
• opentelemetry-lwt.0.7 on 5.0 is now installable. Current state is: passing
• opentelemetry-lwt.0.7 on 5.1 is now installable. Current state is: passing
• opentelemetry.0.7 on 4.08 is now installable. Current state is: passing
• opentelemetry.0.7 on 4.09 is now installable. Current state is: passing
• opentelemetry.0.7 on 4.10 is now installable. Current state is: passing
• opentelemetry.0.7 on 4.11 is now installable. Current state is: passing
• opentelemetry.0.7 on 4.12 is now installable. Current state is: passing
• opentelemetry.0.7 on 4.13 is now installable. Current state is: passing
• opentelemetry.0.7 on 4.14 is now installable. Current state is: passing
• opentelemetry.0.7 on 5.0 is now installable. Current state is: passing
• opentelemetry.0.7 on 5.1 is now installable. Current state is: passing
• pbrt.3.0.2 on 4.08 is now installable. Current state is: passing
• pbrt.3.0.2 on 4.09 is now installable. Current state is: passing
• pbrt.3.0.2 on 4.10 is now installable. Current state is: passing
• pbrt.3.0.2 on 4.11 is now installable. Current state is: passing
• pbrt.3.0.2 on 4.12 is now installable. Current state is: passing
• pbrt.3.0.2 on 4.13 is now installable. Current state is: passing
• pbrt.3.0.2 on 4.14 is now installable. Current state is: passing
• pbrt.3.0.2 on 5.0 is now installable. Current state is: passing
• pbrt.3.0.2 on 5.1 is now installable. Current state is: passing
• pbrt_services.3.0.2 on 4.08 is now installable. Current state is: passing
• pbrt_services.3.0.2 on 4.09 is now installable. Current state is: passing
• pbrt_services.3.0.2 on 4.10 is now installable. Current state is: passing
• pbrt_services.3.0.2 on 4.11 is now installable. Current state is: passing
• pbrt_services.3.0.2 on 4.12 is now installable. Current state is: passing
• pbrt_services.3.0.2 on 4.13 is now installable. Current state is: passing
• pbrt_services.3.0.2 on 4.14 is now installable. Current state is: passing
• pbrt_services.3.0.2 on 5.0 is now installable. Current state is: passing
• pbrt_services.3.0.2 on 5.1 is now installable. Current state is: passing
• pbrt_yojson.3.0.2 on 4.08 is now installable. Current state is: passing
• pbrt_yojson.3.0.2 on 4.09 is now installable. Current state is: passing
• pbrt_yojson.3.0.2 on 4.10 is now installable. Current state is: passing
• pbrt_yojson.3.0.2 on 4.11 is now installable. Current state is: passing
• pbrt_yojson.3.0.2 on 4.12 is now installable. Current state is: passing
• pbrt_yojson.3.0.2 on 4.13 is now installable. Current state is: passing
• pbrt_yojson.3.0.2 on 4.14 is now installable. Current state is: passing
• pbrt_yojson.3.0.2 on 5.0 is now installable. Current state is: passing
• pbrt_yojson.3.0.2 on 5.1 is now installable. Current state is: passing
• portia.1.3 on 4.14 had its build status changed: failing to passing
• portia.1.5 on 4.11 had its build status changed: failing to passing
• portia.1.5 on 4.12 had its build status changed: failing to passing
• ppx_minidebug.1.2.1 on 4.13 is now installable. Current state is: passing
• ppx_minidebug.1.2.1 on 4.14 is now installable. Current state is: passing
• ppx_minidebug.1.2.1 on 5.0 is now installable. Current state is: passing
• ppx_minidebug.1.2.1 on 5.1 is now installable. Current state is: passing
• ppx_minidebug.1.3.0 on 4.13 is now installable. Current state is: passing
• ppx_minidebug.1.3.0 on 4.14 is now installable. Current state is: passing
• ppx_minidebug.1.3.0 on 5.0 is now installable. Current state is: passing
• ppx_minidebug.1.3.0 on 5.1 is now installable. Current state is: passing
• ppxlib.0.32.1~5.2preview on 4.08 is now installable. Current state is: passing
• ppxlib.0.32.1~5.2preview on 4.09 is now installable. Current state is: passing
• ppxlib.0.32.1~5.2preview on 4.10 is now installable. Current state is: passing
• ppxlib.0.32.1~5.2preview on 4.11 is now installable. Current state is: passing
• ppxlib.0.32.1~5.2preview on 4.12 is now installable. Current state is: passing
• ppxlib.0.32.1~5.2preview on 4.13 is now installable. Current state is: passing
• ppxlib.0.32.1~5.2preview on 4.14 is now installable. Current state is: passing
• ppxlib.0.32.1~5.2preview on 5.0 is now installable. Current state is: passing
• ppxlib.0.32.1~5.2preview on 5.1 is now installable. Current state is: passing
• prbnmcn-stats.0.0.8 on 4.14 is now installable. Current state is: passing
• prbnmcn-stats.0.0.8 on 5.0 is now installable. Current state is: passing
• prbnmcn-stats.0.0.8 on 5.1 is now installable. Current state is: passing
• pretty_expressive.0.4 on 4.08 is now installable. Current state is: passing
• pretty_expressive.0.4 on 4.09 is now installable. Current state is: passing
• pretty_expressive.0.4 on 4.10 is now installable. Current state is: passing
• pretty_expressive.0.4 on 4.11 is now installable. Current state is: passing
• pretty_expressive.0.4 on 4.12 is now installable. Current state is: passing
• pretty_expressive.0.4 on 4.13 is now installable. Current state is: passing
• pretty_expressive.0.4 on 4.14 is now installable. Current state is: passing
• pretty_expressive.0.4 on 5.0 is now installable. Current state is: passing
• pretty_expressive.0.4 on 5.1 is now installable. Current state is: passing
• printbox-html.0.10 on 4.08 is now installable. Current state is: passing
• printbox-html.0.10 on 4.09 is now installable. Current state is: passing
• printbox-html.0.10 on 4.10 is now installable. Current state is: passing
• printbox-html.0.10 on 4.11 is now installable. Current state is: passing
• printbox-html.0.10 on 4.12 is now installable. Current state is: passing
• printbox-html.0.10 on 4.13 is now installable. Current state is: passing
• printbox-html.0.10 on 4.14 is now installable. Current state is: passing
• printbox-html.0.10 on 5.0 is now installable. Current state is: passing
• printbox-html.0.10 on 5.1 is now installable. Current state is: passing
• printbox-md.0.10 on 4.08 is now installable. Current state is: passing
• printbox-md.0.10 on 4.09 is now installable. Current state is: passing
• printbox-md.0.10 on 4.10 is now installable. Current state is: passing
• printbox-md.0.10 on 4.11 is now installable. Current state is: passing
• printbox-md.0.10 on 4.12 is now installable. Current state is: passing
• printbox-md.0.10 on 4.13 is now installable. Current state is: passing
• printbox-md.0.10 on 4.14 is now installable. Current state is: passing
• printbox-md.0.10 on 5.0 is now installable. Current state is: passing
• printbox-md.0.10 on 5.1 is now installable. Current state is: passing
• printbox-text.0.10 on 4.08 is now installable. Current state is: passing
• printbox-text.0.10 on 4.09 is now installable. Current state is: passing
• printbox-text.0.10 on 4.10 is now installable. Current state is: passing
• printbox-text.0.10 on 4.11 is now installable. Current state is: passing
• printbox-text.0.10 on 4.12 is now installable. Current state is: passing
• printbox-text.0.10 on 4.13 is now installable. Current state is: passing
• printbox-text.0.10 on 4.14 is now installable. Current state is: passing
• printbox-text.0.10 on 5.0 is now installable. Current state is: passing
• printbox-text.0.10 on 5.1 is now installable. Current state is: passing
• printbox.0.10 on 4.08 is now installable. Current state is: passing
• printbox.0.10 on 4.09 is now installable. Current state is: passing
• printbox.0.10 on 4.10 is now installable. Current state is: passing
• printbox.0.10 on 4.11 is now installable. Current state is: passing
• printbox.0.10 on 4.12 is now installable. Current state is: passing
• printbox.0.10 on 4.13 is now installable. Current state is: passing
• printbox.0.10 on 4.14 is now installable. Current state is: passing
• printbox.0.10 on 5.0 is now installable. Current state is: passing
• printbox.0.10 on 5.1 is now installable. Current state is: passing
• prooftree.0.14 on 4.08 is now installable. Current state is: passing
• prooftree.0.14 on 4.09 is now installable. Current state is: passing
• prooftree.0.14 on 4.10 is now installable. Current state is: passing
• prooftree.0.14 on 4.11 is now installable. Current state is: passing
• prooftree.0.14 on 4.12 is now installable. Current state is: passing
• prooftree.0.14 on 4.13 is now installable. Current state is: passing
• prooftree.0.14 on 4.14 is now installable. Current state is: passing
• prooftree.0.14 on 5.0 is now installable. Current state is: passing
• prooftree.0.14 on 5.1 is now installable. Current state is: passing
• qinap.1.0 on 4.11 had its build status changed: internal failure to passing
• qinap.1.0 on 4.12 had its build status changed: internal failure to passing
• qinap.1.0 on 5.0 had its build status changed: internal failure to passing
• random.0.0.1 on 4.14 is now installable. Current state is: passing
• random.0.0.1 on 5.0 is now installable. Current state is: passing
• random.0.0.1 on 5.1 is now installable. Current state is: passing
• reason.3.11.0 on 4.08 is now installable. Current state is: passing
• reason.3.11.0 on 4.09 is now installable. Current state is: passing
• reason.3.11.0 on 4.10 is now installable. Current state is: passing
• reason.3.11.0 on 4.11 is now installable. Current state is: passing
• reason.3.11.0 on 4.12 is now installable. Current state is: passing
• reason.3.11.0 on 4.13 is now installable. Current state is: passing
• reason.3.11.0 on 4.14 is now installable. Current state is: passing
• reason.3.11.0 on 5.0 is now installable. Current state is: passing
• reason.3.11.0 on 5.1 is now installable. Current state is: passing
• rml.1.09.05 on 4.09 had its build status changed: internal failure to passing
• rml.1.09.05 on 4.12 had its build status changed: internal failure to passing
• rml.1.09.05 on 4.14 had its build status changed: internal failure to passing
• rope.0.6.3 on 5.0 is now installable. Current state is: passing
• rope.0.6.3 on 5.1 is now installable. Current state is: passing
• rtop.3.11.0 on 4.08 is now installable. Current state is: passing
• rtop.3.11.0 on 4.09 is now installable. Current state is: passing
• rtop.3.11.0 on 4.10 is now installable. Current state is: passing
• rtop.3.11.0 on 4.11 is now installable. Current state is: passing
• rtop.3.11.0 on 4.12 is now installable. Current state is: passing
• rtop.3.11.0 on 4.13 is now installable. Current state is: passing
• rtop.3.11.0 on 4.14 is now installable. Current state is: passing
• rtop.3.11.0 on 5.0 is now installable. Current state is: passing
• rtop.3.11.0 on 5.1 is now installable. Current state is: passing
• runtime_events_tools.0.5.1 on 5.0 is now installable. Current state is: passing
• runtime_events_tools.0.5.1 on 5.1 is now installable. Current state is: passing
• sarif.0.3.1 on 4.14 is now installable. Current state is: passing
• sarif.0.3.1 on 5.0 is now installable. Current state is: passing
• sarif.0.3.1 on 5.1 is now installable. Current state is: passing
• srt.0.2.2 on 4.08 had its build status changed: failing to passing
• srt.0.2.2 on 4.09 had its build status changed: failing to passing
• srt.0.2.2 on 4.10 had its build status changed: failing to passing
• srt.0.2.2 on 4.11 had its build status changed: failing to passing
• srt.0.2.2 on 4.12 had its build status changed: failing to passing
• srt.0.2.2 on 4.13 had its build status changed: failing to passing
• srt.0.2.2 on 4.14 had its build status changed: failing to passing
• srt.0.2.2 on 5.0 had its build status changed: failing to passing
• srt.0.2.2 on 5.1 had its build status changed: failing to passing
• srt.0.3.0 on 4.08 had its build status changed: failing to passing
• srt.0.3.0 on 4.09 had its build status changed: failing to passing
• srt.0.3.0 on 4.10 had its build status changed: failing to passing
• srt.0.3.0 on 4.11 had its build status changed: failing to passing
• srt.0.3.0 on 4.12 had its build status changed: failing to passing
• srt.0.3.0 on 4.13 had its build status changed: failing to passing
• srt.0.3.0 on 4.14 had its build status changed: failing to passing
• srt.0.3.0 on 5.0 had its build status changed: failing to passing
• srt.0.3.0 on 5.1 had its build status changed: failing to passing
• tezos-benchmark.19.1 on 4.14 is now installable. Current state is: passing
• tezos-client-demo-counter.19.1 on 4.14 is now installable. Current state is: passing
• tezos-client-genesis.19.1 on 4.14 is now installable. Current state is: passing
• tezos-dac-client-lib.19.1 on 4.14 is now installable. Current state is: passing
• tezos-dac-lib.19.1 on 4.14 is now installable. Current state is: passing
• tezos-dac-node-lib.19.1 on 4.14 is now installable. Current state is: passing
• tezos-dal-node-lib.19.1 on 4.14 is now installable. Current state is: passing
• tezos-dal-node-services.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-000-Ps9mPmXa.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-001-PtCJ7pwo.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-002-PsYLVpVv.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-003-PsddFKi3.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-004-Pt24m4xi.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-005-PsBABY5H.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-005-PsBabyM1.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-006-PsCARTHA.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-007-PsDELPH1.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-008-PtEdo2Zk.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-008-PtEdoTez.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-009-PsFLoren.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-010-PtGRANAD.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-011-PtHangz2.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-012-Psithaca.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-013-PtJakart.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-014-PtKathma.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-015-PtLimaPt.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-016-PtMumbai.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-017-PtNairob.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-018-Proxford.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-alpha.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-demo-counter.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-demo-noops.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-genesis.19.1 on 4.14 is now installable. Current state is: passing
• tezos-protocol-plugin-012-Psithaca-registerer.16.0 on 4.14 had its build status changed: internal failure to passing
• tezos-protocol-plugin-013-PtJakart-registerer.15.1 on 4.14 had its build status changed: internal failure to passing
• tezos-protocol-plugin-014-PtKathma.16.0 on 4.14 had its build status changed: internal failure to passing
• tezos-protocol-plugin-016-PtMumbai-registerer.17.3 on 4.14 had its build status changed: partially failing to passing
• tezos-protocol-plugin-017-PtNairob-registerer.17.3 on 4.14 had its build status changed: partially failing to passing
• tezos-proxy-server-config.19.1 on 4.14 is now installable. Current state is: passing
• tezt-bam.0.1 on 4.14 is now installable. Current state is: passing
• tezt-bam.0.1 on 5.0 is now installable. Current state is: passing
• tezt-bam.0.1 on 5.1 is now installable. Current state is: passing
• tezt-tezos.19.1 on 4.14 is now installable. Current state is: passing
• timedesc-tzlocal-js.0.9.1 on 4.08 had its build status changed: internal failure to passing
• tls.0.12.5 on 4.08 had its build status changed: internal failure to passing
• tls.0.13.1 on 4.12 had its build status changed: internal failure to passing
• tls.0.13.2 on 4.08 had its build status changed: internal failure to passing
• tls.0.15.3 on 5.0 had its build status changed: internal failure to passing
• tls.0.17.0 on 4.10 had its build status changed: internal failure to passing
• tls.0.17.0 on 5.1 had its build status changed: internal failure to passing
• toml.7.1.0 on 4.11 had its build status changed: internal failure to passing
• toml_cconv.6.0.0 on 4.08 had its build status changed: internal failure to passing
• toml_cconv.7.0.0 on 4.10 had its build status changed: internal failure to passing
• toml_cconv.7.0.0 on 4.11 had its build status changed: internal failure to passing
• topiary.0.2.3 on 4.09 had its build status changed: failing to passing
• topkg-care.1.0.4 on 4.14 had its build status changed: internal failure to passing
• topkg-care.1.0.5 on 4.11 had its build status changed: internal failure to passing
• topkg-care.1.0.6 on 5.0 had its build status changed: internal failure to passing
• topkg.0.7.5 on 4.08 had its build status changed: internal failure to passing
• topkg.0.7.5 on 4.10 had its build status changed: internal failure to passing
• topkg.0.7.5 on 4.11 had its build status changed: internal failure to passing
• topkg.0.7.7 on 4.09 had its build status changed: internal failure to passing
• toplevel_expect_test.v0.13.0 on 4.08 had its build status changed: internal failure to passing
• toplevel_expect_test.v0.14.0 on 4.08 had its build status changed: internal failure to passing
• torch.0.14 on 5.0 had its build status changed: internal failure to passing
• torch.0.15 on 4.08 had its build status changed: internal failure to passing
• torch.0.15 on 4.14 had its build status changed: failing to passing
• torch.0.16 on 4.08 had its build status changed: failing to passing
• torch.0.16 on 4.12 had its build status changed: internal failure to passing
• torch.0.16 on 4.14 had its build status changed: failing to passing
• torch.0.17 on 4.12 had its build status changed: internal failure to passing
• torch.0.17 on 5.1 had its build status changed: internal failure to passing
• torch.0.4 on 4.14 had its build status changed: failing to passing
• torch.0.6 on 4.14 had its build status changed: internal failure to passing
• torch.0.9 on 4.11 had its build status changed: internal failure to passing
• travesty.0.3.0 on 4.14 had its build status changed: internal failure to passing
• tree_layout.0.2 on 4.08 had its build status changed: internal failure to passing
• tree_layout.0.2 on 4.10 had its build status changed: internal failure to passing
• treeprint.2.1.1 on 4.08 had its build status changed: internal failure to passing
• treeprint.2.1.1 on 4.09 had its build status changed: internal failure to passing
• treeprint.2.1.1 on 4.13 had its build status changed: internal failure to passing
• treeprint.2.2.0 on 4.09 had its build status changed: internal failure to passing
• trie.1.0.0 on 4.08 had its build status changed: internal failure to passing
• tsdl-image.0.1.2 on 4.10 had its build status changed: internal failure to passing
• tsdl-image.0.3.0 on 4.09 had its build status changed: internal failure to passing
• tsdl-image.0.3.0 on 4.10 had its build status changed: internal failure to passing
• tsdl-image.0.3.0 on 5.0 had its build status changed: internal failure to passing
• tsdl-image.0.3.0 on 5.1 had its build status changed: internal failure to passing
• tsdl-image.0.3.1 on 4.08 had its build status changed: internal failure to passing
• tsdl-image.0.3.1 on 4.13 had its build status changed: internal failure to passing
• tsdl-image.0.3.1 on 5.1 had its build status changed: internal failure to passing
• tsdl-image.0.3.2 on 4.08 had its build status changed: internal failure to passing
• tsdl-image.0.3.2 on 4.11 had its build status changed: internal failure to passing
• tsdl-image.0.3.2 on 4.12 had its build status changed: internal failure to passing
• tsdl-image.0.3.2 on 5.0 had its build status changed: internal failure to passing
• tsdl-image.0.3.2 on 5.1 had its build status changed: internal failure to passing
• tsdl-image.0.4 on 4.14 had its build status changed: internal failure to passing
• tsdl-image.0.5 on 4.09 had its build status changed: internal failure to passing
• tsdl-image.0.5 on 4.10 had its build status changed: internal failure to passing
• tsdl-image.0.5 on 4.12 had its build status changed: internal failure to passing
• tsdl-image.0.5 on 4.13 had its build status changed: internal failure to passing
• tsdl-image.0.5 on 4.14 had its build status changed: internal failure to passing
• tsdl-image.0.6 on 4.14 had its build status changed: internal failure to passing
• tsdl-mixer.0.3.2 on 4.13 had its build status changed: internal failure to passing
• tsdl-mixer.0.4 on 4.08 had its build status changed: internal failure to passing
• tsdl-mixer.0.5 on 4.08 had its build status changed: internal failure to passing
• tsdl-mixer.0.5 on 4.10 had its build status changed: internal failure to passing
• tsdl-mixer.0.6 on 4.08 had its build status changed: internal failure to passing
• tsdl-mixer.0.6 on 4.09 had its build status changed: internal failure to passing
• tsdl-mixer.0.6 on 5.0 had its build status changed: internal failure to passing
• tsdl-ttf.0.3 on 4.12 had its build status changed: internal failure to passing
• tsdl-ttf.0.3 on 4.13 had its build status changed: internal failure to passing
• tsdl-ttf.0.3 on 5.0 had its build status changed: internal failure to passing
• tsdl-ttf.0.3 on 5.1 had its build status changed: internal failure to passing
• tsdl-ttf.0.3.2 on 4.12 had its build status changed: internal failure to passing
• tsdl-ttf.0.3.2 on 4.13 had its build status changed: internal failure to passing
• tsdl-ttf.0.3.2 on 5.0 had its build status changed: internal failure to passing
• tsdl-ttf.0.4 on 5.0 had its build status changed: internal failure to passing
• tsdl-ttf.0.5 on 4.12 had its build status changed: internal failure to passing
• tsdl-ttf.0.5 on 4.13 had its build status changed: internal failure to passing
• tsdl-ttf.0.6 on 4.10 had its build status changed: internal failure to passing
• tsdl-ttf.0.6 on 4.12 had its build status changed: internal failure to passing
• tsdl.0.9.1 on 4.09 had its build status changed: internal failure to passing
• tsdl.0.9.1 on 4.11 had its build status changed: internal failure to passing
• tsdl.0.9.2 on 4.08 had its build status changed: internal failure to passing
• tsdl.0.9.2 on 4.13 had its build status changed: internal failure to passing
• tsdl.0.9.4 on 4.13 had its build status changed: internal failure to passing
• tsdl.0.9.5 on 4.12 had its build status changed: internal failure to passing
• tsdl.0.9.6 on 4.11 had its build status changed: internal failure to passing
• tsdl.0.9.6 on 4.12 had its build status changed: internal failure to passing
• tsdl.0.9.6 on 4.13 had its build status changed: internal failure to passing
• tsdl.0.9.7 on 4.08 had its build status changed: internal failure to passing
• tsdl.0.9.7 on 4.09 had its build status changed: internal failure to passing
• tsdl.0.9.7 on 4.10 had its build status changed: internal failure to passing
• tsdl.0.9.7 on 4.11 had its build status changed: internal failure to passing
• tsdl.0.9.7 on 4.12 had its build status changed: internal failure to passing
• tsdl.0.9.7 on 4.13 had its build status changed: internal failure to passing
• tsdl.0.9.7 on 4.14 had its build status changed: internal failure to passing
• tsdl.0.9.7 on 5.1 had its build status changed: internal failure to passing
• tsdl.0.9.8 on 4.09 had its build status changed: internal failure to passing
• tsdl.0.9.8 on 4.10 had its build status changed: internal failure to passing
• tsdl.0.9.8 on 4.11 had its build status changed: internal failure to passing
• tsdl.0.9.8 on 4.12 had its build status changed: internal failure to passing
• tsdl.0.9.8 on 4.13 had its build status changed: internal failure to passing
• tsdl.0.9.8 on 4.14 had its build status changed: internal failure to passing
• tsdl.0.9.8 on 5.0 had its build status changed: internal failure to passing
• tsdl.0.9.8 on 5.1 had its build status changed: internal failure to passing
• tsdl.0.9.9 on 4.09 had its build status changed: internal failure to passing
• tsort.2.1.0 on 5.0 had its build status changed: internal failure to passing
• ttweetnacl.0.1.0 on 5.1 had its build status changed: internal failure to passing
• tuareg.2.0.10 on 5.1 had its build status changed: failing to passing
• tuareg.2.1.0 on 4.14 had its build status changed: failing to passing
• tuareg.2.2.0 on 4.14 had its build status changed: failing to passing
• unison-gui.2.53.4 on 4.08 is now installable. Current state is: passing
• unison-gui.2.53.4 on 4.09 is now installable. Current state is: passing
• unison-gui.2.53.4 on 4.10 is now installable. Current state is: passing
• unison-gui.2.53.4 on 4.11 is now installable. Current state is: passing
• unison-gui.2.53.4 on 4.12 is now installable. Current state is: passing
• unison-gui.2.53.4 on 4.13 is now installable. Current state is: passing
• unison-gui.2.53.4 on 4.14 is now installable. Current state is: passing
• unison-gui.2.53.4 on 5.0 is now installable. Current state is: passing
• unison-gui.2.53.4 on 5.1 is now installable. Current state is: passing
• unison.2.53.4 on 4.08 is now installable. Current state is: passing
• unison.2.53.4 on 4.09 is now installable. Current state is: passing
• unison.2.53.4 on 4.10 is now installable. Current state is: passing
• unison.2.53.4 on 4.11 is now installable. Current state is: passing
• unison.2.53.4 on 4.12 is now installable. Current state is: passing
• unison.2.53.4 on 4.13 is now installable. Current state is: passing
• unison.2.53.4 on 4.14 is now installable. Current state is: passing
• unison.2.53.4 on 5.0 is now installable. Current state is: passing
• unison.2.53.4 on 5.1 is now installable. Current state is: passing
• utop.2.14.0 on 4.11 is now installable. Current state is: passing
• utop.2.14.0 on 4.12 is now installable. Current state is: passing
• utop.2.14.0 on 4.13 is now installable. Current state is: passing
• utop.2.14.0 on 4.14 is now installable. Current state is: passing
• utop.2.14.0 on 5.0 is now installable. Current state is: passing
• utop.2.14.0 on 5.1 is now installable. Current state is: passing
• vscoq-language-server.2.1.2 on 4.13 is now installable. Current state is: passing
• vscoq-language-server.2.1.2 on 4.14 is now installable. Current state is: passing
• vscoq-language-server.2.1.2 on 5.0 is now installable. Current state is: passing
• wcs-lib.2017-05-26.02 on 4.09 had its build status changed: internal failure to passing
• wcs-lib.2017-05-26.04 on 4.09 had its build status changed: internal failure to passing
• z3.4.10.2 on 4.12 had its build status changed: failing to passing
• z3.4.11.0 on 4.11 had its build status changed: internal failure to passing
• z3.4.11.2 on 4.09 had its build status changed: internal failure to passing
• z3.4.11.2 on 4.11 had its build status changed: failing to passing
• z3.4.12.2-1 on 4.09 had its build status changed: failing to passing
• z3.4.12.3 on 4.12 had its build status changed: failing to passing
• z3.4.12.4 on 4.08 had its build status changed: failing to passing
• z3.4.12.4 on 5.1 had its build status changed: failing to passing
• z3.4.12.6 on 4.09 is now installable. Current state is: passing
• z3.4.12.6 on 4.11 is now installable. Current state is: passing
• z3.4.12.6 on 4.13 is now installable. Current state is: passing
• z3.4.12.6 on 4.14 is now installable. Current state is: passing
• z3.4.12.6 on 5.0 is now installable. Current state is: passing
• z3.4.12.6 on 5.1 is now installable. Current state is: passing
• z3.4.8.14 on 4.11 had its build status changed: internal failure to passing
• z3.4.8.17 on 4.08 had its build status changed: internal failure to passing
• z3.4.8.17 on 5.0 had its build status changed: internal failure to passing
• z3_tptp.4.10.1 on 4.09 had its build status changed: internal failure to passing
• z3_tptp.4.10.1 on 4.10 had its build status changed: internal failure to passing
• z3_tptp.4.10.1 on 4.14 had its build status changed: internal failure to passing
• z3_tptp.4.10.1 on 5.0 had its build status changed: internal failure to passing
• z3_tptp.4.10.2 on 4.12 had its build status changed: internal failure to passing
• z3_tptp.4.10.2 on 4.14 had its build status changed: internal failure to passing
• z3_tptp.4.10.2 on 5.0 had its build status changed: internal failure to passing
• z3_tptp.4.10.2 on 5.1 had its build status changed: internal failure to passing
• z3_tptp.4.11.0 on 4.08 had its build status changed: internal failure to passing
• z3_tptp.4.11.0 on 4.11 had its build status changed: partially failing to passing
• z3_tptp.4.11.0 on 4.13 had its build status changed: internal failure to passing
• z3_tptp.4.11.0 on 4.14 had its build status changed: internal failure to passing
• z3_tptp.4.11.2 on 4.11 had its build status changed: internal failure to passing
• z3_tptp.4.8.13 on 4.08 had its build status changed: internal failure to passing
• z3_tptp.4.8.13 on 4.09 had its build status changed: internal failure to passing
• z3_tptp.4.8.13 on 4.12 had its build status changed: internal failure to passing
• z3_tptp.4.8.14 on 4.12 had its build status changed: internal failure to passing
• z3_tptp.4.8.17 on 4.10 had its build status changed: internal failure to passing
• zar.0.9.3 on 4.14 is now installable. Current state is: passing
• zar.0.9.3 on 5.0 is now installable. Current state is: passing
• zar.0.9.3 on 5.1 is now installable. Current state is: passing
• zipperposition.1.5.1 on 4.11 had its build status changed: internal failure to passing
• zmq-async.5.1.4 on 5.0 had its build status changed: internal failure to passing
• zmq-async.5.1.5 on 5.0 had its build status changed: internal failure to passing
• zmq-async.5.2.1 on 5.1 had its build status changed: internal failure to passing