2026-06-23 18:57.24: New job: doc lutin.2.56 (7c8e58be8fd3)
2026-06-23 18:57.24: Waiting for resource in pool day11-builds
2026-06-23 20:03.34: Got resource from pool day11-builds
2026-06-23 20:03.34: [profile full] doc lutin.2.56
2026-06-23 20:03.34: doc lutin.2.56 (7c8e58be8fd3)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
=== DEBUG: pre-voodoo image inventory ===
-- pkg markers (.odoc_pkg_marker) --
/home/opam/odoc-out/p/camlp4/4.11+1/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/11db1e9eda460ddd6e9a6bc41050a95a/dune/3.23.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/1baf9ede2cea18ba7f48d7825a7e4640/bigarray-compat/1.1.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/1baf9ede2cea18ba7f48d7825a7e4640/cppo/1.8.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/1baf9ede2cea18ba7f48d7825a7e4640/stdlib-shims/0.3.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/22bd6747a1a1ac702087d7ccd91c2276/lutils/1.44/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/2c3e6738a5f1a95e4940b21105d92a83/oasis/0.4.11/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/3bb4270de0966b7566c8b7cb1bc04572/ocamlify/0.0.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/3bb4270de0966b7566c8b7cb1bc04572/ocamlmod/0.0.9/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/668c7391dcc8569f12df2edbf92daec1/rdbg/1.175/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/8b8dceaf789d826ab2d638c61e5ed638/extlib/1.8.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/a94d1afc648b6e8996f2b659d2b06649/ez-conf-lib/2/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/bce7f6a7d2d88ddefa40d245957a2952/lustre-v6/1.737/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/ce91f2abd9fee3dec1e1a60650fdc44c/camlidl/1.13-1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/ce91f2abd9fee3dec1e1a60650fdc44c/num/1.6/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/ce91f2abd9fee3dec1e1a60650fdc44c/ocamlbuild/0.16.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/ce91f2abd9fee3dec1e1a60650fdc44c/ocamlfind/1.9.6/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/ce91f2abd9fee3dec1e1a60650fdc44c/seq/base/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/d37d27dc96078a0d0bc6f5f7aa227842/ounit2/2.2.7/doc/.odoc_pkg_marker
-- lib markers (.odoc_lib_marker) --
/home/opam/odoc-out/p/camlp4/4.11+1/doc/camlp4fulllib/.odoc_lib_marker
/home/opam/odoc-out/p/camlp4/4.11+1/doc/camlp4lib/.odoc_lib_marker
/home/opam/odoc-out/p/camlp4/4.11+1/doc/camlp4o/.odoc_lib_marker
/home/opam/odoc-out/p/camlp4/4.11+1/doc/camlp4of/.odoc_lib_marker
/home/opam/odoc-out/p/camlp4/4.11+1/doc/camlp4oof/.odoc_lib_marker
/home/opam/odoc-out/p/camlp4/4.11+1/doc/camlp4orf/.odoc_lib_marker
/home/opam/odoc-out/p/camlp4/4.11+1/doc/camlp4r/.odoc_lib_marker
/home/opam/odoc-out/p/camlp4/4.11+1/doc/camlp4rf/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/bigarray/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/dynlink/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/ocamlbytecomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/ocamlcommon/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/ocamlmiddleend/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/ocamloptcomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/ocamltoplevel/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/odoc_info/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/raw_spacetime_lib/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/str/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/threads/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/unix/.odoc_lib_marker
/home/opam/odoc-out/u/1baf9ede2cea18ba7f48d7825a7e4640/bigarray-compat/1.1.0/doc/bigarray-compat/.odoc_lib_marker
/home/opam/odoc-out/u/22bd6747a1a1ac702087d7ccd91c2276/lutils/1.44/doc/lutils/.odoc_lib_marker
/home/opam/odoc-out/u/2c3e6738a5f1a95e4940b21105d92a83/oasis/0.4.11/doc/oasis.base/.odoc_lib_marker
/home/opam/odoc-out/u/2c3e6738a5f1a95e4940b21105d92a83/oasis/0.4.11/doc/oasis.builtin-plugins/.odoc_lib_marker
/home/opam/odoc-out/u/2c3e6738a5f1a95e4940b21105d92a83/oasis/0.4.11/doc/oasis.cli/.odoc_lib_marker
/home/opam/odoc-out/u/2c3e6738a5f1a95e4940b21105d92a83/oasis/0.4.11/doc/oasis.dynrun/.odoc_lib_marker
/home/opam/odoc-out/u/2c3e6738a5f1a95e4940b21105d92a83/oasis/0.4.11/doc/oasis/.odoc_lib_marker
/home/opam/odoc-out/u/2c3e6738a5f1a95e4940b21105d92a83/oasis/0.4.11/doc/plugin-loader/.odoc_lib_marker
/home/opam/odoc-out/u/668c7391dcc8569f12df2edbf92daec1/rdbg/1.175/doc/rdbg-plugin.rdbg/.odoc_lib_marker
/home/opam/odoc-out/u/668c7391dcc8569f12df2edbf92daec1/rdbg/1.175/doc/rdbg-plugin.rdbg4lurette/.odoc_lib_marker
/home/opam/odoc-out/u/668c7391dcc8569f12df2edbf92daec1/rdbg/1.175/doc/rdbg-plugin/.odoc_lib_marker
/home/opam/odoc-out/u/8b8dceaf789d826ab2d638c61e5ed638/extlib/1.8.0/doc/extlib/.odoc_lib_marker
/home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/.odoc_lib_marker
/home/opam/odoc-out/u/bce7f6a7d2d88ddefa40d245957a2952/lustre-v6/1.737/doc/lustre-v6/.odoc_lib_marker
/home/opam/odoc-out/u/ce91f2abd9fee3dec1e1a60650fdc44c/camlidl/1.13-1/doc/camlidl/.odoc_lib_marker
/home/opam/odoc-out/u/ce91f2abd9fee3dec1e1a60650fdc44c/num/1.6/doc/num.core/.odoc_lib_marker
/home/opam/odoc-out/u/ce91f2abd9fee3dec1e1a60650fdc44c/num/1.6/doc/num_top/.odoc_lib_marker
/home/opam/odoc-out/u/ce91f2abd9fee3dec1e1a60650fdc44c/num/1.6/doc/nums/.odoc_lib_marker
/home/opam/odoc-out/u/ce91f2abd9fee3dec1e1a60650fdc44c/ocamlbuild/0.16.1/doc/ocamlbuild/.odoc_lib_marker
/home/opam/odoc-out/u/ce91f2abd9fee3dec1e1a60650fdc44c/ocamlfind/1.9.6/doc/findlib.dynload/.odoc_lib_marker
/home/opam/odoc-out/u/ce91f2abd9fee3dec1e1a60650fdc44c/ocamlfind/1.9.6/doc/findlib.internal/.odoc_lib_marker
/home/opam/odoc-out/u/ce91f2abd9fee3dec1e1a60650fdc44c/ocamlfind/1.9.6/doc/findlib.top/.odoc_lib_marker
/home/opam/odoc-out/u/d37d27dc96078a0d0bc6f5f7aa227842/ounit2/2.2.7/doc/ounit2.advanced/.odoc_lib_marker
/home/opam/odoc-out/u/d37d27dc96078a0d0bc6f5f7aa227842/ounit2/2.2.7/doc/ounit2.threads/.odoc_lib_marker
/home/opam/odoc-out/u/d37d27dc96078a0d0bc6f5f7aa227842/ounit2/2.2.7/doc/ounit2/.odoc_lib_marker
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/
=== END DEBUG ===
process_meta_file: prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/META
process_meta_file: prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin/META
process_meta_file: prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin-utils/META
process_meta_file: prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/gbddml/META
process_meta_file: prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/ezdl/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: ezdl, [1], gbddml, [1], lutin,
                            [10], lutin-utils, [1], polka, [3]

odoc_driver_voodoo: [DEBUG] No config file found: prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/doc/lutin/odoc-config.sexp
prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/doc/lutin/odoc-config.sexp: No such file or directory

odoc_driver_voodoo: [DEBUG] Config.packages: 

process_meta_file: prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/META
odoc_driver_voodoo: [DEBUG] prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polka,polka

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/ for package lutin
odoc_driver_voodoo: [DEBUG] 0 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [DEBUG] Checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/matrix.cmti (then prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/Matrix.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/matrix.cmt (then prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/Matrix.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polka.cmti (then prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/Polka.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polka.cmt (then prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/Polka.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polkaIO.cmti (then prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/PolkaIO.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polkaIO.cmt (then prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/PolkaIO.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polka_lexer.cmti (then prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/Polka_lexer.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polka_lexer.cmt (then prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/Polka_lexer.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polka_parser.cmti (then prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/Polka_parser.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polka_parser.cmt (then prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/Polka_parser.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/poly.cmti (then prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/Poly.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/poly.cmt (then prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/Poly.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/vector.cmti (then prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/Vector.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/vector.cmt (then prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/Vector.cmt)
odoc_driver_voodoo: [DEBUG] 1 - Executing: ocamlobjinfo prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/matrix.cmt
odoc_driver_voodoo: [DEBUG] 2 - Executing: ocamlobjinfo prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polka.cmt
odoc_driver_voodoo: [DEBUG] 3 - Executing: ocamlobjinfo prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polkaIO.cmt
odoc_driver_voodoo: [DEBUG] 4 - Executing: ocamlobjinfo prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polka_lexer.cmt
odoc_driver_voodoo: [DEBUG] 5 - Executing: ocamlobjinfo prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polka_parser.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/matrix.ml
odoc_driver_voodoo: [DEBUG] No source found for module Matrix
odoc_driver_voodoo: [DEBUG] 6 - Executing: ocamlobjinfo prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/poly.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polka_lexer.ml
odoc_driver_voodoo: [DEBUG] No source found for module Polka_lexer
odoc_driver_voodoo: [DEBUG] 7 - Executing: ocamlobjinfo prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/vector.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polka.ml
odoc_driver_voodoo: [DEBUG] No source found for module Polka
odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/matrix.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polkaIO.ml
odoc_driver_voodoo: [DEBUG] No source found for module PolkaIO
odoc_driver_voodoo: [DEBUG] 9 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polka_lexer.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polka_parser.ml
odoc_driver_voodoo: [DEBUG] No source found for module Polka_parser
odoc_driver_voodoo: [DEBUG] 10 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polka.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/poly.ml
odoc_driver_voodoo: [DEBUG] No source found for module Poly
odoc_driver_voodoo: [DEBUG] 11 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polkaIO.cmt
odoc_driver_voodoo: [DEBUG] 12 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polka_parser.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/vector.ml
odoc_driver_voodoo: [DEBUG] No source found for module Vector
odoc_driver_voodoo: [DEBUG] 13 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/poly.cmt
odoc_driver_voodoo: [DEBUG] 14 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/matrix.cmti
odoc_driver_voodoo: [DEBUG] 15 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/vector.cmt
odoc_driver_voodoo: [DEBUG] 16 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polka_lexer.cmti
odoc_driver_voodoo: [DEBUG] 17 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polka_parser.cmti
odoc_driver_voodoo: [DEBUG] 18 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polkaIO.cmti
odoc_driver_voodoo: [DEBUG] 19 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/vector.cmti
odoc_driver_voodoo: [DEBUG] 20 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polka.cmti
odoc_driver_voodoo: [DEBUG] 21 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/poly.cmti
process_meta_file: prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin/META
odoc_driver_voodoo: [DEBUG] prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin/lutin,lutin

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin/

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin/ for package lutin
odoc_driver_voodoo: [DEBUG] 22 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin/
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [DEBUG] Checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin/lutinRun.cmti (then prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin/LutinRun.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin/lutinRun.cmt (then prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin/LutinRun.cmt)
odoc_driver_voodoo: [DEBUG] 23 - Executing: ocamlobjinfo prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin/lutinRun.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin/lutinRun.ml
odoc_driver_voodoo: [DEBUG] No source found for module LutinRun
odoc_driver_voodoo: [DEBUG] 24 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin/lutinRun.cmt
odoc_driver_voodoo: [DEBUG] 25 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin/lutinRun.cmti
process_meta_file: prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin-utils/META
odoc_driver_voodoo: [DEBUG] prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin-utils/lutin-utils,lutin-utils

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin-utils/

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin-utils/ for package lutin
odoc_driver_voodoo: [DEBUG] 26 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin-utils/
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [DEBUG] Checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin-utils/lutinUtils.cmti (then prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin-utils/LutinUtils.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin-utils/lutinUtils.cmt (then prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin-utils/LutinUtils.cmt)
odoc_driver_voodoo: [DEBUG] 27 - Executing: ocamlobjinfo prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin-utils/lutinUtils.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin-utils/lutinUtils.ml
odoc_driver_voodoo: [DEBUG] No source found for module LutinUtils
odoc_driver_voodoo: [DEBUG] 28 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin-utils/lutinUtils.cmt
odoc_driver_voodoo: [DEBUG] 29 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin-utils/lutinUtils.cmti
process_meta_file: prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/gbddml/META
odoc_driver_voodoo: [DEBUG] prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/gbddml/gbddml,gbddml

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/gbddml/

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/gbddml/ for package lutin
odoc_driver_voodoo: [DEBUG] 30 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/gbddml/
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [DEBUG] Checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/gbddml/bdd.cmti (then prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/gbddml/Bdd.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/gbddml/bdd.cmt (then prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/gbddml/Bdd.cmt)
odoc_driver_voodoo: [DEBUG] 31 - Executing: ocamlobjinfo prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/gbddml/bdd.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/gbddml/bdd.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/gbddml/bdd.ml for Bdd
odoc_driver_voodoo: [DEBUG] 32 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/gbddml/bdd.cmt
odoc_driver_voodoo: [DEBUG] 33 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/gbddml/bdd.cmt
process_meta_file: prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/ezdl/META
odoc_driver_voodoo: [DEBUG] prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/ezdl/ezdl,ezdl

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/ezdl/

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/ezdl/ for package lutin
odoc_driver_voodoo: [DEBUG] 34 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/ezdl/
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [DEBUG] Checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/ezdl/ezdl.cmti (then prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/ezdl/Ezdl.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/ezdl/ezdl.cmt (then prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/ezdl/Ezdl.cmt)
odoc_driver_voodoo: [DEBUG] 35 - Executing: ocamlobjinfo prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/ezdl/Ezdl.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/ezdl/Ezdl.ml
odoc_driver_voodoo: [DEBUG] No source found for module Ezdl
odoc_driver_voodoo: [DEBUG] 36 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/ezdl/Ezdl.cmt
odoc_driver_voodoo: [DEBUG] 37 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/ezdl/Ezdl.cmti
odoc_driver_voodoo: [DEBUG] libdirs_without_meta: 

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/,
                            prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin/,
                            prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin-utils/,
                            prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/gbddml/,
                            prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/ezdl/

odoc_driver_voodoo: [DEBUG] Found lib marker: p/camlp4/4.11+1/doc/camlp4fulllib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/camlp4/4.11+1/doc/camlp4rf/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/camlp4/4.11+1/doc/camlp4lib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/camlp4/4.11+1/doc/camlp4of/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/camlp4/4.11+1/doc/camlp4oof/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/camlp4/4.11+1/doc/camlp4orf/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/camlp4/4.11+1/doc/camlp4o/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/camlp4/4.11+1/doc/camlp4r/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/camlp4/4.11+1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/ocamltoplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/bigarray/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/ocamloptcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/dynlink/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/ocamlmiddleend/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/raw_spacetime_lib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/odoc_info/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/ocamlcommon/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/ocamlbytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-base-compiler/4.11.2/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/a94d1afc648b6e8996f2b659d2b06649/ez-conf-lib/2/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/1baf9ede2cea18ba7f48d7825a7e4640/bigarray-compat/1.1.0/doc/bigarray-compat/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/1baf9ede2cea18ba7f48d7825a7e4640/bigarray-compat/1.1.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/1baf9ede2cea18ba7f48d7825a7e4640/cppo/1.8.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/1baf9ede2cea18ba7f48d7825a7e4640/stdlib-shims/0.3.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/668c7391dcc8569f12df2edbf92daec1/rdbg/1.175/doc/rdbg-plugin.rdbg/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/668c7391dcc8569f12df2edbf92daec1/rdbg/1.175/doc/rdbg-plugin/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/668c7391dcc8569f12df2edbf92daec1/rdbg/1.175/doc/rdbg-plugin.rdbg4lurette/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/668c7391dcc8569f12df2edbf92daec1/rdbg/1.175/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/ce91f2abd9fee3dec1e1a60650fdc44c/seq/base/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ce91f2abd9fee3dec1e1a60650fdc44c/ocamlbuild/0.16.1/doc/ocamlbuild/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/ce91f2abd9fee3dec1e1a60650fdc44c/ocamlbuild/0.16.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ce91f2abd9fee3dec1e1a60650fdc44c/camlidl/1.13-1/doc/camlidl/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/ce91f2abd9fee3dec1e1a60650fdc44c/camlidl/1.13-1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ce91f2abd9fee3dec1e1a60650fdc44c/num/1.6/doc/num.core/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ce91f2abd9fee3dec1e1a60650fdc44c/num/1.6/doc/nums/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ce91f2abd9fee3dec1e1a60650fdc44c/num/1.6/doc/num_top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/ce91f2abd9fee3dec1e1a60650fdc44c/num/1.6/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ce91f2abd9fee3dec1e1a60650fdc44c/ocamlfind/1.9.6/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ce91f2abd9fee3dec1e1a60650fdc44c/ocamlfind/1.9.6/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ce91f2abd9fee3dec1e1a60650fdc44c/ocamlfind/1.9.6/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/ce91f2abd9fee3dec1e1a60650fdc44c/ocamlfind/1.9.6/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/11db1e9eda460ddd6e9a6bc41050a95a/dune/3.23.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/bce7f6a7d2d88ddefa40d245957a2952/lustre-v6/1.737/doc/lustre-v6/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/bce7f6a7d2d88ddefa40d245957a2952/lustre-v6/1.737/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d37d27dc96078a0d0bc6f5f7aa227842/ounit2/2.2.7/doc/ounit2/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d37d27dc96078a0d0bc6f5f7aa227842/ounit2/2.2.7/doc/ounit2.threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d37d27dc96078a0d0bc6f5f7aa227842/ounit2/2.2.7/doc/ounit2.advanced/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/d37d27dc96078a0d0bc6f5f7aa227842/ounit2/2.2.7/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/3bb4270de0966b7566c8b7cb1bc04572/ocamlify/0.0.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/3bb4270de0966b7566c8b7cb1bc04572/ocamlmod/0.0.9/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/8b8dceaf789d826ab2d638c61e5ed638/extlib/1.8.0/doc/extlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/8b8dceaf789d826ab2d638c61e5ed638/extlib/1.8.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/22bd6747a1a1ac702087d7ccd91c2276/lutils/1.44/doc/lutils/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/22bd6747a1a1ac702087d7ccd91c2276/lutils/1.44/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/2c3e6738a5f1a95e4940b21105d92a83/oasis/0.4.11/doc/oasis.dynrun/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/2c3e6738a5f1a95e4940b21105d92a83/oasis/0.4.11/doc/oasis.base/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/2c3e6738a5f1a95e4940b21105d92a83/oasis/0.4.11/doc/oasis/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/2c3e6738a5f1a95e4940b21105d92a83/oasis/0.4.11/doc/plugin-loader/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/2c3e6738a5f1a95e4940b21105d92a83/oasis/0.4.11/doc/oasis.builtin-plugins/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/2c3e6738a5f1a95e4940b21105d92a83/oasis/0.4.11/doc/oasis.cli/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/2c3e6738a5f1a95e4940b21105d92a83/oasis/0.4.11/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Library num not found
odoc_driver_voodoo: [DEBUG] Library num not found
odoc_driver_voodoo: [DEBUG] Library camlp4 not found
odoc_driver_voodoo: [DEBUG] Library num not found
odoc_driver_voodoo: [DEBUG] Library camlp4 not found
odoc_driver_voodoo: [DEBUG] Library num not found
odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 484 precompiled units, 11 other units
odoc_driver_voodoo: [DEBUG] 38 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/lutin/2.56/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/lutin/2.56/doc
odoc_driver_voodoo: [DEBUG] 39 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/lutin/2.56/doc/src/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/lutin/2.56/doc/src
odoc_driver_voodoo: [DEBUG] 40 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/lutin/2.56/doc/polka/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/lutin/2.56/doc/polka
odoc_driver_voodoo: [DEBUG] 41 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polka.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lutin/2.56/doc/ezdl -I /home/opam/odoc-out/p/lutin/2.56/doc/gbddml -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -I /home/opam/odoc-out/p/lutin/2.56/doc/polka -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ --enable-missing-root-warning --parent-id p/lutin/2.56/doc/polka --warnings-tag lutin
odoc_driver_voodoo: [DEBUG] 42 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/lutin/2.56/doc/lutin/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/lutin/2.56/doc/lutin
odoc_driver_voodoo: [DEBUG] 43 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin/lutinRun.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lutin/2.56/doc/ezdl -I /home/opam/odoc-out/p/lutin/2.56/doc/gbddml -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -I /home/opam/odoc-out/p/lutin/2.56/doc/polka -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/u/22bd6747a1a1ac702087d7ccd91c2276/lutils/1.44/doc/lutils/ -I /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ -I /home/opam/odoc-out/u/ce91f2abd9fee3dec1e1a60650fdc44c/camlidl/1.13-1/doc/camlidl/ --enable-missing-root-warning --parent-id p/lutin/2.56/doc/lutin --warnings-tag lutin
odoc_driver_voodoo: [DEBUG] 44 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/lutin/2.56/doc/lutin-utils/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/lutin/2.56/doc/lutin-utils
odoc_driver_voodoo: [DEBUG] 45 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/lutin-utils/lutinUtils.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lutin/2.56/doc/ezdl -I /home/opam/odoc-out/p/lutin/2.56/doc/gbddml -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -I /home/opam/odoc-out/p/lutin/2.56/doc/polka -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ --enable-missing-root-warning --parent-id p/lutin/2.56/doc/lutin-utils --warnings-tag lutin
odoc_driver_voodoo: [DEBUG] 46 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/lutin/2.56/doc/gbddml/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/lutin/2.56/doc/gbddml
odoc_driver_voodoo: [DEBUG] 47 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/gbddml/bdd.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lutin/2.56/doc/ezdl -I /home/opam/odoc-out/p/lutin/2.56/doc/gbddml -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -I /home/opam/odoc-out/p/lutin/2.56/doc/polka -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ --enable-missing-root-warning --parent-id p/lutin/2.56/doc/gbddml --warnings-tag lutin
odoc_driver_voodoo: [DEBUG] 48 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/gbddml/bdd.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lutin/2.56/doc/ezdl -I /home/opam/odoc-out/p/lutin/2.56/doc/gbddml -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -I /home/opam/odoc-out/p/lutin/2.56/doc/polka -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ --enable-missing-root-warning --parent-id p/lutin/2.56/doc/gbddml --source-id p/lutin/2.56/doc/src/gbddml/bdd.ml
odoc_driver_voodoo: [DEBUG] 49 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/lutin/2.56/doc/ezdl/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/lutin/2.56/doc/ezdl
odoc_driver_voodoo: [DEBUG] 50 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/ezdl/Ezdl.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lutin/2.56/doc/ezdl -I /home/opam/odoc-out/p/lutin/2.56/doc/gbddml -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -I /home/opam/odoc-out/p/lutin/2.56/doc/polka -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ --enable-missing-root-warning --parent-id p/lutin/2.56/doc/ezdl --warnings-tag lutin
odoc_driver_voodoo: [DEBUG] 51 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/vector.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lutin/2.56/doc/ezdl -I /home/opam/odoc-out/p/lutin/2.56/doc/gbddml -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -I /home/opam/odoc-out/p/lutin/2.56/doc/polka -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ --enable-missing-root-warning --parent-id p/lutin/2.56/doc/polka --warnings-tag lutin
odoc_driver_voodoo: [DEBUG] 52 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polka_parser.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lutin/2.56/doc/ezdl -I /home/opam/odoc-out/p/lutin/2.56/doc/gbddml -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -I /home/opam/odoc-out/p/lutin/2.56/doc/polka -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ --enable-missing-root-warning --parent-id p/lutin/2.56/doc/polka --warnings-tag lutin
odoc_driver_voodoo: [DEBUG] 53 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/matrix.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lutin/2.56/doc/ezdl -I /home/opam/odoc-out/p/lutin/2.56/doc/gbddml -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -I /home/opam/odoc-out/p/lutin/2.56/doc/polka -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ --enable-missing-root-warning --parent-id p/lutin/2.56/doc/polka --warnings-tag lutin
odoc_driver_voodoo: [DEBUG] 54 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polka_lexer.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lutin/2.56/doc/ezdl -I /home/opam/odoc-out/p/lutin/2.56/doc/gbddml -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -I /home/opam/odoc-out/p/lutin/2.56/doc/polka -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ --enable-missing-root-warning --parent-id p/lutin/2.56/doc/polka --warnings-tag lutin
odoc_driver_voodoo: [DEBUG] 55 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/poly.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lutin/2.56/doc/ezdl -I /home/opam/odoc-out/p/lutin/2.56/doc/gbddml -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -I /home/opam/odoc-out/p/lutin/2.56/doc/polka -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ --enable-missing-root-warning --parent-id p/lutin/2.56/doc/polka --warnings-tag lutin
odoc_driver_voodoo: [DEBUG] 56 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/polka/polkaIO.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lutin/2.56/doc/ezdl -I /home/opam/odoc-out/p/lutin/2.56/doc/gbddml -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -I /home/opam/odoc-out/p/lutin/2.56/doc/polka -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ --enable-missing-root-warning --parent-id p/lutin/2.56/doc/polka --warnings-tag lutin
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lutin/2.56/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lutin/2.56/doc/src/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lutin/2.56/doc/polka/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lutin/2.56/doc/polka/matrix.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lutin/2.56/doc/polka/polka.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lutin/2.56/doc/polka/polkaIO.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lutin/2.56/doc/polka/polka_lexer.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lutin/2.56/doc/polka/polka_parser.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lutin/2.56/doc/polka/poly.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lutin/2.56/doc/polka/vector.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lutin/2.56/doc/lutin/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lutin/2.56/doc/lutin/lutinRun.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils/lutinUtils.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lutin/2.56/doc/gbddml/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lutin/2.56/doc/gbddml/bdd.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lutin/2.56/doc/gbddml/impl-bdd.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lutin/2.56/doc/ezdl/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lutin/2.56/doc/ezdl/ezdl.odoc
odoc_driver_voodoo: [DEBUG] 57 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lutin/2.56/doc/page-index.odoc -o /home/opam/odoc-out/p/lutin/2.56/doc/page-index.odocl -P lutin:/home/opam/odoc-out/p/lutin/2.56/doc -L ezdl:/home/opam/odoc-out/p/lutin/2.56/doc/ezdl -L gbddml:/home/opam/odoc-out/p/lutin/2.56/doc/gbddml -L lutin:/home/opam/odoc-out/p/lutin/2.56/doc/lutin -L lutin-utils:/home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -L polka:/home/opam/odoc-out/p/lutin/2.56/doc/polka --enable-missing-root-warning --warnings-tags lutin
odoc_driver_voodoo: [DEBUG] 58 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lutin/2.56/doc/src/page-index.odoc -o /home/opam/odoc-out/p/lutin/2.56/doc/src/page-index.odocl --enable-missing-root-warning --warnings-tags lutin
odoc_driver_voodoo: [DEBUG] 59 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lutin/2.56/doc/polka/page-index.odoc -o /home/opam/odoc-out/p/lutin/2.56/doc/polka/page-index.odocl -L polka:/home/opam/odoc-out/p/lutin/2.56/doc/polka --enable-missing-root-warning --warnings-tags lutin
odoc_driver_voodoo: [DEBUG] 60 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lutin/2.56/doc/polka/matrix.odoc -o /home/opam/odoc-out/p/lutin/2.56/doc/polka/matrix.odocl -P lutin:/home/opam/odoc-out/p/lutin/2.56/doc -L ezdl:/home/opam/odoc-out/p/lutin/2.56/doc/ezdl -L gbddml:/home/opam/odoc-out/p/lutin/2.56/doc/gbddml -L gmp:/home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ -L lutin:/home/opam/odoc-out/p/lutin/2.56/doc/lutin -L lutin-utils:/home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -L polka:/home/opam/odoc-out/p/lutin/2.56/doc/polka -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/p/lutin/2.56/doc/polka -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ --current-package lutin --enable-missing-root-warning --warnings-tags lutin
odoc_driver_voodoo: [DEBUG] 61 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lutin/2.56/doc/polka/polka.odoc -o /home/opam/odoc-out/p/lutin/2.56/doc/polka/polka.odocl -P lutin:/home/opam/odoc-out/p/lutin/2.56/doc -L ezdl:/home/opam/odoc-out/p/lutin/2.56/doc/ezdl -L gbddml:/home/opam/odoc-out/p/lutin/2.56/doc/gbddml -L gmp:/home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ -L lutin:/home/opam/odoc-out/p/lutin/2.56/doc/lutin -L lutin-utils:/home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -L polka:/home/opam/odoc-out/p/lutin/2.56/doc/polka -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/p/lutin/2.56/doc/polka -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ --current-package lutin --enable-missing-root-warning --warnings-tags lutin
odoc_driver_voodoo: [DEBUG] 62 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lutin/2.56/doc/polka/polkaIO.odoc -o /home/opam/odoc-out/p/lutin/2.56/doc/polka/polkaIO.odocl -P lutin:/home/opam/odoc-out/p/lutin/2.56/doc -L ezdl:/home/opam/odoc-out/p/lutin/2.56/doc/ezdl -L gbddml:/home/opam/odoc-out/p/lutin/2.56/doc/gbddml -L gmp:/home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ -L lutin:/home/opam/odoc-out/p/lutin/2.56/doc/lutin -L lutin-utils:/home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -L polka:/home/opam/odoc-out/p/lutin/2.56/doc/polka -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/p/lutin/2.56/doc/polka -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ --current-package lutin --enable-missing-root-warning --warnings-tags lutin
odoc_driver_voodoo: [DEBUG] 63 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lutin/2.56/doc/polka/polka_lexer.odoc -o /home/opam/odoc-out/p/lutin/2.56/doc/polka/polka_lexer.odocl -P lutin:/home/opam/odoc-out/p/lutin/2.56/doc -L ezdl:/home/opam/odoc-out/p/lutin/2.56/doc/ezdl -L gbddml:/home/opam/odoc-out/p/lutin/2.56/doc/gbddml -L gmp:/home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ -L lutin:/home/opam/odoc-out/p/lutin/2.56/doc/lutin -L lutin-utils:/home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -L polka:/home/opam/odoc-out/p/lutin/2.56/doc/polka -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/p/lutin/2.56/doc/polka -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ --current-package lutin --enable-missing-root-warning --warnings-tags lutin
odoc_driver_voodoo: [DEBUG] 64 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lutin/2.56/doc/polka/polka_parser.odoc -o /home/opam/odoc-out/p/lutin/2.56/doc/polka/polka_parser.odocl -P lutin:/home/opam/odoc-out/p/lutin/2.56/doc -L ezdl:/home/opam/odoc-out/p/lutin/2.56/doc/ezdl -L gbddml:/home/opam/odoc-out/p/lutin/2.56/doc/gbddml -L gmp:/home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ -L lutin:/home/opam/odoc-out/p/lutin/2.56/doc/lutin -L lutin-utils:/home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -L polka:/home/opam/odoc-out/p/lutin/2.56/doc/polka -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/p/lutin/2.56/doc/polka -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ --current-package lutin --enable-missing-root-warning --warnings-tags lutin
odoc_driver_voodoo: [DEBUG] 65 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lutin/2.56/doc/polka/poly.odoc -o /home/opam/odoc-out/p/lutin/2.56/doc/polka/poly.odocl -P lutin:/home/opam/odoc-out/p/lutin/2.56/doc -L ezdl:/home/opam/odoc-out/p/lutin/2.56/doc/ezdl -L gbddml:/home/opam/odoc-out/p/lutin/2.56/doc/gbddml -L gmp:/home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ -L lutin:/home/opam/odoc-out/p/lutin/2.56/doc/lutin -L lutin-utils:/home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -L polka:/home/opam/odoc-out/p/lutin/2.56/doc/polka -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/p/lutin/2.56/doc/polka -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ --current-package lutin --enable-missing-root-warning --warnings-tags lutin
odoc_driver_voodoo: [DEBUG] 66 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lutin/2.56/doc/polka/vector.odoc -o /home/opam/odoc-out/p/lutin/2.56/doc/polka/vector.odocl -P lutin:/home/opam/odoc-out/p/lutin/2.56/doc -L ezdl:/home/opam/odoc-out/p/lutin/2.56/doc/ezdl -L gbddml:/home/opam/odoc-out/p/lutin/2.56/doc/gbddml -L gmp:/home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ -L lutin:/home/opam/odoc-out/p/lutin/2.56/doc/lutin -L lutin-utils:/home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -L polka:/home/opam/odoc-out/p/lutin/2.56/doc/polka -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/p/lutin/2.56/doc/polka -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ --current-package lutin --enable-missing-root-warning --warnings-tags lutin
odoc_driver_voodoo: [DEBUG] 67 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lutin/2.56/doc/lutin/page-index.odoc -o /home/opam/odoc-out/p/lutin/2.56/doc/lutin/page-index.odocl -L lutin:/home/opam/odoc-out/p/lutin/2.56/doc/lutin --enable-missing-root-warning --warnings-tags lutin
odoc_driver_voodoo: [DEBUG] 68 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lutin/2.56/doc/lutin/lutinRun.odoc -o /home/opam/odoc-out/p/lutin/2.56/doc/lutin/lutinRun.odocl -P lutin:/home/opam/odoc-out/p/lutin/2.56/doc -L camlidl:/home/opam/odoc-out/u/ce91f2abd9fee3dec1e1a60650fdc44c/camlidl/1.13-1/doc/camlidl/ -L ezdl:/home/opam/odoc-out/p/lutin/2.56/doc/ezdl -L gbddml:/home/opam/odoc-out/p/lutin/2.56/doc/gbddml -L gmp:/home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ -L lutils:/home/opam/odoc-out/u/22bd6747a1a1ac702087d7ccd91c2276/lutils/1.44/doc/lutils/ -L lutin:/home/opam/odoc-out/p/lutin/2.56/doc/lutin -L lutin-utils:/home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -L polka:/home/opam/odoc-out/p/lutin/2.56/doc/polka -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/p/lutin/2.56/doc/ezdl -I /home/opam/odoc-out/p/lutin/2.56/doc/gbddml -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -I /home/opam/odoc-out/p/lutin/2.56/doc/polka -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/u/22bd6747a1a1ac702087d7ccd91c2276/lutils/1.44/doc/lutils/ -I /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/ -I /home/opam/odoc-out/u/ce91f2abd9fee3dec1e1a60650fdc44c/camlidl/1.13-1/doc/camlidl/ --current-package lutin --enable-missing-root-warning --warnings-tags lutin
odoc_driver_voodoo: [DEBUG] 69 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils/page-index.odoc -o /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils/page-index.odocl -L lutin-utils:/home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils --enable-missing-root-warning --warnings-tags lutin
odoc_driver_voodoo: [DEBUG] 70 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils/lutinUtils.odoc -o /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils/lutinUtils.odocl -P lutin:/home/opam/odoc-out/p/lutin/2.56/doc -L ezdl:/home/opam/odoc-out/p/lutin/2.56/doc/ezdl -L gbddml:/home/opam/odoc-out/p/lutin/2.56/doc/gbddml -L lutin:/home/opam/odoc-out/p/lutin/2.56/doc/lutin -L lutin-utils:/home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -L polka:/home/opam/odoc-out/p/lutin/2.56/doc/polka -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ --current-package lutin --enable-missing-root-warning --warnings-tags lutin
odoc_driver_voodoo: [DEBUG] 71 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lutin/2.56/doc/gbddml/page-index.odoc -o /home/opam/odoc-out/p/lutin/2.56/doc/gbddml/page-index.odocl -L gbddml:/home/opam/odoc-out/p/lutin/2.56/doc/gbddml --enable-missing-root-warning --warnings-tags lutin
odoc_driver_voodoo: [DEBUG] 72 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lutin/2.56/doc/gbddml/bdd.odoc -o /home/opam/odoc-out/p/lutin/2.56/doc/gbddml/bdd.odocl -P lutin:/home/opam/odoc-out/p/lutin/2.56/doc -L ezdl:/home/opam/odoc-out/p/lutin/2.56/doc/ezdl -L gbddml:/home/opam/odoc-out/p/lutin/2.56/doc/gbddml -L lutin:/home/opam/odoc-out/p/lutin/2.56/doc/lutin -L lutin-utils:/home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -L polka:/home/opam/odoc-out/p/lutin/2.56/doc/polka -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/p/lutin/2.56/doc/gbddml -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ --current-package lutin --enable-missing-root-warning --warnings-tags lutin
odoc_driver_voodoo: [DEBUG] 73 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lutin/2.56/doc/gbddml/impl-bdd.odoc -o /home/opam/odoc-out/p/lutin/2.56/doc/gbddml/impl-bdd.odocl -P lutin:/home/opam/odoc-out/p/lutin/2.56/doc -L ezdl:/home/opam/odoc-out/p/lutin/2.56/doc/ezdl -L gbddml:/home/opam/odoc-out/p/lutin/2.56/doc/gbddml -L lutin:/home/opam/odoc-out/p/lutin/2.56/doc/lutin -L lutin-utils:/home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -L polka:/home/opam/odoc-out/p/lutin/2.56/doc/polka -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/p/lutin/2.56/doc/gbddml -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ --current-package lutin --enable-missing-root-warning --warnings-tags lutin
odoc_driver_voodoo: [DEBUG] 74 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lutin/2.56/doc/ezdl/page-index.odoc -o /home/opam/odoc-out/p/lutin/2.56/doc/ezdl/page-index.odocl -L ezdl:/home/opam/odoc-out/p/lutin/2.56/doc/ezdl --enable-missing-root-warning --warnings-tags lutin
odoc_driver_voodoo: [DEBUG] 75 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lutin/2.56/doc/ezdl/ezdl.odoc -o /home/opam/odoc-out/p/lutin/2.56/doc/ezdl/ezdl.odocl -P lutin:/home/opam/odoc-out/p/lutin/2.56/doc -L ezdl:/home/opam/odoc-out/p/lutin/2.56/doc/ezdl -L gbddml:/home/opam/odoc-out/p/lutin/2.56/doc/gbddml -L lutin:/home/opam/odoc-out/p/lutin/2.56/doc/lutin -L lutin-utils:/home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils -L polka:/home/opam/odoc-out/p/lutin/2.56/doc/polka -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ -I /home/opam/odoc-out/p/lutin/2.56/doc/ezdl -I /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/ --current-package lutin --enable-missing-root-warning --warnings-tags lutin
odoc_driver_voodoo: [DEBUG] 76 - Executing: /home/opam/doc-tools/bin/odoc count-occurrences /home/opam/odoc-out/p/lutin/2.56/doc/polka /home/opam/odoc-out/p/lutin/2.56/doc/lutin /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils /home/opam/odoc-out/p/lutin/2.56/doc/gbddml /home/opam/odoc-out/p/lutin/2.56/doc/ezdl -o /home/opam/odoc-out/p/lutin/2.56/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 77 - Executing: sherlodoc js /home/opam/html/sherlodoc.js
odoc_driver_voodoo: [DEBUG] 78 - Executing: /home/opam/doc-tools/bin/odoc compile-index -o _index/lutin/index.odoc-index --root /home/opam/odoc-out/p/lutin/2.56/doc --occurrences /home/opam/odoc-out/p/lutin/2.56/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 79 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate -o _index/lutin/sidebar.odoc-sidebar _index/lutin/index.odoc-index
odoc_driver_voodoo: [DEBUG] 80 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate --json -o /home/opam/html/p/lutin/2.56/doc/sidebar.json _index/lutin/index.odoc-index
odoc_driver_voodoo: [DEBUG] 81 - Executing: /home/opam/doc-tools/bin/odoc compile-index --json --simplified-json --wrap-json -o /home/opam/html/p/lutin/2.56/doc/index.js --root /home/opam/odoc-out/p/lutin/2.56/doc --occurrences /home/opam/odoc-out/p/lutin/2.56/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 82 - Executing: sherlodoc index --format js _index/lutin/index.odoc-index -o /home/opam/html/p/lutin/2.56/doc/sherlodoc_db.js
odoc_driver_voodoo: [DEBUG] 83 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/page-index.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 84 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/src/page-index.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 85 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/polka/page-index.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 86 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/polka/matrix.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 87 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/polka/polka.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 88 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/polka/polkaIO.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 89 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/polka/polka_lexer.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 90 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/polka/polka_parser.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 91 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/polka/poly.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 92 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/polka/vector.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 93 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/lutin/page-index.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 94 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/lutin/lutinRun.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 95 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils/page-index.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 96 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils/lutinUtils.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 97 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/gbddml/page-index.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 98 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/gbddml/bdd.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 99 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lutin/2.56/doc/gbddml/impl-bdd.odocl --sidebar _index/lutin/sidebar.odoc-sidebar prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/gbddml/bdd.ml --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 100 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/ezdl/page-index.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 101 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/ezdl/ezdl.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 102 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/page-index.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 103 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/src/page-index.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 104 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/polka/page-index.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 105 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/polka/matrix.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 106 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/polka/polka_lexer.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 107 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/polka/polka.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 108 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/polka/polkaIO.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 109 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/polka/polka_parser.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 110 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/polka/poly.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 111 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/polka/vector.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 112 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/lutin/page-index.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 113 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils/page-index.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 114 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/lutin-utils/lutinUtils.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 115 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/lutin/lutinRun.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 116 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/gbddml/page-index.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 117 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/gbddml/bdd.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 118 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lutin/2.56/doc/gbddml/impl-bdd.odocl --sidebar _index/lutin/sidebar.odoc-sidebar prep/universes/e61368c59337756f00800e5ed71c81a3/lutin/2.56/lib/gbddml/bdd.ml --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 119 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/ezdl/page-index.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 120 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lutin/2.56/doc/ezdl/ezdl.odocl --sidebar _index/lutin/sidebar.odoc-sidebar --search-uri p/lutin/2.56/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 121 - Executing: /home/opam/doc-tools/bin/odoc support-files -o /home/opam/html
/home/opam/odoc-out/p/lutin/2.56/doc/polka/matrix.odoc: File "/home/opam/odoc-out/p/lutin/2.56/doc/polka/matrix.odoc":
/home/opam/odoc-out/p/lutin/2.56/doc/polka/matrix.odoc: Warning: Couldn't find the following modules:
/home/opam/odoc-out/p/lutin/2.56/doc/polka/matrix.odoc:   Big_int
/home/opam/odoc-out/p/lutin/2.56/doc/polka/matrix.odoc: 
/home/opam/odoc-out/p/lutin/2.56/doc/polka/polka.odoc: File "/home/opam/odoc-out/p/lutin/2.56/doc/polka/polka.odoc":
/home/opam/odoc-out/p/lutin/2.56/doc/polka/polka.odoc: Warning: Couldn't find the following modules:
/home/opam/odoc-out/p/lutin/2.56/doc/polka/polka.odoc:   Big_int
/home/opam/odoc-out/p/lutin/2.56/doc/polka/polka.odoc: 
/home/opam/odoc-out/p/lutin/2.56/doc/polka/polka_parser.odoc: File "/home/opam/odoc-out/p/lutin/2.56/doc/polka/polka_parser.odoc":
/home/opam/odoc-out/p/lutin/2.56/doc/polka/polka_parser.odoc: Warning: Couldn't find the following modules:
/home/opam/odoc-out/p/lutin/2.56/doc/polka/polka_parser.odoc:   Big_int
/home/opam/odoc-out/p/lutin/2.56/doc/polka/polka_parser.odoc: 
/home/opam/odoc-out/p/lutin/2.56/doc/polka/vector.odoc: File "/home/opam/odoc-out/p/lutin/2.56/doc/polka/vector.odoc":
/home/opam/odoc-out/p/lutin/2.56/doc/polka/vector.odoc: Warning: Couldn't find the following modules:
/home/opam/odoc-out/p/lutin/2.56/doc/polka/vector.odoc:   Big_int
/home/opam/odoc-out/p/lutin/2.56/doc/polka/vector.odoc: 
/home/opam/odoc-out/p/lutin/2.56/doc/lutin/lutinRun.odoc: File "/home/opam/odoc-out/p/lutin/2.56/doc/lutin/lutinRun.odoc":
/home/opam/odoc-out/p/lutin/2.56/doc/lutin/lutinRun.odoc: Warning: Couldn't find the following modules:
/home/opam/odoc-out/p/lutin/2.56/doc/lutin/lutinRun.odoc:   RdbgPlugin
/home/opam/odoc-out/p/lutin/2.56/doc/lutin/lutinRun.odoc: 

=== STDERR ===

2026-06-23 20:03.44: OK: doc lutin.2.56 (runc: 2.6s, disk: 354KB)
2026-06-23 20:03.44: Job succeeded