← Back to PR #28937
Build Log: hol2dk.2.1.0
Status: SUCCESS
Log Output
Processing: [default: loading data]
[hol2dk.2.1.0: http]
[hol2dk.2.1.0: extract]
-> retrieved hol2dk.2.1.0 (https://github.com/Deducteam/hol2dk/releases/download/2.1.0/hol2dk-2.1.0.tbz)
[hol2dk: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "hol2dk" "-j" "255" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/hol2dk.2.1.0)
-> compiled hol2dk.2.1.0
-> installed hol2dk.2.1.0
Dependency Graph
Loading graph...
View raw DOT format
digraph opam {
"dune.3.20.2" -> {"base-threads.base" "base-unix.base" "ocaml.5.3.0"}
"hol2dk.2.1.0" -> {"dune.3.20.2" "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";
}