Profilesfullpackage: 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-195017successdocs7caab9f22c533628d8e6b904
2026-06-24T20:43:03Z2026-06-24-195017successdocsbc634e705e8aa46fc696fc49
2026-06-24T14:00:59Z2026-06-24-135303successbuildblessed52ae0a0b33b5
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-113204successbuildblessed6b2c9fd7972e
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-103903successbuildblessedd3061da7eec5
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-173316successdocsbc634e705e8a48918f25a7e4
2026-06-23T19:39:53Z2026-06-23-173316successdocs7caab9f22c5301d3555b80db
2026-06-23T18:04:45Z2026-06-23-164340successbuildblessedfc6628cccde0
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-164340successbuildblessed868b88c30ce6
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-164340successbuildblessed819b7defd691
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-084455successdocsbc634e705e8a618a1368c2be
2026-06-23T09:50:17Z2026-06-23-084455successdocs7caab9f22c53335fb66c9f18
2026-06-20T18:57:37Z2026-06-20-174847successdocs88e367159c60blessed9c286b0fa12f
2026-06-20T18:55:44Z2026-06-20-174847successdocsbc634e705e8a26248a4423aa
2026-06-20T15:57:05Z2026-06-20-153623successdocs88e367159c60blessed23effa84c36c
2026-06-20T15:52:16Z2026-06-20-153623successdocsbc634e705e8a658ededfff20
2026-06-20T15:43:18Z2026-06-20-153623successdocs7caab9f22c53dfc6d8851d97
2026-06-19T20:52:00Z2026-06-19-192323successdocs88e367159c60blessede70cc7a415e7
2026-06-19T20:04:09Z2026-06-19-192323successdocsbc634e705e8a8185bff5e34a
2026-06-19T19:41:37Z2026-06-19-183411successdocs7caab9f22c536a9bfc34119f
2026-06-16T20:24:49Z2026-06-16-193644successdocs88e367159c60blessed2bd03296f80e
2026-06-16T20:02:35Z2026-06-16-183655successdocsbc634e705e8af050e2c33a20
2026-06-16T20:02:35Z2026-06-16-183655successdocs7caab9f22c53ed1800a9ff61
2026-06-16T15:31:46Z2026-06-16-133735successbuildblesseda962e3777df5
2026-06-16T14:00:16Z2026-06-16-123625successbuildblessed154b2a57e8e4
2026-06-16T13:04:20Z2026-06-16-113640successbuildblessed0844c86465f0