Profiles › full › package: coq-waterproof › 3.0.0+8.20

coq-waterproof.3.0.0+8.20

✗ Build failed — a build error.

Blessed build job: view build log

If you believe coq-waterproof.3.0.0+8.20 should compile correctly on Debian bookworm, please comment on the ocurrent/ocaml-docs-ci issues: find issue · report issue

History

Tick two or more build rows' checkboxes (Deps column), then for version differences.

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T17:14:59Z2026-06-24-153355failurebuild—blessed08508f23342a
16 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • coq-core.8.20.1
  • coq-stdlib.8.20.1
  • coq.8.20.1
  • coqide-server.8.20.1
  • dune.3.23.1
  • ocaml-base-compiler.5.4.1
  • ocaml-compiler.5.4.1
  • ocaml-config.3
  • ocaml.5.4.1
  • ocamlfind.1.9.8
  • zarith.1.14
2026-06-23T21:20:36Z2026-06-23-203059failurebuild—blesseda2d7a616108a
16 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • coq-core.8.20.1
  • coq-stdlib.8.20.1
  • coq.8.20.1
  • coqide-server.8.20.1
  • dune.3.23.1
  • ocaml-base-compiler.5.4.1
  • ocaml-compiler.5.4.1
  • ocaml-config.3
  • ocaml.5.4.1
  • ocamlfind.1.9.8
  • zarith.1.14
2026-06-16T17:00:43Z2026-06-16-153709failurebuild—blessed41842676fe8c—