1. github
2. ocaml
3. opam-repository
4. 6cfa3b

(for PR #28499)

Summary of errors

• compilers
  • 4.09
    • coq-waterproof.3.0.0+8.19
      • lower-bounds (failed: conf-gmp.1 dune.3.10.0 ocamlfind.1.8.1 failed to build)
  • 4.10
    • coq-waterproof.3.0.0+8.19
      • lower-bounds (failed: conf-gmp.1 dune.3.10.0 ocamlfind.1.8.1 failed to build)
  • 4.11
    • coq-waterproof.3.0.0+8.19
      • lower-bounds (failed: conf-gmp.1 dune.3.10.0 ocamlfind.1.8.1 failed to build)
  • 4.12
    • coq-waterproof.3.0.0+8.19
      • lower-bounds (failed: conf-gmp.1 dune.3.10.0 ocamlfind.1.8.1 failed to build)
  • 4.13
    • coq-waterproof.3.0.0+8.19
      • lower-bounds (failed: conf-gmp.1 dune.3.10.0 ocamlfind.1.9.1 failed to build)
  • 4.14
    • coq-waterproof.3.0.0+8.19
      • lower-bounds (failed: conf-gmp.1 dune.3.10.0 ocamlfind.1.9.1 failed to build)
  • 5.0
    • coq-waterproof.3.0.0+8.19
      • lower-bounds (failed: conf-gmp.1 dune.3.10.0 ocamlfind.1.9.6 failed to build)
  • 5.1
    • coq-waterproof.3.0.0+8.19
      • lower-bounds (failed: conf-gmp.1 dune.3.10.0 ocamlfind.1.9.6 failed to build)
  • 5.2
    • coq-waterproof.3.0.0+8.19
      • lower-bounds (failed: conf-gmp.1 dune.3.10.0 ocamlfind.1.9.6 failed to build)
  • 5.3
    • coq-waterproof.3.0.0+8.19
      • lower-bounds (failed: conf-gmp.1 dune.3.12.1 ocamlfind.1.9.6 failed to build)
  • 5.4~alpha1
    • coq-waterproof.3.0.0+8.19
      • lower-bounds (failed: conf-gmp.1 dune.3.18.2 ocamlfind.1.9.6 failed to build)
• distributions
  • archlinux-ocaml-5.3
    • coq-waterproof.3.0.0+8.19 (failed: Failed: Internal error)
  • debian-testing-ocaml-4.14
    • coq-waterproof.3.0.0+8.19 (failed: Failed: Internal error)
  • debian-unstable-ocaml-5.3
    • coq-waterproof.3.0.0+8.19 (failed: Failed: Internal error)
  • opensuse-tumbleweed-ocaml-5.3
    • coq-waterproof.3.0.0+8.19 (failed: Failed: Internal error)
• extras
  • ocaml-4.14-afl
    • coq-waterproof.3.0.0+8.19 (failed: The compilation of coq-waterproof.3.0.0+8.19 failed at "dune build -p coq-waterproof -j 71 @install".)