Profiles › full › package: coq-shell › 1

coq-shell.1

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-08-06T04:29:58Z2026-08-06-025103successdocs5460826f2d32blessed4bac6caa9842—
2026-08-06T02:19:09Z2026-08-05-194044successdocs5460826f2d32blessed284cff091a23—
2026-08-05T17:42:28Z2026-08-05-173857successbuild—blessed1b16eb1e6e1f
4 deps
  • compiler-cloning.enabled
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
2026-08-04T03:55:05Z2026-08-03-223316successdocs5460826f2d32blessed64073d5c4365—
2026-07-31T18:32:35Z2026-07-31-165000successdocs5460826f2d32blessedec40e516561c—
2026-07-31T01:08:32Z2026-07-31-002521successbuild—blessedbc458249e5fc
4 deps
  • compiler-cloning.enabled
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
2026-07-29T12:26:12Z2026-07-29-121216successdocs5460826f2d32blessed59962d27393e—
2026-07-26T16:53:41Z2026-07-26-105040successdocs5460826f2d32blessed521e1967d3d4—
2026-07-24T17:09:23Z2026-07-24-164945successdocs5460826f2d32blessedcf73d78c9364—
2026-07-24T14:55:06Z2026-07-24-134145successdocs5460826f2d32blessed948443903170—
2026-07-24T10:51:25Z2026-07-24-104353successbuild—blessedbc458249e5fc
4 deps
  • compiler-cloning.enabled
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
2026-07-23T21:17:00Z2026-07-23-154118successdocs5460826f2d32blessed31e08b8d3a34—
2026-07-22T09:53:19Z2026-07-22-093902successdocs5460826f2d32blessedd619f1094006—
2026-07-15T01:21:23Z2026-07-14-215713successdocs5460826f2d32blessedac5a253a3500—
2026-07-14T17:06:19Z2026-07-14-163452successbuild—blessedc0bd458540f7—
2026-07-10T04:13:02Z2026-07-10-023424successdocs5460826f2d32blesseda674b9157559—
2026-07-09T18:18:07Z2026-07-09-174739successbuild—blesseddb2522012ac1—