Profiles › full › package: coq-core › 8.17.1

coq-core.8.17.1

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—6767d2fcb9df—
2026-06-24T20:42:05Z2026-06-24-195017successdocsfc1edb3a164d—12a013aec187—
2026-06-24T20:36:25Z2026-06-24-195017successdocsaa74d0dc91d7blessed7ca2cabc02e6—
2026-06-24T13:39:03Z2026-06-24-113204successbuild—blessedf0c88ec698c2
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:47Z2026-06-24-103903successbuild—blessedf2a4584bb7bd
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-24T11:28:35Z2026-06-24-103903successbuild—blesseda1bb130c82c0
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:47Z2026-06-23-185007successdocsb4acf2cb6a45—acc5b795f216—
2026-06-23T19:49:43Z2026-06-23-173316successdocsfc1edb3a164d—fb674f83ec63—
2026-06-23T19:31:39Z2026-06-23-173316successdocsaa74d0dc91d7blessed33ea5a8ecab3—
2026-06-23T18:55:40Z2026-06-23-164340successbuild—blessedfa7070141ad6
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:04:36Z2026-06-23-164340successbuild—blessed1aac1ed3054f
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:56:49Z2026-06-23-164340successbuild—blessed9383f8d818a6
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:52:53Z2026-06-23-084455successdocsfc1edb3a164d—5fca27a399b9—
2026-06-23T09:44:04Z2026-06-23-084455successdocsaa74d0dc91d7blesseda7df212c7f88—
2026-06-23T09:39:16Z2026-06-23-084455successdocsb4acf2cb6a45—0f416d466587—
2026-06-20T20:01:34Z2026-06-20-192413successdocsaa74d0dc91d7blessedb55e3cda679b—
2026-06-20T16:22:33Z2026-06-20-153623successbuild—blessed0d366b21dfa7—
2026-06-20T15:50:34Z2026-06-20-153623successdocsfc1edb3a164d—f6cbf5f26a45—
2026-06-19T21:16:31Z2026-06-19-202157successdocsa3a7468a1b72—c402190f87ef—
2026-06-19T20:06:12Z2026-06-19-192323successdocsfc1edb3a164dblessed5446a8e5ef70—
2026-06-16T20:02:35Z2026-06-16-183655successdocsfc1edb3a164dblessed9bbf25904962—
2026-06-16T19:57:11Z2026-06-16-183655successdocsb4acf2cb6a45—04f6fd9b1306—
2026-06-16T13:04:43Z2026-06-16-113640successbuild—blessed77fcdc814630—
2026-06-16T12:19:40Z2026-06-16-113640successbuild—blessedf706c9bc0b7f—