Profiles › full › package: coq › 8.20.1

coq.8.20.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-09T10:10:44Z2026-09-09-084957successdocs92e43f70136ablessed16f22da0cef4—
2026-09-09T09:52:49Z2026-09-09-084957successdocs727ea5a60ccf—2ae9d7c6cbd8—
2026-09-09T09:52:36Z2026-09-09-084957successdocs2a5f79a8d1cc—bfc60260f3e0—
2026-09-08T19:16:49Z2026-09-08-174327successdocs92e43f70136ablessed560371606227—
2026-09-08T18:42:42Z2026-09-08-174327successdocs2a5f79a8d1cc—18b5dcf3d270—
2026-09-08T18:36:31Z2026-09-08-174327successdocs727ea5a60ccf—5e5aa25f6cea—
2026-09-07T23:41:00Z2026-09-07-214511successdocs92e43f70136ablessedefccddf2a31c—
2026-09-07T23:25:46Z2026-09-07-214511successdocs727ea5a60ccf—cc03d2dc5b2b—
2026-09-07T23:13:02Z2026-09-07-214511successdocs2a5f79a8d1cc—337500a204b6—
2026-09-06T21:48:43Z2026-09-06-193832successdocs92e43f70136ablessedd0d7ffc4df3d—
2026-09-06T21:11:11Z2026-09-06-193832successdocs2a5f79a8d1cc—3222f0161b5d—
2026-09-06T21:07:31Z2026-09-06-193832successdocs727ea5a60ccf—5067f332f8b0—
2026-09-04T21:12:45Z2026-09-04-173559successdocs92e43f70136ablessed70c590299a01—
2026-09-04T21:03:18Z2026-09-04-173559successdocs727ea5a60ccf—d3356ea6aba3—
2026-09-04T20:53:46Z2026-09-04-173559successdocs2a5f79a8d1cc—ab2f9d371969—
2026-09-04T03:13:28Z2026-09-03-223036successdocs92e43f70136ablessed323654eac491—
2026-09-04T02:55:55Z2026-09-03-223036successdocs727ea5a60ccf—dff38a15d6f5—
2026-09-04T02:50:14Z2026-09-03-223036successdocs2a5f79a8d1cc—aecfb422be69—
2026-09-03T23:36:36Z2026-09-03-223036successbuild—blessedfd417cd9a0da
17 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • coq-core.8.20.1
  • coq-stdlib.8.20.1
  • coqide-server.8.20.1
  • cppo.1.8.0
  • dune.3.23.1
  • memprof-limits.0.3.0
  • 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-03T22:45:15Z2026-09-03-173109successbuild—blessed2e54e5cd7e20
15 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • coq-core.8.20.1
  • coq-stdlib.8.20.1
  • coqide-server.8.20.1
  • 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-03T22:44:36Z2026-09-03-173109successbuild—blessed6ba470f1542d
15 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • coq-core.8.20.1
  • coq-stdlib.8.20.1
  • coqide-server.8.20.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