Profiles › full › package: coq-core › 8.20.1

coq-core.8.20.1

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T21:05:51Z2026-06-24-203345successdocs88e367159c60blessed64510c19291b—
2026-06-24T20:45:21Z2026-06-24-195017successdocs7caab9f22c53—3628d8e6b904—
2026-06-24T20:43:03Z2026-06-24-195017successdocsbc634e705e8a—a46fc696fc49—
2026-06-24T14:00:59Z2026-06-24-135303successbuild—blessed52ae0a0b33b5
14 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • 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-06-24T13:39:36Z2026-06-24-113204successbuild—blessed6b2c9fd7972e
12 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • 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-24T12:18:16Z2026-06-24-103903successbuild—blessedd3061da7eec5
12 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • 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-23T19:49:01Z2026-06-23-173316successdocs88e367159c60blessedfa0095b07e25—
2026-06-23T19:48:03Z2026-06-23-173316successdocsbc634e705e8a—48918f25a7e4—
2026-06-23T19:39:53Z2026-06-23-173316successdocs7caab9f22c53—01d3555b80db—
2026-06-23T18:04:45Z2026-06-23-164340successbuild—blessedfc6628cccde0
14 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • 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-06-23T18:03:13Z2026-06-23-164340successbuild—blessed868b88c30ce6
12 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • 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-23T16:59:48Z2026-06-23-164340successbuild—blessed819b7defd691
12 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • 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-23T10:12:04Z2026-06-23-092928successdocs88e367159c60blessed8194556caacb—
2026-06-23T09:50:24Z2026-06-23-084455successdocsbc634e705e8a—618a1368c2be—
2026-06-23T09:50:17Z2026-06-23-084455successdocs7caab9f22c53—335fb66c9f18—
2026-06-20T18:57:37Z2026-06-20-174847successdocs88e367159c60blessed9c286b0fa12f—
2026-06-20T18:55:44Z2026-06-20-174847successdocsbc634e705e8a—26248a4423aa—
2026-06-20T15:57:05Z2026-06-20-153623successdocs88e367159c60blessed23effa84c36c—
2026-06-20T15:52:16Z2026-06-20-153623successdocsbc634e705e8a—658ededfff20—
2026-06-20T15:43:18Z2026-06-20-153623successdocs7caab9f22c53—dfc6d8851d97—
2026-06-19T20:52:00Z2026-06-19-192323successdocs88e367159c60blessede70cc7a415e7—
2026-06-19T20:04:09Z2026-06-19-192323successdocsbc634e705e8a—8185bff5e34a—
2026-06-19T19:41:37Z2026-06-19-183411successdocs7caab9f22c53—6a9bfc34119f—
2026-06-16T20:24:49Z2026-06-16-193644successdocs88e367159c60blessed2bd03296f80e—
2026-06-16T20:02:35Z2026-06-16-183655successdocsbc634e705e8a—f050e2c33a20—
2026-06-16T20:02:35Z2026-06-16-183655successdocs7caab9f22c53—ed1800a9ff61—
2026-06-16T15:31:46Z2026-06-16-133735successbuild—blesseda962e3777df5—
2026-06-16T14:00:16Z2026-06-16-123625successbuild—blessed154b2a57e8e4—
2026-06-16T13:04:20Z2026-06-16-113640successbuild—blessed0844c86465f0—