Profiles › full › package: coq-serapi › 8.12.0+0.12.0

coq-serapi.8.12.0+0.12.0

✗ Build failed — a build error.

Blessed build job: view build log

If you believe coq-serapi.8.12.0+0.12.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:31:41Z2026-06-24-163243failurebuild—blessed30571c3399e9
28 deps
  • base-threads.base
  • base-unix.base
  • base.v0.13.2
  • cmdliner.2.1.1
  • conf-findutils.1
  • coq.8.12.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.13.0
  • 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.13.0
  • ppxlib.0.24.0
  • result.1.5
  • sexplib.v0.13.0
  • sexplib0.v0.13.0
  • stdlib-shims.0.3.0
  • yojson.3.0.0
2026-06-16T17:11:59Z2026-06-16-153709failurebuild—blessed07fef8dd048e—