← Back to PR #28957

Build Log: smtml.0.15.0

Status: SUCCESS

Log Output

Processing: [default: loading data] [smtml.0.15.0: http] [smtml.0.15.0: extract] -> retrieved smtml.0.15.0 (https://github.com/formalsec/smtml/archive/refs/tags/v0.15.0.tar.gz) [smtml: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "smtml" "-j" "255" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/smtml.0.15.0) -> compiled smtml.0.15.0 -> installed smtml.0.15.0 [WARNING] Opam package conf-gmp.5 depends on the following system package that can no longer be found: libgmp-dev

Dependency Graph

Loading graph...
View raw DOT format
digraph opam { "astring.0.8.5" -> {"ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "base.v0.17.3" -> {"dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.3.0" "ocaml_intrinsics_kernel.v0.17.1" "sexplib0.v0.17.0"} "bos.0.2.1" -> {"astring.0.8.5" "base-unix.base" "fmt.0.11.0" "fpath.0.7.3" "logs.0.10.0" "ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "rresult.0.7.0" "topkg.1.1.1"} "cmdliner.2.0.0" -> "ocaml.5.3.0"; "cppo.1.8.0" -> {"base-unix.base" "dune.3.20.2" "ocaml.5.3.0"} "csexp.1.5.2" -> {"dune.3.20.2" "ocaml.5.3.0"} "dolmen.0.10" -> {"dune.3.20.2" "fmt.0.11.0" "hmap.0.8.1" "menhir.20250912" "ocaml.5.3.0" "seq.base"} "dolmen_loop.0.10" -> {"dolmen.0.10" "dolmen_type.0.10" "dune.3.20.2" "gen.1.1" "ocaml.5.3.0" "pp_loc.2.1.0"} "dolmen_model.0.10" -> {"dolmen.0.10" "dolmen_loop.0.10" "dune.3.20.2" "farith.0.1" "ocaml.5.3.0" "zarith.1.14"} "dolmen_type.0.10" -> {"dolmen.0.10" "dune.3.20.2" "ocaml.5.3.0" "spelll.0.4" "uutf.1.0.4"} "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"} "farith.0.1" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppx_deriving.6.1.1" "ppx_hash.v0.17.0" "zarith.1.14"} "fmt.0.11.0" -> {"base-unix.base" "cmdliner.2.0.0" "ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "fpath.0.7.3" -> {"astring.0.8.5" "ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "gen.1.1" -> {"dune.3.20.2" "ocaml.5.3.0" "seq.base"} "hc.0.5" -> {"dune.3.20.2" "ocaml.5.3.0"} "hmap.0.8.1" -> {"ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "logs.0.10.0" -> {"base-threads.base" "cmdliner.2.0.0" "fmt.0.11.0" "ocaml.5.3.0" "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.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"} "mtime.2.1.0" -> {"ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "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-compiler-libs.v0.17.0" -> {"dune.3.20.2" "ocaml.5.3.0"} "ocaml-config.3" -> "ocaml-base-compiler.5.3.0"; "ocaml_intrinsics.v0.17.0" -> {"dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.3.0" "ocaml_intrinsics_kernel.v0.17.1"} "ocaml_intrinsics_kernel.v0.17.1" -> {"dune.3.20.2" "ocaml.5.3.0"} "ocamlbuild.0.16.1" -> "ocaml.5.3.0"; "ocamlfind.1.9.8" -> "ocaml.5.3.0"; "patricia-tree.0.11.0" -> {"dune.3.20.2" "ocaml.5.3.0"} "pp_loc.2.1.0" -> {"dune.3.20.2" "ocaml.5.3.0"} "ppx_compare.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4"} "ppx_derivers.1.2.1" -> {"dune.3.20.2" "ocaml.5.3.0"} "ppx_deriving.6.1.1" -> {"cppo.1.8.0" "dune.3.20.2" "ocaml.5.3.0" "ocamlfind.1.9.8" "ppx_derivers.1.2.1" "ppxlib.0.37.0"} "ppx_hash.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppx_compare.v0.17.0" "ppx_sexp_conv.v0.17.1" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4"} "ppx_sexp_conv.v0.17.1" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4" "sexplib0.v0.17.0"} "ppxlib.0.37.0" -> {"dune.3.20.2" "ocaml.5.3.0" "ocaml-compiler-libs.v0.17.0" "ppx_derivers.1.2.1" "sexplib0.v0.17.0" "stdlib-shims.0.3.0"} "ppxlib_jane.v0.17.4" -> {"dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.37.0"} "prelude.0.5" -> {"dune.3.20.2" "ocaml.5.3.0"} "rresult.0.7.0" -> {"ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "rusage.1.0.0" -> {"dune.3.20.2" "ocaml.5.3.0"} "scfg.0.5" -> {"bos.0.2.1" "cmdliner.2.0.0" "dune.3.20.2" "fmt.0.11.0" "fpath.0.7.3" "menhir.20250912" "ocaml.5.3.0" "prelude.0.5" "sedlex.3.7"} "sedlex.3.7" -> {"dune.3.20.2" "gen.1.1" "ocaml.5.3.0" "ppxlib.0.37.0"} "seq.base" -> "ocaml.5.3.0"; "sexplib0.v0.17.0" -> {"dune.3.20.2" "ocaml.5.3.0"} "smtml.0.15.0" -> {"bos.0.2.1" "cmdliner.2.0.0" "dolmen.0.10" "dolmen_model.0.10" "dolmen_type.0.10" "dune.3.20.2" "dune-build-info.3.20.2" "fmt.0.11.0" "fpath.0.7.3" "hc.0.5" "menhir.20250912" "mtime.2.1.0" "ocaml.5.3.0" "ocaml_intrinsics.v0.17.0" "patricia-tree.0.11.0" "prelude.0.5" "rusage.1.0.0" "scfg.0.5" "yojson.3.0.0" "zarith.1.14"} "spelll.0.4" -> {"dune.3.20.2" "ocaml.5.3.0" "seq.base" "stdlib-shims.0.3.0"} "stdlib-shims.0.3.0" -> {"dune.3.20.2" "ocaml.5.3.0"} "topkg.1.1.1" -> {"ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"} "uutf.1.0.4" -> {"cmdliner.2.0.0" "ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "yojson.3.0.0" -> {"dune.3.20.2" "ocaml.5.3.0"} "zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.5.3.0" "ocamlfind.1.9.8"} }