Profiles › full › package: rocqide › 9.3.0

rocqide.9.3.0

Open rendered docs

History

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-11-07T00:58:36Z2026-11-06-203537successdocsdf54111f307ablessed6ac8f3f3796b—
2026-11-06T16:41:29Z2026-11-06-151626successdocsdf54111f307ablessede9aae5e2d2b1—
2026-11-06T06:07:46Z2026-11-06-031021successbuild—blessed7f5a9bf78338
26 deps
  • base-bigarray.base
  • base-threads.base
  • base-unix.base
  • cairo2.0.6.5
  • camlp-streams.5.0.1
  • compiler-cloning.enabled
  • conf-adwaita-icon-theme.2
  • conf-cairo.1
  • conf-findutils.1
  • conf-gmp.5
  • conf-gtk3.18
  • conf-gtksourceview3.0+2
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • coqide-server.9.3.0
  • csexp.1.5.2
  • dune-configurator.3.23.1
  • dune.3.23.1
  • lablgtk3-sourceview3.3.1.5
  • lablgtk3.3.1.5
  • 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-05T14:46:40Z2026-11-05-140256successdocsdf54111f307ablessedfe6aa354f3c2—
2026-11-02T10:00:09Z2026-11-02-090434successdocsdf54111f307ablessed934a2d4f3f18—
2026-10-30T21:25:40Z2026-10-30-144942successdocsdf54111f307ablessed0cc13e051e07—
2026-10-30T09:45:26Z2026-10-29-233731successdocsdf54111f307ablessedc79a364a7ea2—
2026-10-29T15:50:07Z2026-10-29-013439successbuild—blessed1e0dd2dc3485—
2026-10-28T01:31:52Z2026-10-27-201705successdocsdf54111f307ablessed7486d968a3f2—
2026-10-27T16:21:22Z2026-10-27-105258successdocsdf54111f307ablessed619f7b100283—
2026-10-27T01:15:19Z2026-10-26-214724successdocsdf54111f307ablessed5f904037ed64—
2026-10-26T07:04:12Z2026-10-25-114903successdocsdf54111f307ablessed132fd1670112—
2026-10-25T03:52:31Z2026-10-24-223844successdocsdf54111f307ablessed2a29721607e9—
2026-10-24T23:16:36Z2026-10-24-152942successdocsdf54111f307ablessed3140c9b92dbc—
2026-10-24T13:45:57Z2026-10-24-092246successdocsdf54111f307ablessed27045e021626—
2026-10-24T01:03:18Z2026-10-24-002606successbuild—blessed0930ab291673—
2026-10-22T15:20:02Z2026-10-22-023526successdocse1da13b055f4blessedd875944948cc—
2026-10-22T05:47:56Z2026-10-22-023526successbuild—blessed7893c84d03cd—
2026-10-17T10:14:48Z2026-10-17-073117successdocse1da13b055f4blessed54da82e28dc5—
2026-10-16T18:17:18Z2026-10-16-171222successbuild—blessedffa4242abcf4—
2026-10-16T06:54:46Z2026-10-15-205801successdocse1da13b055f4blessed079b5794258e—
2026-10-14T13:52:29Z2026-10-14-114357successdocse1da13b055f4blessed73e984c09f79—
2026-10-09T17:44:55Z2026-10-09-142227successdocse1da13b055f4blessed7172f8f01f73—
2026-10-08T05:37:40Z2026-10-07-210218successbuild—blessedffa4242abcf4—
2026-10-04T16:57:28Z2026-10-04-143904successdocse1da13b055f4blessedeb0e24050fec—
2026-10-03T20:54:07Z2026-10-03-184025successdocse1da13b055f4blessedd7f398d04a11—
2026-10-01T18:35:31Z2026-10-01-161351successdocse1da13b055f4blessed3a39312915d0—
2026-10-01T12:21:24Z2026-10-01-100800successdocse1da13b055f4blessed5fc49fa99805—
2026-09-29T18:59:42Z2026-09-29-184936successdocse1da13b055f4blessede2dd225c0506—
2026-09-29T18:57:29Z2026-09-29-184936successbuild—blessed9a453c89a823—