Profiles › full › package: coqide-server › 9.3.0

coqide-server.9.3.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-11-06T22:40:07Z2026-11-06-203537successdocsfddee087002f—1fc358eb3e79—
2026-11-06T22:40:07Z2026-11-06-203537successdocsb578fdad5119blessed4941cc80a554—
2026-11-06T13:10:00Z2026-11-06-091811successdocsfddee087002fblessed2869b7e313bf—
2026-11-06T13:09:55Z2026-11-06-091811successdocsb578fdad5119—3fdc4890bd4e—
2026-11-05T23:21:35Z2026-11-05-172759successbuild—blessed0f2a27443d30
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-05T23:21:34Z2026-11-05-172759successbuild—blessed6332aa7bb674
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.23.1
  • 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—ae00971aa80e—
2026-11-02T09:42:42Z2026-11-02-090434successdocsfddee087002fblessedb86f10277d6f—
2026-11-02T09:41:11Z2026-11-02-090434successdocsb578fdad5119—646b5c03bc03—
2026-10-30T18:20:53Z2026-10-30-144942successdocsb578fdad5119—0de0af5bf85a—
2026-10-30T18:15:24Z2026-10-30-144942successdocsfddee087002fblessed467b84023a81—
2026-10-30T15:12:35Z2026-10-30-104247successdocsfddee087002fblessed416737c47635—
2026-10-30T15:12:35Z2026-10-30-104247successdocsb578fdad5119—1a321d6148e8—
2026-10-30T04:01:34Z2026-10-29-233731successdocsfddee087002fblesseda903287abb5a—
2026-10-30T04:00:50Z2026-10-29-233731successdocsb578fdad5119—d798984b002a—
2026-10-29T08:03:31Z2026-10-29-013439successbuild—blessedaed6b704d72b
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.23.1
  • 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-29T07:44:14Z2026-10-29-013439successbuild—blessed88b1e06139f5
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-27T19:54:00Z2026-10-27-171126successdocsb578fdad5119—8f478b720c3a—
2026-10-27T19:53:57Z2026-10-27-171126successdocsfddee087002fblessedc83f6804d5b8—
2026-10-27T12:56:23Z2026-10-27-105258successdocsb578fdad5119blessed9706acaf0b5d—
2026-10-27T12:56:11Z2026-10-27-105258successdocsfddee087002f—f3cf16cda384—
2026-10-26T22:24:36Z2026-10-26-204544successdocsfddee087002fblessede1011744038e—
2026-10-26T22:21:59Z2026-10-26-204544successdocsb578fdad5119—88f8657d4a13—
2026-10-25T16:25:51Z2026-10-25-114903successdocsfddee087002fblessed92495630d3ff—
2026-10-25T16:25:51Z2026-10-25-114903successdocsb578fdad5119—f82853c6609a—
2026-10-25T00:33:24Z2026-10-24-223844successdocsb578fdad5119—6f3829543d40—
2026-10-25T00:33:24Z2026-10-24-223844successdocsfddee087002fblessed30591c3bd0fe—
2026-10-24T19:02:43Z2026-10-24-152942successdocsb578fdad5119—05334ce13b76—
2026-10-24T19:00:41Z2026-10-24-152942successdocsfddee087002fblessed9e51d45d0dea—
2026-10-24T11:12:55Z2026-10-24-092246successdocsfddee087002fblessed8e6ea5f1f141—
2026-10-24T11:09:52Z2026-10-24-092246successdocsb578fdad5119—74afd7ebd131—
2026-10-24T07:46:58Z2026-10-24-002606successdocsb578fdad5119—79cd550458f1—
2026-10-24T07:46:58Z2026-10-24-002606successdocsfddee087002fblessed64e6f12a18a8—
2026-10-23T21:53:43Z2026-10-23-211721successbuild—blessed7716bbcb9009—
2026-10-23T21:53:23Z2026-10-23-201901failurebuild—blessed7716bbcb9009—
2026-10-23T21:44:19Z2026-10-23-201901successbuild—blessedf96b5566d746—
2026-10-22T11:25:42Z2026-10-22-023526successdocs742d9166b165—c1379f62ae78—
2026-10-22T11:25:41Z2026-10-22-023526successdocsb3eb702e5819blessedd64e0e74507f—
2026-10-21T23:10:31Z2026-10-21-230309successbuild—blessed825912b83214—
2026-10-21T23:10:11Z2026-10-21-230309successbuild—blesseda90ac0b95ad4—
2026-10-17T09:26:04Z2026-10-17-073117successdocsb3eb702e5819blesseda89c19841616—
2026-10-17T09:25:43Z2026-10-17-073117successdocs742d9166b165—3d4235869370—
2026-10-16T02:30:00Z2026-10-15-205801successdocs742d9166b165—17aab6e82013—
2026-10-16T02:29:57Z2026-10-15-205801successdocsb3eb702e5819blessedd5301935c1d6—
2026-10-14T12:27:37Z2026-10-14-114357successdocsb3eb702e5819blessedbaaf7e5fe563—
2026-10-14T12:22:02Z2026-10-14-114357successdocs742d9166b165—d51c2ad7383b—
2026-10-09T11:39:27Z2026-10-09-091946successdocs742d9166b165—8722a8f9e9ad—
2026-10-09T11:39:27Z2026-10-09-091946successdocsb3eb702e5819blessed5a5765794a4c—
2026-10-07T10:21:14Z2026-10-07-011659successbuild—blessedef9a2314a682—
2026-10-07T10:20:59Z2026-10-07-011659successbuild—blessed1dbc6f692e1f—
2026-10-04T15:32:46Z2026-10-04-143904successdocsb3eb702e5819blessed0f541253ee51—
2026-10-04T15:32:06Z2026-10-04-143904successdocs742d9166b165—72bdfad22c2a—
2026-10-03T19:32:16Z2026-10-03-184025successdocs742d9166b165—9a27fd5e59cf—
2026-10-03T19:31:52Z2026-10-03-184025successdocsb3eb702e5819blessedd86920aceb9c—
2026-10-03T18:51:59Z2026-10-03-173316successdocsb3eb702e5819blessed37b111b42dc7—
2026-10-03T18:51:10Z2026-10-03-173316successdocs742d9166b165—3839f9165173—
2026-10-01T17:00:32Z2026-10-01-161351successdocsb3eb702e5819blessedd6a254d35200—
2026-10-01T16:59:19Z2026-10-01-161351successdocs742d9166b165—f5396398904c—
2026-10-01T11:13:32Z2026-10-01-100800successdocsb3eb702e5819blesseddfd398154d33—
2026-10-01T11:10:15Z2026-10-01-100800successdocs742d9166b165—b46d699a55d6—
2026-09-29T18:59:47Z2026-09-29-184936successdocs742d9166b165—73e34024938f—
2026-09-29T18:59:41Z2026-09-29-184936successdocsb3eb702e5819blessed307408dbef52—
2026-09-29T18:56:37Z2026-09-29-184936successbuild—blessedd036dc9edbc6—
2026-09-29T18:56:23Z2026-09-29-184936successbuild—blessed619bd26f4448—