Profilesfullpackage: 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-195017successdocsb4acf2cb6a456767d2fcb9df
2026-06-24T20:42:05Z2026-06-24-195017successdocsfc1edb3a164d12a013aec187
2026-06-24T20:36:25Z2026-06-24-195017successdocsaa74d0dc91d7blessed7ca2cabc02e6
2026-06-24T13:39:03Z2026-06-24-113204successbuildblessedf0c88ec698c2
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-103903successbuildblessedf2a4584bb7bd
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-103903successbuildblesseda1bb130c82c0
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-185007successdocsb4acf2cb6a45acc5b795f216
2026-06-23T19:49:43Z2026-06-23-173316successdocsfc1edb3a164dfb674f83ec63
2026-06-23T19:31:39Z2026-06-23-173316successdocsaa74d0dc91d7blessed33ea5a8ecab3
2026-06-23T18:55:40Z2026-06-23-164340successbuildblessedfa7070141ad6
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-164340successbuildblessed1aac1ed3054f
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-164340successbuildblessed9383f8d818a6
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-084455successdocsfc1edb3a164d5fca27a399b9
2026-06-23T09:44:04Z2026-06-23-084455successdocsaa74d0dc91d7blesseda7df212c7f88
2026-06-23T09:39:16Z2026-06-23-084455successdocsb4acf2cb6a450f416d466587
2026-06-20T20:01:34Z2026-06-20-192413successdocsaa74d0dc91d7blessedb55e3cda679b
2026-06-20T16:22:33Z2026-06-20-153623successbuildblessed0d366b21dfa7
2026-06-20T15:50:34Z2026-06-20-153623successdocsfc1edb3a164df6cbf5f26a45
2026-06-19T21:16:31Z2026-06-19-202157successdocsa3a7468a1b72c402190f87ef
2026-06-19T20:06:12Z2026-06-19-192323successdocsfc1edb3a164dblessed5446a8e5ef70
2026-06-16T20:02:35Z2026-06-16-183655successdocsfc1edb3a164dblessed9bbf25904962
2026-06-16T19:57:11Z2026-06-16-183655successdocsb4acf2cb6a4504f6fd9b1306
2026-06-16T13:04:43Z2026-06-16-113640successbuildblessed77fcdc814630
2026-06-16T12:19:40Z2026-06-16-113640successbuildblessedf706c9bc0b7f