Home|Differences with the last checks|Previous runs

Differences between 3d81474 and 2dcd868 (git diff)

Packages now failing:

• alt-ergo-free.2.0.0 on 4.10 had its build status changed: passing to failing
• alt-ergo.2.0.0 on 4.08 had its build status changed: passing to failing
• alt-ergo.2.0.0 on 4.12 had its build status changed: passing to failing
• alt-ergo.2.1.0 on 4.08 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.2.0 on 4.10 had its build status changed: passing to failing
• alt-ergo.2.2.0 on 4.13 had its build status changed: passing to failing
• alt-ergo.2.2.0 on 4.14 had its build status changed: passing to failing
• functoria-runtime.2.1.0 on 4.11 had its build status changed: partially failing to failing
• hacl-star-raw.0.1 on 4.08 had its build status changed: passing to failing
• hacl-star-raw.0.1 on 4.14 had its build status changed: passing to failing
• hacl-star-raw.0.1.1 on 4.08 had its build status changed: passing to failing
• hacl-star-raw.0.1.1 on 4.10 had its build status changed: passing to failing
• hacl-star-raw.0.2.0 on 4.11 had its build status changed: passing to failing
• hacl-star-raw.0.2.0 on 4.14 had its build status changed: passing to failing
• hacl-star-raw.0.2.2 on 4.12 had its build status changed: passing to failing
• hacl-star-raw.0.2.2 on 4.13 had its build status changed: passing to failing
• portia.1.5 on 4.12 had its build status changed: passing to failing
• portia.1.5 on 5.1 had its build status changed: internal failure to failing
• profiler-plugin.1.01 on 4.10 had its build status changed: passing to failing
• proverif.1.98 on 5.0 had its build status changed: not available to failing
• proverif.1.98 on 5.1 had its build status changed: not available to failing
• proverif.1.98pl1 on 5.0 had its build status changed: not available to failing
• proverif.1.98pl1 on 5.1 had its build status changed: not available to failing
• proverif.2.00 on 5.0 had its build status changed: not available to failing
• proverif.2.00 on 5.1 had its build status changed: not available to failing
• solo5-cross-aarch64.0.7.0 on 4.14 had its build status changed: partially failing to failing
• solo5.0.7.0 on 4.14 had its build status changed: internal failure to failing
• tuareg.2.1.0 on 4.11 had its build status changed: passing to failing
• tuareg.2.1.0 on 5.1 had its build status changed: passing to failing
• tuareg.2.2.0 on 4.11 had its build status changed: passing to failing

Packages now partially failing:

• fm-simplex-plugin.1.30 on 4.12 had its build status changed: passing to partially failing
• hacl-star.0.1 on 4.08 had its build status changed: passing to partially failing
• hacl-star.0.1.1 on 4.09 had its build status changed: passing to partially failing
• hacl-star.0.1.1 on 4.10 had its build status changed: passing to partially failing
• hacl-star.0.2.0 on 4.09 had its build status changed: passing to partially failing
• hacl-star.0.2.1 on 4.12 had its build status changed: passing to partially failing
• hacl-star.0.2.1 on 4.13 had its build status changed: passing to partially failing
• hacl-star.0.2.2 on 4.10 had its build status changed: passing to partially failing
• lambdapi.2.0.0 on 4.09 had its build status changed: passing to partially failing
• lambdapi.2.0.0 on 4.14 had its build status changed: passing to partially failing
• libsail.0.17.1 on 4.08 is now installable. Current state is: partially failing
• libsail.0.17.1 on 4.09 is now installable. Current state is: partially failing
• libsail.0.17.1 on 4.10 is now installable. Current state is: partially failing
• libsail.0.17.1 on 4.11 is now installable. Current state is: partially failing
• libsail.0.17.1 on 4.12 is now installable. Current state is: partially failing
• libsail.0.17.1 on 4.13 is now installable. Current state is: partially failing
• libsail.0.17.1 on 4.14 is now installable. Current state is: partially failing
• libsail.0.17.1 on 5.0 is now installable. Current state is: partially failing
• libsail.0.17.1 on 5.1 is now installable. Current state is: partially failing
• linksem.0.8 on 4.09 had its build status changed: internal failure to partially failing
• octez-smart-rollup-node-PtNairob.17.3 on 4.14 had its build status changed: internal failure to partially failing
• ocveralls.0.1.0 on 4.09 had its build status changed: internal failure to partially failing
• ocveralls.0.2.1 on 4.10 had its build status changed: internal failure to partially failing
• ocveralls.0.3.1 on 4.11 had its build status changed: internal failure to partially failing
• ocveralls.0.3.3 on 4.11 had its build status changed: internal failure to partially failing
• profiler-plugin.1.30 on 4.08 had its build status changed: passing to partially failing
• profiler-plugin.1.30 on 4.09 had its build status changed: passing to partially failing
• profiler-plugin.1.30 on 4.11 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
• profiler-plugin.1.30 on 4.14 had its build status changed: passing to partially failing
• sail.0.17.1 on 4.08 is now installable. Current state is: partially failing
• sail.0.17.1 on 4.09 is now installable. Current state is: partially failing
• sail.0.17.1 on 4.10 is now installable. Current state is: partially failing
• sail.0.17.1 on 4.11 is now installable. Current state is: partially failing
• sail.0.17.1 on 4.12 is now installable. Current state is: partially failing
• sail.0.17.1 on 4.13 is now installable. Current state is: partially failing
• sail.0.17.1 on 4.14 is now installable. Current state is: partially failing
• sail.0.17.1 on 5.0 is now installable. Current state is: partially failing
• sail.0.17.1 on 5.1 is now installable. Current state is: partially failing
• sail_c_backend.0.17.1 on 4.08 is now installable. Current state is: partially failing
• sail_c_backend.0.17.1 on 4.09 is now installable. Current state is: partially failing
• sail_c_backend.0.17.1 on 4.10 is now installable. Current state is: partially failing
• sail_c_backend.0.17.1 on 4.11 is now installable. Current state is: partially failing
• sail_c_backend.0.17.1 on 4.12 is now installable. Current state is: partially failing
• sail_c_backend.0.17.1 on 4.13 is now installable. Current state is: partially failing
• sail_c_backend.0.17.1 on 4.14 is now installable. Current state is: partially failing
• sail_c_backend.0.17.1 on 5.0 is now installable. Current state is: partially failing
• sail_c_backend.0.17.1 on 5.1 is now installable. Current state is: partially failing
• sail_coq_backend.0.17.1 on 4.08 is now installable. Current state is: partially failing
• sail_coq_backend.0.17.1 on 4.09 is now installable. Current state is: partially failing
• sail_coq_backend.0.17.1 on 4.10 is now installable. Current state is: partially failing
• sail_coq_backend.0.17.1 on 4.11 is now installable. Current state is: partially failing
• sail_coq_backend.0.17.1 on 4.12 is now installable. Current state is: partially failing
• sail_coq_backend.0.17.1 on 4.13 is now installable. Current state is: partially failing
• sail_coq_backend.0.17.1 on 4.14 is now installable. Current state is: partially failing
• sail_coq_backend.0.17.1 on 5.0 is now installable. Current state is: partially failing
• sail_coq_backend.0.17.1 on 5.1 is now installable. Current state is: partially failing
• sail_doc_backend.0.17.1 on 4.08 is now installable. Current state is: partially failing
• sail_doc_backend.0.17.1 on 4.09 is now installable. Current state is: partially failing
• sail_doc_backend.0.17.1 on 4.10 is now installable. Current state is: partially failing
• sail_doc_backend.0.17.1 on 4.11 is now installable. Current state is: partially failing
• sail_doc_backend.0.17.1 on 4.12 is now installable. Current state is: partially failing
• sail_doc_backend.0.17.1 on 4.13 is now installable. Current state is: partially failing
• sail_doc_backend.0.17.1 on 4.14 is now installable. Current state is: partially failing
• sail_doc_backend.0.17.1 on 5.0 is now installable. Current state is: partially failing
• sail_doc_backend.0.17.1 on 5.1 is now installable. Current state is: partially failing
• sail_latex_backend.0.17.1 on 4.08 is now installable. Current state is: partially failing
• sail_latex_backend.0.17.1 on 4.09 is now installable. Current state is: partially failing
• sail_latex_backend.0.17.1 on 4.10 is now installable. Current state is: partially failing
• sail_latex_backend.0.17.1 on 4.11 is now installable. Current state is: partially failing
• sail_latex_backend.0.17.1 on 4.12 is now installable. Current state is: partially failing
• sail_latex_backend.0.17.1 on 4.13 is now installable. Current state is: partially failing
• sail_latex_backend.0.17.1 on 4.14 is now installable. Current state is: partially failing
• sail_latex_backend.0.17.1 on 5.0 is now installable. Current state is: partially failing
• sail_latex_backend.0.17.1 on 5.1 is now installable. Current state is: partially failing
• sail_lem_backend.0.17.1 on 4.08 is now installable. Current state is: partially failing
• sail_lem_backend.0.17.1 on 4.09 is now installable. Current state is: partially failing
• sail_lem_backend.0.17.1 on 4.10 is now installable. Current state is: partially failing
• sail_lem_backend.0.17.1 on 4.11 is now installable. Current state is: partially failing
• sail_lem_backend.0.17.1 on 4.12 is now installable. Current state is: partially failing
• sail_lem_backend.0.17.1 on 4.13 is now installable. Current state is: partially failing
• sail_lem_backend.0.17.1 on 4.14 is now installable. Current state is: partially failing
• sail_lem_backend.0.17.1 on 5.0 is now installable. Current state is: partially failing
• sail_lem_backend.0.17.1 on 5.1 is now installable. Current state is: partially failing
• sail_ocaml_backend.0.17.1 on 4.08 is now installable. Current state is: partially failing
• sail_ocaml_backend.0.17.1 on 4.09 is now installable. Current state is: partially failing
• sail_ocaml_backend.0.17.1 on 4.10 is now installable. Current state is: partially failing
• sail_ocaml_backend.0.17.1 on 4.11 is now installable. Current state is: partially failing
• sail_ocaml_backend.0.17.1 on 4.12 is now installable. Current state is: partially failing
• sail_ocaml_backend.0.17.1 on 4.13 is now installable. Current state is: partially failing
• sail_ocaml_backend.0.17.1 on 4.14 is now installable. Current state is: partially failing
• sail_ocaml_backend.0.17.1 on 5.0 is now installable. Current state is: partially failing
• sail_ocaml_backend.0.17.1 on 5.1 is now installable. Current state is: partially failing
• sail_output.0.17.1 on 4.08 is now installable. Current state is: partially failing
• sail_output.0.17.1 on 4.09 is now installable. Current state is: partially failing
• sail_output.0.17.1 on 4.10 is now installable. Current state is: partially failing
• sail_output.0.17.1 on 4.11 is now installable. Current state is: partially failing
• sail_output.0.17.1 on 4.12 is now installable. Current state is: partially failing
• sail_output.0.17.1 on 4.13 is now installable. Current state is: partially failing
• sail_output.0.17.1 on 4.14 is now installable. Current state is: partially failing
• sail_output.0.17.1 on 5.0 is now installable. Current state is: partially failing
• sail_output.0.17.1 on 5.1 is now installable. Current state is: partially failing
• sail_smt_backend.0.17.1 on 4.08 is now installable. Current state is: partially failing
• sail_smt_backend.0.17.1 on 4.09 is now installable. Current state is: partially failing
• sail_smt_backend.0.17.1 on 4.10 is now installable. Current state is: partially failing
• sail_smt_backend.0.17.1 on 4.11 is now installable. Current state is: partially failing
• sail_smt_backend.0.17.1 on 4.12 is now installable. Current state is: partially failing
• sail_smt_backend.0.17.1 on 4.13 is now installable. Current state is: partially failing
• sail_smt_backend.0.17.1 on 4.14 is now installable. Current state is: partially failing
• sail_smt_backend.0.17.1 on 5.0 is now installable. Current state is: partially failing
• sail_smt_backend.0.17.1 on 5.1 is now installable. Current state is: partially failing
• sail_sv_backend.0.17.1 on 4.08 is now installable. Current state is: partially failing
• sail_sv_backend.0.17.1 on 4.09 is now installable. Current state is: partially failing
• sail_sv_backend.0.17.1 on 4.10 is now installable. Current state is: partially failing
• sail_sv_backend.0.17.1 on 4.11 is now installable. Current state is: partially failing
• sail_sv_backend.0.17.1 on 4.12 is now installable. Current state is: partially failing
• sail_sv_backend.0.17.1 on 4.13 is now installable. Current state is: partially failing
• sail_sv_backend.0.17.1 on 4.14 is now installable. Current state is: partially failing
• sail_sv_backend.0.17.1 on 5.0 is now installable. Current state is: partially failing
• sail_sv_backend.0.17.1 on 5.1 is now installable. Current state is: partially failing
• satML-plugin.0.99.1 on 4.10 had its build status changed: passing to partially failing
• satML-plugin.1.30 on 4.11 had its build status changed: passing to partially failing
• why3-coq.1.0.0 on 4.08 had its build status changed: passing to partially failing
• why3-coq.1.2.0 on 4.08 had its build status changed: passing to partially failing
• why3-coq.1.3.2 on 4.11 had its build status changed: passing to partially failing
• zelus-gtk.2.2 on 5.0 had its build status changed: not available to partially failing
• zelus-gtk.2.2 on 5.1 had its build status changed: not available to partially failing

Packages now not available:

• camlidl.1.10 on 5.0 had its build status changed: passing to not available
• camlidl.1.10 on 5.1 had its build status changed: passing to not available
• camlidl.1.11 on 5.0 had its build status changed: passing to not available
• camlidl.1.11 on 5.1 had its build status changed: passing to not available
• octez-node.15.1 on 4.13 had its build status changed: internal failure to not available
• octez-node.17.3 on 4.08 had its build status changed: internal failure to not available
• octez-proxy-server.16.1 on 5.0 had its build status changed: internal failure to not available
• octez-shell-libs.18.0 on 5.1 had its build status changed: internal failure to not available
• octez-smart-rollup-node-Proxford.18.0 on 4.08 had its build status changed: internal failure to not available
• octez-smart-rollup-node-PtMumbai.16.1 on 4.12 had its build status changed: internal failure to not available
• octez-smart-rollup-wasm-debugger.16.0 on 4.08 had its build status changed: internal failure to not available
• octez-smart-rollup-wasm-debugger.17.3 on 4.09 had its build status changed: internal failure to not available
• octez-tx-rollup-client-PtKathma.15.0 on 4.10 had its build status changed: internal failure to not available
• octez-tx-rollup-client-PtLimaPt.15.0 on 4.12 had its build status changed: internal failure to not available
• octez-tx-rollup-client-PtLimaPt.16.0 on 5.0 had its build status changed: internal failure to not available
• octez-tx-rollup-node-PtKathma.15.1 on 4.11 had its build status changed: internal failure to not available
• octez-tx-rollup-node-PtLimaPt.15.1 on 5.1 had its build status changed: internal failure to not available
• octez-validator.15.0 on 4.11 had its build status changed: internal failure to not available
• octez.16.1 on 4.08 had its build status changed: internal failure to not available
• octez.18.0 on 4.10 had its build status changed: internal failure to not available
• qcheck-alcotest.0.10 on 5.0 had its build status changed: passing to not available
• qcheck-alcotest.0.10 on 5.1 had its build status changed: passing to not available
• qcheck-alcotest.0.9 on 5.0 had its build status changed: passing to not available
• qcheck-alcotest.0.9 on 5.1 had its build status changed: passing to not available
• qcheck-ounit.0.10 on 5.0 had its build status changed: passing to not available
• qcheck-ounit.0.10 on 5.1 had its build status changed: passing to not available
• qcheck-ounit.0.9 on 5.0 had its build status changed: passing to not available
• qcheck-ounit.0.9 on 5.1 had its build status changed: passing to not available
• qcheck.0.10 on 5.0 had its build status changed: passing to not available
• qcheck.0.10 on 5.1 had its build status changed: passing to not available
• qcheck.0.9 on 5.0 had its build status changed: passing to not available
• qcheck.0.9 on 5.1 had its build status changed: passing to not available

Packages now failing with an internal failure:

• base32.1.0.0 on 4.09 had its build status changed: passing to internal failure
• base32.1.0.0 on 4.10 had its build status changed: passing to internal failure
• base32.1.0.0 on 4.11 had its build status changed: passing to internal failure
• base32.1.0.0 on 4.13 had its build status changed: passing to internal failure
• base32.1.0.0 on 5.0 had its build status changed: passing to internal failure
• checkseum.0.0.2 on 4.11 had its build status changed: passing to internal failure
• jhupllib.0.2.1 on 4.09 had its build status changed: failing to internal failure
• jhupllib.0.2.2 on 4.13 had its build status changed: passing to internal failure
• monadlib.0.1 on 4.12 had its build status changed: passing to internal failure
• monadlib.0.1 on 4.13 had its build status changed: passing to internal failure
• monocypher.0.1.0 on 4.08 had its build status changed: passing to internal failure
• monocypher.0.1.0 on 4.10 had its build status changed: passing to internal failure
• monocypher.0.1.0 on 4.12 had its build status changed: passing to internal failure
• monocypher.0.1.0 on 4.14 had its build status changed: passing to internal failure
• monocypher.0.1.0 on 5.0 had its build status changed: passing to internal failure
• monocypher.0.1.0 on 5.1 had its build status changed: passing to internal failure
• ocamlregextkit.1.0.0 on 4.14 had its build status changed: passing to internal failure
• opam-graph.0.1.1 on 4.13 had its build status changed: passing to internal failure
• opam-graph.0.1.1 on 4.14 had its build status changed: passing to internal failure
• soupault.4.3.1 on 4.13 had its build status changed: passing to internal failure
• soupault.4.3.1 on 4.14 had its build status changed: passing to internal failure
• soupault.4.6.0 on 4.13 had its build status changed: passing to internal failure
• soupault.4.6.0 on 5.1 had its build status changed: passing to internal failure
• z3.4.10.2 on 4.11 had its build status changed: passing to internal failure
• z3.4.10.2 on 4.12 had its build status changed: passing to internal failure
• z3.4.12.2-1 on 4.12 had its build status changed: passing to internal failure
• z3.4.8.14 on 4.09 had its build status changed: passing to internal failure
• z3.4.8.5-1 on 4.14 had its build status changed: passing to internal failure
• z3_tptp.4.10.1 on 4.10 had its build status changed: passing to internal failure
• z3_tptp.4.10.1 on 4.11 had its build status changed: passing to internal failure
• z3_tptp.4.11.0 on 4.08 had its build status changed: passing to internal failure
• z3_tptp.4.11.0 on 4.10 had its build status changed: passing to internal failure
• z3_tptp.4.11.2 on 5.1 had its build status changed: passing to internal failure
• z3_tptp.4.8.13 on 4.08 had its build status changed: passing to internal failure
• z3_tptp.4.8.14 on 5.0 had its build status changed: partially failing to internal failure
• z3_tptp.4.8.14 on 5.1 had its build status changed: partially failing to internal failure
• z3_tptp.4.9.1 on 4.13 had its build status changed: passing to internal failure
• zelus-gtk.2.1 on 4.10 had its build status changed: passing to internal failure
• zipperposition.1.6 on 4.09 had its build status changed: passing to internal failure
• zipperposition.2.1 on 4.10 had its build status changed: passing to internal failure
• zlib.0.6 on 5.1 had its build status changed: passing to internal failure
• zlist.0.4.0 on 4.10 had its build status changed: passing to internal failure
• zmq-async.5.0.0 on 4.08 had its build status changed: passing to internal failure
• zmq-async.5.1.0 on 4.13 had its build status changed: passing to internal failure
• zmq-async.5.1.2 on 4.09 had its build status changed: passing to internal failure
• zmq-async.5.1.3 on 4.13 had its build status changed: passing to internal failure
• zmq-async.5.1.5 on 4.11 had its build status changed: passing to internal failure

Packages now passing:

• algaeff.2.0.0 on 5.0 is now installable. Current state is: passing
• algaeff.2.0.0 on 5.1 is now installable. Current state is: passing
• alt-ergo.2.1.0 on 4.10 had its build status changed: failing to passing
• alt-ergo.2.2.0 on 4.08 had its build status changed: failing to passing
• asai.0.3.0 on 5.0 is now installable. Current state is: passing
• asai.0.3.0 on 5.1 is now installable. Current state is: passing
• atacama.0.0.1 on 5.1 is now installable. Current state is: passing
• bechamel-js.0.5.0 on 4.08 is now installable. Current state is: passing
• bechamel-js.0.5.0 on 4.09 is now installable. Current state is: passing
• bechamel-js.0.5.0 on 4.10 is now installable. Current state is: passing
• bechamel-js.0.5.0 on 4.11 is now installable. Current state is: passing
• bechamel-js.0.5.0 on 4.12 is now installable. Current state is: passing
• bechamel-js.0.5.0 on 4.13 is now installable. Current state is: passing
• bechamel-js.0.5.0 on 4.14 is now installable. Current state is: passing
• bechamel-js.0.5.0 on 5.0 is now installable. Current state is: passing
• bechamel-js.0.5.0 on 5.1 is now installable. Current state is: passing
• bechamel-notty.0.5.0 on 4.08 is now installable. Current state is: passing
• bechamel-notty.0.5.0 on 4.09 is now installable. Current state is: passing
• bechamel-notty.0.5.0 on 4.10 is now installable. Current state is: passing
• bechamel-notty.0.5.0 on 4.11 is now installable. Current state is: passing
• bechamel-notty.0.5.0 on 4.12 is now installable. Current state is: passing
• bechamel-notty.0.5.0 on 4.13 is now installable. Current state is: passing
• bechamel-notty.0.5.0 on 4.14 is now installable. Current state is: passing
• bechamel-notty.0.5.0 on 5.0 is now installable. Current state is: passing
• bechamel-notty.0.5.0 on 5.1 is now installable. Current state is: passing
• bechamel-perf.0.5.0 on 4.08 is now installable. Current state is: passing
• bechamel-perf.0.5.0 on 4.09 is now installable. Current state is: passing
• bechamel-perf.0.5.0 on 4.10 is now installable. Current state is: passing
• bechamel-perf.0.5.0 on 4.11 is now installable. Current state is: passing
• bechamel-perf.0.5.0 on 4.12 is now installable. Current state is: passing
• bechamel-perf.0.5.0 on 4.13 is now installable. Current state is: passing
• bechamel-perf.0.5.0 on 4.14 is now installable. Current state is: passing
• bechamel-perf.0.5.0 on 5.0 is now installable. Current state is: passing
• bechamel-perf.0.5.0 on 5.1 is now installable. Current state is: passing
• bechamel.0.5.0 on 4.08 is now installable. Current state is: passing
• bechamel.0.5.0 on 4.09 is now installable. Current state is: passing
• bechamel.0.5.0 on 4.10 is now installable. Current state is: passing
• bechamel.0.5.0 on 4.11 is now installable. Current state is: passing
• bechamel.0.5.0 on 4.12 is now installable. Current state is: passing
• bechamel.0.5.0 on 4.13 is now installable. Current state is: passing
• bechamel.0.5.0 on 4.14 is now installable. Current state is: passing
• bechamel.0.5.0 on 5.0 is now installable. Current state is: passing
• bechamel.0.5.0 on 5.1 is now installable. Current state is: passing
• bimage-gtk.0.1 on 5.0 had its build status changed: not available to passing
• bimage-gtk.0.1 on 5.1 had its build status changed: not available to passing
• cairo2-gtk.0.6 on 5.0 had its build status changed: not available to passing
• cairo2-gtk.0.6 on 5.1 had its build status changed: not available to passing
• cairo2-gtk.0.6.4 on 5.0 had its build status changed: not available to passing
• cairo2-gtk.0.6.4 on 5.1 had its build status changed: not available to passing
• cairo2-pango.0.6 on 5.0 had its build status changed: not available to passing
• cairo2-pango.0.6 on 5.1 had its build status changed: not available to passing
• cairo2-pango.0.6.4 on 5.0 had its build status changed: not available to passing
• cairo2-pango.0.6.4 on 5.1 had its build status changed: not available to passing
• calculon-redis.0.6 on 4.13 had its build status changed: internal failure to passing
• camlidl.1.12 on 4.08 is now installable. Current state is: passing
• camlidl.1.12 on 4.09 is now installable. Current state is: passing
• camlidl.1.12 on 4.10 is now installable. Current state is: passing
• camlidl.1.12 on 4.11 is now installable. Current state is: passing
• camlidl.1.12 on 4.12 is now installable. Current state is: passing
• camlidl.1.12 on 4.13 is now installable. Current state is: passing
• camlidl.1.12 on 4.14 is now installable. Current state is: passing
• camlidl.1.12 on 5.0 is now installable. Current state is: passing
• camlidl.1.12 on 5.1 is now installable. Current state is: passing
• cgi.0.9 on 4.13 had its build status changed: failing to passing
• cll.0.2.0 on 4.08 is now installable. Current state is: passing
• cll.0.2.0 on 4.09 is now installable. Current state is: passing
• cll.0.2.0 on 4.10 is now installable. Current state is: passing
• cll.0.2.0 on 4.11 is now installable. Current state is: passing
• cll.0.2.0 on 4.12 is now installable. Current state is: passing
• cll.0.2.0 on 4.13 is now installable. Current state is: passing
• cll.0.2.0 on 4.14 is now installable. Current state is: passing
• cll.0.2.0 on 5.0 is now installable. Current state is: passing
• cll.0.2.0 on 5.1 is now installable. Current state is: passing
• cohttp-curl-async.6.0.0~alpha1 on 4.11 had its build status changed: internal failure to passing
• cohttp-lwt.5.2.0 on 4.12 had its build status changed: partially failing to passing
• coq-waterproof.2.1.0+8.17 on 4.14 is now installable. Current state is: passing
• coq-waterproof.2.1.0+8.17 on 5.0 is now installable. Current state is: passing
• coq-waterproof.2.1.0+8.17 on 5.1 is now installable. Current state is: passing
• cordova.1.0 on 5.0 had its build status changed: internal failure to passing
• dates_calc.0.0.5 on 4.11 is now installable. Current state is: passing
• dates_calc.0.0.5 on 4.12 is now installable. Current state is: passing
• dates_calc.0.0.5 on 4.13 is now installable. Current state is: passing
• dates_calc.0.0.5 on 4.14 is now installable. Current state is: passing
• dates_calc.0.0.5 on 5.0 is now installable. Current state is: passing
• dates_calc.0.0.5 on 5.1 is now installable. Current state is: passing
• dns-server.6.1.3 on 5.1 had its build status changed: internal failure to passing
• dune-site.3.6.1 on 4.12 had its build status changed: internal failure to passing
• earlybird.1.0.2 on 4.11 had its build status changed: internal failure to passing
• ffmpeg-av.1.0.1 on 4.09 had its build status changed: internal failure to passing
• ffmpeg-avfilter.1.0.0 on 5.1 had its build status changed: internal failure to passing
• fm-simplex-plugin.1.30 on 4.08 had its build status changed: partially failing to passing
• fm-simplex-plugin.1.30 on 4.10 had its build status changed: partially failing to passing
• fmlib.0.5.7 on 4.08 is now installable. Current state is: passing
• fmlib.0.5.7 on 4.09 is now installable. Current state is: passing
• fmlib.0.5.7 on 4.10 is now installable. Current state is: passing
• fmlib.0.5.7 on 4.11 is now installable. Current state is: passing
• fmlib.0.5.7 on 4.12 is now installable. Current state is: passing
• fmlib.0.5.7 on 4.13 is now installable. Current state is: passing
• fmlib.0.5.7 on 4.14 is now installable. Current state is: passing
• fmlib.0.5.7 on 5.0 is now installable. Current state is: passing
• fmlib.0.5.7 on 5.1 is now installable. Current state is: passing
• fmlib_browser.0.5.7 on 4.08 is now installable. Current state is: passing
• fmlib_browser.0.5.7 on 4.09 is now installable. Current state is: passing
• fmlib_browser.0.5.7 on 4.10 is now installable. Current state is: passing
• fmlib_browser.0.5.7 on 4.11 is now installable. Current state is: passing
• fmlib_browser.0.5.7 on 4.12 is now installable. Current state is: passing
• fmlib_browser.0.5.7 on 4.13 is now installable. Current state is: passing
• fmlib_browser.0.5.7 on 4.14 is now installable. Current state is: passing
• fmlib_browser.0.5.7 on 5.0 is now installable. Current state is: passing
• fmlib_browser.0.5.7 on 5.1 is now installable. Current state is: passing
• fmlib_js.0.5.7 on 4.08 is now installable. Current state is: passing
• fmlib_js.0.5.7 on 4.09 is now installable. Current state is: passing
• fmlib_js.0.5.7 on 4.10 is now installable. Current state is: passing
• fmlib_js.0.5.7 on 4.11 is now installable. Current state is: passing
• fmlib_js.0.5.7 on 4.12 is now installable. Current state is: passing
• fmlib_js.0.5.7 on 4.13 is now installable. Current state is: passing
• fmlib_js.0.5.7 on 4.14 is now installable. Current state is: passing
• fmlib_js.0.5.7 on 5.0 is now installable. Current state is: passing
• fmlib_js.0.5.7 on 5.1 is now installable. Current state is: passing
• fmlib_parse.0.5.7 on 4.08 is now installable. Current state is: passing
• fmlib_parse.0.5.7 on 4.09 is now installable. Current state is: passing
• fmlib_parse.0.5.7 on 4.10 is now installable. Current state is: passing
• fmlib_parse.0.5.7 on 4.11 is now installable. Current state is: passing
• fmlib_parse.0.5.7 on 4.12 is now installable. Current state is: passing
• fmlib_parse.0.5.7 on 4.13 is now installable. Current state is: passing
• fmlib_parse.0.5.7 on 4.14 is now installable. Current state is: passing
• fmlib_parse.0.5.7 on 5.0 is now installable. Current state is: passing
• fmlib_parse.0.5.7 on 5.1 is now installable. Current state is: passing
• fmlib_pretty.0.5.7 on 4.08 is now installable. Current state is: passing
• fmlib_pretty.0.5.7 on 4.09 is now installable. Current state is: passing
• fmlib_pretty.0.5.7 on 4.10 is now installable. Current state is: passing
• fmlib_pretty.0.5.7 on 4.11 is now installable. Current state is: passing
• fmlib_pretty.0.5.7 on 4.12 is now installable. Current state is: passing
• fmlib_pretty.0.5.7 on 4.13 is now installable. Current state is: passing
• fmlib_pretty.0.5.7 on 4.14 is now installable. Current state is: passing
• fmlib_pretty.0.5.7 on 5.0 is now installable. Current state is: passing
• fmlib_pretty.0.5.7 on 5.1 is now installable. Current state is: passing
• fmlib_std.0.5.7 on 4.08 is now installable. Current state is: passing
• fmlib_std.0.5.7 on 4.09 is now installable. Current state is: passing
• fmlib_std.0.5.7 on 4.10 is now installable. Current state is: passing
• fmlib_std.0.5.7 on 4.11 is now installable. Current state is: passing
• fmlib_std.0.5.7 on 4.12 is now installable. Current state is: passing
• fmlib_std.0.5.7 on 4.13 is now installable. Current state is: passing
• fmlib_std.0.5.7 on 4.14 is now installable. Current state is: passing
• fmlib_std.0.5.7 on 5.0 is now installable. Current state is: passing
• fmlib_std.0.5.7 on 5.1 is now installable. Current state is: passing
• functory.0.6 on 4.10 had its build status changed: failing to passing
• hacl-star-raw.0.1 on 4.10 had its build status changed: failing to passing
• hacl-star-raw.0.1 on 4.11 had its build status changed: failing to passing
• hacl-star-raw.0.2.0 on 4.09 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.1 on 4.14 had its build status changed: failing to passing
• hacl-star-raw.0.2.2 on 4.09 had its build status changed: failing to passing
• hacl-star.0.1 on 4.09 had its build status changed: partially failing to passing
• hacl-star.0.1.1 on 4.12 had its build status changed: partially failing to passing
• hacl-star.0.1.1 on 4.14 had its build status changed: partially failing to passing
• hacl-star.0.2.1 on 4.09 had its build status changed: partially failing to passing
• hacl-star.0.2.1 on 4.11 had its build status changed: partially failing to passing
• hacl-star.0.2.2 on 4.09 had its build status changed: partially failing to passing
• hol2dk.0.0.0 on 4.13 is now installable. Current state is: passing
• hol2dk.0.0.0 on 4.14 is now installable. Current state is: passing
• hol2dk.0.0.0 on 5.0 is now installable. Current state is: passing
• hol2dk.0.0.0 on 5.1 is now installable. Current state is: passing
• httpaf.0.2.0 on 4.11 had its build status changed: partially failing to passing
• httpaf.0.5.0 on 4.14 had its build status changed: internal failure to passing
• httpaf.0.6.5 on 5.1 had its build status changed: internal failure to passing
• httpaf.0.7.1 on 4.08 had its build status changed: internal failure to passing
• httpaf_caged.1.0.1 on 4.10 had its build status changed: internal failure to passing
• jekyll-format.0.3.3 on 4.08 is now installable. Current state is: passing
• jekyll-format.0.3.3 on 4.09 is now installable. Current state is: passing
• jekyll-format.0.3.3 on 4.10 is now installable. Current state is: passing
• jekyll-format.0.3.3 on 4.11 is now installable. Current state is: passing
• jekyll-format.0.3.3 on 4.12 is now installable. Current state is: passing
• jekyll-format.0.3.3 on 4.13 is now installable. Current state is: passing
• jekyll-format.0.3.3 on 4.14 is now installable. Current state is: passing
• jekyll-format.0.3.3 on 5.0 is now installable. Current state is: passing
• jekyll-format.0.3.3 on 5.1 is now installable. Current state is: passing
• jingoo.1.5.0 on 4.08 is now installable. Current state is: passing
• jingoo.1.5.0 on 4.09 is now installable. Current state is: passing
• jingoo.1.5.0 on 4.10 is now installable. Current state is: passing
• jingoo.1.5.0 on 4.11 is now installable. Current state is: passing
• jingoo.1.5.0 on 4.12 is now installable. Current state is: passing
• jingoo.1.5.0 on 4.13 is now installable. Current state is: passing
• jingoo.1.5.0 on 4.14 is now installable. Current state is: passing
• jingoo.1.5.0 on 5.0 is now installable. Current state is: passing
• jingoo.1.5.0 on 5.1 is now installable. Current state is: passing
• lablgl.1.06 on 4.09 had its build status changed: failing to passing
• lablgtk.2.18.13 on 5.0 had its build status changed: not available to passing
• lablgtk.2.18.13 on 5.1 had its build status changed: not available to passing
• lambdapi.2.0.0 on 4.10 had its build status changed: partially failing to passing
• learn-ocaml-client.0.16.0 on 4.12 is now installable. Current state is: passing
• learn-ocaml.0.16.0 on 4.12 is now installable. Current state is: passing
• libbinaryen.115.0.0 on 4.12 is now installable. Current state is: passing
• libbinaryen.115.0.0 on 4.13 is now installable. Current state is: passing
• libbinaryen.115.0.0 on 4.14 is now installable. Current state is: passing
• libbinaryen.115.0.0 on 5.0 is now installable. Current state is: passing
• libbinaryen.115.0.0 on 5.1 is now installable. Current state is: passing
• links.0.9.4 on 4.14 had its build status changed: internal failure to passing
• linol-lwt.0.2 on 4.09 had its build status changed: internal failure to passing
• linol-lwt.0.4 on 4.08 had its build status changed: internal failure to passing
• linol.0.2 on 4.08 had its build status changed: partially failing to passing
• lintcstubs-arity.0.2.1 on 4.09 had its build status changed: internal failure to passing
• liquidsoap-core.2.2.2 on 4.14 is now installable. Current state is: passing
• liquidsoap-core.2.2.2 on 5.0 is now installable. Current state is: passing
• liquidsoap-core.2.2.2 on 5.1 is now installable. Current state is: passing
• liquidsoap-js.2.2.2 on 4.14 is now installable. Current state is: passing
• liquidsoap-js.2.2.2 on 5.0 is now installable. Current state is: passing
• liquidsoap-js.2.2.2 on 5.1 is now installable. Current state is: passing
• liquidsoap-lang.2.2.2 on 4.14 is now installable. Current state is: passing
• liquidsoap-lang.2.2.2 on 5.0 is now installable. Current state is: passing
• liquidsoap-lang.2.2.2 on 5.1 is now installable. Current state is: passing
• liquidsoap-libs-extra.2.2.2 on 4.14 is now installable. Current state is: passing
• liquidsoap-libs-extra.2.2.2 on 5.0 is now installable. Current state is: passing
• liquidsoap-libs-extra.2.2.2 on 5.1 is now installable. Current state is: passing
• liquidsoap-libs.2.2.2 on 4.14 is now installable. Current state is: passing
• liquidsoap-libs.2.2.2 on 5.0 is now installable. Current state is: passing
• liquidsoap-libs.2.2.2 on 5.1 is now installable. Current state is: passing
• liquidsoap-mode.2.2.2 on 4.14 is now installable. Current state is: passing
• liquidsoap-mode.2.2.2 on 5.0 is now installable. Current state is: passing
• liquidsoap-mode.2.2.2 on 5.1 is now installable. Current state is: passing
• liquidsoap.2.2.2 on 4.14 is now installable. Current state is: passing
• liquidsoap.2.2.2 on 5.0 is now installable. Current state is: passing
• liquidsoap.2.2.2 on 5.1 is now installable. Current state is: passing
• loop.0.0.1 on 5.0 is now installable. Current state is: passing
• loop.0.0.1 on 5.1 is now installable. Current state is: passing
• mdx.1.11.0 on 4.08 had its build status changed: failing to passing
• mdx.1.11.0 on 4.09 had its build status changed: failing to passing
• mdx.1.11.0 on 4.10 had its build status changed: failing to passing
• mdx.1.11.0 on 4.11 had its build status changed: failing to passing
• mdx.1.11.0 on 4.12 had its build status changed: failing to passing
• mdx.1.11.0 on 4.13 had its build status changed: failing to passing
• moonpool.0.5 on 4.08 is now installable. Current state is: passing
• moonpool.0.5 on 4.09 is now installable. Current state is: passing
• moonpool.0.5 on 4.10 is now installable. Current state is: passing
• moonpool.0.5 on 4.11 is now installable. Current state is: passing
• moonpool.0.5 on 4.12 is now installable. Current state is: passing
• moonpool.0.5 on 4.13 is now installable. Current state is: passing
• moonpool.0.5 on 4.14 is now installable. Current state is: passing
• moonpool.0.5 on 5.0 is now installable. Current state is: passing
• moonpool.0.5 on 5.1 is now installable. Current state is: passing
• mperf.0.5.0 on 4.08 is now installable. Current state is: passing
• mperf.0.5.0 on 4.09 is now installable. Current state is: passing
• mperf.0.5.0 on 4.10 is now installable. Current state is: passing
• mperf.0.5.0 on 4.11 is now installable. Current state is: passing
• mperf.0.5.0 on 4.12 is now installable. Current state is: passing
• mperf.0.5.0 on 4.13 is now installable. Current state is: passing
• mperf.0.5.0 on 4.14 is now installable. Current state is: passing
• mperf.0.5.0 on 5.0 is now installable. Current state is: passing
• mperf.0.5.0 on 5.1 is now installable. Current state is: passing
• ocaml-solo5-cross-aarch64.0.8.2 on 4.12 is now installable. Current state is: passing
• ocaml-solo5-cross-aarch64.0.8.2 on 4.13 is now installable. Current state is: passing
• ocaml-solo5-cross-aarch64.0.8.2 on 4.14 is now installable. Current state is: passing
• ocaml-solo5.0.8.2 on 4.12 is now installable. Current state is: passing
• ocaml-solo5.0.8.2 on 4.13 is now installable. Current state is: passing
• ocaml-solo5.0.8.2 on 4.14 is now installable. Current state is: passing
• ocamlformat-rpc.0.21.0 on 4.10 had its build status changed: internal failure to passing
• ocamlgraph_gtk.2.0.0 on 5.0 had its build status changed: not available to passing
• ocamlgraph_gtk.2.0.0 on 5.1 had its build status changed: not available to passing
• octez-accuser-PtLimaPt.15.1 on 4.14 had its build status changed: internal failure to passing
• octez-accuser-PtLimaPt.16.1 on 4.14 had its build status changed: internal failure to passing
• octez-accuser-PtNairob.18.0 on 4.14 had its build status changed: internal failure to passing
• octez-baker-Proxford.18.0 on 4.14 had its build status changed: internal failure to passing
• octez-client.16.0 on 4.14 had its build status changed: internal failure to passing
• octez-client.16.1 on 4.14 had its build status changed: internal failure to passing
• octez-crawler.18.0 on 4.14 had its build status changed: internal failure to passing
• octez-node.16.1 on 4.14 had its build status changed: partially failing to passing
• octez-protocol-004-Pt24m4xi-libs.18.0 on 4.14 had its build status changed: internal failure to passing
• octez-protocol-005-PsBabyM1-libs.18.0 on 4.14 had its build status changed: partially failing to passing
• octez-protocol-013-PtJakart-libs.18.0 on 4.14 had its build status changed: internal failure to passing
• octez-signer.18.0 on 4.14 had its build status changed: partially failing to passing
• octez-smart-rollup-node-lib.18.0 on 4.14 had its build status changed: internal failure to passing
• octez-smart-rollup-wasm-benchmark-lib.17.3 on 4.14 had its build status changed: internal failure to passing
• octez-tx-rollup-client-PtLimaPt.15.1 on 4.14 had its build status changed: internal failure to passing
• octez-tx-rollup-node-PtLimaPt.16.1 on 4.14 had its build status changed: internal failure to passing
• octez-version.18.0 on 4.14 had its build status changed: internal failure to passing
• octez.18.0 on 4.14 had its build status changed: partially failing to passing
• ocurl.0.7.7 on 4.13 had its build status changed: internal failure to passing
• ocurl.0.7.9 on 5.0 had its build status changed: internal failure to passing
• ocurl.0.8.2 on 4.08 had its build status changed: internal failure to passing
• ocurl.0.9.1 on 4.09 had its build status changed: internal failure to passing
• odig.0.0.8 on 4.13 had its build status changed: internal failure to passing
• ogre.2.4.0 on 4.10 had its build status changed: internal failure to passing
• ojs.1.0.8 on 4.11 had its build status changed: internal failure to passing
• opam-solver.2.0.0~rc2 on 4.12 had its build status changed: internal failure to passing
• openstellina.0.0.3 on 5.0 had its build status changed: not available to passing
• openstellina.0.0.3 on 5.1 had its build status changed: not available to passing
• oplot.0.50 on 4.08 had its build status changed: partially failing to passing
• oplot.0.71 on 5.0 had its build status changed: internal failure to passing
• owl-opt-lbfgs.0.0.1 on 4.08 had its build status changed: internal failure to passing
• owl-plplot.0.10.0 on 4.10 had its build status changed: internal failure to passing
• pancake.2.0.0 on 5.1 is now installable. Current state is: passing
• pancake.2.0.1 on 5.1 is now installable. Current state is: passing
• patdiff.v0.16.1 on 4.14 is now installable. Current state is: passing
• patdiff.v0.16.1 on 5.0 is now installable. Current state is: passing
• patdiff.v0.16.1 on 5.1 is now installable. Current state is: passing
• picasso.0.1 on 5.0 had its build status changed: not available to passing
• picasso.0.1 on 5.1 had its build status changed: not available to passing
• polars.0.0.1 on 4.11 is now installable. Current state is: passing
• polars.0.0.1 on 4.12 is now installable. Current state is: passing
• polars.0.0.1 on 4.13 is now installable. Current state is: passing
• polars.0.0.1 on 4.14 is now installable. Current state is: passing
• polars_async.0.0.1 on 4.11 is now installable. Current state is: passing
• polars_async.0.0.1 on 4.12 is now installable. Current state is: passing
• polars_async.0.0.1 on 4.13 is now installable. Current state is: passing
• polars_async.0.0.1 on 4.14 is now installable. Current state is: passing
• portia.1.1 on 4.10 had its build status changed: failing to passing
• portia.1.3 on 4.08 had its build status changed: failing to passing
• portia.1.3 on 4.12 had its build status changed: failing to passing
• portia.1.5 on 4.14 had its build status changed: failing to passing
• posix-getopt.2.0.2 on 4.14 had its build status changed: internal failure to passing
• ppx_accessor.v0.14.0 on 4.12 had its build status changed: internal failure to passing
• ppxlib.0.22.1 on 4.11 had its build status changed: internal failure to passing
• ppxlib.0.28.0 on 4.11 had its build status changed: internal failure to passing
• pratter.3.0.0 on 4.08 is now installable. Current state is: passing
• pratter.3.0.0 on 4.09 is now installable. Current state is: passing
• pratter.3.0.0 on 4.10 is now installable. Current state is: passing
• pratter.3.0.0 on 4.11 is now installable. Current state is: passing
• pratter.3.0.0 on 4.12 is now installable. Current state is: passing
• pratter.3.0.0 on 4.13 is now installable. Current state is: passing
• pratter.3.0.0 on 4.14 is now installable. Current state is: passing
• pratter.3.0.0 on 5.0 is now installable. Current state is: passing
• pratter.3.0.0 on 5.1 is now installable. Current state is: passing
• proverif.2.01 on 5.0 had its build status changed: not available to passing
• proverif.2.01 on 5.1 had its build status changed: not available to passing
• proverif.2.02 on 5.0 had its build status changed: not available to passing
• proverif.2.02 on 5.1 had its build status changed: not available to passing
• proverif.2.02pl1 on 5.0 had its build status changed: not available to passing
• proverif.2.02pl1 on 5.1 had its build status changed: not available to passing
• proverif.2.03 on 5.0 had its build status changed: not available to passing
• proverif.2.03 on 5.1 had its build status changed: not available to passing
• proverif.2.04 on 5.0 had its build status changed: not available to passing
• proverif.2.04 on 5.1 had its build status changed: not available to passing
• proverif.2.05 on 5.0 had its build status changed: not available to passing
• proverif.2.05 on 5.1 had its build status changed: not available to passing
• pyml.20231101 on 4.08 is now installable. Current state is: passing
• pyml.20231101 on 4.09 is now installable. Current state is: passing
• pyml.20231101 on 4.10 is now installable. Current state is: passing
• pyml.20231101 on 4.11 is now installable. Current state is: passing
• pyml.20231101 on 4.12 is now installable. Current state is: passing
• pyml.20231101 on 4.13 is now installable. Current state is: passing
• pyml.20231101 on 4.14 is now installable. Current state is: passing
• pyml.20231101 on 5.0 is now installable. Current state is: passing
• pyml.20231101 on 5.1 is now installable. Current state is: passing
• qiskit.0.44.0 on 4.08 is now installable. Current state is: passing
• qiskit.0.44.0 on 4.09 is now installable. Current state is: passing
• qiskit.0.44.0 on 4.10 is now installable. Current state is: passing
• qiskit.0.44.0 on 4.11 is now installable. Current state is: passing
• qiskit.0.44.0 on 4.12 is now installable. Current state is: passing
• qiskit.0.44.0 on 4.13 is now installable. Current state is: passing
• qiskit.0.44.0 on 4.14 is now installable. Current state is: passing
• qiskit.0.44.0 on 5.0 is now installable. Current state is: passing
• qiskit.0.44.0 on 5.1 is now installable. Current state is: passing
• riot.0.0.2 on 5.1 is now installable. Current state is: passing
• rpclib.7.1.0 on 4.11 had its build status changed: internal failure to passing
• sail_manifest.0.17.1 on 4.08 is now installable. Current state is: passing
• sail_manifest.0.17.1 on 4.09 is now installable. Current state is: passing
• sail_manifest.0.17.1 on 4.10 is now installable. Current state is: passing
• sail_manifest.0.17.1 on 4.11 is now installable. Current state is: passing
• sail_manifest.0.17.1 on 4.12 is now installable. Current state is: passing
• sail_manifest.0.17.1 on 4.13 is now installable. Current state is: passing
• sail_manifest.0.17.1 on 4.14 is now installable. Current state is: passing
• sail_manifest.0.17.1 on 5.0 is now installable. Current state is: passing
• sail_manifest.0.17.1 on 5.1 is now installable. Current state is: passing
• satML-plugin.0.99.1 on 4.12 had its build status changed: partially failing to passing
• satML-plugin.1.01 on 4.12 had its build status changed: partially failing to passing
• satML-plugin.1.01 on 4.14 had its build status changed: partially failing to passing
• satML-plugin.1.30 on 4.13 had its build status changed: partially failing to passing
• satex.0.1.1 on 4.08 is now installable. Current state is: passing
• satex.0.1.1 on 4.09 is now installable. Current state is: passing
• satex.0.1.1 on 4.10 is now installable. Current state is: passing
• satex.0.1.1 on 4.11 is now installable. Current state is: passing
• satex.0.1.1 on 4.12 is now installable. Current state is: passing
• satex.0.1.1 on 4.13 is now installable. Current state is: passing
• satex.0.1.1 on 4.14 is now installable. Current state is: passing
• satex.0.1.1 on 5.0 is now installable. Current state is: passing
• satex.0.1.1 on 5.1 is now installable. Current state is: passing
• sihl.1.0.0~rc2 on 4.14 had its build status changed: internal failure to passing
• sihl.1.0.1 on 4.11 had its build status changed: internal failure to passing
• smart-print.0.3.0 on 5.0 had its build status changed: internal failure to passing
• telemetry.0.0.1 on 4.12 is now installable. Current state is: passing
• telemetry.0.0.1 on 4.13 is now installable. Current state is: passing
• telemetry.0.0.1 on 4.14 is now installable. Current state is: passing
• telemetry.0.0.1 on 5.0 is now installable. Current state is: passing
• telemetry.0.0.1 on 5.1 is now installable. Current state is: passing
• tezos-clic.9.7 on 4.11 had its build status changed: internal failure to passing
• tezos-client-002-PsYLVpVv-commands.8.0 on 4.10 had its build status changed: internal failure to passing
• tezos-client-009-PsFLoren.14.0 on 4.14 had its build status changed: internal failure to passing
• tezos-client-012-Psithaca.15.1 on 4.14 had its build status changed: internal failure to passing
• tezos-client-015-PtLimaPt.16.0 on 4.14 had its build status changed: internal failure to passing
• tezos-client-015-PtLimaPt.17.3 on 4.14 had its build status changed: internal failure to passing
• tezos-client-016-PtMumbai.16.1 on 4.14 had its build status changed: partially failing to passing
• tezos-client-alpha-commands.11.1 on 4.12 had its build status changed: internal failure to passing
• tezos-client-base-unix.9.3 on 4.10 had its build status changed: internal failure to passing
• tezos-client-commands.10.2 on 4.10 had its build status changed: internal failure to passing
• tezos-embedded-protocol-008-PtEdo2Zk.10.2 on 4.10 had its build status changed: internal failure to passing
• tezos-embedded-protocol-008-PtEdo2Zk.8.3 on 4.09 had its build status changed: internal failure to passing
• tezos-embedded-protocol-008-PtEdoTez.8.2 on 4.10 had its build status changed: internal failure to passing
• tezos-embedded-protocol-demo-noops.15.0 on 4.14 had its build status changed: internal failure to passing
• tezos-embedded-protocol-demo-noops.7.0 on 4.09 had its build status changed: internal failure to passing
• tezos-protocol-010-PtGRANAD.12.0 on 4.12 had its build status changed: internal failure to passing
• tezos-protocol-010-PtGRANAD.14.0 on 4.14 had its build status changed: internal failure to passing
• tezos-protocol-011-PtHangz2-parameters.12.3 on 4.12 had its build status changed: partially failing to passing
• tezos-protocol-013-PtJakart.13.0 on 4.12 had its build status changed: internal failure to passing
• tezos-protocol-013-PtJakart.16.1 on 4.14 had its build status changed: internal failure to passing
• tezos-protocol-014-PtKathma.15.1 on 4.14 had its build status changed: internal failure to passing
• tezos-protocol-alpha-parameters.9.0 on 4.10 had its build status changed: internal failure to passing
• tezos-protocol-alpha.10.2 on 4.10 had its build status changed: internal failure to passing
• tezos-protocol-alpha.18.0 on 4.14 had its build status changed: internal failure to passing
• tezos-protocol-alpha.8.1 on 4.09 had its build status changed: internal failure to passing
• tezos-protocol-compiler.9.4 on 4.10 had its build status changed: internal failure to passing
• tezos-protocol-demo-counter.11.1 on 4.12 had its build status changed: internal failure to passing
• tezos-protocol-demo-counter.9.0 on 4.10 had its build status changed: internal failure to passing
• tezos-rpc-http.9.4 on 4.10 had its build status changed: partially failing to passing
• tezos-scoru-wasm-fast.16.0 on 5.1 had its build status changed: partially failing to passing
• tezos-shell-context.11.0 on 4.14 had its build status changed: partially failing to passing
• tezos-shell-context.12.0 on 4.14 had its build status changed: internal failure to passing
• tezt.4.0.0 on 4.12 is now installable. Current state is: passing
• tezt.4.0.0 on 4.13 is now installable. Current state is: passing
• tezt.4.0.0 on 4.14 is now installable. Current state is: passing
• tezt.4.0.0 on 5.0 is now installable. Current state is: passing
• tezt.4.0.0 on 5.1 is now installable. Current state is: passing
• topiary.0.3.0 on 4.08 is now installable. Current state is: passing
• topiary.0.3.0 on 4.09 is now installable. Current state is: passing
• topiary.0.3.0 on 4.10 is now installable. Current state is: passing
• topiary.0.3.0 on 4.11 is now installable. Current state is: passing
• topiary.0.3.0 on 4.12 is now installable. Current state is: passing
• topiary.0.3.0 on 4.13 is now installable. Current state is: passing
• topiary.0.3.0 on 4.14 is now installable. Current state is: passing
• topiary.0.3.0 on 5.0 is now installable. Current state is: passing
• topiary.0.3.0 on 5.1 is now installable. Current state is: passing
• tuareg.2.1.0 on 5.0 had its build status changed: failing to passing
• why3-coq.1.1.0 on 4.08 had its build status changed: partially failing to passing
• why3-coq.1.3.0 on 4.11 had its build status changed: partially failing to passing
• why3-coq.1.3.1 on 4.09 had its build status changed: partially failing to passing
• why3-coq.1.3.2 on 4.09 had its build status changed: partially failing to passing
• why3-coq.1.3.3 on 4.08 had its build status changed: partially failing to passing
• yaml-sexp.3.2.0 on 4.13 is now installable. Current state is: passing
• yaml-sexp.3.2.0 on 4.14 is now installable. Current state is: passing
• yaml-sexp.3.2.0 on 5.0 is now installable. Current state is: passing
• yaml-sexp.3.2.0 on 5.1 is now installable. Current state is: passing
• yaml.3.2.0 on 4.13 is now installable. Current state is: passing
• yaml.3.2.0 on 4.14 is now installable. Current state is: passing
• yaml.3.2.0 on 5.0 is now installable. Current state is: passing
• yaml.3.2.0 on 5.1 is now installable. Current state is: passing
• yices2_bindings.0.2 on 4.08 had its build status changed: internal failure to passing
• yojson-bench.2.0.0 on 4.12 had its build status changed: internal failure to passing
• yurt.0.6 on 4.08 had its build status changed: internal failure to passing
• yuujinchou.5.2.0 on 5.0 is now installable. Current state is: passing
• yuujinchou.5.2.0 on 5.1 is now installable. Current state is: passing
• z3.4.10.1 on 4.10 had its build status changed: internal failure to passing
• z3.4.10.1 on 4.13 had its build status changed: failing to passing
• z3.4.8.14 on 4.14 had its build status changed: internal failure to passing
• z3_tptp.4.10.1 on 4.12 had its build status changed: internal failure to passing
• z3_tptp.4.10.1 on 4.14 had its build status changed: internal failure to passing
• z3_tptp.4.11.0 on 4.12 had its build status changed: internal failure to passing
• z3_tptp.4.11.0 on 4.13 had its build status changed: internal failure to passing
• z3_tptp.4.8.14 on 4.10 had its build status changed: internal failure to passing
• z3_tptp.4.9.1 on 4.12 had its build status changed: internal failure to passing
• zarith_stubs_js.v0.16.1 on 4.14 is now installable. Current state is: passing
• zarith_stubs_js.v0.16.1 on 5.0 is now installable. Current state is: passing
• zarith_stubs_js.v0.16.1 on 5.1 is now installable. Current state is: passing
• zelus-gtk.2.1 on 5.0 had its build status changed: not available to passing
• zelus-gtk.2.1 on 5.1 had its build status changed: not available to passing
• zipc.0.1.0 on 4.14 is now installable. Current state is: passing
• zipc.0.1.0 on 5.0 is now installable. Current state is: passing
• zipc.0.1.0 on 5.1 is now installable. Current state is: passing
• zipperposition-tools.2.1 on 4.08 had its build status changed: internal failure to passing
• zlib.0.6 on 4.13 had its build status changed: internal failure to passing
• zmq-async.5.2.2 on 4.08 is now installable. Current state is: passing
• zmq-async.5.2.2 on 4.09 is now installable. Current state is: passing
• zmq-async.5.2.2 on 4.10 is now installable. Current state is: passing
• zmq-async.5.2.2 on 4.11 is now installable. Current state is: passing
• zmq-async.5.2.2 on 4.12 is now installable. Current state is: passing
• zmq-async.5.2.2 on 4.13 is now installable. Current state is: passing
• zmq-async.5.2.2 on 4.14 is now installable. Current state is: passing
• zmq-async.5.2.2 on 5.0 is now installable. Current state is: passing
• zmq-async.5.2.2 on 5.1 is now installable. Current state is: passing
• zmq-lwt.5.2.2 on 4.08 is now installable. Current state is: passing
• zmq-lwt.5.2.2 on 4.09 is now installable. Current state is: passing
• zmq-lwt.5.2.2 on 4.10 is now installable. Current state is: passing
• zmq-lwt.5.2.2 on 4.11 is now installable. Current state is: passing
• zmq-lwt.5.2.2 on 4.12 is now installable. Current state is: passing
• zmq-lwt.5.2.2 on 4.13 is now installable. Current state is: passing
• zmq-lwt.5.2.2 on 4.14 is now installable. Current state is: passing
• zmq-lwt.5.2.2 on 5.0 is now installable. Current state is: passing
• zmq-lwt.5.2.2 on 5.1 is now installable. Current state is: passing
• zmq.5.2.2 on 4.08 is now installable. Current state is: passing
• zmq.5.2.2 on 4.09 is now installable. Current state is: passing
• zmq.5.2.2 on 4.10 is now installable. Current state is: passing
• zmq.5.2.2 on 4.11 is now installable. Current state is: passing
• zmq.5.2.2 on 4.12 is now installable. Current state is: passing
• zmq.5.2.2 on 4.13 is now installable. Current state is: passing
• zmq.5.2.2 on 4.14 is now installable. Current state is: passing
• zmq.5.2.2 on 5.0 is now installable. Current state is: passing
• zmq.5.2.2 on 5.1 is now installable. Current state is: passing