Build Log: alt-ergo-plugin-ab-why3.2.5.2

digraph opam { "alt-ergo.2.5.2" -> {"alt-ergo-lib.2.5.2" "alt-ergo-parsers.2.5.2" "cmdliner.1.3.0" "dune.3.20.2" "dune-site.3.20.2" "menhir.20250912" "ocaml.4.14.2"} "alt-ergo-lib.2.5.2" -> {"camlzip.1.13" "dolmen.0.9" "dolmen_loop.0.9" "dolmen_type.0.9" "dune.3.20.2" "dune-build-info.3.20.2" "fmt.0.11.0" "ocaml.4.14.2" "ocplib-simplex.0.5.1" "ppx_blob.0.9.0" "seq.base" "stdlib-shims.0.3.0" "zarith.1.14"} "alt-ergo-parsers.2.5.2" -> {"alt-ergo-lib.2.5.2" "dune.3.20.2" "menhir.20250912" "ocaml.4.14.2" "psmt2-frontend.0.4.0" "stdlib-shims.0.3.0"} "alt-ergo-plugin-ab-why3.2.5.2" -> {"alt-ergo.2.5.2" "alt-ergo-lib.2.5.2" "alt-ergo-parsers.2.5.2" "dune.3.20.2"} "camlzip.1.13" -> {"conf-zlib.1" "ocaml.4.14.2" "ocamlfind.1.9.8"} "cmdliner.1.3.0" -> "ocaml.4.14.2"; "conf-zlib.1" -> "conf-pkg-config.4"; "csexp.1.5.2" -> {"dune.3.20.2" "ocaml.4.14.2"} "dolmen.0.9" -> {"dune.3.20.2" "fmt.0.11.0" "menhir.20250912" "ocaml.4.14.2" "seq.base"} "dolmen_loop.0.9" -> {"dolmen.0.9" "dolmen_type.0.9" "dune.3.20.2" "gen.1.1" "ocaml.4.14.2" "pp_loc.2.1.0"} "dolmen_type.0.9" -> {"dolmen.0.9" "dune.3.20.2" "ocaml.4.14.2" "spelll.0.4" "uutf.1.0.4"} "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-private-libs.3.20.2" -> {"csexp.1.5.2" "dune.3.20.2" "dyn.3.20.2" "ocaml.4.14.2" "pp.2.0.0" "stdune.3.20.2"} "dune-site.3.20.2" -> {"dune.3.20.2" "dune-private-libs.3.20.2"} "dyn.3.20.2" -> {"dune.3.20.2" "ocaml.4.14.2" "ordering.3.20.2" "pp.2.0.0"} "fmt.0.11.0" -> {"base-unix.base" "cmdliner.1.3.0" "ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "gen.1.1" -> {"dune.3.20.2" "ocaml.4.14.2" "seq.base"} "logs.0.10.0" -> {"base-threads.base" "cmdliner.1.3.0" "fmt.0.11.0" "ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "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"} "ocaml.4.14.2" -> {"ocaml-base-compiler.4.14.2" "ocaml-config.2"} "ocaml-compiler-libs.v0.12.4" -> {"dune.3.20.2" "ocaml.4.14.2"} "ocaml-config.2" -> "ocaml-base-compiler.4.14.2"; "ocamlbuild.0.16.1" -> "ocaml.4.14.2"; "ocamlfind.1.9.8" -> "ocaml.4.14.2"; "ocplib-simplex.0.5.1" -> {"dune.3.20.2" "logs.0.10.0" "ocaml.4.14.2" "ocamlfind.1.9.8"} "ordering.3.20.2" -> {"dune.3.20.2" "ocaml.4.14.2"} "pp.2.0.0" -> {"dune.3.20.2" "ocaml.4.14.2"} "pp_loc.2.1.0" -> {"dune.3.20.2" "ocaml.4.14.2"} "ppx_blob.0.9.0" -> {"dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.37.0"} "ppx_derivers.1.2.1" -> {"dune.3.20.2" "ocaml.4.14.2"} "ppxlib.0.37.0" -> {"dune.3.20.2" "ocaml.4.14.2" "ocaml-compiler-libs.v0.12.4" "ppx_derivers.1.2.1" "sexplib0.v0.17.0" "stdlib-shims.0.3.0"} "psmt2-frontend.0.4.0" -> {"dune.3.20.2" "menhir.20250912" "ocaml.4.14.2"} "seq.base" -> "ocaml.4.14.2"; "sexplib0.v0.17.0" -> {"dune.3.20.2" "ocaml.4.14.2"} "spelll.0.4" -> {"dune.3.20.2" "ocaml.4.14.2" "seq.base" "stdlib-shims.0.3.0"} "stdlib-shims.0.3.0" -> {"dune.3.20.2" "ocaml.4.14.2"} "stdune.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "dyn.3.20.2" "ocaml.4.14.2" "ordering.3.20.2" "pp.2.0.0"} "topkg.1.1.1" -> {"ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"} "uutf.1.0.4" -> {"cmdliner.1.3.0" "ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.4.14.2" "ocamlfind.1.9.8"} }