2026-06-20 15:55.54: New job: doc dolmen_type.0.10 (612ca7333fc9)
2026-06-20 15:55.54: Waiting for resource in pool day11-builds
2026-06-20 16:15.11: Got resource from pool day11-builds
2026-06-20 16:15.11: [profile full] doc dolmen_type.0.10
2026-06-20 16:15.11: doc dolmen_type.0.10 (612ca7333fc9)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
=== DEBUG: pre-voodoo image inventory ===
-- pkg markers (.odoc_pkg_marker) --
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/dune/3.23.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlbuild/0.16.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/seq/base/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirCST/20250912/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirLib/20250912/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirSdk/20250912/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/stdlib-shims/0.3.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/2b506dde8d24c44336016908b027ea49/menhir/20250912/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/fmt/0.11.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/hmap/0.8.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/8573c6c12658ffc8bd0496a75af930c7/topkg/1.1.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/.odoc_pkg_marker
-- lib markers (.odoc_lib_marker) --
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/compiler-libs.bytecomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/compiler-libs.common/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/compiler-libs.optcomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/compiler-libs.toplevel/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/dynlink/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/odoc_info/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/runtime_events/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/str/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/threads/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/unix/.odoc_lib_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlbuild/0.16.1/doc/ocamlbuild/.odoc_lib_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirCST/20250912/doc/menhirCST/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirLib/20250912/doc/menhirLib/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirSdk/20250912/doc/menhirSdk/.odoc_lib_marker
/home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/.odoc_lib_marker
/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/fmt/0.11.0/doc/fmt.tty/.odoc_lib_marker
/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/fmt/0.11.0/doc/fmt/.odoc_lib_marker
/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/hmap/0.8.1/doc/hmap/.odoc_lib_marker
/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/.odoc_lib_marker
/home/opam/odoc-out/u/8573c6c12658ffc8bd0496a75af930c7/topkg/1.1.1/doc/topkg/.odoc_lib_marker
/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.ae/.odoc_lib_marker
/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.class/.odoc_lib_marker
/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.dimacs/.odoc_lib_marker
/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.icnf/.odoc_lib_marker
/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/.odoc_lib_marker
/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.line/.odoc_lib_marker
/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/.odoc_lib_marker
/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/.odoc_lib_marker
/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/.odoc_lib_marker
/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.zf/.odoc_lib_marker
/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/.odoc_lib_marker
/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen_smtlib2_poly/.odoc_lib_marker
/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen_smtlib2_v6/.odoc_lib_marker
/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen_smtlib2_v6_response/.odoc_lib_marker
/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen_smtlib2_v6_script/.odoc_lib_marker
/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen_tptp_v6_3_0/.odoc_lib_marker
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/
=== END DEBUG ===
process_meta_file: prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: dolmen_type, [8]

odoc_driver_voodoo: [DEBUG] No config file found: prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/odoc-config.sexp
prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/odoc-config.sexp: No such file or directory

odoc_driver_voodoo: [DEBUG] Config.packages: 

process_meta_file: prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/META
odoc_driver_voodoo: [DEBUG] prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type,dolmen_type

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/ for package dolmen_type
odoc_driver_voodoo: [DEBUG] 0 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type.cmti (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type.cmt (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Arith.cmti (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Arith.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Arith.cmt (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Arith.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Arrays.cmti (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Arrays.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Arrays.cmt (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Arrays.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Base.cmti (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Base.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Base.cmt (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Base.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Bitv.cmti (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Bitv.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Bitv.cmt (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Bitv.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Core.cmti (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Core.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Core.cmt (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Core.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Def.cmti (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Def.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Def.cmt (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Def.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Float.cmti (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Float.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Float.cmt (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Float.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Intf.cmti (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Intf.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Intf.cmt (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Intf.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Logic.cmti (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Logic.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Logic.cmt (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Logic.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Misc.cmti (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Misc.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Misc.cmt (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Misc.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Strings.cmti (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Strings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Strings.cmt (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Strings.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Tff.cmti (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Tff.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Tff.cmt (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Tff.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Tff_intf.cmti (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Tff_intf.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Tff_intf.cmt (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Tff_intf.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Thf.cmti (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Thf.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Thf.cmt (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Thf.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Thf_intf.cmti (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Thf_intf.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Thf_intf.cmt (then prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/Dolmen_type__Thf_intf.cmt)
odoc_driver_voodoo: [DEBUG] 1 - Executing: ocamlobjinfo prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type.cmt
odoc_driver_voodoo: [DEBUG] 2 - Executing: ocamlobjinfo prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Arith.cmt
odoc_driver_voodoo: [DEBUG] 3 - Executing: ocamlobjinfo prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Arrays.cmt
odoc_driver_voodoo: [DEBUG] 4 - Executing: ocamlobjinfo prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Base.cmt
odoc_driver_voodoo: [DEBUG] 5 - Executing: ocamlobjinfo prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Bitv.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type.ml-gen
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type.ml for Dolmen_type
odoc_driver_voodoo: [DEBUG] 6 - Executing: ocamlobjinfo prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Core.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/arrays.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/arrays.ml for Dolmen_type__Arrays
odoc_driver_voodoo: [DEBUG] 7 - Executing: ocamlobjinfo prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Def.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/arith.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/arith.ml for Dolmen_type__Arith
odoc_driver_voodoo: [DEBUG] 8 - Executing: ocamlobjinfo prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Float.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/def.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/def.ml for Dolmen_type__Def
odoc_driver_voodoo: [DEBUG] 9 - Executing: ocamlobjinfo prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Intf.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/base.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/base.ml for Dolmen_type__Base
odoc_driver_voodoo: [DEBUG] 10 - Executing: ocamlobjinfo prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Logic.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/bitv.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/bitv.ml for Dolmen_type__Bitv
odoc_driver_voodoo: [DEBUG] 11 - Executing: ocamlobjinfo prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Misc.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/intf.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/intf.ml for Dolmen_type__Intf
odoc_driver_voodoo: [DEBUG] 12 - Executing: ocamlobjinfo prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Strings.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/logic.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/logic.ml for Dolmen_type__Logic
odoc_driver_voodoo: [DEBUG] 13 - Executing: ocamlobjinfo prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Tff.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/misc.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/misc.ml for Dolmen_type__Misc
odoc_driver_voodoo: [DEBUG] 14 - Executing: ocamlobjinfo prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Tff_intf.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/core.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/core.ml for Dolmen_type__Core
odoc_driver_voodoo: [DEBUG] 15 - Executing: ocamlobjinfo prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Thf.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/float.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/float.ml for Dolmen_type__Float
odoc_driver_voodoo: [DEBUG] 16 - Executing: ocamlobjinfo prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Thf_intf.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/tff.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/tff.ml for Dolmen_type__Tff
odoc_driver_voodoo: [DEBUG] 17 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/tff_intf.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/tff_intf.ml for Dolmen_type__Tff_intf
odoc_driver_voodoo: [DEBUG] 18 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Arrays.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/thf_intf.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/thf_intf.ml for Dolmen_type__Thf_intf
odoc_driver_voodoo: [DEBUG] 19 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Arith.cmt
odoc_driver_voodoo: [DEBUG] 20 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Def.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/strings.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/strings.ml for Dolmen_type__Strings
odoc_driver_voodoo: [DEBUG] 21 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Base.cmt
odoc_driver_voodoo: [DEBUG] 22 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Bitv.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/thf.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/thf.ml for Dolmen_type__Thf
odoc_driver_voodoo: [DEBUG] 23 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Intf.cmt
odoc_driver_voodoo: [DEBUG] 24 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Logic.cmt
odoc_driver_voodoo: [DEBUG] 25 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Misc.cmt
odoc_driver_voodoo: [DEBUG] 26 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Core.cmt
odoc_driver_voodoo: [DEBUG] 27 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Float.cmt
odoc_driver_voodoo: [DEBUG] 28 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Tff.cmt
odoc_driver_voodoo: [DEBUG] 29 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Tff_intf.cmt
odoc_driver_voodoo: [DEBUG] 30 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Thf_intf.cmt
odoc_driver_voodoo: [DEBUG] 31 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type.cmt
odoc_driver_voodoo: [DEBUG] 32 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Strings.cmt
odoc_driver_voodoo: [DEBUG] 33 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Arrays.cmti
odoc_driver_voodoo: [DEBUG] 34 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Thf.cmt
odoc_driver_voodoo: [DEBUG] 35 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Def.cmti
odoc_driver_voodoo: [DEBUG] 36 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Intf.cmt
odoc_driver_voodoo: [DEBUG] 37 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Logic.cmti
odoc_driver_voodoo: [DEBUG] 38 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Misc.cmti
odoc_driver_voodoo: [DEBUG] 39 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Arith.cmti
odoc_driver_voodoo: [DEBUG] 40 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Bitv.cmti
odoc_driver_voodoo: [DEBUG] 41 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Core.cmti
odoc_driver_voodoo: [DEBUG] 42 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Tff_intf.cmt
odoc_driver_voodoo: [DEBUG] 43 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Base.cmti
odoc_driver_voodoo: [DEBUG] 44 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Float.cmti
odoc_driver_voodoo: [DEBUG] 45 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Tff.cmti
odoc_driver_voodoo: [DEBUG] 46 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Thf_intf.cmt
odoc_driver_voodoo: [DEBUG] 47 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Thf.cmti
odoc_driver_voodoo: [DEBUG] 48 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Strings.cmti
odoc_driver_voodoo: [DEBUG] libdirs_without_meta: 

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/

odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/dynlink/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/compiler-libs.toplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/odoc_info/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/compiler-libs.common/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/compiler-libs.bytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/compiler-libs.optcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/runtime_events/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-compiler/5.4.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/128a9098365655e3c58e2079337fb081/seq/base/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/128a9098365655e3c58e2079337fb081/ocamlbuild/0.16.1/doc/ocamlbuild/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/128a9098365655e3c58e2079337fb081/ocamlbuild/0.16.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/128a9098365655e3c58e2079337fb081/dune/3.23.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/menhirCST/20250912/doc/menhirCST/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/menhirCST/20250912/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/menhirSdk/20250912/doc/menhirSdk/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/menhirSdk/20250912/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/stdlib-shims/0.3.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/menhirLib/20250912/doc/menhirLib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/menhirLib/20250912/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/7af06d5972a84834d8f1a47dcb6cfdfa/fmt/0.11.0/doc/fmt.tty/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/7af06d5972a84834d8f1a47dcb6cfdfa/fmt/0.11.0/doc/fmt/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/7af06d5972a84834d8f1a47dcb6cfdfa/fmt/0.11.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/7af06d5972a84834d8f1a47dcb6cfdfa/hmap/0.8.1/doc/hmap/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/7af06d5972a84834d8f1a47dcb6cfdfa/hmap/0.8.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/2b506dde8d24c44336016908b027ea49/menhir/20250912/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/8573c6c12658ffc8bd0496a75af930c7/topkg/1.1.1/doc/topkg/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/8573c6c12658ffc8bd0496a75af930c7/topkg/1.1.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen_smtlib2_v6/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.dimacs/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.zf/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.line/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.ae/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen_smtlib2_poly/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.class/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen_tptp_v6_3_0/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen_smtlib2_v6_response/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.icnf/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen_smtlib2_v6_script/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 497 precompiled units, 16 other units
odoc_driver_voodoo: [DEBUG] 49 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc
odoc_driver_voodoo: [DEBUG] 50 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/src/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/src
odoc_driver_voodoo: [DEBUG] 51 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type
odoc_driver_voodoo: [DEBUG] 52 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --warnings-tag dolmen_type
odoc_driver_voodoo: [DEBUG] 53 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --source-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/src/dolmen_type/dolmen_type.ml
odoc_driver_voodoo: [DEBUG] 54 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Arith.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --source-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/src/dolmen_type/arith.ml
odoc_driver_voodoo: [DEBUG] 55 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Arrays.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --source-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/src/dolmen_type/arrays.ml
odoc_driver_voodoo: [DEBUG] 56 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Base.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --source-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/src/dolmen_type/base.ml
odoc_driver_voodoo: [DEBUG] 57 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Bitv.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --source-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/src/dolmen_type/bitv.ml
odoc_driver_voodoo: [DEBUG] 58 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Core.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --source-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/src/dolmen_type/core.ml
odoc_driver_voodoo: [DEBUG] 59 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Def.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --source-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/src/dolmen_type/def.ml
odoc_driver_voodoo: [DEBUG] 60 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Float.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --source-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/src/dolmen_type/float.ml
odoc_driver_voodoo: [DEBUG] 61 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --source-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/src/dolmen_type/intf.ml
odoc_driver_voodoo: [DEBUG] 62 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Logic.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --source-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/src/dolmen_type/logic.ml
odoc_driver_voodoo: [DEBUG] 63 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Misc.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --source-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/src/dolmen_type/misc.ml
odoc_driver_voodoo: [DEBUG] 64 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Strings.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --source-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/src/dolmen_type/strings.ml
odoc_driver_voodoo: [DEBUG] 65 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Tff.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --source-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/src/dolmen_type/tff.ml
odoc_driver_voodoo: [DEBUG] 66 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Tff_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --source-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/src/dolmen_type/tff_intf.ml
odoc_driver_voodoo: [DEBUG] 67 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Thf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --source-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/src/dolmen_type/thf.ml
odoc_driver_voodoo: [DEBUG] 68 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Thf_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --source-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/src/dolmen_type/thf_intf.ml
odoc_driver_voodoo: [DEBUG] 69 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --warnings-tag dolmen_type
odoc_driver_voodoo: [DEBUG] 70 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Misc.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --warnings-tag dolmen_type
odoc_driver_voodoo: [DEBUG] 71 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Thf_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --warnings-tag dolmen_type
odoc_driver_voodoo: [DEBUG] 72 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Tff_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --warnings-tag dolmen_type
odoc_driver_voodoo: [DEBUG] 73 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Arrays.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --warnings-tag dolmen_type
odoc_driver_voodoo: [DEBUG] 74 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Bitv.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --warnings-tag dolmen_type
odoc_driver_voodoo: [DEBUG] 75 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Def.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --warnings-tag dolmen_type
odoc_driver_voodoo: [DEBUG] 76 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Float.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --warnings-tag dolmen_type
odoc_driver_voodoo: [DEBUG] 77 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Strings.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --warnings-tag dolmen_type
odoc_driver_voodoo: [DEBUG] 78 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Tff.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --warnings-tag dolmen_type
odoc_driver_voodoo: [DEBUG] 79 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Arith.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --warnings-tag dolmen_type
odoc_driver_voodoo: [DEBUG] 80 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Base.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --warnings-tag dolmen_type
odoc_driver_voodoo: [DEBUG] 81 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Core.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --warnings-tag dolmen_type
odoc_driver_voodoo: [DEBUG] 82 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Thf.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --warnings-tag dolmen_type
odoc_driver_voodoo: [DEBUG] 83 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Logic.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --parent-id u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --warnings-tag dolmen_type
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/src/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/dolmen_type.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/dolmen_type__Arith.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Arith.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/dolmen_type__Arrays.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Arrays.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/dolmen_type__Base.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Base.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/dolmen_type__Bitv.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Bitv.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/dolmen_type__Core.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Core.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/dolmen_type__Def.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Def.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/dolmen_type__Float.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Float.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/dolmen_type__Intf.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Intf.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/dolmen_type__Logic.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Logic.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/dolmen_type__Misc.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Misc.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/dolmen_type__Strings.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Strings.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/dolmen_type__Tff.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Tff.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/dolmen_type__Tff_intf.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Tff_intf.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/dolmen_type__Thf.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Thf.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/dolmen_type__Thf_intf.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Thf_intf.odoc
odoc_driver_voodoo: [DEBUG] 84 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/page-index.odoc -o /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/page-index.odocl -P dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc -L dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --warnings-tags dolmen_type
odoc_driver_voodoo: [DEBUG] 85 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/src/page-index.odoc -o /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/src/page-index.odocl --enable-missing-root-warning --warnings-tags dolmen_type
odoc_driver_voodoo: [DEBUG] 86 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/page-index.odoc -o /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/page-index.odocl -L dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --enable-missing-root-warning --warnings-tags dolmen_type
odoc_driver_voodoo: [DEBUG] 87 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/dolmen_type.odoc -o /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/dolmen_type.odocl -P dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc -L dolmen:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -L dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type -L spelll:/home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -L uutf:/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --current-package dolmen_type --enable-missing-root-warning --warnings-tags dolmen_type
odoc_driver_voodoo: [DEBUG] 88 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type.odoc -o /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type.odocl -P dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc -L dolmen:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -L dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type -L spelll:/home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -L uutf:/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --current-package dolmen_type --enable-missing-root-warning --warnings-tags dolmen_type
odoc_driver_voodoo: [DEBUG] 89 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Arith.odoc -o /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Arith.odocl -P dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc -L dolmen:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -L dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type -L spelll:/home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -L uutf:/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --current-package dolmen_type --enable-missing-root-warning --warnings-tags dolmen_type
odoc_driver_voodoo: [DEBUG] 90 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Arrays.odoc -o /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Arrays.odocl -P dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc -L dolmen:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -L dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type -L spelll:/home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -L uutf:/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --current-package dolmen_type --enable-missing-root-warning --warnings-tags dolmen_type
odoc_driver_voodoo: [DEBUG] 91 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Base.odoc -o /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Base.odocl -P dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc -L dolmen:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -L dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type -L spelll:/home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -L uutf:/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --current-package dolmen_type --enable-missing-root-warning --warnings-tags dolmen_type
odoc_driver_voodoo: [DEBUG] 92 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Bitv.odoc -o /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Bitv.odocl -P dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc -L dolmen:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -L dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type -L spelll:/home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -L uutf:/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --current-package dolmen_type --enable-missing-root-warning --warnings-tags dolmen_type
odoc_driver_voodoo: [DEBUG] 93 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Core.odoc -o /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Core.odocl -P dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc -L dolmen:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -L dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type -L spelll:/home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -L uutf:/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --current-package dolmen_type --enable-missing-root-warning --warnings-tags dolmen_type
odoc_driver_voodoo: [DEBUG] 94 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Def.odoc -o /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Def.odocl -P dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc -L dolmen:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -L dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type -L spelll:/home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -L uutf:/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --current-package dolmen_type --enable-missing-root-warning --warnings-tags dolmen_type
odoc_driver_voodoo: [DEBUG] 95 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Float.odoc -o /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Float.odocl -P dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc -L dolmen:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -L dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type -L spelll:/home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -L uutf:/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --current-package dolmen_type --enable-missing-root-warning --warnings-tags dolmen_type
odoc_driver_voodoo: [DEBUG] 96 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Intf.odoc -o /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Intf.odocl -P dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc -L dolmen:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -L dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type -L spelll:/home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -L uutf:/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --current-package dolmen_type --enable-missing-root-warning --warnings-tags dolmen_type
odoc_driver_voodoo: [DEBUG] 97 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Logic.odoc -o /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Logic.odocl -P dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc -L dolmen:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -L dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type -L spelll:/home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -L uutf:/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --current-package dolmen_type --enable-missing-root-warning --warnings-tags dolmen_type
odoc_driver_voodoo: [DEBUG] 98 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Misc.odoc -o /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Misc.odocl -P dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc -L dolmen:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -L dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type -L spelll:/home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -L uutf:/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --current-package dolmen_type --enable-missing-root-warning --warnings-tags dolmen_type
odoc_driver_voodoo: [DEBUG] 99 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Strings.odoc -o /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Strings.odocl -P dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc -L dolmen:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -L dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type -L spelll:/home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -L uutf:/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --current-package dolmen_type --enable-missing-root-warning --warnings-tags dolmen_type
odoc_driver_voodoo: [DEBUG] 100 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Tff.odoc -o /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Tff.odocl -P dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc -L dolmen:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -L dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type -L spelll:/home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -L uutf:/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --current-package dolmen_type --enable-missing-root-warning --warnings-tags dolmen_type
odoc_driver_voodoo: [DEBUG] 101 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Tff_intf.odoc -o /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Tff_intf.odocl -P dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc -L dolmen:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -L dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type -L spelll:/home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -L uutf:/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --current-package dolmen_type --enable-missing-root-warning --warnings-tags dolmen_type
odoc_driver_voodoo: [DEBUG] 102 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Thf.odoc -o /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Thf.odocl -P dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc -L dolmen:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -L dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type -L spelll:/home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -L uutf:/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --current-package dolmen_type --enable-missing-root-warning --warnings-tags dolmen_type
odoc_driver_voodoo: [DEBUG] 103 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Thf_intf.odoc -o /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Thf_intf.odocl -P dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc -L dolmen:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -L dolmen_type:/home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type -L spelll:/home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -L uutf:/home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/u/5a5c3b0a3788673c40e7d3c4f820e215/spelll/0.4/doc/spelll/ -I /home/opam/odoc-out/u/7af06d5972a84834d8f1a47dcb6cfdfa/uutf/1.0.4/doc/uutf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.intf/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.std/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/9476ac31f23ed5a1733e164a04d0c937/dolmen/0.10/doc/dolmen/ -I /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type --current-package dolmen_type --enable-missing-root-warning --warnings-tags dolmen_type
odoc_driver_voodoo: [DEBUG] 104 - Executing: /home/opam/doc-tools/bin/odoc count-occurrences /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type -o /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 105 - Executing: sherlodoc js /home/opam/html/sherlodoc.js
odoc_driver_voodoo: [DEBUG] 106 - Executing: /home/opam/doc-tools/bin/odoc compile-index -o _index/dolmen_type/index.odoc-index --root /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc --occurrences /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 107 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate -o _index/dolmen_type/sidebar.odoc-sidebar _index/dolmen_type/index.odoc-index
odoc_driver_voodoo: [DEBUG] 108 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate --json -o /home/opam/html/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sidebar.json _index/dolmen_type/index.odoc-index
odoc_driver_voodoo: [DEBUG] 109 - Executing: /home/opam/doc-tools/bin/odoc compile-index --json --simplified-json --wrap-json -o /home/opam/html/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/index.js --root /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc --occurrences /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 110 - Executing: sherlodoc index --format js _index/dolmen_type/index.odoc-index -o /home/opam/html/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js
odoc_driver_voodoo: [DEBUG] 111 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/page-index.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 112 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/src/page-index.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 113 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/page-index.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 114 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/dolmen_type.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 115 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 116 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Arith.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/arith.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 117 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Arrays.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/arrays.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 118 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Base.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/base.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 119 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Bitv.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/bitv.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 120 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Core.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/core.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 121 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Def.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/def.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 122 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Float.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/float.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 123 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Intf.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/intf.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 124 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Logic.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/logic.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 125 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Misc.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/misc.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 126 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Strings.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/strings.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 127 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Tff.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/tff.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 128 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Tff_intf.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/tff_intf.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 129 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Thf.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/thf.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 130 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Thf_intf.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/thf_intf.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 131 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/src/page-index.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 132 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/page-index.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 133 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/page-index.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 134 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/dolmen_type.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 135 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Arrays.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/arrays.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 136 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Base.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/base.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 137 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Arith.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/arith.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 138 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Core.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/core.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 139 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Bitv.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/bitv.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 140 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Def.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/def.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 141 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Logic.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/logic.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 142 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Misc.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/misc.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 143 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Float.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/float.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 144 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Intf.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/intf.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 145 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Strings.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/strings.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 146 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Tff.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/tff.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 147 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Tff_intf.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/tff_intf.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 148 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Thf_intf.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/thf_intf.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 149 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/impl-dolmen_type__Thf.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar prep/universes/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/lib/dolmen_type/thf.ml --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 150 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/dolmen_type/dolmen_type.odocl --sidebar _index/dolmen_type/sidebar.odoc-sidebar --search-uri u/f2a38a8436c9bd2859dc0aee3723d95d/dolmen_type/0.10/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 151 - Executing: /home/opam/doc-tools/bin/odoc support-files -o /home/opam/html

=== STDERR ===

2026-06-20 16:15.34: OK: doc dolmen_type.0.10 (runc: 16.6s, disk: 13996KB)
2026-06-20 16:15.34: Job succeeded