Profiles › full › package: coq-core › 8.18.0

coq-core.8.18.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T20:49:36Z2026-06-24-195017successdocsb4acf2cb6a45—72423d62c3f6—
2026-06-24T20:46:05Z2026-06-24-195017successdocs351f71e97eef—074d6e820526—
2026-06-24T20:42:04Z2026-06-24-195017successdocsfc1edb3a164d—3bab995c40ce—
2026-06-24T20:36:24Z2026-06-24-195017successdocsaa74d0dc91d7blessed50717139a17b—
2026-06-24T13:39:03Z2026-06-24-113204successbuild—blessedd75f22d24599
11 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • 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-24T12:20:49Z2026-06-24-103903successbuild—blessed50516350fc22
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-24T12:16:36Z2026-06-24-103903successbuild—blessedd07c4a2976d4
11 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-pkg-config.5
  • dune.3.23.1
  • ocaml-base-compiler.5.3.0
  • ocaml-compiler.5.3.0
  • ocaml-config.3
  • ocaml.5.3.0
  • ocamlfind.1.9.8
  • zarith.1.14
2026-06-24T11:28:23Z2026-06-24-103903successbuild—blessed111132a69caa
10 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-pkg-config.5
  • dune.3.23.1
  • ocaml-base-compiler.5.2.1
  • ocaml-config.3
  • ocaml.5.2.1
  • ocamlfind.1.9.6
  • zarith.1.14
2026-06-23T20:06:02Z2026-06-23-185007successdocsb4acf2cb6a45—d8b089648b5c—
2026-06-23T19:49:42Z2026-06-23-173316successdocsfc1edb3a164d—e08a2a102c61—
2026-06-23T19:39:53Z2026-06-23-173316successdocs351f71e97eef—d794ea97cea1—
2026-06-23T19:31:31Z2026-06-23-173316successdocsaa74d0dc91d7blessed61b3148a7cbe—
2026-06-23T18:55:40Z2026-06-23-164340successbuild—blessed283dbf894dfd
10 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-pkg-config.5
  • dune.3.23.1
  • ocaml-base-compiler.5.2.1
  • ocaml-config.3
  • ocaml.5.2.1
  • ocamlfind.1.9.6
  • zarith.1.14
2026-06-23T18:05:44Z2026-06-23-164340successbuild—blessed196da79680be
11 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • 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-23T16:59:54Z2026-06-23-164340successbuild—blessedda442f99dfb1
11 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-pkg-config.5
  • dune.3.23.1
  • ocaml-base-compiler.5.3.0
  • ocaml-compiler.5.3.0
  • ocaml-config.3
  • ocaml.5.3.0
  • ocamlfind.1.9.8
  • zarith.1.14
2026-06-23T16:56:49Z2026-06-23-164340successbuild—blessed6204d1f599ab
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:51:10Z2026-06-23-084455successdocsfc1edb3a164d—4dc744ca230a—
2026-06-23T09:45:35Z2026-06-23-084455successdocs351f71e97eef—d472751e7949—
2026-06-23T09:44:26Z2026-06-23-084455successdocsaa74d0dc91d7blessedaf70cfdffddf—
2026-06-23T09:41:23Z2026-06-23-084455successdocsb4acf2cb6a45—59fc0cb8bfdb—
2026-06-20T20:01:44Z2026-06-20-192413successdocsaa74d0dc91d7blessedf45b9ac04fa2—
2026-06-20T16:21:35Z2026-06-20-153623successbuild—blessedcbf966f33264—
2026-06-20T15:50:54Z2026-06-20-153623successdocsfc1edb3a164d—41ed8ddeb745—
2026-06-19T21:16:31Z2026-06-19-202157successdocsa3a7468a1b72—a8d01ceaeecf—
2026-06-19T20:04:11Z2026-06-19-192323successdocsfc1edb3a164dblessedaac2e2183ef8—
2026-06-16T20:02:35Z2026-06-16-183655successdocsfc1edb3a164dblessed40522b00f40e—
2026-06-16T20:02:35Z2026-06-16-183655successdocs351f71e97eef—22f8e209a306—
2026-06-16T19:56:04Z2026-06-16-183655successdocsb4acf2cb6a45—e92691e669fb—
2026-06-16T14:00:57Z2026-06-16-123625successbuild—blessed872958dd4487—
2026-06-16T13:04:43Z2026-06-16-113640successbuild—blessed9f8ea86a663e—
2026-06-16T12:19:40Z2026-06-16-113640successbuild—blessed7870d420d7c9—