Profiles › full › package: kind2 › 1.5.1

kind2.1.5.1

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T21:23:27Z2026-06-24-203345successdocsa8e943adae08blessed6e28873cdbdd—
2026-06-24T16:40:42Z2026-06-24-135303successbuild—blessed209f9ce18d23
19 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.20211012
  • menhirLib.20211012
  • menhirSdk.20211012
  • 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:10Z2026-06-23-193124successdocsa8e943adae08blessed218551a9a005—
2026-06-23T19:53:52Z2026-06-23-173316successbuild—blessed0aef0086e1cd
19 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.20211012
  • menhirLib.20211012
  • menhirSdk.20211012
  • 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:20Z2026-06-23-092928successdocsa8e943adae08blessed08e467811332—
2026-06-20T20:18:16Z2026-06-20-192413successdocsa8e943adae08blesseda352d6d4bbbb—
2026-06-20T18:50:55Z2026-06-20-162540successbuild—blessed1bb0dc29da82—
2026-06-19T21:39:35Z2026-06-19-212218successdocsf3aa451c5a16blessed4cb95565c70e—
2026-06-19T19:33:38Z2026-06-19-183411successbuild—blessed70ba3f0c96af—
2026-06-17T14:32:51Z2026-06-17-142857successdocs9e248709b035blessed8422362ae2e3—
2026-06-16T20:40:21Z2026-06-16-193644successdocs9e248709b035blessedf1b1fe45ebe4—
2026-06-16T16:19:00Z2026-06-16-133735successbuild—blessed4d2ab0fcfe7c—