← Back to PR #0
Build Log: lambdapi.2.2.0
Status: SUCCESS
Log Output
Processing: [default: loading data]
[lambdapi.2.2.0: http]
[lambdapi.2.2.0: extract]
-> retrieved lambdapi.2.2.0 (https://github.com/Deducteam/lambdapi/releases/download/2.2.0/lambdapi-2.2.0.tbz)
[lambdapi: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "lambdapi" "-j" "255" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/lambdapi.2.2.0)
-> compiled lambdapi.2.2.0
-> installed lambdapi.2.2.0
Dependency Graph
Loading graph...
View raw DOT format
digraph opam {
"bindlib.6.0.0" -> {"dune.3.21.0" "ocaml.4.09.1"}
"camlp-streams.5.0.1" -> {"dune.3.21.0" "ocaml.4.09.1"}
"cmdliner.1.3.0" -> "ocaml.4.09.1";
"dune.3.21.0" -> {"base-threads.base" "base-unix.base" "ocaml.4.09.1"}
"gen.1.1" -> {"dune.3.21.0" "ocaml.4.09.1" "seq.base"}
"lambdapi.2.2.0" -> {"bindlib.6.0.0" "cmdliner.1.3.0" "dune.3.21.0" "menhir.20250912" "ocaml.4.09.1" "pratter.1.2.1" "sedlex.3.7" "stdlib-shims.0.3.0" "timed.1.1" "why3.1.4.1" "yojson.3.0.0"}
"menhir.20250912" -> {"dune.3.21.0" "menhirCST.20250912" "menhirLib.20250912" "menhirSdk.20250912" "ocaml.4.09.1"}
"menhirCST.20250912" -> {"dune.3.21.0" "ocaml.4.09.1"}
"menhirLib.20250912" -> {"dune.3.21.0" "ocaml.4.09.1"}
"menhirSdk.20250912" -> {"dune.3.21.0" "ocaml.4.09.1"}
"num.1.6" -> "ocaml.4.09.1";
"ocaml.4.09.1" -> {"ocaml-base-compiler.4.09.1" "ocaml-config.1"}
"ocaml-compiler-libs.v0.12.4" -> {"dune.3.21.0" "ocaml.4.09.1"}
"ocaml-config.1" -> "ocaml-base-compiler.4.09.1";
"ocamlfind.1.9.8" -> "ocaml.4.09.1";
"ppx_derivers.1.2.1" -> {"dune.3.21.0" "ocaml.4.09.1"}
"ppxlib.0.37.0" -> {"dune.3.21.0" "ocaml.4.09.1" "ocaml-compiler-libs.v0.12.4" "ppx_derivers.1.2.1" "sexplib0.v0.16.0" "stdlib-shims.0.3.0"}
"pratter.1.2.1" -> {"camlp-streams.5.0.1" "dune.3.21.0" "ocaml.4.09.1"}
"sedlex.3.7" -> {"dune.3.21.0" "gen.1.1" "ocaml.4.09.1" "ppxlib.0.37.0"}
"seq.base" -> "ocaml.4.09.1";
"sexplib0.v0.16.0" -> {"dune.3.21.0" "ocaml.4.09.1"}
"stdlib-shims.0.3.0" -> {"dune.3.21.0" "ocaml.4.09.1"}
"timed.1.1" -> {"dune.3.21.0" "ocaml.4.09.1"}
"why3.1.4.1" -> {"conf-autoconf.0.2" "menhir.20250912" "num.1.6" "ocaml.4.09.1" "ocamlfind.1.9.8"}
"yojson.3.0.0" -> {"dune.3.21.0" "ocaml.4.09.1"}
}