Profiles › full › package: rocq-core › 9.3.0

rocq-core.9.3.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-11-06T22:43:58Z2026-11-06-203537successdocs0c16fd158eeablessed02f7c9269a50—
2026-11-06T22:40:09Z2026-11-06-203537successdocsb578fdad5119—1d35af44995e—
2026-11-06T14:55:41Z2026-11-06-091811successdocs0c16fd158eeablesseda72a6fdb0389—
2026-11-06T13:09:53Z2026-11-06-091811successdocsb578fdad5119—99f885a610c8—
2026-11-06T03:30:57Z2026-11-05-220656successbuild—blessed912a0b2d5781
15 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.24.2
  • 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
  • rocq-runtime.9.3.0
  • zarith.1.14
2026-11-05T23:21:34Z2026-11-05-172759successbuild—blessed422e5ca5435b
13 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • dune.3.24.2
  • ocaml-base-compiler.5.5.2
  • ocaml-compiler.5.5.2
  • ocaml.5.5.2
  • ocamlfind.1.9.9~preview
  • rocq-runtime.9.3.0
  • zarith.1.14
2026-11-05T06:10:34Z2026-11-05-035011successdocsb578fdad5119—a0d29d8b6275—
2026-11-02T09:41:09Z2026-11-02-090434successdocsb578fdad5119—32a3c5ccbe91—
2026-11-02T09:41:08Z2026-11-02-090434successdocs0c16fd158eeablessed4de063ef278d—
2026-10-30T20:45:47Z2026-10-30-144942successdocs0c16fd158eeablessede9a0694f0476—
2026-10-30T18:15:26Z2026-10-30-144942successdocsb578fdad5119—226cd1f7f8f8—
2026-10-30T15:29:53Z2026-10-30-104247successdocs0c16fd158eeablessed7f2d3add5bd2—
2026-10-30T15:12:35Z2026-10-30-104247successdocsb578fdad5119—8fbb9e51f76d—
2026-10-30T06:08:49Z2026-10-29-233731successdocs0c16fd158eeablessed8ae82cf4ac2b—
2026-10-30T04:00:50Z2026-10-29-233731successdocsb578fdad5119—a046496fc151—
2026-10-29T07:44:14Z2026-10-29-013439successbuild—blessedcf7ea0de317a
13 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • dune.3.24.2
  • ocaml-base-compiler.5.5.2
  • ocaml-compiler.5.5.2
  • ocaml.5.5.2
  • ocamlfind.1.9.9~preview
  • rocq-runtime.9.3.0
  • zarith.1.14
2026-10-29T06:05:53Z2026-10-29-013439successbuild—blessedb95e0552d889
15 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.24.2
  • 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
  • rocq-runtime.9.3.0
  • zarith.1.14
2026-10-27T22:57:17Z2026-10-27-201705successdocs0c16fd158eeablessed9b47cc758a0b—
2026-10-27T19:53:59Z2026-10-27-171126successdocsb578fdad5119—2ef71df947f0—
2026-10-27T13:32:05Z2026-10-27-105258successdocs0c16fd158eeablessed871a7a57d0f3—
2026-10-27T12:56:14Z2026-10-27-105258successdocsb578fdad5119—3cfaf527a303—
2026-10-26T23:56:23Z2026-10-26-214724successdocs0c16fd158eeablessed89fc9fdada64—
2026-10-26T22:21:59Z2026-10-26-204544successdocsb578fdad5119—727604b4956a—
2026-10-25T22:36:40Z2026-10-25-114903successdocs0c16fd158eeablessed5aff4e1d8afc—
2026-10-25T16:25:36Z2026-10-25-114903successdocsb578fdad5119—157d10a10e51—
2026-10-25T02:52:14Z2026-10-24-223844successdocs0c16fd158eeablessedf5087ee094a2—
2026-10-25T00:33:24Z2026-10-24-223844successdocsb578fdad5119—052ae4eb344f—
2026-10-24T20:33:00Z2026-10-24-152942successdocs0c16fd158eeablessed2318de657a23—
2026-10-24T19:02:40Z2026-10-24-152942successdocsb578fdad5119—fed92ddf2c26—
2026-10-24T12:42:15Z2026-10-24-092246successdocs0c16fd158eeablessedad720115887b—
2026-10-24T11:09:52Z2026-10-24-092246successdocsb578fdad5119—b418ff6052f1—
2026-10-24T08:54:43Z2026-10-24-002606successdocs0c16fd158eeablessedc463f596ccf8—
2026-10-24T07:46:56Z2026-10-24-002606successdocsb578fdad5119—456b2d12b253—
2026-10-23T21:54:59Z2026-10-23-211721successbuild—blessed52d8685349fd—
2026-10-23T21:53:42Z2026-10-23-201901failurebuild—blessed52d8685349fd—
2026-10-22T13:14:31Z2026-10-22-023526successdocs0c16fd158eeablessedb5ba6e90e0a9—
2026-10-22T11:25:40Z2026-10-22-023526successdocs742d9166b165—ba1f561e7f7a—
2026-10-21T23:09:02Z2026-10-21-230309successbuild—blessed8c8657ed1560—
2026-10-21T23:06:32Z2026-10-21-230309successbuild—blessed104e7b4436eb—
2026-10-17T09:31:51Z2026-10-17-073117successdocs0c16fd158eeablessed22289c7dd028—
2026-10-17T09:25:43Z2026-10-17-073117successdocs742d9166b165—7ff07c64e819—
2026-10-16T04:39:40Z2026-10-15-205801successdocs0c16fd158eeablessed7c6c4e7e25de—
2026-10-16T02:29:57Z2026-10-15-205801successdocs742d9166b165—cc463b0b67d4—
2026-10-14T13:39:05Z2026-10-14-114357successdocs0c16fd158eeablessed940f40655c83—
2026-10-14T12:17:25Z2026-10-14-114357successdocs742d9166b165—9b957320d6cc—
2026-10-09T16:45:58Z2026-10-09-142227successdocs0c16fd158eeablessed71a236f18148—
2026-10-09T11:39:27Z2026-10-09-091946successdocs742d9166b165—987016446cb6—
2026-10-07T21:20:14Z2026-10-07-210218successbuild—blessed3f35ee9fbe4b—
2026-10-07T10:21:00Z2026-10-07-011659successbuild—blessede9f6c0956619—
2026-10-04T15:36:04Z2026-10-04-143904successdocs0c16fd158eeablessed1d6c4d8ed98f—
2026-10-04T15:32:08Z2026-10-04-143904successdocs742d9166b165—abe0c314c9c4—
2026-10-03T20:21:51Z2026-10-03-184025successdocs0c16fd158eeablessed8d3043a96ae7—
2026-10-03T19:32:15Z2026-10-03-184025successdocs742d9166b165—0508937e7a57—
2026-10-03T18:51:03Z2026-10-03-173316successdocs742d9166b165—15a6dce92b83—
2026-10-01T17:45:59Z2026-10-01-161351successdocs0c16fd158eeablessed29b4c5c6f5df—
2026-10-01T16:59:47Z2026-10-01-161351successdocs742d9166b165—04fcfaefdd16—
2026-10-01T11:46:46Z2026-10-01-100800successdocs0c16fd158eeablessedb4437b20cd5f—
2026-10-01T11:10:15Z2026-10-01-100800successdocs742d9166b165—ab42f46540db—
2026-09-29T18:59:42Z2026-09-29-184936successdocs742d9166b165—8c8fcac1c9f7—
2026-09-29T18:59:38Z2026-09-29-184936successdocs0c16fd158eeablessedf24853e43341—
2026-09-29T18:57:15Z2026-09-29-184936successbuild—blessed0f3a44307b1d—
2026-09-29T18:56:38Z2026-09-29-184936successbuild—blessed43db02b3128c—