Profiles › full › package: coq-core › 8.20.0

coq-core.8.20.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T20:44:03Z2026-06-24-195017successdocsbc634e705e8ablessed390ed396c37d—
2026-06-24T13:39:03Z2026-06-24-113204successbuild—blessed8047fb966324
12 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • 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-23T19:50:23Z2026-06-23-173316successdocsbc634e705e8ablessedde39b0f3e059—
2026-06-23T18:08:37Z2026-06-23-164340successbuild—blessed3f5160dde363
12 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • 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-23T09:52:05Z2026-06-23-084455successdocsbc634e705e8ablessed1e730d902f72—
2026-06-20T18:57:38Z2026-06-20-174847successdocsbc634e705e8ablessed018a4249196e—
2026-06-20T15:51:51Z2026-06-20-153623successdocsbc634e705e8ablessed4ed52dace6da—
2026-06-19T20:05:15Z2026-06-19-192323successdocsbc634e705e8ablessedfb71dc86dc2e—
2026-06-16T20:02:35Z2026-06-16-183655successdocsbc634e705e8ablessede28496d625ef—
2026-06-16T13:04:43Z2026-06-16-113640successbuild—blessedf1181f3937f9—