Profiles › full › package: kind2 › 3.0.0

kind2.3.0.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T21:23:28Z2026-06-24-203345successdocs02e5d91d57b6blessed51d5b3d0621d—
2026-06-24T16:40:58Z2026-06-24-135303successbuild—blessedca1b23eadfbb
20 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-pkg-config.5
  • conf-zmq.0.1
  • csexp.1.5.2
  • dune-build-info.3.23.1
  • dune-configurator.3.23.1
  • dune.3.23.1
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • num.1.6
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • yojson.3.0.0
  • zmq.5.3.0
2026-06-23T20:47:28Z2026-06-23-193124successdocs02e5d91d57b6blessed8fc0b95f5a59—
2026-06-23T19:54:06Z2026-06-23-173316successbuild—blessedc1490c754afa
20 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-pkg-config.5
  • conf-zmq.0.1
  • csexp.1.5.2
  • dune-build-info.3.23.1
  • dune-configurator.3.23.1
  • dune.3.23.1
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • num.1.6
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • yojson.3.0.0
  • zmq.5.3.0
2026-06-23T10:17:18Z2026-06-23-092928successdocs02e5d91d57b6blessed2ed4afbb9df6—
2026-06-20T20:18:16Z2026-06-20-192413successdocs02e5d91d57b6blessedb78d18f9146d—
2026-06-20T18:51:02Z2026-06-20-162540successbuild—blessed5b1a94d4d395—
2026-06-19T21:39:37Z2026-06-19-212218successdocsdd7574263bcablessed913b4ae24d0e—
2026-06-19T19:34:49Z2026-06-19-183411successbuild—blessed923b7b333479—
2026-06-17T14:32:49Z2026-06-17-142857successdocsc1ad46cc275fblessed081a27f470e6—
2026-06-16T20:40:22Z2026-06-16-193644successdocsc1ad46cc275fblessed3a269e224f71—
2026-06-16T16:19:00Z2026-06-16-133735successbuild—blessed54e095ab9036—