← Back to PR #0
Build Log: frama-c.27.0~beta
Status: SUCCESS
Log Output
Processing: [default: loading data]
[frama-c.27.0~beta: http]
[frama-c.27.0~beta: extract]
-> retrieved frama-c.27.0~beta (https://www.frama-c.com/download/frama-c-27.0-beta-Cobalt.tar.gz)
[frama-c: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-j255" "-p" "frama-c" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/frama-c.27.0~beta)
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -9 -g -ppx '.ppx/bac82a0c6666c34efa392c16e7987c6e/ppx.exe --as-ppx --cookie '\''library-name="frama_c_kernel"'\''' -bin-annot -I src/.frama_c_kernel.objs/byte -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/rresult -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/init/.frama_c_very_first.objs/byte -cmi-file src/.frama_c_kernel.objs/byte/frama_c_kernel__Cmdline.cmi -no-alias-deps -open Frama_c_kernel -o src/.frama_c_kernel.objs/byte/frama_c_kernel__Cmdline.cmo -c -impl src/kernel_services/cmdline_parameters/cmdline.ml)
- File "src/kernel_services/cmdline_parameters/cmdline.ml", line 161, characters 30-40:
- 161 | module NormalExit = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
-
- File "src/kernel_services/cmdline_parameters/cmdline.ml", line 620, characters 23-33:
- 620 | module H = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -9 -g -ppx '.ppx/bac82a0c6666c34efa392c16e7987c6e/ppx.exe --as-ppx --cookie '\''library-name="frama_c_kernel"'\''' -I src/.frama_c_kernel.objs/byte -I src/.frama_c_kernel.objs/native -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/rresult -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/init/.frama_c_very_first.objs/byte -I src/init/.frama_c_very_first.objs/native -cmi-file src/.frama_c_kernel.objs/byte/frama_c_kernel__Cmdline.cmi -no-alias-deps -open Frama_c_kernel -o src/.frama_c_kernel.objs/native/frama_c_kernel__Cmdline.cmx -c -impl src/kernel_services/cmdline_parameters/cmdline.ml)
- File "src/kernel_services/cmdline_parameters/cmdline.ml", line 161, characters 30-40:
- 161 | module NormalExit = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
-
- File "src/kernel_services/cmdline_parameters/cmdline.ml", line 620, characters 23-33:
- 620 | module H = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -9 -g -ppx '.ppx/bac82a0c6666c34efa392c16e7987c6e/ppx.exe --as-ppx --cookie '\''library-name="frama_c_kernel"'\''' -bin-annot -I src/.frama_c_kernel.objs/byte -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/rresult -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/init/.frama_c_very_first.objs/byte -cmi-file src/.frama_c_kernel.objs/byte/frama_c_kernel__Project.cmi -no-alias-deps -open Frama_c_kernel -o src/.frama_c_kernel.objs/byte/frama_c_kernel__Project.cmo -c -impl src/libraries/project/project.ml)
- File "src/libraries/project/project.ml", line 438, characters 31-41:
- 438 | module Before_load = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
-
- File "src/libraries/project/project.ml", line 441, characters 30-40:
- 441 | module After_load = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
-
- File "src/libraries/project/project.ml", line 444, characters 37-47:
- 444 | module After_global_load = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -9 -g -ppx '.ppx/bac82a0c6666c34efa392c16e7987c6e/ppx.exe --as-ppx --cookie '\''library-name="frama_c_kernel"'\''' -I src/.frama_c_kernel.objs/byte -I src/.frama_c_kernel.objs/native -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/rresult -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/init/.frama_c_very_first.objs/byte -I src/init/.frama_c_very_first.objs/native -cmi-file src/.frama_c_kernel.objs/byte/frama_c_kernel__Project.cmi -no-alias-deps -open Frama_c_kernel -o src/.frama_c_kernel.objs/native/frama_c_kernel__Project.cmx -c -impl src/libraries/project/project.ml)
- File "src/libraries/project/project.ml", line 438, characters 31-41:
- 438 | module Before_load = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
-
- File "src/libraries/project/project.ml", line 441, characters 30-40:
- 441 | module After_load = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
-
- File "src/libraries/project/project.ml", line 444, characters 37-47:
- 444 | module After_global_load = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -9 -g -ppx '.ppx/bac82a0c6666c34efa392c16e7987c6e/ppx.exe --as-ppx --cookie '\''library-name="frama_c_kernel"'\''' -bin-annot -I src/.frama_c_kernel.objs/byte -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/rresult -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/init/.frama_c_very_first.objs/byte -cmi-file src/.frama_c_kernel.objs/byte/frama_c_kernel__Logic_env.cmi -no-alias-deps -open Frama_c_kernel -o src/.frama_c_kernel.objs/byte/frama_c_kernel__Logic_env.cmo -c -impl src/kernel_services/ast_queries/logic_env.ml)
- File "src/kernel_services/ast_queries/logic_env.ml", line 320, characters 20-30:
- 320 | include Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -9 -g -ppx '.ppx/bac82a0c6666c34efa392c16e7987c6e/ppx.exe --as-ppx --cookie '\''library-name="frama_c_kernel"'\''' -bin-annot -I src/.frama_c_kernel.objs/byte -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/rresult -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/init/.frama_c_very_first.objs/byte -cmi-file src/.frama_c_kernel.objs/byte/frama_c_kernel__Db.cmi -no-alias-deps -open Frama_c_kernel -o src/.frama_c_kernel.objs/byte/frama_c_kernel__Db.cmo -c -impl src/kernel_services/plugin_entry_points/db.ml)
- File "src/kernel_services/plugin_entry_points/db.ml", line 40, characters 20-30:
- 40 | include Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -open Frama_c_kernel -linkall -w -40 -w -9 -g -bin-annot -I src/plugins/gui/.frama_c_gui.objs/byte -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/cairo2 -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/lablgtk3 -I /home/opam/.opam/default/lib/lablgtk3-sourceview3 -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/rresult -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/.frama_c_kernel.objs/byte -I src/init/.frama_c_very_first.objs/byte -I src/init/impl_gui/.frama_c_very_first_gui.objs/byte -cmi-file src/plugins/gui/.frama_c_gui.objs/byte/frama_c_gui__Launcher.cmi -no-alias-deps -open Frama_c_gui -o src/plugins/gui/.frama_c_gui.objs/byte/frama_c_gui__Launcher.cmo -c -impl src/plugins/gui/launcher.ml)
- File "src/plugins/gui/launcher.ml", line 25, characters 31-41:
- 25 | module Kernel_hook = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -open Frama_c_kernel -linkall -w -40 -w -9 -g -bin-annot -I src/plugins/gui/.frama_c_gui.objs/byte -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/cairo2 -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/lablgtk3 -I /home/opam/.opam/default/lib/lablgtk3-sourceview3 -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/rresult -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/.frama_c_kernel.objs/byte -I src/init/.frama_c_very_first.objs/byte -I src/init/impl_gui/.frama_c_very_first_gui.objs/byte -cmi-file src/plugins/gui/.frama_c_gui.objs/byte/frama_c_gui__Gtk_helper.cmi -no-alias-deps -open Frama_c_gui -o src/plugins/gui/.frama_c_gui.objs/byte/frama_c_gui__Gtk_helper.cmo -c -impl src/plugins/gui/gtk_helper.ml)
- File "src/plugins/gui/gtk_helper.ml", line 290, characters 23-33:
- 290 | module H = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -9 -g -ppx '.ppx/bac82a0c6666c34efa392c16e7987c6e/ppx.exe --as-ppx --cookie '\''library-name="frama_c_kernel"'\''' -I src/.frama_c_kernel.objs/byte -I src/.frama_c_kernel.objs/native -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/rresult -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/init/.frama_c_very_first.objs/byte -I src/init/.frama_c_very_first.objs/native -cmi-file src/.frama_c_kernel.objs/byte/frama_c_kernel__Logic_env.cmi -no-alias-deps -open Frama_c_kernel -o src/.frama_c_kernel.objs/native/frama_c_kernel__Logic_env.cmx -c -impl src/kernel_services/ast_queries/logic_env.ml)
- File "src/kernel_services/ast_queries/logic_env.ml", line 320, characters 20-30:
- 320 | include Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -9 -g -ppx '.ppx/bac82a0c6666c34efa392c16e7987c6e/ppx.exe --as-ppx --cookie '\''library-name="frama_c_kernel"'\''' -I src/.frama_c_kernel.objs/byte -I src/.frama_c_kernel.objs/native -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/rresult -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/init/.frama_c_very_first.objs/byte -I src/init/.frama_c_very_first.objs/native -cmi-file src/.frama_c_kernel.objs/byte/frama_c_kernel__Db.cmi -no-alias-deps -open Frama_c_kernel -o src/.frama_c_kernel.objs/native/frama_c_kernel__Db.cmx -c -impl src/kernel_services/plugin_entry_points/db.ml)
- File "src/kernel_services/plugin_entry_points/db.ml", line 40, characters 20-30:
- 40 | include Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -open Frama_c_kernel -linkall -w -40 -w -9 -g -I src/plugins/gui/.frama_c_gui.objs/byte -I src/plugins/gui/.frama_c_gui.objs/native -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/cairo2 -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/lablgtk3 -I /home/opam/.opam/default/lib/lablgtk3-sourceview3 -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/rresult -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/.frama_c_kernel.objs/byte -I src/.frama_c_kernel.objs/native -I src/init/.frama_c_very_first.objs/byte -I src/init/.frama_c_very_first.objs/native -I src/init/impl_gui/.frama_c_very_first_gui.objs/byte -I src/init/impl_gui/.frama_c_very_first_gui.objs/native -cmi-file src/plugins/gui/.frama_c_gui.objs/byte/frama_c_gui__Gtk_helper.cmi -no-alias-deps -open Frama_c_gui -o src/plugins/gui/.frama_c_gui.objs/native/frama_c_gui__Gtk_helper.cmx -c -impl src/plugins/gui/gtk_helper.ml)
- File "src/plugins/gui/gtk_helper.ml", line 290, characters 23-33:
- 290 | module H = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -open Frama_c_kernel -linkall -w -40 -w -9 -g -I src/plugins/gui/.frama_c_gui.objs/byte -I src/plugins/gui/.frama_c_gui.objs/native -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/cairo2 -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/lablgtk3 -I /home/opam/.opam/default/lib/lablgtk3-sourceview3 -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/rresult -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/.frama_c_kernel.objs/byte -I src/.frama_c_kernel.objs/native -I src/init/.frama_c_very_first.objs/byte -I src/init/.frama_c_very_first.objs/native -I src/init/impl_gui/.frama_c_very_first_gui.objs/byte -I src/init/impl_gui/.frama_c_very_first_gui.objs/native -cmi-file src/plugins/gui/.frama_c_gui.objs/byte/frama_c_gui__Launcher.cmi -no-alias-deps -open Frama_c_gui -o src/plugins/gui/.frama_c_gui.objs/native/frama_c_gui__Launcher.cmx -c -impl src/plugins/gui/launcher.ml)
- File "src/plugins/gui/launcher.ml", line 25, characters 31-41:
- 25 | module Kernel_hook = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
-> compiled frama-c.27.0~beta
[frama-c: make install]
+ /usr/bin/make "PREFIX=/home/opam/.opam/default" "MANDIR=" "install" (CWD=/home/opam/.opam/default/.opam-switch/build/frama-c.27.0~beta)
- CC dlmalloc.c
- AR libeacsl-dlmalloc.a
- RANLIB libeacsl-dlmalloc.a
- ar: `u' modifier ignored since `D' is the default (see `U')
- File "src/kernel_services/cmdline_parameters/cmdline.ml", line 161, characters 30-40:
- 161 | module NormalExit = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
-
- File "src/kernel_services/cmdline_parameters/cmdline.ml", line 620, characters 23-33:
- 620 | module H = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- File "src/kernel_services/cmdline_parameters/cmdline.ml", line 161, characters 30-40:
- 161 | module NormalExit = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
-
- File "src/kernel_services/cmdline_parameters/cmdline.ml", line 620, characters 23-33:
- 620 | module H = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- File "src/libraries/project/project.ml", line 438, characters 31-41:
- 438 | module Before_load = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
-
- File "src/libraries/project/project.ml", line 441, characters 30-40:
- 441 | module After_load = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
-
- File "src/libraries/project/project.ml", line 444, characters 37-47:
- 444 | module After_global_load = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- File "src/libraries/project/project.ml", line 438, characters 31-41:
- 438 | module Before_load = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
-
- File "src/libraries/project/project.ml", line 441, characters 30-40:
- 441 | module After_load = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
-
- File "src/libraries/project/project.ml", line 444, characters 37-47:
- 444 | module After_global_load = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- File "src/kernel_services/ast_queries/logic_env.ml", line 320, characters 20-30:
- 320 | include Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- File "src/kernel_services/ast_queries/logic_env.ml", line 320, characters 20-30:
- 320 | include Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- File "src/kernel_services/plugin_entry_points/db.ml", line 40, characters 20-30:
- 40 | include Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- File "src/kernel_services/plugin_entry_points/db.ml", line 40, characters 20-30:
- 40 | include Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- File "src/plugins/gui/gtk_helper.ml", line 290, characters 23-33:
- 290 | module H = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- File "src/plugins/gui/gtk_helper.ml", line 290, characters 23-33:
- 290 | module H = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- File "src/plugins/gui/launcher.ml", line 25, characters 31-41:
- 25 | module Kernel_hook = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- File "src/plugins/gui/launcher.ml", line 25, characters 31-41:
- 25 | module Kernel_hook = Hook.Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- File "src/plugins/e-acsl/src/libraries/gmp_types.ml", line 79, characters 16-26:
- 79 | module Z = Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
-
- File "src/plugins/e-acsl/src/libraries/gmp_types.ml", line 80, characters 16-26:
- 80 | module Q = Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- File "src/plugins/e-acsl/src/libraries/gmp_types.ml", line 79, characters 16-26:
- 79 | module Z = Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
-
- File "src/plugins/e-acsl/src/libraries/gmp_types.ml", line 80, characters 16-26:
- 80 | module Q = Make(struct end)
- ^^^^^^^^^^
- Warning 73 [generative-application-expects-unit]: A generative functor
- should be applied to '()'; using '(struct end)' is deprecated.
- Installing Frama-C to current Opam switch
- Copying and relocating files...
- (done)
- Installing Ivette to /home/opam/.opam/default
-> installed frama-c.27.0~beta
[WARNING] Opam packages conf-autoconf.0.2, conf-cairo.1, conf-gmp.5, conf-gtk3.18 and conf-gtksourceview3.0+2 depend on the following system packages that are no longer installed: autoconf libcairo2-dev libexpat1-dev libgmp-dev libgtk-3-dev libgtksourceview-3.0-dev
- conf-autoconf.0.2: depends on autoconf
- conf-cairo.1: depends on libcairo2-dev
- conf-gmp.5: depends on libgmp-dev
- conf-gtk3.18: depends on libexpat1-dev, libgtk-3-dev
- conf-gtksourceview3.0+2: depends on libgtksourceview-3.0-dev
Dependency Graph
Loading graph...
View raw DOT format
digraph opam {
"alt-ergo.2.6.2" -> {"alt-ergo-lib.2.6.2" "alt-ergo-parsers.2.6.2" "cmdliner.1.3.0" "dune.3.20.2" "dune-site.3.20.2" "menhir.20250912" "ocaml.5.1.1"}
"alt-ergo-lib.2.6.2" -> {"camlzip.1.13" "dolmen.0.10" "dolmen_loop.0.10" "dolmen_type.0.10" "dune.3.20.2" "dune-build-info.3.20.2" "fmt.0.11.0" "ocaml.5.1.1" "ocplib-simplex.0.5.1" "ppx_blob.0.9.0" "ppx_deriving.6.1.1" "seq.base" "stdlib-shims.0.3.0" "zarith.1.14"}
"alt-ergo-parsers.2.6.2" -> {"alt-ergo-lib.2.6.2" "dune.3.20.2" "menhir.20250912" "ocaml.5.1.1" "psmt2-frontend.0.4.0" "stdlib-shims.0.3.0"}
"astring.0.8.5" -> {"ocaml.5.1.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"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.1.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "rresult.0.7.0" "topkg.1.1.1"}
"cairo2.0.6.5" -> {"base-bigarray.base" "conf-cairo.1" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.1.1"}
"camlp-streams.5.0.1" -> {"dune.3.20.2" "ocaml.5.1.1"}
"camlzip.1.13" -> {"conf-zlib.1" "ocaml.5.1.1" "ocamlfind.1.9.8"}
"cmdliner.1.3.0" -> "ocaml.5.1.1";
"conf-cairo.1" -> "conf-pkg-config.4";
"conf-gtk3.18" -> "conf-pkg-config.4";
"conf-gtksourceview3.0+2" -> "conf-pkg-config.4";
"conf-zlib.1" -> "conf-pkg-config.4";
"cppo.1.8.0" -> {"base-unix.base" "dune.3.20.2" "ocaml.5.1.1"}
"csexp.1.5.2" -> {"dune.3.20.2" "ocaml.5.1.1"}
"ctypes.0.24.0" -> {"dune.3.20.2" "dune-configurator.3.20.2" "integers.0.7.0" "ocaml.5.1.1"}
"dolmen.0.10" -> {"dune.3.20.2" "fmt.0.11.0" "hmap.0.8.1" "menhir.20250912" "ocaml.5.1.1" "seq.base"}
"dolmen_loop.0.10" -> {"dolmen.0.10" "dolmen_type.0.10" "dune.3.20.2" "gen.1.1" "ocaml.5.1.1" "pp_loc.2.1.0"}
"dolmen_type.0.10" -> {"dolmen.0.10" "dune.3.20.2" "ocaml.5.1.1" "spelll.0.4" "uutf.1.0.4"}
"dune.3.20.2" -> {"base-threads.base" "base-unix.base" "ocaml.5.1.1"}
"dune-build-info.3.20.2" -> {"dune.3.20.2" "ocaml.5.1.1"}
"dune-configurator.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "ocaml.5.1.1"}
"dune-private-libs.3.20.2" -> {"csexp.1.5.2" "dune.3.20.2" "dyn.3.20.2" "ocaml.5.1.1" "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.5.1.1" "ordering.3.20.2" "pp.2.0.0"}
"fmt.0.11.0" -> {"base-unix.base" "cmdliner.1.3.0" "ocaml.5.1.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"fpath.0.7.3" -> {"astring.0.8.5" "ocaml.5.1.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"frama-c.27.0~beta" -> {"alt-ergo.2.6.2" "conf-gtksourceview3.0+2" "dune.3.20.2" "dune-configurator.3.20.2" "dune-site.3.20.2" "lablgtk3.3.1.5" "lablgtk3-sourceview3.3.1.5" "menhir.20250912" "ocaml.5.1.1" "ocamlfind.1.9.8" "ocamlgraph.2.2.0" "ppx_deriving.6.1.1" "ppx_deriving_yaml.0.4.1" "ppx_deriving_yojson.3.10.0" "ppx_import.1.12.0" "why3.1.6.0" "yaml.3.2.0" "yojson.3.0.0" "zarith.1.14"}
"gen.1.1" -> {"dune.3.20.2" "ocaml.5.1.1" "seq.base"}
"hmap.0.8.1" -> {"ocaml.5.1.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"integers.0.7.0" -> {"dune.3.20.2" "ocaml.5.1.1" "stdlib-shims.0.3.0"}
"lablgtk3.3.1.5" -> {"cairo2.0.6.5" "camlp-streams.5.0.1" "conf-gtk3.18" "dune.3.20.2" "ocaml.5.1.1"}
"lablgtk3-sourceview3.3.1.5" -> {"camlp-streams.5.0.1" "conf-gtksourceview3.0+2" "dune.3.20.2" "lablgtk3.3.1.5" "ocaml.5.1.1"}
"logs.0.10.0" -> {"base-threads.base" "cmdliner.1.3.0" "fmt.0.11.0" "ocaml.5.1.1" "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.1.1"}
"menhirCST.20250912" -> {"dune.3.20.2" "ocaml.5.1.1"}
"menhirLib.20250912" -> {"dune.3.20.2" "ocaml.5.1.1"}
"menhirSdk.20250912" -> {"dune.3.20.2" "ocaml.5.1.1"}
"num.1.6" -> "ocaml.5.1.1";
"ocaml.5.1.1" -> {"ocaml-base-compiler.5.1.1" "ocaml-config.3"}
"ocaml-compiler-libs.v0.12.4" -> {"dune.3.20.2" "ocaml.5.1.1"}
"ocaml-config.3" -> "ocaml-base-compiler.5.1.1";
"ocamlbuild.0.16.1" -> "ocaml.5.1.1";
"ocamlfind.1.9.8" -> "ocaml.5.1.1";
"ocamlgraph.2.2.0" -> {"dune.3.20.2" "ocaml.5.1.1"}
"ocplib-simplex.0.5.1" -> {"dune.3.20.2" "logs.0.10.0" "ocaml.5.1.1" "ocamlfind.1.9.8"}
"ordering.3.20.2" -> {"dune.3.20.2" "ocaml.5.1.1"}
"pp.2.0.0" -> {"dune.3.20.2" "ocaml.5.1.1"}
"pp_loc.2.1.0" -> {"dune.3.20.2" "ocaml.5.1.1"}
"ppx_blob.0.9.0" -> {"dune.3.20.2" "ocaml.5.1.1" "ppxlib.0.37.0"}
"ppx_derivers.1.2.1" -> {"dune.3.20.2" "ocaml.5.1.1"}
"ppx_deriving.6.1.1" -> {"cppo.1.8.0" "dune.3.20.2" "ocaml.5.1.1" "ocamlfind.1.9.8" "ppx_derivers.1.2.1" "ppxlib.0.37.0"}
"ppx_deriving_yaml.0.4.1" -> {"dune.3.20.2" "ocaml.5.1.1" "ppxlib.0.37.0" "yaml.3.2.0"}
"ppx_deriving_yojson.3.10.0" -> {"dune.3.20.2" "ocaml.5.1.1" "ppx_deriving.6.1.1" "ppxlib.0.37.0" "yojson.3.0.0"}
"ppx_import.1.12.0" -> {"dune.3.20.2" "ocaml.5.1.1" "ppxlib.0.37.0"}
"ppxlib.0.37.0" -> {"dune.3.20.2" "ocaml.5.1.1" "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.5.1.1"}
"rresult.0.7.0" -> {"ocaml.5.1.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"seq.base" -> "ocaml.5.1.1";
"sexplib0.v0.17.0" -> {"dune.3.20.2" "ocaml.5.1.1"}
"spelll.0.4" -> {"dune.3.20.2" "ocaml.5.1.1" "seq.base" "stdlib-shims.0.3.0"}
"stdlib-shims.0.3.0" -> {"dune.3.20.2" "ocaml.5.1.1"}
"stdune.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "dyn.3.20.2" "ocaml.5.1.1" "ordering.3.20.2" "pp.2.0.0"}
"topkg.1.1.1" -> {"ocaml.5.1.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"}
"uutf.1.0.4" -> {"cmdliner.1.3.0" "ocaml.5.1.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"why3.1.6.0" -> {"camlzip.1.13" "conf-autoconf.0.2" "menhir.20250912" "num.1.6" "ocaml.5.1.1" "ocamlfind.1.9.8" "ocamlgraph.2.2.0" "ppx_deriving.6.1.1" "zarith.1.14"}
"yaml.3.2.0" -> {"bos.0.2.1" "ctypes.0.24.0" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.1.1"}
"yojson.3.0.0" -> {"dune.3.20.2" "ocaml.5.1.1"}
"zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.5.1.1" "ocamlfind.1.9.8"}
}