Profilesfullpackage: coqide-server › 8.18.0

coqide-server.8.18.0

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

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T13:59:51Z2026-06-24-135303successbuildblessedc5647f3b626b
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-06-24T13:45:59Z2026-06-24-113204successbuildblessede919b4184076
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.8
  • zarith.1.14
2026-06-24T13:45:01Z2026-06-24-113204successbuildblessed60d039c1f6c9
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-06-24T12:15:55Z2026-06-24-103903successbuildblesseda1c5a8c245af
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
2026-06-23T20:02:39Z2026-06-23-185007successbuildblessedbdd5148757ea
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
2026-06-23T19:40:52Z2026-06-23-173316successbuildblessed18f36cfcee7e
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-06-23T19:12:03Z2026-06-23-164340successbuildblessed483857401245
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-06-23T18:56:38Z2026-06-23-164340successbuildblessedfcbb40c49d89
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.8
  • zarith.1.14
2026-06-20T17:12:30Z2026-06-20-153623successbuildblesseda99b5390f50d
2026-06-16T15:46:57Z2026-06-16-133735successbuildblessedf6e88d88572c
2026-06-16T14:29:01Z2026-06-16-123625successbuildblessedb9a75c4b03f5
2026-06-16T12:59:45Z2026-06-16-113640successbuildblessed064e1860d7f3