Profilesfullpackage: coq-core › 8.19.0

coq-core.8.19.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-195017successdocs0fbe7c55d317blessed32a86720299e
2026-06-24T12:20:18Z2026-06-24-103903successbuildblessed3e59158bb2fb
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:39:53Z2026-06-23-173316successdocs0fbe7c55d317blessed9a6e365550f2
2026-06-23T16:56:50Z2026-06-23-164340successbuildblessedb0557dfe6aef
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:44:43Z2026-06-23-084455successdocs0fbe7c55d317blessed89392f747cc0
2026-06-20T20:02:42Z2026-06-20-192413successdocs0fbe7c55d317blessede736ff792c39
2026-06-20T16:22:38Z2026-06-20-153623successbuildblessed854c4fd29ec6
2026-06-19T21:15:32Z2026-06-19-202157successdocs67a23a5c270dblesseda3448d95286d
2026-06-16T20:02:35Z2026-06-16-183655successdocsbc634e705e8ablessedb9c07b7c939e
2026-06-16T13:04:42Z2026-06-16-113640successbuildblessed92b113d77559