Profiles › full › package: kind2 › 1.4.0

kind2.1.4.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-26T13:44:40Z2026-06-26-123844successdocs125dc600022bblessed9c3862940c16—
2026-06-24T21:24:45Z2026-06-24-203345successdocs125dc600022bblessedc8cd15696794—
2026-06-24T15:58:11Z2026-06-24-135303successbuild—blessed564758565121
19 deps
  • base-threads.base
  • base-unix.base
  • 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.20211128
  • menhirLib.20211128
  • menhirSdk.20211128
  • num.1.6
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • seq.base
  • stdint.0.7.2
  • yojson.2.2.2
  • zmq.5.1.3
2026-06-23T20:49:10Z2026-06-23-193124successdocs125dc600022bblesseddca765db4316—
2026-06-23T19:54:37Z2026-06-23-173316successbuild—blesseda33ebc34c68e
19 deps
  • base-threads.base
  • base-unix.base
  • 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.20211128
  • menhirLib.20211128
  • menhirSdk.20211128
  • num.1.6
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • seq.base
  • stdint.0.7.2
  • yojson.2.2.2
  • zmq.5.1.3
2026-06-23T10:12:24Z2026-06-23-092928successdocs125dc600022bblessedad0f51938c8a—
2026-06-20T19:13:54Z2026-06-20-182523successdocs125dc600022bblessed2cc067c02603—
2026-06-19T21:04:46Z2026-06-19-202157successdocs125dc600022bblessed32a9293743bc—
2026-06-17T14:34:49Z2026-06-17-142857successdocs125dc600022bblessed80a830035b65—
2026-06-16T20:31:34Z2026-06-16-193644successdocs125dc600022bblessed8a6ae664981c—
2026-06-16T14:17:38Z2026-06-16-123625successbuild—blessed59d2d3d40da0—