Packages now failing:
Packages now partially failing:
Packages now not available:
Packages now failing with an internal failure:
Packages now passing:
- alt-ergo.2.0.0 on 4.09 had its build status changed: failing to passing
- alt-ergo.2.1.0 on 4.09 had its build status changed: failing to passing
- alt-ergo.2.1.0 on 4.14 had its build status changed: failing to passing
- alt-ergo.2.2.0 on 4.13 had its build status changed: failing to passing
- atacama.0.0.2 on 5.1 is now installable. Current state is: passing
- calli.0.1 on 4.13 is now installable. Current state is: passing
- calli.0.1 on 4.14 is now installable. Current state is: passing
- calli.0.1 on 5.0 is now installable. Current state is: passing
- calli.0.1 on 5.1 is now installable. Current state is: passing
- checkseum.0.0.2 on 4.11 had its build status changed: internal failure to passing
- cloudi.2.0.7 on 4.08 is now installable. Current state is: passing
- cloudi.2.0.7 on 4.09 is now installable. Current state is: passing
- cloudi.2.0.7 on 4.10 is now installable. Current state is: passing
- cloudi.2.0.7 on 4.11 is now installable. Current state is: passing
- cloudi.2.0.7 on 4.12 is now installable. Current state is: passing
- cloudi.2.0.7 on 4.13 is now installable. Current state is: passing
- cloudi.2.0.7 on 4.14 is now installable. Current state is: passing
- cloudi.2.0.7 on 5.0 is now installable. Current state is: passing
- cloudi.2.0.7 on 5.1 is now installable. Current state is: passing
- dream-html.1.2.0 on 4.08 is now installable. Current state is: passing
- dream-html.1.2.0 on 4.09 is now installable. Current state is: passing
- dream-html.1.2.0 on 4.10 is now installable. Current state is: passing
- dream-html.1.2.0 on 4.11 is now installable. Current state is: passing
- dream-html.1.2.0 on 4.12 is now installable. Current state is: passing
- dream-html.1.2.0 on 4.13 is now installable. Current state is: passing
- dream-html.1.2.0 on 4.14 is now installable. Current state is: passing
- dream-html.1.2.0 on 5.0 is now installable. Current state is: passing
- dream-html.1.2.0 on 5.1 is now installable. Current state is: passing
- dscheck.0.3.0 on 5.0 is now installable. Current state is: passing
- dscheck.0.3.0 on 5.1 is now installable. Current state is: passing
- encoding.0.0.1 on 5.1 is now installable. Current state is: passing
- errpy.0.0.10 on 4.08 is now installable. Current state is: passing
- errpy.0.0.10 on 4.09 is now installable. Current state is: passing
- errpy.0.0.10 on 4.10 is now installable. Current state is: passing
- errpy.0.0.10 on 4.11 is now installable. Current state is: passing
- errpy.0.0.10 on 4.12 is now installable. Current state is: passing
- errpy.0.0.10 on 4.13 is now installable. Current state is: passing
- errpy.0.0.10 on 4.14 is now installable. Current state is: passing
- errpy.0.0.10 on 5.0 is now installable. Current state is: passing
- errpy.0.0.10 on 5.1 is now installable. Current state is: passing
- frama-c-metacsl.0.5 on 4.11 is now installable. Current state is: passing
- frama-c-metacsl.0.5 on 4.12 is now installable. Current state is: passing
- frama-c-metacsl.0.5 on 4.13 is now installable. Current state is: passing
- frama-c-metacsl.0.5 on 4.14 is now installable. Current state is: passing
- frama-c-metacsl.0.5 on 5.0 is now installable. Current state is: passing
- frama-c-metacsl.0.5 on 5.1 is now installable. Current state is: passing
- functoria-runtime.4.4.1 on 4.08 is now installable. Current state is: passing
- functoria-runtime.4.4.1 on 4.09 is now installable. Current state is: passing
- functoria-runtime.4.4.1 on 4.10 is now installable. Current state is: passing
- functoria-runtime.4.4.1 on 4.11 is now installable. Current state is: passing
- functoria-runtime.4.4.1 on 4.12 is now installable. Current state is: passing
- functoria-runtime.4.4.1 on 4.13 is now installable. Current state is: passing
- functoria-runtime.4.4.1 on 4.14 is now installable. Current state is: passing
- functoria-runtime.4.4.1 on 5.0 is now installable. Current state is: passing
- functoria-runtime.4.4.1 on 5.1 is now installable. Current state is: passing
- functoria.4.4.1 on 4.08 is now installable. Current state is: passing
- functoria.4.4.1 on 4.09 is now installable. Current state is: passing
- functoria.4.4.1 on 4.10 is now installable. Current state is: passing
- functoria.4.4.1 on 4.11 is now installable. Current state is: passing
- functoria.4.4.1 on 4.12 is now installable. Current state is: passing
- functoria.4.4.1 on 4.13 is now installable. Current state is: passing
- functoria.4.4.1 on 4.14 is now installable. Current state is: passing
- functoria.4.4.1 on 5.0 is now installable. Current state is: passing
- functoria.4.4.1 on 5.1 is now installable. Current state is: passing
- gapi-ocaml.0.4.5 on 4.08 is now installable. Current state is: passing
- gapi-ocaml.0.4.5 on 4.09 is now installable. Current state is: passing
- gapi-ocaml.0.4.5 on 4.10 is now installable. Current state is: passing
- gapi-ocaml.0.4.5 on 4.11 is now installable. Current state is: passing
- gapi-ocaml.0.4.5 on 4.12 is now installable. Current state is: passing
- gapi-ocaml.0.4.5 on 4.13 is now installable. Current state is: passing
- gapi-ocaml.0.4.5 on 4.14 is now installable. Current state is: passing
- gapi-ocaml.0.4.5 on 5.0 is now installable. Current state is: passing
- gapi-ocaml.0.4.5 on 5.1 is now installable. Current state is: passing
- goblint-cil.2.0.3 on 4.08 is now installable. Current state is: passing
- goblint-cil.2.0.3 on 4.09 is now installable. Current state is: passing
- goblint-cil.2.0.3 on 4.10 is now installable. Current state is: passing
- goblint-cil.2.0.3 on 4.11 is now installable. Current state is: passing
- goblint-cil.2.0.3 on 4.12 is now installable. Current state is: passing
- goblint-cil.2.0.3 on 4.13 is now installable. Current state is: passing
- goblint-cil.2.0.3 on 4.14 is now installable. Current state is: passing
- goblint-cil.2.0.3 on 5.0 is now installable. Current state is: passing
- goblint-cil.2.0.3 on 5.1 is now installable. Current state is: passing
- google-drive-ocamlfuse.0.7.22 on 4.08 had its build status changed: partially failing to passing
- google-drive-ocamlfuse.0.7.22 on 4.09 had its build status changed: partially failing to passing
- google-drive-ocamlfuse.0.7.22 on 4.10 had its build status changed: partially failing to passing
- google-drive-ocamlfuse.0.7.22 on 4.11 had its build status changed: partially failing to passing
- google-drive-ocamlfuse.0.7.22 on 4.12 had its build status changed: partially failing to passing
- google-drive-ocamlfuse.0.7.22 on 4.13 had its build status changed: partially failing to passing
- google-drive-ocamlfuse.0.7.22 on 4.14 had its build status changed: partially failing to passing
- google-drive-ocamlfuse.0.7.23 on 4.08 had its build status changed: partially failing to passing
- google-drive-ocamlfuse.0.7.23 on 4.09 had its build status changed: partially failing to passing
- google-drive-ocamlfuse.0.7.23 on 4.10 had its build status changed: partially failing to passing
- google-drive-ocamlfuse.0.7.23 on 4.11 had its build status changed: partially failing to passing
- google-drive-ocamlfuse.0.7.23 on 4.12 had its build status changed: partially failing to passing
- google-drive-ocamlfuse.0.7.23 on 4.13 had its build status changed: partially failing to passing
- google-drive-ocamlfuse.0.7.23 on 4.14 had its build status changed: partially failing to passing
- google-drive-ocamlfuse.0.7.24 on 4.08 had its build status changed: partially failing to passing
- google-drive-ocamlfuse.0.7.24 on 4.09 had its build status changed: partially failing to passing
- google-drive-ocamlfuse.0.7.24 on 4.10 had its build status changed: partially failing to passing
- google-drive-ocamlfuse.0.7.24 on 4.11 had its build status changed: partially failing to passing
- google-drive-ocamlfuse.0.7.24 on 4.12 had its build status changed: partially failing to passing
- google-drive-ocamlfuse.0.7.24 on 4.13 had its build status changed: partially failing to passing
- google-drive-ocamlfuse.0.7.24 on 4.14 had its build status changed: partially failing to passing
- google-drive-ocamlfuse.0.7.31 on 4.08 is now installable. Current state is: passing
- google-drive-ocamlfuse.0.7.31 on 4.09 is now installable. Current state is: passing
- google-drive-ocamlfuse.0.7.31 on 4.10 is now installable. Current state is: passing
- google-drive-ocamlfuse.0.7.31 on 4.11 is now installable. Current state is: passing
- google-drive-ocamlfuse.0.7.31 on 4.12 is now installable. Current state is: passing
- google-drive-ocamlfuse.0.7.31 on 4.13 is now installable. Current state is: passing
- google-drive-ocamlfuse.0.7.31 on 4.14 is now installable. Current state is: passing
- google-drive-ocamlfuse.0.7.31 on 5.0 is now installable. Current state is: passing
- google-drive-ocamlfuse.0.7.31 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.1.1 on 4.08 had its build status changed: failing to passing
- hacl-star-raw.0.2.0 on 4.11 had its build status changed: failing to passing
- hacl-star-raw.0.2.1 on 4.09 had its build status changed: failing to passing
- hacl-star-raw.0.2.1 on 4.10 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.08 had its build status changed: failing to passing
- hacl-star-raw.0.2.2 on 4.12 had its build status changed: failing to passing
- hacl-star.0.1 on 4.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.1.1 on 4.13 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.10 had its build status changed: partially failing to passing
- hacl-star.0.2.0 on 4.14 had its build status changed: partially failing to passing
- hacl-star.0.2.1 on 4.14 had its build status changed: partially failing to passing
- hacl-star.0.2.2 on 4.11 had its build status changed: partially failing to passing
- hilite.0.4.0 on 4.14 is now installable. Current state is: passing
- hilite.0.4.0 on 5.0 is now installable. Current state is: passing
- hilite.0.4.0 on 5.1 is now installable. Current state is: passing
- hol2dk.0.0.1 on 4.13 is now installable. Current state is: passing
- hol2dk.0.0.1 on 4.14 is now installable. Current state is: passing
- hol2dk.0.0.1 on 5.0 is now installable. Current state is: passing
- hol2dk.0.0.1 on 5.1 is now installable. Current state is: passing
- inotify.2.5 on 4.08 is now installable. Current state is: passing
- inotify.2.5 on 4.09 is now installable. Current state is: passing
- inotify.2.5 on 4.10 is now installable. Current state is: passing
- inotify.2.5 on 4.11 is now installable. Current state is: passing
- inotify.2.5 on 4.12 is now installable. Current state is: passing
- inotify.2.5 on 4.13 is now installable. Current state is: passing
- inotify.2.5 on 4.14 is now installable. Current state is: passing
- inotify.2.5 on 5.0 is now installable. Current state is: passing
- inotify.2.5 on 5.1 is now installable. Current state is: passing
- iter.1.8 on 4.08 is now installable. Current state is: passing
- iter.1.8 on 4.09 is now installable. Current state is: passing
- iter.1.8 on 4.10 is now installable. Current state is: passing
- iter.1.8 on 4.11 is now installable. Current state is: passing
- iter.1.8 on 4.12 is now installable. Current state is: passing
- iter.1.8 on 4.13 is now installable. Current state is: passing
- iter.1.8 on 4.14 is now installable. Current state is: passing
- iter.1.8 on 5.0 is now installable. Current state is: passing
- iter.1.8 on 5.1 is now installable. Current state is: passing
- lambdapi.2.0.0 on 4.12 had its build status changed: partially failing to passing
- lambdapi.2.4.1 on 4.08 is now installable. Current state is: passing
- lambdapi.2.4.1 on 4.09 is now installable. Current state is: passing
- lambdapi.2.4.1 on 4.10 is now installable. Current state is: passing
- lambdapi.2.4.1 on 4.11 is now installable. Current state is: passing
- lambdapi.2.4.1 on 4.12 is now installable. Current state is: passing
- lambdapi.2.4.1 on 4.13 is now installable. Current state is: passing
- lambdapi.2.4.1 on 4.14 is now installable. Current state is: passing
- lambdapi.2.4.1 on 5.0 is now installable. Current state is: passing
- lambdapi.2.4.1 on 5.1 is now installable. Current state is: passing
- links-postgresql.0.9.8 on 4.14 is now installable. Current state is: passing
- links-postgresql.0.9.8 on 5.0 is now installable. Current state is: passing
- links-postgresql.0.9.8 on 5.1 is now installable. Current state is: passing
- links-sqlite3.0.9.8 on 4.14 is now installable. Current state is: passing
- links-sqlite3.0.9.8 on 5.0 is now installable. Current state is: passing
- links-sqlite3.0.9.8 on 5.1 is now installable. Current state is: passing
- links.0.9.8 on 4.14 is now installable. Current state is: passing
- links.0.9.8 on 5.0 is now installable. Current state is: passing
- links.0.9.8 on 5.1 is now installable. Current state is: passing
- mirage-runtime.4.4.1 on 4.08 is now installable. Current state is: passing
- mirage-runtime.4.4.1 on 4.09 is now installable. Current state is: passing
- mirage-runtime.4.4.1 on 4.10 is now installable. Current state is: passing
- mirage-runtime.4.4.1 on 4.11 is now installable. Current state is: passing
- mirage-runtime.4.4.1 on 4.12 is now installable. Current state is: passing
- mirage-runtime.4.4.1 on 4.13 is now installable. Current state is: passing
- mirage-runtime.4.4.1 on 4.14 is now installable. Current state is: passing
- mirage-runtime.4.4.1 on 5.0 is now installable. Current state is: passing
- mirage-runtime.4.4.1 on 5.1 is now installable. Current state is: passing
- mirage.4.4.1 on 4.10 is now installable. Current state is: passing
- mirage.4.4.1 on 4.11 is now installable. Current state is: passing
- mirage.4.4.1 on 4.12 is now installable. Current state is: passing
- mirage.4.4.1 on 4.13 is now installable. Current state is: passing
- mirage.4.4.1 on 4.14 is now installable. Current state is: passing
- mirage.4.4.1 on 5.0 is now installable. Current state is: passing
- mirage.4.4.1 on 5.1 is now installable. Current state is: passing
- octez-node-config.17.3 on 4.14 had its build status changed: partially failing to passing
- octez-node.17.3 on 4.14 had its build status changed: partially failing to passing
- octez-proxy-server.17.3 on 4.14 had its build status changed: partially failing to passing
- octez-signer.17.3 on 4.14 had its build status changed: partially failing to passing
- octez-smart-rollup-node-PtMumbai.17.3 on 4.14 had its build status changed: partially failing to passing
- octez-smart-rollup-node-PtNairob.17.3 on 4.14 had its build status changed: partially failing to passing
- octez-smart-rollup-node.17.3 on 4.14 had its build status changed: partially failing to passing
- octez.17.3 on 4.14 had its build status changed: partially failing to passing
- opam-client.2.2.0~alpha3 on 4.08 is now installable. Current state is: passing
- opam-client.2.2.0~alpha3 on 4.09 is now installable. Current state is: passing
- opam-client.2.2.0~alpha3 on 4.10 is now installable. Current state is: passing
- opam-client.2.2.0~alpha3 on 4.11 is now installable. Current state is: passing
- opam-client.2.2.0~alpha3 on 4.12 is now installable. Current state is: passing
- opam-client.2.2.0~alpha3 on 4.13 is now installable. Current state is: passing
- opam-client.2.2.0~alpha3 on 4.14 is now installable. Current state is: passing
- opam-client.2.2.0~alpha3 on 5.0 is now installable. Current state is: passing
- opam-client.2.2.0~alpha3 on 5.1 is now installable. Current state is: passing
- opam-core.2.2.0~alpha3 on 4.08 is now installable. Current state is: passing
- opam-core.2.2.0~alpha3 on 4.09 is now installable. Current state is: passing
- opam-core.2.2.0~alpha3 on 4.10 is now installable. Current state is: passing
- opam-core.2.2.0~alpha3 on 4.11 is now installable. Current state is: passing
- opam-core.2.2.0~alpha3 on 4.12 is now installable. Current state is: passing
- opam-core.2.2.0~alpha3 on 4.13 is now installable. Current state is: passing
- opam-core.2.2.0~alpha3 on 4.14 is now installable. Current state is: passing
- opam-core.2.2.0~alpha3 on 5.0 is now installable. Current state is: passing
- opam-core.2.2.0~alpha3 on 5.1 is now installable. Current state is: passing
- opam-devel.2.2.0~alpha3 on 4.08 is now installable. Current state is: passing
- opam-devel.2.2.0~alpha3 on 4.09 is now installable. Current state is: passing
- opam-devel.2.2.0~alpha3 on 4.10 is now installable. Current state is: passing
- opam-devel.2.2.0~alpha3 on 4.11 is now installable. Current state is: passing
- opam-devel.2.2.0~alpha3 on 4.12 is now installable. Current state is: passing
- opam-devel.2.2.0~alpha3 on 4.13 is now installable. Current state is: passing
- opam-devel.2.2.0~alpha3 on 4.14 is now installable. Current state is: passing
- opam-devel.2.2.0~alpha3 on 5.0 is now installable. Current state is: passing
- opam-devel.2.2.0~alpha3 on 5.1 is now installable. Current state is: passing
- opam-format.2.2.0~alpha3 on 4.08 is now installable. Current state is: passing
- opam-format.2.2.0~alpha3 on 4.09 is now installable. Current state is: passing
- opam-format.2.2.0~alpha3 on 4.10 is now installable. Current state is: passing
- opam-format.2.2.0~alpha3 on 4.11 is now installable. Current state is: passing
- opam-format.2.2.0~alpha3 on 4.12 is now installable. Current state is: passing
- opam-format.2.2.0~alpha3 on 4.13 is now installable. Current state is: passing
- opam-format.2.2.0~alpha3 on 4.14 is now installable. Current state is: passing
- opam-format.2.2.0~alpha3 on 5.0 is now installable. Current state is: passing
- opam-format.2.2.0~alpha3 on 5.1 is now installable. Current state is: passing
- opam-graph.0.1.1 on 4.13 had its build status changed: internal failure to passing
- opam-graph.0.1.1 on 4.14 had its build status changed: internal failure to passing
- opam-installer.2.2.0~alpha3 on 4.08 is now installable. Current state is: passing
- opam-installer.2.2.0~alpha3 on 4.09 is now installable. Current state is: passing
- opam-installer.2.2.0~alpha3 on 4.10 is now installable. Current state is: passing
- opam-installer.2.2.0~alpha3 on 4.11 is now installable. Current state is: passing
- opam-installer.2.2.0~alpha3 on 4.12 is now installable. Current state is: passing
- opam-installer.2.2.0~alpha3 on 4.13 is now installable. Current state is: passing
- opam-installer.2.2.0~alpha3 on 4.14 is now installable. Current state is: passing
- opam-installer.2.2.0~alpha3 on 5.0 is now installable. Current state is: passing
- opam-installer.2.2.0~alpha3 on 5.1 is now installable. Current state is: passing
- opam-repository.2.2.0~alpha3 on 4.08 is now installable. Current state is: passing
- opam-repository.2.2.0~alpha3 on 4.09 is now installable. Current state is: passing
- opam-repository.2.2.0~alpha3 on 4.10 is now installable. Current state is: passing
- opam-repository.2.2.0~alpha3 on 4.11 is now installable. Current state is: passing
- opam-repository.2.2.0~alpha3 on 4.12 is now installable. Current state is: passing
- opam-repository.2.2.0~alpha3 on 4.13 is now installable. Current state is: passing
- opam-repository.2.2.0~alpha3 on 4.14 is now installable. Current state is: passing
- opam-repository.2.2.0~alpha3 on 5.0 is now installable. Current state is: passing
- opam-repository.2.2.0~alpha3 on 5.1 is now installable. Current state is: passing
- opam-solver.2.2.0~alpha3 on 4.08 is now installable. Current state is: passing
- opam-solver.2.2.0~alpha3 on 4.09 is now installable. Current state is: passing
- opam-solver.2.2.0~alpha3 on 4.10 is now installable. Current state is: passing
- opam-solver.2.2.0~alpha3 on 4.11 is now installable. Current state is: passing
- opam-solver.2.2.0~alpha3 on 4.12 is now installable. Current state is: passing
- opam-solver.2.2.0~alpha3 on 4.13 is now installable. Current state is: passing
- opam-solver.2.2.0~alpha3 on 4.14 is now installable. Current state is: passing
- opam-solver.2.2.0~alpha3 on 5.0 is now installable. Current state is: passing
- opam-solver.2.2.0~alpha3 on 5.1 is now installable. Current state is: passing
- opam-state.2.2.0~alpha3 on 4.08 is now installable. Current state is: passing
- opam-state.2.2.0~alpha3 on 4.09 is now installable. Current state is: passing
- opam-state.2.2.0~alpha3 on 4.10 is now installable. Current state is: passing
- opam-state.2.2.0~alpha3 on 4.11 is now installable. Current state is: passing
- opam-state.2.2.0~alpha3 on 4.12 is now installable. Current state is: passing
- opam-state.2.2.0~alpha3 on 4.13 is now installable. Current state is: passing
- opam-state.2.2.0~alpha3 on 4.14 is now installable. Current state is: passing
- opam-state.2.2.0~alpha3 on 5.0 is now installable. Current state is: passing
- opam-state.2.2.0~alpha3 on 5.1 is now installable. Current state is: passing
- pandoc-abbreviations.0.2.0 on 4.08 is now installable. Current state is: passing
- pandoc-abbreviations.0.2.0 on 4.09 is now installable. Current state is: passing
- pandoc-abbreviations.0.2.0 on 4.10 is now installable. Current state is: passing
- pandoc-abbreviations.0.2.0 on 4.11 is now installable. Current state is: passing
- pandoc-abbreviations.0.2.0 on 4.12 is now installable. Current state is: passing
- pandoc-abbreviations.0.2.0 on 4.13 is now installable. Current state is: passing
- pandoc-abbreviations.0.2.0 on 4.14 is now installable. Current state is: passing
- pandoc-abbreviations.0.2.0 on 5.0 is now installable. Current state is: passing
- pandoc-abbreviations.0.2.0 on 5.1 is now installable. Current state is: passing
- pandoc-comment.0.2.0 on 4.08 is now installable. Current state is: passing
- pandoc-comment.0.2.0 on 4.09 is now installable. Current state is: passing
- pandoc-comment.0.2.0 on 4.10 is now installable. Current state is: passing
- pandoc-comment.0.2.0 on 4.11 is now installable. Current state is: passing
- pandoc-comment.0.2.0 on 4.12 is now installable. Current state is: passing
- pandoc-comment.0.2.0 on 4.13 is now installable. Current state is: passing
- pandoc-comment.0.2.0 on 4.14 is now installable. Current state is: passing
- pandoc-comment.0.2.0 on 5.0 is now installable. Current state is: passing
- pandoc-comment.0.2.0 on 5.1 is now installable. Current state is: passing
- pandoc-crossref.0.2.0 on 4.08 is now installable. Current state is: passing
- pandoc-crossref.0.2.0 on 4.09 is now installable. Current state is: passing
- pandoc-crossref.0.2.0 on 4.10 is now installable. Current state is: passing
- pandoc-crossref.0.2.0 on 4.11 is now installable. Current state is: passing
- pandoc-crossref.0.2.0 on 4.12 is now installable. Current state is: passing
- pandoc-crossref.0.2.0 on 4.13 is now installable. Current state is: passing
- pandoc-crossref.0.2.0 on 4.14 is now installable. Current state is: passing
- pandoc-crossref.0.2.0 on 5.0 is now installable. Current state is: passing
- pandoc-crossref.0.2.0 on 5.1 is now installable. Current state is: passing
- pandoc-include.0.2.0 on 4.08 is now installable. Current state is: passing
- pandoc-include.0.2.0 on 4.09 is now installable. Current state is: passing
- pandoc-include.0.2.0 on 4.10 is now installable. Current state is: passing
- pandoc-include.0.2.0 on 4.11 is now installable. Current state is: passing
- pandoc-include.0.2.0 on 4.12 is now installable. Current state is: passing
- pandoc-include.0.2.0 on 4.13 is now installable. Current state is: passing
- pandoc-include.0.2.0 on 4.14 is now installable. Current state is: passing
- pandoc-include.0.2.0 on 5.0 is now installable. Current state is: passing
- pandoc-include.0.2.0 on 5.1 is now installable. Current state is: passing
- pandoc-inspect.0.2.0 on 4.08 is now installable. Current state is: passing
- pandoc-inspect.0.2.0 on 4.09 is now installable. Current state is: passing
- pandoc-inspect.0.2.0 on 4.10 is now installable. Current state is: passing
- pandoc-inspect.0.2.0 on 4.11 is now installable. Current state is: passing
- pandoc-inspect.0.2.0 on 4.12 is now installable. Current state is: passing
- pandoc-inspect.0.2.0 on 4.13 is now installable. Current state is: passing
- pandoc-inspect.0.2.0 on 4.14 is now installable. Current state is: passing
- pandoc-inspect.0.2.0 on 5.0 is now installable. Current state is: passing
- pandoc-inspect.0.2.0 on 5.1 is now installable. Current state is: passing
- pandoc-pdf2png.0.2.0 on 4.08 is now installable. Current state is: passing
- pandoc-pdf2png.0.2.0 on 4.09 is now installable. Current state is: passing
- pandoc-pdf2png.0.2.0 on 4.10 is now installable. Current state is: passing
- pandoc-pdf2png.0.2.0 on 4.11 is now installable. Current state is: passing
- pandoc-pdf2png.0.2.0 on 4.12 is now installable. Current state is: passing
- pandoc-pdf2png.0.2.0 on 4.13 is now installable. Current state is: passing
- pandoc-pdf2png.0.2.0 on 4.14 is now installable. Current state is: passing
- pandoc-pdf2png.0.2.0 on 5.0 is now installable. Current state is: passing
- pandoc-pdf2png.0.2.0 on 5.1 is now installable. Current state is: passing
- pandoc-replace.0.2.0 on 4.08 is now installable. Current state is: passing
- pandoc-replace.0.2.0 on 4.09 is now installable. Current state is: passing
- pandoc-replace.0.2.0 on 4.10 is now installable. Current state is: passing
- pandoc-replace.0.2.0 on 4.11 is now installable. Current state is: passing
- pandoc-replace.0.2.0 on 4.12 is now installable. Current state is: passing
- pandoc-replace.0.2.0 on 4.13 is now installable. Current state is: passing
- pandoc-replace.0.2.0 on 4.14 is now installable. Current state is: passing
- pandoc-replace.0.2.0 on 5.0 is now installable. Current state is: passing
- pandoc-replace.0.2.0 on 5.1 is now installable. Current state is: passing
- pandoc.0.2.0 on 4.08 is now installable. Current state is: passing
- pandoc.0.2.0 on 4.09 is now installable. Current state is: passing
- pandoc.0.2.0 on 4.10 is now installable. Current state is: passing
- pandoc.0.2.0 on 4.11 is now installable. Current state is: passing
- pandoc.0.2.0 on 4.12 is now installable. Current state is: passing
- pandoc.0.2.0 on 4.13 is now installable. Current state is: passing
- pandoc.0.2.0 on 4.14 is now installable. Current state is: passing
- pandoc.0.2.0 on 5.0 is now installable. Current state is: passing
- pandoc.0.2.0 on 5.1 is now installable. Current state is: passing
- profiler-plugin.1.01 on 4.10 had its build status changed: failing to passing
- profiler-plugin.1.30 on 4.13 had its build status changed: partially failing to passing
- profiler-plugin.1.30 on 4.14 had its build status changed: partially failing to passing
- riot.0.0.3 on 5.1 is now installable. Current state is: passing
- satML-plugin.0.99.1 on 4.10 had its build status changed: partially failing to passing
- satML-plugin.1.30 on 4.08 had its build status changed: partially failing to passing
- soupault.4.6.0 on 4.13 had its build status changed: internal failure to passing
- soupault.4.6.0 on 5.1 had its build status changed: internal failure to passing
- tezos-rpc-http-server.17.3 on 4.14 had its build status changed: failing to passing
- tls-async.0.17.3 on 4.14 is now installable. Current state is: passing
- tls-async.0.17.3 on 5.0 is now installable. Current state is: passing
- tls-async.0.17.3 on 5.1 is now installable. Current state is: passing
- tls-eio.0.17.3 on 5.0 is now installable. Current state is: passing
- tls-eio.0.17.3 on 5.1 is now installable. Current state is: passing
- tls-lwt.0.17.3 on 4.08 is now installable. Current state is: passing
- tls-lwt.0.17.3 on 4.09 is now installable. Current state is: passing
- tls-lwt.0.17.3 on 4.10 is now installable. Current state is: passing
- tls-lwt.0.17.3 on 4.11 is now installable. Current state is: passing
- tls-lwt.0.17.3 on 4.12 is now installable. Current state is: passing
- tls-lwt.0.17.3 on 4.13 is now installable. Current state is: passing
- tls-lwt.0.17.3 on 4.14 is now installable. Current state is: passing
- tls-lwt.0.17.3 on 5.0 is now installable. Current state is: passing
- tls-lwt.0.17.3 on 5.1 is now installable. Current state is: passing
- tls-mirage.0.17.3 on 4.08 is now installable. Current state is: passing
- tls-mirage.0.17.3 on 4.09 is now installable. Current state is: passing
- tls-mirage.0.17.3 on 4.10 is now installable. Current state is: passing
- tls-mirage.0.17.3 on 4.11 is now installable. Current state is: passing
- tls-mirage.0.17.3 on 4.12 is now installable. Current state is: passing
- tls-mirage.0.17.3 on 4.13 is now installable. Current state is: passing
- tls-mirage.0.17.3 on 4.14 is now installable. Current state is: passing
- tls-mirage.0.17.3 on 5.0 is now installable. Current state is: passing
- tls-mirage.0.17.3 on 5.1 is now installable. Current state is: passing
- tls.0.17.3 on 4.08 is now installable. Current state is: passing
- tls.0.17.3 on 4.09 is now installable. Current state is: passing
- tls.0.17.3 on 4.10 is now installable. Current state is: passing
- tls.0.17.3 on 4.11 is now installable. Current state is: passing
- tls.0.17.3 on 4.12 is now installable. Current state is: passing
- tls.0.17.3 on 4.13 is now installable. Current state is: passing
- tls.0.17.3 on 4.14 is now installable. Current state is: passing
- tls.0.17.3 on 5.0 is now installable. Current state is: passing
- tls.0.17.3 on 5.1 is now installable. Current state is: passing
- tuareg.2.0.10 on 4.10 had its build status changed: failing to passing
- tuareg.2.0.10 on 4.11 had its build status changed: failing to passing
- tuareg.2.1.0 on 4.11 had its build status changed: failing to passing
- tuareg.2.2.0 on 4.11 had its build status changed: failing to passing
- why3-coq.1.0.0 on 4.08 had its build status changed: partially failing to passing
- why3-coq.1.2.0 on 4.08 had its build status changed: partially failing to passing
- why3-coq.1.3.2 on 4.10 had its build status changed: partially failing to passing
- why3-coq.1.3.2 on 4.11 had its build status changed: partially failing to passing
- xapi-rrd.1.11.0 on 4.14 is now installable. Current state is: passing
- xapi-rrd.1.11.0 on 5.0 is now installable. Current state is: passing
- xapi-rrd.1.11.0 on 5.1 is now installable. Current state is: passing
- yocaml.1.0.0 on 4.11 is now installable. Current state is: passing
- yocaml.1.0.0 on 4.12 is now installable. Current state is: passing
- yocaml.1.0.0 on 4.13 is now installable. Current state is: passing
- yocaml.1.0.0 on 4.14 is now installable. Current state is: passing
- yocaml.1.0.0 on 5.0 is now installable. Current state is: passing
- yocaml.1.0.0 on 5.1 is now installable. Current state is: passing
- yocaml_cmark.1.0.0 on 4.14 is now installable. Current state is: passing
- yocaml_cmark.1.0.0 on 5.0 is now installable. Current state is: passing
- yocaml_cmark.1.0.0 on 5.1 is now installable. Current state is: passing
- yocaml_git.1.0.0 on 4.11 is now installable. Current state is: passing
- yocaml_git.1.0.0 on 4.12 is now installable. Current state is: passing
- yocaml_git.1.0.0 on 4.13 is now installable. Current state is: passing
- yocaml_git.1.0.0 on 4.14 is now installable. Current state is: passing
- yocaml_git.1.0.0 on 5.0 is now installable. Current state is: passing
- yocaml_git.1.0.0 on 5.1 is now installable. Current state is: passing
- yocaml_jingoo.1.0.0 on 4.11 is now installable. Current state is: passing
- yocaml_jingoo.1.0.0 on 4.12 is now installable. Current state is: passing
- yocaml_jingoo.1.0.0 on 4.13 is now installable. Current state is: passing
- yocaml_jingoo.1.0.0 on 4.14 is now installable. Current state is: passing
- yocaml_jingoo.1.0.0 on 5.0 is now installable. Current state is: passing
- yocaml_jingoo.1.0.0 on 5.1 is now installable. Current state is: passing
- yocaml_markdown.1.0.0 on 4.11 is now installable. Current state is: passing
- yocaml_markdown.1.0.0 on 4.12 is now installable. Current state is: passing
- yocaml_markdown.1.0.0 on 4.13 is now installable. Current state is: passing
- yocaml_markdown.1.0.0 on 4.14 is now installable. Current state is: passing
- yocaml_markdown.1.0.0 on 5.0 is now installable. Current state is: passing
- yocaml_markdown.1.0.0 on 5.1 is now installable. Current state is: passing
- yocaml_mustache.1.0.0 on 4.11 is now installable. Current state is: passing
- yocaml_mustache.1.0.0 on 4.12 is now installable. Current state is: passing
- yocaml_mustache.1.0.0 on 4.13 is now installable. Current state is: passing
- yocaml_mustache.1.0.0 on 4.14 is now installable. Current state is: passing
- yocaml_mustache.1.0.0 on 5.0 is now installable. Current state is: passing
- yocaml_mustache.1.0.0 on 5.1 is now installable. Current state is: passing
- yocaml_syndication.1.0.0 on 4.11 is now installable. Current state is: passing
- yocaml_syndication.1.0.0 on 4.12 is now installable. Current state is: passing
- yocaml_syndication.1.0.0 on 4.13 is now installable. Current state is: passing
- yocaml_syndication.1.0.0 on 4.14 is now installable. Current state is: passing
- yocaml_syndication.1.0.0 on 5.0 is now installable. Current state is: passing
- yocaml_syndication.1.0.0 on 5.1 is now installable. Current state is: passing
- yocaml_unix.1.0.0 on 4.11 is now installable. Current state is: passing
- yocaml_unix.1.0.0 on 4.12 is now installable. Current state is: passing
- yocaml_unix.1.0.0 on 4.13 is now installable. Current state is: passing
- yocaml_unix.1.0.0 on 4.14 is now installable. Current state is: passing
- yocaml_unix.1.0.0 on 5.0 is now installable. Current state is: passing
- yocaml_unix.1.0.0 on 5.1 is now installable. Current state is: passing
- yocaml_yaml.1.0.0 on 4.11 is now installable. Current state is: passing
- yocaml_yaml.1.0.0 on 4.12 is now installable. Current state is: passing
- yocaml_yaml.1.0.0 on 4.13 is now installable. Current state is: passing
- yocaml_yaml.1.0.0 on 4.14 is now installable. Current state is: passing
- yocaml_yaml.1.0.0 on 5.0 is now installable. Current state is: passing
- yocaml_yaml.1.0.0 on 5.1 is now installable. Current state is: passing
- z3.4.10.2 on 4.11 had its build status changed: internal failure to passing
- z3.4.10.2 on 4.12 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.12.2-1 on 4.10 had its build status changed: internal failure to passing
- z3.4.12.2-1 on 4.12 had its build status changed: internal failure to passing
- z3.4.8.14 on 4.09 had its build status changed: internal failure to passing
- z3.4.8.14 on 4.11 had its build status changed: internal failure to passing
- z3.4.8.5-1 on 4.14 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.11 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.10 had its build status changed: internal failure to passing
- z3_tptp.4.11.2 on 5.1 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.9.1 on 4.11 had its build status changed: internal failure to passing
- z3_tptp.4.9.1 on 4.13 had its build status changed: internal failure to passing
- zelus-gtk.2.1 on 4.10 had its build status changed: internal failure to passing
- zipperposition.1.6 on 4.09 had its build status changed: internal failure to passing
- zipperposition.2.1 on 4.10 had its build status changed: internal failure to passing
- zlib.0.6 on 5.1 had its build status changed: internal failure to passing
- zlist.0.4.0 on 4.10 had its build status changed: internal failure to passing
- zmq-async.5.0.0 on 4.08 had its build status changed: internal failure to passing
- zmq-async.5.1.0 on 4.13 had its build status changed: internal failure to passing
- zmq-async.5.1.2 on 4.09 had its build status changed: internal failure to passing
- zmq-async.5.1.3 on 4.13 had its build status changed: internal failure to passing
- zmq-async.5.1.5 on 4.11 had its build status changed: internal failure to passing