Profiles › full › package: kind2 › 2.1.0

kind2.2.1.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-26T13:37:00Z2026-06-26-123844successdocsc75d0b46b09ablessed20d81cedc6d0—
2026-06-24T21:23:27Z2026-06-24-203345successdocsc75d0b46b09ablessed9174a5d08a12—
2026-06-24T16:40:50Z2026-06-24-135303successbuild—blesseda9fba6145113
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.20250912
  • menhirCST.20250912
  • menhirLib.20250912
  • menhirSdk.20250912
  • num.1.6
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • seq.base
  • yojson.2.2.2
  • zmq.5.3.0
2026-06-23T20:47:14Z2026-06-23-193124successdocsc75d0b46b09ablessedf62f61610acc—
2026-06-23T19:54:06Z2026-06-23-173316successbuild—blesseda33f4b5bb0aa
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.20250912
  • menhirCST.20250912
  • menhirLib.20250912
  • menhirSdk.20250912
  • num.1.6
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • seq.base
  • yojson.2.2.2
  • zmq.5.3.0
2026-06-23T10:17:18Z2026-06-23-092928successdocsc75d0b46b09ablessedfcc187e9fbce—
2026-06-20T20:18:16Z2026-06-20-192413successdocsc75d0b46b09ablessedcbdf235f97ed—
2026-06-20T18:51:06Z2026-06-20-162540successbuild—blessed98bd50c3f28f—
2026-06-19T21:39:35Z2026-06-19-212218successdocs722b7e2b61d8blessed9ea1f255994e—
2026-06-19T19:34:37Z2026-06-19-183411successbuild—blessedc9efa6dae1ca—
2026-06-17T14:32:49Z2026-06-17-142857successdocsa1e8ddc4d4f9blessed7a20c7a6f70b—
2026-06-16T20:40:22Z2026-06-16-193644successdocsa1e8ddc4d4f9blessedd08e78631325—
2026-06-16T16:19:10Z2026-06-16-133735successbuild—blessed3d23258f1845—