1. github
2. ocaml
3. opam-repository
4. 049abd

(not at the head of any monitored branch or PR)

Testing in progress...

Summary of errors

• compilers
  • 4.09
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 71 --promote-install-files=false @install @runtest".)
  • 4.10
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 255 --promote-install-files=false @install @runtest".)
  • 4.11
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 71 --promote-install-files=false @install @runtest".)
  • 4.12
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 71 --promote-install-files=false @install @runtest".)
  • 4.13
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 71 --promote-install-files=false @install @runtest".)
  • 4.14
    • coq.9.0.0
      • revdeps
        • frama-c.22.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
        • frama-c.24.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
        • frama-c.25.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
        • frama-c.25.0~beta (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 31 --promote-install-files=false @install @runtest".)
  • 5.0
    • coq-stdlib.9.0.0
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 255 --promote-install-files=false @install".)
    • coq.9.0.0
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 255 --promote-install-files=false @install".)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 255 --promote-install-files=false @install @runtest".)
    • rocq-core.9.0.0
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 71 --promote-install-files=false @install".)
    • rocq-prover.9.0.0
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 31 --promote-install-files=false @install".)
    • rocq-stdlib.9.0.0
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 39 --promote-install-files=false @install".)
  • 5.1
    • coq-stdlib.9.0.0
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 71 --promote-install-files=false @install".)
    • coq.9.0.0
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 31 --promote-install-files=false @install".)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 31 --promote-install-files=false @install @runtest".)
    • rocq-core.9.0.0
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 255 --promote-install-files=false @install".)
    • rocq-prover.9.0.0
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 255 --promote-install-files=false @install".)
    • rocq-stdlib.9.0.0
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 255 --promote-install-files=false @install".)
  • 5.2
    • coq-stdlib.9.0.0
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 71 --promote-install-files=false @install".)
    • coq.9.0.0
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 255 --promote-install-files=false @install".)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 255 --promote-install-files=false @install @runtest".)
    • rocq-core.9.0.0
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 255 --promote-install-files=false @install".)
    • rocq-prover.9.0.0
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 71 --promote-install-files=false @install".)
    • rocq-stdlib.9.0.0
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 255 --promote-install-files=false @install".)
  • 5.3
    • coq-stdlib.9.0.0
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 255 --promote-install-files=false @install".)
    • coq.9.0.0
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 255 --promote-install-files=false @install".)
      • tests (failed: Unbound constructor "()")
    • rocq-core.9.0.0
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 31 --promote-install-files=false @install".)
    • rocq-prover.9.0.0
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 31 --promote-install-files=false @install".)
    • rocq-stdlib.9.0.0
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 71 --promote-install-files=false @install".)
• distributions
  • alpine-3.21-ocaml-5.3
    • coq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq.9.0.0 (failed: dune.3.13.1 failed to build)
    • coqide-server.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-prover.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-runtime.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocqide.9.0.0 (failed: dune.3.13.1 failed to build)
  • archlinux-ocaml-4.14
    • coq.9.0.0
      • tests (failed: _CoqProject: No such file or directory.)
  • archlinux-ocaml-5.3
    • coq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq.9.0.0 (failed: dune.3.13.1 failed to build)
    • coqide-server.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-prover.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-runtime.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocqide.9.0.0 (failed: dune.3.13.1 failed to build)
  • debian-11-ocaml-4.14
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 71 --promote-install-files=false @install @runtest".)
  • debian-11-ocaml-5.3
    • coq.9.0.0
      • tests (failed: Unbound constructor "()")
  • debian-testing-ocaml-4.14
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 39 --promote-install-files=false @install @runtest".)
  • debian-testing-ocaml-5.3
    • coq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq.9.0.0 (failed: dune.3.13.1 failed to build)
    • coqide-server.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-prover.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-runtime.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocqide.9.0.0 (failed: dune.3.13.1 failed to build)
  • debian-unstable-ocaml-4.14
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 71 --promote-install-files=false @install @runtest".)
  • debian-unstable-ocaml-5.3
    • coq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq.9.0.0 (failed: dune.3.13.1 failed to build)
    • coqide-server.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-prover.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-runtime.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocqide.9.0.0 (failed: dune.3.13.1 failed to build)
  • fedora-40-ocaml-4.14
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 71 --promote-install-files=false @install @runtest".)
  • fedora-40-ocaml-5.3
    • coq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq.9.0.0 (failed: dune.3.13.1 failed to build)
    • coqide-server.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-prover.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-runtime.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocqide.9.0.0 (failed: dune.3.13.1 failed to build)
  • fedora-41-ocaml-4.14
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 255 --promote-install-files=false @install @runtest".)
  • fedora-41-ocaml-5.3
    • coq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq.9.0.0 (failed: dune.3.13.1 failed to build)
    • coqide-server.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-prover.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-runtime.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocqide.9.0.0 (failed: dune.3.13.1 failed to build)
  • opensuse-15.6-ocaml-4.14
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 31 --promote-install-files=false @install @runtest".)
  • opensuse-15.6-ocaml-5.3
    • coq.9.0.0
      • tests (failed: Unbound constructor "()")
  • opensuse-tumbleweed-ocaml-4.14
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 31 --promote-install-files=false @install @runtest".)
  • opensuse-tumbleweed-ocaml-5.3
    • coq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq.9.0.0 (failed: dune.3.13.1 failed to build)
    • coqide-server.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-prover.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-runtime.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocqide.9.0.0 (failed: dune.3.13.1 failed to build)
  • ubuntu-20.04-ocaml-4.14
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 255 --promote-install-files=false @install @runtest".)
  • ubuntu-20.04-ocaml-5.3
    • coq.9.0.0
      • tests (failed: Unbound constructor "()")
  • ubuntu-22.04-ocaml-4.14
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 255 --promote-install-files=false @install @runtest".)
  • ubuntu-22.04-ocaml-5.3
    • coq.9.0.0
      • tests (failed: Unbound constructor "()")
  • ubuntu-24.04-ocaml-4.14
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 255 --promote-install-files=false @install @runtest".)
  • ubuntu-24.04-ocaml-5.3
    • coq.9.0.0
      • tests (failed: Unbound constructor "()")
  • ubuntu-24.10-ocaml-4.14
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 71 --promote-install-files=false @install @runtest".)
  • ubuntu-24.10-ocaml-5.3
    • coq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq.9.0.0 (failed: dune.3.13.1 failed to build)
    • coqide-server.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-prover.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-runtime.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocqide.9.0.0 (failed: dune.3.13.1 failed to build)
• extras
  • arm32-ocaml-4.14
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 79 --promote-install-files=false @install @runtest".)
  • arm32-ocaml-5.3
    • coq.9.0.0
      • tests (failed: Unbound constructor "()")
  • arm64-ocaml-4.14
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 79 --promote-install-files=false @install @runtest".)
  • arm64-ocaml-5.3
    • coq.9.0.0
      • tests (failed: Unbound constructor "()")
  • ocaml-4.14-afl
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 31 --promote-install-files=false @install @runtest".)
  • ocaml-4.14-flambda
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 71 --promote-install-files=false @install @runtest".)
  • ocaml-4.14-flambda-fp
    • coq.9.0.0
      • tests (failed: Stack overflow.)
  • ocaml-4.14-fp
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 71 --promote-install-files=false @install @runtest".)
  • ocaml-4.14-nnp
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 255 --promote-install-files=false @install @runtest".)
  • ocaml-4.14-nnpchecker
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 39 --promote-install-files=false @install @runtest".)
  • ocaml-4.14-no-flat-float-array
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 71 --promote-install-files=false @install @runtest".)
  • ocaml-5.3-afl
    • coq.9.0.0
      • tests (failed: Unbound constructor "()")
  • ocaml-5.3-flambda
    • coq.9.0.0
      • tests (failed: Unbound constructor "()")
  • ocaml-5.3-no-flat-float-array
    • coq.9.0.0
      • tests (failed: Unbound constructor "()")
  • opam-2.0-ocaml-5.3
    • coq.9.0.0
      • tests (failed: Unbound constructor "()")
  • opam-2.1-ocaml-4.14
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 39 --promote-install-files=false @install @runtest".)
  • opam-2.1-ocaml-5.3
    • coq.9.0.0
      • tests (failed: Unbound constructor "()")
  • opam-2.2-ocaml-4.14
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 31 --promote-install-files=false @install @runtest".)
  • opam-2.2-ocaml-5.3
    • coq.9.0.0
      • tests (failed: Unbound constructor "()")
  • opam-2.3-ocaml-4.14
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 31 --promote-install-files=false @install @runtest".)
  • opam-2.3-ocaml-5.3
    • coq.9.0.0
      • tests (failed: Unbound constructor "()")
  • ppc64-ocaml-4.14
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 175 --promote-install-files=false @install @runtest".)
  • ppc64-ocaml-5.3
    • coq.9.0.0
      • tests (failed: Unbound constructor "()")
  • riscv64-ocaml-4.14
    • coq.9.0.0
      • tests (failed: Timeout!)
  • riscv64-ocaml-5.3
    • coq.9.0.0
      • tests (failed: Unbound constructor "()")
  • s390x-ocaml-4.14
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 3 --promote-install-files=false @install @runtest".)
  • s390x-ocaml-5.3
    • coq.9.0.0
      • tests (failed: Unbound constructor "()")
  • x86_32-ocaml-4.14
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 255 --promote-install-files=false @install @runtest".)
  • x86_32-ocaml-5.3
    • coq.9.0.0
      • tests (failed: Cancelled)
• freebsd (experimental)
  • freebsd-14.1-ocaml-4.14-amd64 (experimental)
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 15 --promote-install-files=false @install @runtest".)
  • freebsd-14.1-ocaml-5.3-amd64 (experimental)
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 7 --promote-install-files=false @install @runtest".)
• macos
  • macos-homebrew-ocaml-4.14-amd64 (experimental)
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 11 --promote-install-files=false @install @runtest".)
  • macos-homebrew-ocaml-4.14-arm64 (experimental)
    • coq.9.0.0
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 7 --promote-install-files=false @install @runtest".)
  • macos-homebrew-ocaml-5.3-amd64 (experimental)
    • coq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq.9.0.0 (failed: dune.3.13.1 failed to build)
    • coqide-server.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-prover.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-runtime.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocqide.9.0.0 (failed: dune.3.13.1 failed to build)
  • macos-homebrew-ocaml-5.3-arm64 (experimental)
    • coq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq.9.0.0 (failed: dune.3.13.1 failed to build)
    • coqide-server.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-prover.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-runtime.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocqide.9.0.0 (failed: dune.3.13.1 failed to build)

Main results

• (analysis) (passed)
• (lint) (passed)
• compilers
  • 4.02
    • coq-core.9.0.0 (failed: [SKIP] Package not available)
    • coq-stdlib.9.0.0 (failed: [SKIP] Package not available)
    • coq.9.0.0 (failed: [SKIP] Package not available)
    • coqide-server.9.0.0 (failed: [SKIP] Package not available)
    • rocq-core.9.0.0 (failed: [SKIP] Package not available)
    • rocq-prover.9.0.0 (failed: [SKIP] Package not available)
    • rocq-runtime.9.0.0 (failed: [SKIP] Package not available)
    • rocq-stdlib.9.0.0 (failed: [SKIP] Package not available)
    • rocqide.9.0.0 (failed: [SKIP] Package not available)
  • 4.03
    • coq-core.9.0.0 (failed: [SKIP] Package not available)
    • coq-stdlib.9.0.0 (failed: [SKIP] Package not available)
    • coq.9.0.0 (failed: [SKIP] Package not available)
    • coqide-server.9.0.0 (failed: [SKIP] Package not available)
    • rocq-core.9.0.0 (failed: [SKIP] Package not available)
    • rocq-prover.9.0.0 (failed: [SKIP] Package not available)
    • rocq-runtime.9.0.0 (failed: [SKIP] Package not available)
    • rocq-stdlib.9.0.0 (failed: [SKIP] Package not available)
    • rocqide.9.0.0 (failed: [SKIP] Package not available)
  • 4.04
    • coq-core.9.0.0 (failed: [SKIP] Package not available)
    • coq-stdlib.9.0.0 (failed: [SKIP] Package not available)
    • coq.9.0.0 (failed: [SKIP] Package not available)
    • coqide-server.9.0.0 (failed: [SKIP] Package not available)
    • rocq-core.9.0.0 (failed: [SKIP] Package not available)
    • rocq-prover.9.0.0 (failed: [SKIP] Package not available)
    • rocq-runtime.9.0.0 (failed: [SKIP] Package not available)
    • rocq-stdlib.9.0.0 (failed: [SKIP] Package not available)
    • rocqide.9.0.0 (failed: [SKIP] Package not available)
  • 4.05
    • coq-core.9.0.0 (failed: [SKIP] Package not available)
    • coq-stdlib.9.0.0 (failed: [SKIP] Package not available)
    • coq.9.0.0 (failed: [SKIP] Package not available)
    • coqide-server.9.0.0 (failed: [SKIP] Package not available)
    • rocq-core.9.0.0 (failed: [SKIP] Package not available)
    • rocq-prover.9.0.0 (failed: [SKIP] Package not available)
    • rocq-runtime.9.0.0 (failed: [SKIP] Package not available)
    • rocq-stdlib.9.0.0 (failed: [SKIP] Package not available)
    • rocqide.9.0.0 (failed: [SKIP] Package not available)
  • 4.06
    • coq-core.9.0.0 (failed: [SKIP] Package not available)
    • coq-stdlib.9.0.0 (failed: [SKIP] Package not available)
    • coq.9.0.0 (failed: [SKIP] Package not available)
    • coqide-server.9.0.0 (failed: [SKIP] Package not available)
    • rocq-core.9.0.0 (failed: [SKIP] Package not available)
    • rocq-prover.9.0.0 (failed: [SKIP] Package not available)
    • rocq-runtime.9.0.0 (failed: [SKIP] Package not available)
    • rocq-stdlib.9.0.0 (failed: [SKIP] Package not available)
    • rocqide.9.0.0 (failed: [SKIP] Package not available)
  • 4.07
    • coq-core.9.0.0 (failed: [SKIP] Package not available)
    • coq-stdlib.9.0.0 (failed: [SKIP] Package not available)
    • coq.9.0.0 (failed: [SKIP] Package not available)
    • coqide-server.9.0.0 (failed: [SKIP] Package not available)
    • rocq-core.9.0.0 (failed: [SKIP] Package not available)
    • rocq-prover.9.0.0 (failed: [SKIP] Package not available)
    • rocq-runtime.9.0.0 (failed: [SKIP] Package not available)
    • rocq-stdlib.9.0.0 (failed: [SKIP] Package not available)
    • rocqide.9.0.0 (failed: [SKIP] Package not available)
  • 4.08
    • coq-core.9.0.0 (failed: [SKIP] Package not available)
    • coq-stdlib.9.0.0 (failed: [SKIP] Package not available)
    • coq.9.0.0 (failed: [SKIP] Package not available)
    • coqide-server.9.0.0 (failed: [SKIP] Package not available)
    • rocq-core.9.0.0 (failed: [SKIP] Package not available)
    • rocq-prover.9.0.0 (failed: [SKIP] Package not available)
    • rocq-runtime.9.0.0 (failed: [SKIP] Package not available)
    • rocq-stdlib.9.0.0 (failed: [SKIP] Package not available)
    • rocqide.9.0.0 (failed: [SKIP] Package not available)
  • 4.09
    • coq-core.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 71 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
  • 4.10
    • coq-core.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 255 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
  • 4.11
    • coq-core.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 71 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
  • 4.12
    • coq-core.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 71 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
  • 4.13
    • coq-core.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 71 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
  • 4.14
    • coq-core.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 31 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
  • 5.0
    • coq-core.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 255 --promote-install-files=false @install".)
      • tests (passed)
    • coq.9.0.0 (passed)
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 255 --promote-install-files=false @install".)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 255 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 71 --promote-install-files=false @install".)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 31 --promote-install-files=false @install".)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 39 --promote-install-files=false @install".)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
  • 5.1
    • coq-core.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 71 --promote-install-files=false @install".)
      • tests (passed)
    • coq.9.0.0 (passed)
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 31 --promote-install-files=false @install".)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 31 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 255 --promote-install-files=false @install".)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 255 --promote-install-files=false @install".)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 255 --promote-install-files=false @install".)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
  • 5.2
    • coq-core.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 71 --promote-install-files=false @install".)
      • tests (passed)
    • coq.9.0.0 (passed)
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 255 --promote-install-files=false @install".)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 255 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 255 --promote-install-files=false @install".)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 71 --promote-install-files=false @install".)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 255 --promote-install-files=false @install".)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
  • 5.3
    • coq-core.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 255 --promote-install-files=false @install".)
      • tests (passed)
    • coq.9.0.0 (passed)
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 255 --promote-install-files=false @install".)
      • tests (failed: Unbound constructor "()")
    • coqide-server.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 31 --promote-install-files=false @install".)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 31 --promote-install-files=false @install".)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • lower-bounds (failed: The compilation of rocq-core.9.0.0 failed at "dune build -p rocq-core -j 71 --promote-install-files=false @install".)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • lower-bounds (passed)
      • tests (passed)
• distributions
  • alpine-3.21-ocaml-4.14
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (passed)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • alpine-3.21-ocaml-5.3
    • coq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq.9.0.0 (failed: dune.3.13.1 failed to build)
    • coqide-server.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-prover.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-runtime.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocqide.9.0.0 (failed: dune.3.13.1 failed to build)
  • archlinux-ocaml-4.14
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: _CoqProject: No such file or directory.)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • archlinux-ocaml-5.3
    • coq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq.9.0.0 (failed: dune.3.13.1 failed to build)
    • coqide-server.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-prover.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-runtime.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocqide.9.0.0 (failed: dune.3.13.1 failed to build)
  • debian-11-ocaml-4.14
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 71 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • debian-11-ocaml-5.3
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: Unbound constructor "()")
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • debian-testing-ocaml-4.14
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 39 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • debian-testing-ocaml-5.3
    • coq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq.9.0.0 (failed: dune.3.13.1 failed to build)
    • coqide-server.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-prover.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-runtime.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocqide.9.0.0 (failed: dune.3.13.1 failed to build)
  • debian-unstable-ocaml-4.14
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 71 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • debian-unstable-ocaml-5.3
    • coq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq.9.0.0 (failed: dune.3.13.1 failed to build)
    • coqide-server.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-prover.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-runtime.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocqide.9.0.0 (failed: dune.3.13.1 failed to build)
  • fedora-40-ocaml-4.14
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 71 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • fedora-40-ocaml-5.3
    • coq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq.9.0.0 (failed: dune.3.13.1 failed to build)
    • coqide-server.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-prover.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-runtime.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocqide.9.0.0 (failed: dune.3.13.1 failed to build)
  • fedora-41-ocaml-4.14
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 255 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • fedora-41-ocaml-5.3
    • coq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq.9.0.0 (failed: dune.3.13.1 failed to build)
    • coqide-server.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-prover.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-runtime.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocqide.9.0.0 (failed: dune.3.13.1 failed to build)
  • opensuse-15.6-ocaml-4.14
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 31 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • opensuse-15.6-ocaml-5.3
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: Unbound constructor "()")
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • opensuse-tumbleweed-ocaml-4.14
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 31 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (failed: [SKIP] Package not available)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • opensuse-tumbleweed-ocaml-5.3
    • coq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq.9.0.0 (failed: dune.3.13.1 failed to build)
    • coqide-server.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-prover.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-runtime.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocqide.9.0.0 (failed: dune.3.13.1 failed to build)
  • ubuntu-20.04-ocaml-4.14
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 255 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • ubuntu-20.04-ocaml-5.3
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: Unbound constructor "()")
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • ubuntu-22.04-ocaml-4.14
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 255 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • ubuntu-22.04-ocaml-5.3
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: Unbound constructor "()")
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • ubuntu-24.04-ocaml-4.14
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 255 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • ubuntu-24.04-ocaml-5.3
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: Unbound constructor "()")
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • ubuntu-24.10-ocaml-4.14
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 71 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • ubuntu-24.10-ocaml-5.3
    • coq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq.9.0.0 (failed: dune.3.13.1 failed to build)
    • coqide-server.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-prover.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-runtime.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocqide.9.0.0 (failed: dune.3.13.1 failed to build)
• extras
  • arm32-ocaml-4.14
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 79 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • arm32-ocaml-5.3
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: Unbound constructor "()")
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • arm64-ocaml-4.14
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 79 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • arm64-ocaml-5.3
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: Unbound constructor "()")
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • ocaml-4.14-afl
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 31 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • ocaml-4.14-flambda
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 71 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • ocaml-4.14-flambda-fp
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: Stack overflow.)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • ocaml-4.14-fp
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 71 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • ocaml-4.14-nnp
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 255 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • ocaml-4.14-nnpchecker
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 39 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • ocaml-4.14-no-flat-float-array
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 71 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • ocaml-5.3-afl
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: Unbound constructor "()")
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • ocaml-5.3-flambda
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: Unbound constructor "()")
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • ocaml-5.3-no-flat-float-array
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: Unbound constructor "()")
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • opam-2.0-ocaml-4.14
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (passed)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • opam-2.0-ocaml-5.3
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: Unbound constructor "()")
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • opam-2.1-ocaml-4.14
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 39 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • opam-2.1-ocaml-5.3
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: Unbound constructor "()")
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • opam-2.2-ocaml-4.14
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 31 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • opam-2.2-ocaml-5.3
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: Unbound constructor "()")
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • opam-2.3-ocaml-4.14
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 31 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • opam-2.3-ocaml-5.3
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: Unbound constructor "()")
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • ppc64-ocaml-4.14
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 175 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • ppc64-ocaml-5.3
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: Unbound constructor "()")
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • riscv64-ocaml-4.14
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: Timeout!)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • riscv64-ocaml-5.3
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: Unbound constructor "()")
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • s390x-ocaml-4.14
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 3 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • s390x-ocaml-5.3
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: Unbound constructor "()")
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • x86_32-ocaml-4.14
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 255 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • x86_32-ocaml-5.3
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: Cancelled)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
• freebsd (experimental)
  • freebsd-14.1-ocaml-4.14-amd64 (experimental)
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 15 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • freebsd-14.1-ocaml-5.3-amd64 (experimental)
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 7 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
• macos
  • macos-homebrew-ocaml-4.14-amd64 (experimental)
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 11 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • macos-homebrew-ocaml-4.14-arm64 (experimental)
    • coq-core.9.0.0 (passed)
      • tests (passed)
    • coq-stdlib.9.0.0 (passed)
      • tests (passed)
    • coq.9.0.0 (passed)
      • tests (failed: The compilation of coq.9.0.0 failed at "dune build -p coq -j 7 --promote-install-files=false @install @runtest".)
    • coqide-server.9.0.0 (passed)
      • tests (passed)
    • rocq-core.9.0.0 (passed)
      • tests (passed)
    • rocq-prover.9.0.0 (passed)
      • tests (passed)
    • rocq-runtime.9.0.0 (passed)
      • tests (passed)
    • rocq-stdlib.9.0.0 (passed)
      • tests (passed)
    • rocqide.9.0.0 (passed)
      • tests (passed)
  • macos-homebrew-ocaml-5.3-amd64 (experimental)
    • coq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq.9.0.0 (failed: dune.3.13.1 failed to build)
    • coqide-server.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-prover.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-runtime.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocqide.9.0.0 (failed: dune.3.13.1 failed to build)
  • macos-homebrew-ocaml-5.3-arm64 (experimental)
    • coq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • coq.9.0.0 (failed: dune.3.13.1 failed to build)
    • coqide-server.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-core.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-prover.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-runtime.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocq-stdlib.9.0.0 (failed: dune.3.13.1 failed to build)
    • rocqide.9.0.0 (failed: dune.3.13.1 failed to build)

Reverse dependencies

• compilers
  • 4.14
    • coq-core.9.0.0 (passed)
      • revdeps (passed)
        • prooftree.0.14 (passed)
        • why3-coq.1.8.0 (passed)
    • coq-stdlib.9.0.0 (passed)
      • revdeps (passed)
        • why3-coq.1.8.0 (passed)
    • coq.9.0.0 (passed)
      • revdeps (passed)
        • frama-c.20.0 (passed)
        • frama-c.21.0 (passed)
        • frama-c.21.1 (passed)
        • frama-c.22.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
        • frama-c.24.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
        • frama-c.25.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
        • frama-c.25.0~beta (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
        • frama-c.26.0~beta (passed)
        • why3-coq.1.8.0 (passed)
        • zenon_modulo.0.5.0 (passed)
    • coqide-server.9.0.0 (passed)
      • revdeps (passed)
        • why3-coq.1.8.0 (passed)
    • rocq-core.9.0.0 (passed)
      • revdeps (passed)
        • why3-coq.1.8.0 (passed)
    • rocq-prover.9.0.0 (passed)
      • revdeps (passed)
        • why3-coq.1.8.0 (passed)
    • rocq-runtime.9.0.0 (passed)
      • revdeps (passed)
        • prooftree.0.14 (passed)
        • why3-coq.1.8.0 (passed)
    • rocq-stdlib.9.0.0 (passed)
      • revdeps (passed)
        • why3-coq.1.8.0 (passed)
    • rocqide.9.0.0 (passed)
      • revdeps (passed)
  • 5.3
    • coq-core.9.0.0 (passed)
      • revdeps (passed)
        • prooftree.0.14 (passed)
        • why3-coq.1.8.0 (passed)
    • coq-stdlib.9.0.0 (passed)
      • revdeps (passed)
        • why3-coq.1.8.0 (passed)
    • coq.9.0.0 (passed)
      • revdeps (passed)
        • why3-coq.1.8.0 (passed)
        • zenon_modulo.0.5.0 (passed)
    • coqide-server.9.0.0 (passed)
      • revdeps (passed)
        • why3-coq.1.8.0 (passed)
    • rocq-core.9.0.0 (passed)
      • revdeps (passed)
        • why3-coq.1.8.0 (passed)
    • rocq-prover.9.0.0 (passed)
      • revdeps (passed)
        • why3-coq.1.8.0 (passed)
    • rocq-runtime.9.0.0 (passed)
      • revdeps (passed)
        • prooftree.0.14 (passed)
        • why3-coq.1.8.0 (passed)
    • rocq-stdlib.9.0.0 (passed)
      • revdeps (passed)
        • why3-coq.1.8.0 (passed)
    • rocqide.9.0.0 (passed)
      • revdeps (passed)