Profiles › full › package: coq › 8.13.1

coq.8.13.1

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-25T06:50:59Z2026-06-25-064654successdocs0743d6743b8dblessede60f0bc0d2d8—
2026-06-24T20:31:43Z2026-06-24-195017successdocs0743d6743b8dblessed472f0a111d71—
2026-06-24T12:06:30Z2026-06-24-103903successbuild—blessed4905dfae4f0f
9 deps
  • conf-findutils.1
  • conf-gmp.5
  • conf-pkg-config.5
  • num.1.6
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlfind.1.9.8
  • zarith.1.14
2026-06-23T20:02:23Z2026-06-23-185007successdocs0743d6743b8dblessedb1d7039d807d—
2026-06-23T18:55:40Z2026-06-23-164340successbuild—blessedf9ea05d9dab2
9 deps
  • conf-findutils.1
  • conf-gmp.5
  • conf-pkg-config.5
  • num.1.6
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlfind.1.9.8
  • zarith.1.14
2026-06-23T09:26:33Z2026-06-23-084455successdocs0743d6743b8dblessedb4bcf263d7a6—
2026-06-20T15:41:52Z2026-06-20-153623successdocs0743d6743b8dblessed76a10f129600—
2026-06-19T20:17:18Z2026-06-19-192323successdocs0743d6743b8dblessed6dec97af8c6b—
2026-06-16T19:47:49Z2026-06-16-183655successdocs0743d6743b8dblessed58daeaec593f—
2026-06-16T12:19:39Z2026-06-16-113640successbuild—blessedcaecf49cabc9—