Profiles › full › package: kind2 › 1.5.0

kind2.1.5.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T21:30:09Z2026-06-24-203345successdocs38ff0d146254blessed7446361f7d90—
2026-06-24T15:57:52Z2026-06-24-135303successbuild—blessedf85f78b4080e
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.20211012
  • menhirLib.20211012
  • menhirSdk.20211012
  • num.1.6
  • ocaml-base-compiler.5.0.0
  • ocaml-config.3
  • ocaml.5.0.0
  • seq.base
  • stdint.0.7.2
  • yojson.2.2.2
  • zmq.5.1.3
2026-06-23T20:49:10Z2026-06-23-193124successdocs38ff0d146254blessedc502cbd273e9—
2026-06-23T19:54:37Z2026-06-23-173316successbuild—blessed38ad843fbe56
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.20211012
  • menhirLib.20211012
  • menhirSdk.20211012
  • num.1.6
  • ocaml-base-compiler.5.0.0
  • ocaml-config.3
  • ocaml.5.0.0
  • seq.base
  • stdint.0.7.2
  • yojson.2.2.2
  • zmq.5.1.3
2026-06-23T10:15:11Z2026-06-23-092928successdocs38ff0d146254blessed09316db81c55—
2026-06-20T19:13:49Z2026-06-20-182523successdocs38ff0d146254blessede5afae479ea3—
2026-06-17T14:34:47Z2026-06-17-142857successdocs38ff0d146254blessed4cdc6bfc2fe0—
2026-06-16T20:35:15Z2026-06-16-193644successdocs38ff0d146254blessed3c06ab97a4d8—
2026-06-16T14:11:10Z2026-06-16-123625successbuild—blessed376008a5c5b0—