Profiles › full › package: coq-core › 8.19.2

coq-core.8.19.2

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T20:50:10Z2026-06-24-195017successdocsad6c09fee2f2—d94a5e862f82—
2026-06-24T20:45:49Z2026-06-24-195017successdocs7caab9f22c53—fbff6ae91c22—
2026-06-24T20:42:46Z2026-06-24-195017successdocsbc634e705e8ablessed440766585a37—
2026-06-24T13:39:14Z2026-06-24-113204successbuild—blessedb1f40b559eda
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—blessed9da358ccadb0
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-24T11:29:14Z2026-06-24-103903successbuild—blessedab97df6137ee
11 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.2.1
  • ocaml-config.3
  • ocaml.5.2.1
  • ocamlfind.1.9.6
  • zarith.1.14
2026-06-23T20:05:47Z2026-06-23-185007successdocsad6c09fee2f2—2defa53f5bc6—
2026-06-23T19:48:22Z2026-06-23-173316successdocsbc634e705e8ablessed75522a082dba—
2026-06-23T19:40:52Z2026-06-23-173316successdocs7caab9f22c53—13b3c39b7b9f—
2026-06-23T18:55:40Z2026-06-23-164340successbuild—blessed1e15ec6eca3d
11 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.2.1
  • ocaml-config.3
  • ocaml.5.2.1
  • ocamlfind.1.9.6
  • zarith.1.14
2026-06-23T18:07:35Z2026-06-23-164340successbuild—blessed9cede2225e83
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:58:58Z2026-06-23-164340successbuild—blessed52bb2d4dfa6a
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-23T09:51:35Z2026-06-23-084455successdocsbc634e705e8ablessed488bdf9db90d—
2026-06-23T09:47:53Z2026-06-23-084455successdocs7caab9f22c53—6e29d5095e63—
2026-06-23T09:41:10Z2026-06-23-084455successdocsad6c09fee2f2—155b4729e2a2—
2026-06-20T18:57:10Z2026-06-20-174847successdocsbc634e705e8ablessed590d4c5fc628—
2026-06-20T15:50:43Z2026-06-20-153623successdocsbc634e705e8ablessedcdda2ac5b5f2—
2026-06-20T15:44:33Z2026-06-20-153623successdocs7caab9f22c53—9ecafc406cf5—
2026-06-20T15:43:33Z2026-06-20-153623successdocsad6c09fee2f2—20f2792630e9—
2026-06-19T20:04:39Z2026-06-19-192323successdocsbc634e705e8ablessed5ab590d8d225—
2026-06-19T19:41:15Z2026-06-19-183411successdocs7caab9f22c53—fa6b7b910df5—
2026-06-19T19:40:05Z2026-06-19-183411successdocsad6c09fee2f2—a5793f4fef25—
2026-06-16T20:02:35Z2026-06-16-183655successdocsbc634e705e8ablessedc424b9c180ce—
2026-06-16T20:02:35Z2026-06-16-183655successdocs7caab9f22c53—5b63602ebfe4—
2026-06-16T19:57:22Z2026-06-16-183655successdocsad6c09fee2f2—69314648c88a—
2026-06-16T14:01:19Z2026-06-16-123625successbuild—blessed33a85d5b2abe—
2026-06-16T13:04:43Z2026-06-16-113640successbuild—blessed848d214812ff—
2026-06-16T12:19:40Z2026-06-16-113640successbuild—blessed8206933664ce—