Profilesfullpackage: coqide-server › 8.17.1

coqide-server.8.17.1

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-09T20:16:27Z2026-09-09-194724successdocs2b7d1e4c10885c55fcf99833
2026-09-09T20:16:23Z2026-09-09-194724successdocs5f8a0cbe7955f13b8a816c5d
2026-09-09T20:14:33Z2026-09-09-194724successdocs523a6bee1f4fblessed377800ae9754
2026-09-09T09:43:51Z2026-09-09-084957successdocs523a6bee1f4fblessed46e2e80807f3
2026-09-09T09:34:39Z2026-09-09-084957successdocs2b7d1e4c1088cc8ce25ebb42
2026-09-09T09:33:18Z2026-09-09-084957successdocs5f8a0cbe795529463e79725a
2026-09-08T18:16:55Z2026-09-08-174327successdocs5f8a0cbe795546b037c5de3a
2026-09-08T18:14:33Z2026-09-08-174327successdocs2b7d1e4c10888558a598fa41
2026-09-08T18:12:28Z2026-09-08-174327successdocs523a6bee1f4fblesseda61a8af91daf
2026-09-07T22:55:17Z2026-09-07-214511successdocs523a6bee1f4fblessedb86be4f9af07
2026-09-07T22:50:45Z2026-09-07-214511successdocs2b7d1e4c1088f24319f65b0d
2026-09-07T22:48:39Z2026-09-07-214511successdocs5f8a0cbe7955fc518a6ba12d
2026-09-06T20:41:34Z2026-09-06-193832successdocs5f8a0cbe79558cb2553390ac
2026-09-06T20:41:19Z2026-09-06-193832successdocs2b7d1e4c10880e220df93197
2026-09-06T20:38:21Z2026-09-06-193832successdocs523a6bee1f4fblessed9a74ae55755b
2026-09-04T20:44:43Z2026-09-04-173559successdocs5f8a0cbe7955297b9f026d1f
2026-09-04T20:34:06Z2026-09-04-173559successdocs2b7d1e4c108884dc70dc7287
2026-09-04T20:31:27Z2026-09-04-173559successdocs523a6bee1f4fblessed06e5ad153e2a
2026-09-04T16:48:32Z2026-09-04-153617successbuildblesseddc78c28ac8b3
12 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-gmp.5
  • conf-pkg-config.5
  • coq-core.8.17.1
  • 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:39:02Z2026-09-03-223036successdocs91d590857897blessed8b2d30763005
2026-09-04T02:27:54Z2026-09-03-223036successdocs5f8a0cbe79554732ebcdd21b
2026-09-04T02:26:21Z2026-09-03-223036successdocs2b7d1e4c108803d2c77e4ab2
2026-09-03T21:40:49Z2026-09-03-173109successbuildblesseda8e99c3daf6c
12 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-pkg-config.5
  • coq-core.8.17.1
  • 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-173109successbuildblessed962b554ebe75
12 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-gmp.5
  • conf-pkg-config.5
  • coq-core.8.17.1
  • 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:21Z2026-09-03-173109successbuildblesseda333b2089d0d
11 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-pkg-config.5
  • coq-core.8.17.1
  • dune.3.23.1
  • ocaml-base-compiler.5.2.1
  • ocaml-config.3
  • ocaml.5.2.1
  • ocamlfind.1.9.6
  • zarith.1.14