Packages now failing:
- alt-ergo-free.2.0.0 on 4.08 had its build status changed: passing to failing
- alt-ergo-free.2.0.0 on 4.10 had its build status changed: passing to failing
- alt-ergo-free.2.0.0 on 4.14 had its build status changed: passing to failing
- alt-ergo.0.95.2 on 4.09 had its build status changed: passing to failing
- alt-ergo.0.95.2 on 4.12 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.10 had its build status changed: passing to failing
- alt-ergo.2.1.0 on 4.14 had its build status changed: passing to failing
- binaryen.0.1.0 on 4.08 had its build status changed: passing to failing
- binaryen.0.1.0 on 4.09 had its build status changed: passing to failing
- binaryen.0.1.0 on 4.10 had its build status changed: passing to failing
- binaryen.0.1.0 on 4.11 had its build status changed: passing to failing
- binaryen.0.1.0 on 4.12 had its build status changed: passing to failing
- binaryen.0.1.0 on 4.14 had its build status changed: passing to failing
- binaryen.0.1.0 on 5.0 had its build status changed: passing to failing
- binaryen.0.1.0 on 5.1 had its build status changed: passing to failing
- binaryen.0.2.1 on 4.08 had its build status changed: passing to failing
- binaryen.0.2.1 on 4.09 had its build status changed: passing to failing
- binaryen.0.2.1 on 4.10 had its build status changed: passing to failing
- binaryen.0.2.1 on 4.11 had its build status changed: passing to failing
- binaryen.0.2.1 on 4.12 had its build status changed: passing to failing
- binaryen.0.2.1 on 4.14 had its build status changed: passing to failing
- binaryen.0.2.1 on 5.0 had its build status changed: passing to failing
- binaryen.0.2.1 on 5.1 had its build status changed: passing to failing
- binaryen.0.2.2 on 4.08 had its build status changed: passing to failing
- binaryen.0.2.2 on 4.09 had its build status changed: passing to failing
- binaryen.0.2.2 on 4.10 had its build status changed: passing to failing
- binaryen.0.2.2 on 4.11 had its build status changed: passing to failing
- binaryen.0.2.2 on 4.12 had its build status changed: passing to failing
- binaryen.0.2.2 on 4.14 had its build status changed: passing to failing
- binaryen.0.2.2 on 5.0 had its build status changed: passing to failing
- binaryen.0.2.2 on 5.1 had its build status changed: passing to failing
- binaryen.0.2.3 on 4.08 had its build status changed: passing to failing
- binaryen.0.2.3 on 4.09 had its build status changed: passing to failing
- binaryen.0.2.3 on 4.10 had its build status changed: passing to failing
- binaryen.0.2.3 on 4.11 had its build status changed: passing to failing
- binaryen.0.2.3 on 4.12 had its build status changed: passing to failing
- binaryen.0.2.3 on 4.14 had its build status changed: passing to failing
- binaryen.0.2.3 on 5.0 had its build status changed: passing to failing
- binaryen.0.2.3 on 5.1 had its build status changed: passing to failing
- binaryen.0.3.0 on 4.08 had its build status changed: passing to failing
- binaryen.0.3.0 on 4.09 had its build status changed: passing to failing
- binaryen.0.3.0 on 4.10 had its build status changed: passing to failing
- binaryen.0.3.0 on 4.11 had its build status changed: passing to failing
- bitwuzla-bin.1.0.0 on 4.08 had its build status changed: passing to failing
- bitwuzla-bin.1.0.0 on 4.09 had its build status changed: passing to failing
- bitwuzla-bin.1.0.0 on 4.10 had its build status changed: passing to failing
- bitwuzla-bin.1.0.0 on 4.11 had its build status changed: passing to failing
- bitwuzla-bin.1.0.0 on 4.12 had its build status changed: passing to failing
- bitwuzla-bin.1.0.0 on 4.14 had its build status changed: passing to failing
- bitwuzla-bin.1.0.0 on 5.0 had its build status changed: passing to failing
- bitwuzla-bin.1.0.0 on 5.1 had its build status changed: passing to failing
- calculon.0.3 on 4.11 had its build status changed: internal failure to failing
- cgi.0.10 on 4.14 had its build status changed: passing to failing
- config-file.1.1 on 4.09 had its build status changed: passing to failing
- coq-stdlib.8.17.1 on 4.11 is now installable. Current state is: failing
- coq-stdlib.8.17.1 on 5.0 is now installable. Current state is: failing
- coq.8.12.0 on 4.08 had its build status changed: passing to failing
- coq.8.12.2 on 4.10 had its build status changed: passing to failing
- coq.8.13.1 on 4.12 had its build status changed: passing to failing
- eliom.10.0.0 on 5.1 had its build status changed: not available to failing
- eliom.8.9.0 on 5.1 had its build status changed: not available to failing
- eliom.9.0.0 on 5.1 had its build status changed: not available to failing
- eliom.9.2.1 on 5.1 had its build status changed: not available to failing
- eliom.9.3.0 on 5.1 had its build status changed: not available to failing
- eliom.9.4.0 on 5.1 had its build status changed: not available to failing
- errpy.0.0.7 on 5.1 had its build status changed: not available to failing
- errpy.0.0.8 on 5.1 had its build status changed: not available to failing
- hacl-star-raw.0.1 on 4.09 had its build status changed: passing to failing
- hacl-star-raw.0.1 on 4.11 had its build status changed: passing to failing
- hacl-star-raw.0.1 on 4.12 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.09 had its build status changed: passing to failing
- hacl-star-raw.0.1.1 on 4.11 had its build status changed: passing to failing
- hacl-star-raw.0.1.1 on 4.12 had its build status changed: passing to failing
- hacl-star-raw.0.2.0 on 4.08 had its build status changed: passing to failing
- hacl-star-raw.0.2.0 on 4.09 had its build status changed: passing to failing
- hacl-star-raw.0.2.0 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.12 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.1 on 4.09 had its build status changed: passing to failing
- hacl-star-raw.0.2.1 on 4.10 had its build status changed: passing to failing
- hacl-star-raw.0.2.1 on 4.12 had its build status changed: passing to failing
- hacl-star-raw.0.2.1 on 4.14 had its build status changed: passing to failing
- hacl-star-raw.0.2.2 on 4.08 had its build status changed: passing to failing
- hacl-star-raw.0.2.2 on 4.09 had its build status changed: passing to failing
- hacl-star-raw.0.2.2 on 4.10 had its build status changed: passing to failing
- hacl-star-raw.0.2.2 on 4.11 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.14 had its build status changed: passing to failing
- libbinaryen.109.0.0 on 4.12 had its build status changed: passing to failing
- libbinaryen.109.0.0 on 4.14 had its build status changed: passing to failing
- libbinaryen.109.0.0 on 5.0 had its build status changed: passing to failing
- libbinaryen.109.0.0 on 5.1 had its build status changed: passing to failing
- libbinaryen.109.0.1 on 4.12 had its build status changed: passing to failing
- libbinaryen.109.0.1 on 4.14 had its build status changed: passing to failing
- libbinaryen.109.0.1 on 5.0 had its build status changed: passing to failing
- libbinaryen.109.0.1 on 5.1 had its build status changed: passing to failing
- libbinaryen.110.0.0 on 4.12 had its build status changed: passing to failing
- libbinaryen.110.0.0 on 4.14 had its build status changed: passing to failing
- libbinaryen.110.0.0 on 5.0 had its build status changed: passing to failing
- libbinaryen.110.0.0 on 5.1 had its build status changed: passing to failing
- libbinaryen.111.0.0 on 4.12 had its build status changed: passing to failing
- libbinaryen.111.0.0 on 4.14 had its build status changed: passing to failing
- libbinaryen.111.0.0 on 5.0 had its build status changed: passing to failing
- libbinaryen.111.0.0 on 5.1 had its build status changed: passing to failing
- libbinaryen.111.1.0 on 4.12 is now installable. Current state is: failing
- libbinaryen.111.1.0 on 4.14 is now installable. Current state is: failing
- libbinaryen.111.1.0 on 5.0 is now installable. Current state is: failing
- libbinaryen.111.1.0 on 5.1 is now installable. Current state is: failing
- mariadb.1.1.4 on 4.08 had its build status changed: passing to failing
- mariadb.1.1.4 on 4.09 had its build status changed: passing to failing
- mariadb.1.1.4 on 4.10 had its build status changed: passing to failing
- mariadb.1.1.4 on 4.11 had its build status changed: passing to failing
- mariadb.1.1.4 on 4.12 had its build status changed: passing to failing
- morbig.0.9 on 5.1 had its build status changed: not available to failing
- mysql8.1.0 on 5.1 had its build status changed: not available to failing
- ollvm.0.99 on 4.09 had its build status changed: passing to failing
- opam-build.0.1.0 on 4.08 is now installable. Current state is: failing
- opam-build.0.1.0 on 4.09 is now installable. Current state is: failing
- opam-build.0.1.0 on 4.10 is now installable. Current state is: failing
- opam-build.0.1.0 on 4.11 is now installable. Current state is: failing
- opam-build.0.1.0 on 4.12 is now installable. Current state is: failing
- opam-build.0.1.0 on 4.14 is now installable. Current state is: failing
- opam-build.0.1.0 on 5.0 is now installable. Current state is: failing
- opam-build.0.1.0 on 5.1 is now installable. Current state is: failing
- opentelemetry-cohttp-lwt.0.5 on 4.08 is now installable. Current state is: failing
- opentelemetry-cohttp-lwt.0.5 on 4.09 is now installable. Current state is: failing
- opentelemetry-cohttp-lwt.0.5 on 4.10 is now installable. Current state is: failing
- opentelemetry-cohttp-lwt.0.5 on 4.11 is now installable. Current state is: failing
- opentelemetry-cohttp-lwt.0.5 on 4.12 is now installable. Current state is: failing
- opentelemetry-cohttp-lwt.0.5 on 4.14 is now installable. Current state is: failing
- opentelemetry-cohttp-lwt.0.5 on 5.0 is now installable. Current state is: failing
- opentelemetry-cohttp-lwt.0.5 on 5.1 is now installable. Current state is: failing
- pkcs11-rev.1.0.1 on 5.1 had its build status changed: not available to failing
- portia.1.1 on 4.09 had its build status changed: passing to failing
- portia.1.1 on 4.11 had its build status changed: passing to failing
- portia.1.1 on 4.14 had its build status changed: passing to failing
- portia.1.5 on 4.08 had its build status changed: passing to failing
- ppx_accessor.v0.15.0 on 5.1 had its build status changed: not available to failing
- ppx_accessor.v0.16.0 on 5.1 had its build status changed: not available to failing
- protocol-9p.1.0.0 on 5.1 had its build status changed: not available to failing
- protocol-9p.1.0.1 on 5.1 had its build status changed: not available to failing
- pythonlib.v0.15.1 on 5.1 had its build status changed: not available to failing
- randoml.0.1.5 on 5.1 had its build status changed: not available to failing
- sanlock.0.0.9 on 4.08 had its build status changed: passing to failing
- sanlock.0.0.9 on 4.09 had its build status changed: passing to failing
- sanlock.0.0.9 on 4.10 had its build status changed: passing to failing
- sanlock.0.0.9 on 4.11 had its build status changed: passing to failing
- sanlock.0.0.9 on 4.12 had its build status changed: passing to failing
- satML-plugin.1.01 on 4.12 had its build status changed: passing to failing
- srt.0.2.0 on 4.08 had its build status changed: passing to failing
- srt.0.2.0 on 4.09 had its build status changed: passing to failing
- srt.0.2.0 on 4.10 had its build status changed: passing to failing
- srt.0.2.0 on 4.11 had its build status changed: passing to failing
- srt.0.2.0 on 4.12 had its build status changed: passing to failing
- srt.0.2.0 on 4.14 had its build status changed: passing to failing
- srt.0.2.0 on 5.0 had its build status changed: passing to failing
- srt.0.2.0 on 5.1 had its build status changed: passing to failing
- srt.0.2.1 on 4.08 had its build status changed: passing to failing
- srt.0.2.1 on 4.09 had its build status changed: passing to failing
- srt.0.2.1 on 4.10 had its build status changed: passing to failing
- srt.0.2.1 on 4.11 had its build status changed: passing to failing
- srt.0.2.1 on 4.12 had its build status changed: passing to failing
- srt.0.2.1 on 4.14 had its build status changed: passing to failing
- srt.0.2.1 on 5.0 had its build status changed: passing to failing
- srt.0.2.1 on 5.1 had its build status changed: passing to failing
- srt.0.2.2 on 4.08 had its build status changed: passing to failing
- srt.0.2.2 on 4.09 had its build status changed: passing to failing
- srt.0.2.2 on 4.10 had its build status changed: passing to failing
- srt.0.2.2 on 4.11 had its build status changed: passing to failing
- srt.0.2.2 on 4.12 had its build status changed: passing to failing
- srt.0.2.2 on 4.14 had its build status changed: passing to failing
- srt.0.2.2 on 5.0 had its build status changed: passing to failing
- srt.0.2.2 on 5.1 had its build status changed: passing to failing
- srt.0.3.0 on 4.08 had its build status changed: passing to failing
- srt.0.3.0 on 4.09 had its build status changed: passing to failing
- srt.0.3.0 on 4.10 had its build status changed: passing to failing
- srt.0.3.0 on 4.11 had its build status changed: passing to failing
- srt.0.3.0 on 4.12 had its build status changed: passing to failing
- srt.0.3.0 on 4.14 had its build status changed: passing to failing
- srt.0.3.0 on 5.0 had its build status changed: passing to failing
- srt.0.3.0 on 5.1 had its build status changed: passing to failing
- streamable.v0.16.0 on 5.1 had its build status changed: not available to failing
- systemverilog.0.0.1 on 5.1 had its build status changed: not available to failing
- tezos-rpc-http-server.17.2 on 4.14 is now installable. Current state is: failing
- tezos-sapling.10.2 on 4.08 had its build status changed: partially failing to failing
- tezos-sapling.10.2 on 4.09 had its build status changed: partially failing to failing
- tezos-sapling.10.2 on 4.10 had its build status changed: partially failing to failing
- tezos-sapling.10.2 on 4.11 had its build status changed: partially failing to failing
- torch.0.10 on 4.08 had its build status changed: passing to failing
- torch.0.10 on 4.09 had its build status changed: passing to failing
- torch.0.10 on 4.10 had its build status changed: passing to failing
- torch.0.10 on 4.11 had its build status changed: passing to failing
- torch.0.10 on 4.12 had its build status changed: passing to failing
- torch.0.10 on 4.14 had its build status changed: passing to failing
- torch.0.10 on 5.0 had its build status changed: passing to failing
- torch.0.10 on 5.1 had its build status changed: not available to failing
- torch.0.11 on 4.08 had its build status changed: passing to failing
- torch.0.11 on 4.09 had its build status changed: passing to failing
- torch.0.11 on 4.10 had its build status changed: passing to failing
- torch.0.11 on 4.11 had its build status changed: passing to failing
- torch.0.11 on 4.12 had its build status changed: passing to failing
- torch.0.11 on 4.14 had its build status changed: passing to failing
- torch.0.11 on 5.0 had its build status changed: passing to failing
- torch.0.11 on 5.1 had its build status changed: not available to failing
- torch.0.12 on 4.08 had its build status changed: passing to failing
- torch.0.12 on 4.09 had its build status changed: passing to failing
- torch.0.12 on 4.10 had its build status changed: passing to failing
- torch.0.12 on 4.11 had its build status changed: passing to failing
- torch.0.12 on 4.12 had its build status changed: passing to failing
- torch.0.12 on 4.14 had its build status changed: passing to failing
- torch.0.12 on 5.0 had its build status changed: passing to failing
- torch.0.12 on 5.1 had its build status changed: not available to failing
- torch.0.13 on 4.08 had its build status changed: passing to failing
- torch.0.13 on 4.09 had its build status changed: passing to failing
- torch.0.13 on 4.10 had its build status changed: passing to failing
- torch.0.13 on 4.11 had its build status changed: passing to failing
- torch.0.13 on 4.12 had its build status changed: passing to failing
- torch.0.13 on 4.14 had its build status changed: passing to failing
- torch.0.13 on 5.0 had its build status changed: passing to failing
- torch.0.13 on 5.1 had its build status changed: not available to failing
- tsdl.0.9.1 on 4.08 had its build status changed: passing to failing
- tsdl.0.9.1 on 4.09 had its build status changed: passing to failing
- tsdl.0.9.1 on 4.10 had its build status changed: passing to failing
- tsdl.0.9.1 on 4.11 had its build status changed: passing to failing
- tsdl.0.9.1 on 4.12 had its build status changed: passing to failing
- tsdl.0.9.2 on 4.08 had its build status changed: passing to failing
- tsdl.0.9.2 on 4.09 had its build status changed: passing to failing
- tsdl.0.9.2 on 4.10 had its build status changed: passing to failing
- tsdl.0.9.2 on 4.11 had its build status changed: passing to failing
- tsdl.0.9.2 on 4.12 had its build status changed: passing to failing
- tsdl.0.9.3 on 4.08 had its build status changed: passing to failing
- tsdl.0.9.3 on 4.09 had its build status changed: passing to failing
- tsdl.0.9.3 on 4.10 had its build status changed: passing to failing
- tsdl.0.9.3 on 4.11 had its build status changed: passing to failing
- tsdl.0.9.3 on 4.12 had its build status changed: passing to failing
- tsdl.0.9.4 on 4.08 had its build status changed: passing to failing
- tsdl.0.9.4 on 4.09 had its build status changed: passing to failing
- tsdl.0.9.4 on 4.10 had its build status changed: passing to failing
- tsdl.0.9.4 on 4.11 had its build status changed: passing to failing
- tsdl.0.9.4 on 4.12 had its build status changed: passing to failing
- tsdl.0.9.5 on 4.08 had its build status changed: passing to failing
- tsdl.0.9.5 on 4.09 had its build status changed: passing to failing
- tsdl.0.9.5 on 4.10 had its build status changed: passing to failing
- tsdl.0.9.5 on 4.11 had its build status changed: passing to failing
- tsdl.0.9.5 on 4.12 had its build status changed: passing to failing
- tsdl.0.9.6 on 4.08 had its build status changed: passing to failing
- tsdl.0.9.6 on 4.09 had its build status changed: passing to failing
- tsdl.0.9.6 on 4.10 had its build status changed: passing to failing
- tsdl.0.9.6 on 4.11 had its build status changed: passing to failing
- tsdl.0.9.6 on 4.12 had its build status changed: passing to failing
- tuareg.2.0.10 on 4.08 had its build status changed: passing to failing
- tuareg.2.0.10 on 4.10 had its build status changed: passing to failing
- tuareg.2.0.10 on 4.11 had its build status changed: passing to failing
- tuareg.2.0.10 on 4.12 had its build status changed: passing to failing
- tuareg.2.0.10 on 4.14 had its build status changed: passing to failing
- tuareg.2.0.10 on 5.0 had its build status changed: passing to failing
- tuareg.2.0.10 on 5.1 had its build status changed: passing to failing
- tuareg.2.0.7 on 4.08 had its build status changed: passing to failing
- tuareg.2.0.7 on 4.09 had its build status changed: passing to failing
- tuareg.2.0.7 on 4.10 had its build status changed: passing to failing
- tuareg.2.0.7 on 4.11 had its build status changed: passing to failing
- tuareg.2.0.7 on 4.12 had its build status changed: passing to failing
- tuareg.2.0.7 on 4.14 had its build status changed: passing to failing
- tuareg.2.0.7 on 5.0 had its build status changed: passing to failing
- tuareg.2.0.7 on 5.1 had its build status changed: passing to failing
- tuareg.2.1.0 on 5.1 had its build status changed: passing to failing
- weevil.0.1.1 on 4.14 had its build status changed: passing to failing
- z3.4.10.1 on 4.08 had its build status changed: passing to failing
- z3.4.10.2 on 4.14 had its build status changed: passing to failing
- z3.4.11.2 on 4.10 had its build status changed: passing to failing
- z3.4.12.2 on 4.08 had its build status changed: passing to failing
- z3.4.12.2 on 4.09 had its build status changed: passing to failing
- z3.4.12.2 on 4.10 had its build status changed: passing to failing
- z3.4.12.2 on 4.11 had its build status changed: passing to failing
- z3.4.12.2 on 4.12 had its build status changed: passing to failing
- z3.4.12.2 on 4.14 had its build status changed: passing to failing
- z3.4.12.2 on 5.0 had its build status changed: passing to failing
- z3.4.12.2 on 5.1 had its build status changed: passing to failing
- z3.4.12.2-1 on 4.09 is now installable. Current state is: failing
- z3.4.12.2-1 on 4.12 is now installable. Current state is: failing
- z3.4.8.14 on 4.14 had its build status changed: passing to failing
- z3.4.9.1 on 5.0 had its build status changed: passing to failing
Packages now partially failing:
Packages now not available:
Packages now failing with an internal failure:
Packages now passing: