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 trixie, please comment on the ocurrent/ocaml-docs-ci issues: find issue · report issue

History

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-09-03T23:28:24Z2026-09-03-223036failurebuild—blessed5a148fc4ab57
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