Profiles › full › package: coq-serapi › 8.11.0+0.11.0

coq-serapi.8.11.0+0.11.0

✗ Build failed — a build error.

Blessed build job: view build log

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

History

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T17:17:40Z2026-06-24-153355failurebuild—blessed026804be5899
28 deps
  • base-threads.base
  • base-unix.base
  • base.v0.14.4
  • cmdliner.2.1.1
  • conf-findutils.1
  • coq.8.11.2
  • cppo.1.8.0
  • csexp.1.5.2
  • dune-configurator.3.22.2
  • dune.3.22.2
  • num.1.6
  • ocaml-base-compiler.4.11.2
  • ocaml-compiler-libs.v0.12.4
  • ocaml-config.1
  • ocaml.4.11.2
  • ocamlfind.1.9.8
  • parsexp.v0.14.2
  • ppx_derivers.1.2.1
  • ppx_deriving.5.2.1
  • ppx_deriving_yojson.3.6.1
  • ppx_import.1.9.1
  • ppx_sexp_conv.v0.14.3
  • ppxlib.0.25.1
  • result.1.5
  • sexplib.v0.14.0
  • sexplib0.v0.14.0
  • stdlib-shims.0.3.0
  • yojson.3.0.0
2026-06-16T17:11:59Z2026-06-16-153709failurebuild—blessed77a201615c80—