Profiles › full › package: coq-core › 8.19.1

coq-core.8.19.1

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T20:36:24Z2026-06-24-195017successdocs0fbe7c55d317blessed7cdd1832d9a0—
2026-06-24T12:19:50Z2026-06-24-103903successbuild—blessed020324070ebf
12 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • dune.3.23.1
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • ocamlfind.1.9.8
  • zarith.1.14
2026-06-23T19:32:38Z2026-06-23-173316successdocs0fbe7c55d317blessed619bc8e68cdc—
2026-06-23T16:59:54Z2026-06-23-164340successbuild—blessed785ecfb074e6
12 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • dune.3.23.1
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • ocamlfind.1.9.8
  • zarith.1.14
2026-06-23T09:42:59Z2026-06-23-084455successdocs0fbe7c55d317blessedd41a40faadc7—
2026-06-20T20:01:44Z2026-06-20-192413successdocs0fbe7c55d317blessed9b5de0ba50c5—
2026-06-20T16:22:01Z2026-06-20-153623successbuild—blessed953a0b756240—
2026-06-19T21:16:31Z2026-06-19-202157successdocs67a23a5c270dblessed77238ca3f238—
2026-06-16T20:02:34Z2026-06-16-183655successdocsbc634e705e8ablessed1f9a0f573f79—
2026-06-16T13:04:43Z2026-06-16-113640successbuild—blessede6e4a4acdac8—