Profiles › full › package: coq › 8.13.2

coq.8.13.2

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-25T06:49:47Z2026-06-25-064654successdocs0743d6743b8dblessedcc88d9311a29—
2026-06-24T20:31:36Z2026-06-24-195017successdocs0743d6743b8dblessed6bb16b6e1333—
2026-06-24T12:02:52Z2026-06-24-103903successbuild—blessedf9b80a8a3e45
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:31Z2026-06-23-185007successdocs0743d6743b8dblessed093890511558—
2026-06-23T18:35:03Z2026-06-23-164340successbuild—blessed14bdec21ef04
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:30Z2026-06-23-084455successdocs0743d6743b8dblessed0251d5fc2df8—
2026-06-20T15:40:08Z2026-06-20-153623successdocs0743d6743b8dblessed80c08a536c07—
2026-06-19T20:17:17Z2026-06-19-192323successdocs0743d6743b8dblessed3e61066792c3—
2026-06-16T19:47:48Z2026-06-16-183655successdocs0743d6743b8dblessed790d836bdaee—
2026-06-16T12:15:16Z2026-06-16-113640successbuild—blessed1c45dbcb6de8—