Profiles › full › package: coq-core › 8.17.0

coq-core.8.17.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T20:36:14Z2026-06-24-195017successdocsaa74d0dc91d7blessedc94dd0f48319—
2026-06-24T12:19:49Z2026-06-24-103903successbuild—blessed6b58e3f58ed8
11 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-gmp.5
  • 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:35:30Z2026-06-23-173316successdocsaa74d0dc91d7blessed946081c1c83b—
2026-06-23T16:56:49Z2026-06-23-164340successbuild—blessed22264fd9948a
11 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-gmp.5
  • 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:46:08Z2026-06-23-084455successdocsaa74d0dc91d7blessedce4fdb46e439—
2026-06-20T20:01:44Z2026-06-20-192413successdocsaa74d0dc91d7blessede4533749e7c5—
2026-06-20T16:22:18Z2026-06-20-153623successbuild—blessed6a00f3c6526b—
2026-06-19T21:14:59Z2026-06-19-202157successdocsa3a7468a1b72blessed9fb7a8aaf64d—
2026-06-16T20:02:35Z2026-06-16-183655successdocsfc1edb3a164dblessed7f5f7fc2759a—
2026-06-16T13:04:42Z2026-06-16-113640successbuild—blessed57b41fa7d647—