← Back to PR #29225
Build Log: kind2.2.2.0
Status: SUCCESS
Log Output
Processing: [default: loading data]
[kind2.2.2.0: http]
[kind2.2.2.0: extract]
-> retrieved kind2.2.2.0 (https://github.com/kind2-mc/kind2/archive/refs/tags/v2.2.0.tar.gz)
[kind2: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "kind2" "-j" "255" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/kind2.2.2.0)
-> compiled kind2.2.2.0
-> installed kind2.2.2.0
Dependency Graph
Loading graph...
View raw DOT format
digraph opam {
"conf-zmq.0.1" -> "conf-pkg-config.4";
"csexp.1.5.2" -> {"dune.3.20.2" "ocaml.5.3.0"}
"dune.3.20.2" -> {"base-threads.base" "base-unix.base" "ocaml.5.3.0"}
"dune-build-info.3.20.2" -> {"dune.3.20.2" "ocaml.5.3.0"}
"dune-configurator.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "ocaml.5.3.0"}
"kind2.2.2.0" -> {"dune.3.20.2" "dune-build-info.3.20.2" "menhir.20250912" "num.1.6" "ocaml.5.3.0" "yojson.2.2.2" "zmq.5.3.0"}
"menhir.20250912" -> {"dune.3.20.2" "menhirCST.20250912" "menhirLib.20250912" "menhirSdk.20250912" "ocaml.5.3.0"}
"menhirCST.20250912" -> {"dune.3.20.2" "ocaml.5.3.0"}
"menhirLib.20250912" -> {"dune.3.20.2" "ocaml.5.3.0"}
"menhirSdk.20250912" -> {"dune.3.20.2" "ocaml.5.3.0"}
"num.1.6" -> "ocaml.5.3.0";
"ocaml.5.3.0" -> {"ocaml-base-compiler.5.3.0" "ocaml-config.3"}
"ocaml-base-compiler.5.3.0" -> "ocaml-compiler.5.3.0";
"ocaml-config.3" -> "ocaml-base-compiler.5.3.0";
"seq.base" -> "ocaml.5.3.0";
"yojson.2.2.2" -> {"dune.3.20.2" "ocaml.5.3.0" "seq.base"}
"zmq.5.3.0" -> {"conf-zmq.0.1" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.3.0"}
}