Profiles › full › package: coqide-server › 8.18.0

coqide-server.8.18.0

No rendered docs found on disk, though the latest blessed build succeeded — the output may still be syncing.

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-09-09T09:43:34Z2026-09-09-084957successdocs857f7485f79bblessed5c892775e2e9—
2026-09-09T09:34:56Z2026-09-09-084957successdocs8bcf7029727b—0a884c0c75ea—
2026-09-09T09:34:31Z2026-09-09-084957successdocsd70c13209d73—989567af1620—
2026-09-09T09:34:18Z2026-09-09-084957successdocs83d0f4256e58—9810d1358013—
2026-09-08T18:16:56Z2026-09-08-174327successdocsd70c13209d73—e0eb0497ef3f—
2026-09-08T18:16:04Z2026-09-08-174327successdocs83d0f4256e58—414fff71f356—
2026-09-08T18:12:55Z2026-09-08-174327successdocs8bcf7029727b—e26182aa7389—
2026-09-08T18:12:41Z2026-09-08-174327successdocs857f7485f79bblessed71fbb4dab101—
2026-09-07T23:02:20Z2026-09-07-214511successdocs8bcf7029727b—b0c9eea0fb77—
2026-09-07T22:52:36Z2026-09-07-214511successdocs857f7485f79bblessedf975e843cb15—
2026-09-07T22:50:44Z2026-09-07-214511successdocs83d0f4256e58—b8f92fb3a2b6—
2026-09-07T22:48:39Z2026-09-07-214511successdocsd70c13209d73—c0c592d9c2d1—
2026-09-06T20:41:09Z2026-09-06-193832successdocsd70c13209d73—478aa29ac4c2—
2026-09-06T20:40:54Z2026-09-06-193832successdocs83d0f4256e58—7360b5092f79—
2026-09-06T20:39:01Z2026-09-06-193832successdocs8bcf7029727b—d0cf2b7b57f4—
2026-09-06T20:37:59Z2026-09-06-193832successdocs857f7485f79bblessed7308c3151b75—
2026-09-04T20:45:20Z2026-09-04-173559successdocs8bcf7029727b—53d3603ecf1d—
2026-09-04T20:45:03Z2026-09-04-173559successdocsd70c13209d73—f21b374eb148—
2026-09-04T20:34:06Z2026-09-04-173559successdocs83d0f4256e58—280ded31a3c5—
2026-09-04T20:32:25Z2026-09-04-173559successdocs857f7485f79bblessed72edfed8dd24—
2026-09-04T16:48:23Z2026-09-04-153617successbuild—blessed66ec13f340d9
12 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-gmp.5
  • conf-pkg-config.5
  • coq-core.8.18.0
  • dune.3.23.1
  • ocaml-base-compiler.5.5.1
  • ocaml-compiler.5.5.1
  • ocaml.5.5.1
  • ocamlfind.1.9.9~preview
  • zarith.1.14
2026-09-04T02:42:46Z2026-09-03-223036successdocs1e5782011bf9blessed21063defdb0f—
2026-09-04T02:35:28Z2026-09-03-223036successdocs8bcf7029727b—81224856465e—
2026-09-04T02:27:48Z2026-09-03-223036successdocsd70c13209d73—27cf14c12a2e—
2026-09-04T02:25:50Z2026-09-03-223036successdocs83d0f4256e58—d07663877a95—
2026-09-03T21:41:48Z2026-09-03-173109successbuild—blessed70c50342049f
12 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-pkg-config.5
  • coq-core.8.18.0
  • dune.3.23.1
  • ocaml-base-compiler.5.3.0
  • ocaml-compiler.5.3.0
  • ocaml-config.3
  • ocaml.5.3.0
  • ocamlfind.1.9.8
  • zarith.1.14
2026-09-03T21:40:49Z2026-09-03-173109successbuild—blessed6e51c3866390
12 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-pkg-config.5
  • coq-core.8.18.0
  • dune.3.23.1
  • ocaml-base-compiler.5.4.1
  • ocaml-compiler.5.4.1
  • ocaml-config.3
  • ocaml.5.4.1
  • ocamlfind.1.9.8
  • zarith.1.14
2026-09-03T20:21:37Z2026-09-03-173109successbuild—blessed28d1d6fa8632
12 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-gmp.5
  • conf-pkg-config.5
  • coq-core.8.18.0
  • dune.3.23.1
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • ocamlfind.1.9.9~preview
  • zarith.1.14
2026-09-03T18:29:38Z2026-09-03-173109successbuild—blessed310d13ce87b2
11 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-pkg-config.5
  • coq-core.8.18.0
  • dune.3.23.1
  • ocaml-base-compiler.5.2.1
  • ocaml-config.3
  • ocaml.5.2.1
  • ocamlfind.1.9.6
  • zarith.1.14