← Back to PR #29225
Build Log: kind2.2.1.1
Status: SUCCESS
Log Output
Processing: [default: loading data]
[kind2.2.1.1: http]
[kind2.2.1.1: extract]
-> retrieved kind2.2.1.1 (https://github.com/kind2-mc/kind2/archive/refs/tags/v2.1.1.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.1.1)
-> compiled kind2.2.1.1
-> installed kind2.2.1.1
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.4.14.2"}
"dune.3.20.2" -> {"base-threads.base" "base-unix.base" "ocaml.4.14.2"}
"dune-build-info.3.20.2" -> {"dune.3.20.2" "ocaml.4.14.2"}
"dune-configurator.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "ocaml.4.14.2"}
"kind2.2.1.1" -> {"dune.3.20.2" "dune-build-info.3.20.2" "menhir.20250912" "num.1.6" "ocaml.4.14.2" "yojson.2.2.2" "zmq.5.3.0"}
"menhir.20250912" -> {"dune.3.20.2" "menhirCST.20250912" "menhirLib.20250912" "menhirSdk.20250912" "ocaml.4.14.2"}
"menhirCST.20250912" -> {"dune.3.20.2" "ocaml.4.14.2"}
"menhirLib.20250912" -> {"dune.3.20.2" "ocaml.4.14.2"}
"menhirSdk.20250912" -> {"dune.3.20.2" "ocaml.4.14.2"}
"num.1.6" -> "ocaml.4.14.2";
"ocaml.4.14.2" -> {"ocaml-base-compiler.4.14.2" "ocaml-config.2"}
"ocaml-config.2" -> "ocaml-base-compiler.4.14.2";
"seq.base" -> "ocaml.4.14.2";
"yojson.2.2.2" -> {"dune.3.20.2" "ocaml.4.14.2" "seq.base"}
"zmq.5.3.0" -> {"conf-zmq.0.1" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.4.14.2"}
}