Profiles › full › package: coq › 8.13.0

coq.8.13.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-25T06:51:23Z2026-06-25-064654successdocs0743d6743b8dblessed04876f00e1ee—
2026-06-24T20:36:28Z2026-06-24-195017successdocs0743d6743b8dblessed3d173201101f—
2026-06-24T12:10:37Z2026-06-24-103903successbuild—blessed8514a04bcda3
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:01:48Z2026-06-23-185007successdocs0743d6743b8dblessedf579dfa0b4ef—
2026-06-23T18:50:36Z2026-06-23-164340successbuild—blessed4946713136b5
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:29Z2026-06-23-084455successdocs0743d6743b8dblessedccd9930eecf9—
2026-06-20T15:38:32Z2026-06-20-153623successdocs0743d6743b8dblessed01101016d323—
2026-06-19T20:17:18Z2026-06-19-192323successdocs0743d6743b8dblesseda3d6a4762df6—
2026-06-16T19:47:46Z2026-06-16-183655successdocs0743d6743b8dblessed07277954f412—
2026-06-16T12:21:12Z2026-06-16-113640successbuild—blessedd233766442a5—