2026-06-16 19:25.41: New job: doc lem.2026-05-01 (161324e0d075)
2026-06-16 19:25.41: Waiting for resource in pool day11-builds
2026-06-16 19:47.41: Got resource from pool day11-builds
2026-06-16 19:47.41: [profile full] doc lem.2026-05-01
2026-06-16 19:47.41: doc lem.2026-05-01 (161324e0d075)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
=== DEBUG: pre-voodoo image inventory ===
-- pkg markers (.odoc_pkg_marker) --
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/ocamlbuild/0.16.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/b1187d97b02e6fedfd7a4bbaf43d6652/zarith/1.14/doc/.odoc_pkg_marker
-- lib markers (.odoc_lib_marker) --
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/bigarray/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/dynlink/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamlbytecomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamlcommon/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamlmiddleend/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamloptcomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamltoplevel/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/odoc_info/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/str/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/threads/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/unix/.odoc_lib_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/num.core/.odoc_lib_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/num_top/.odoc_lib_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/nums/.odoc_lib_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/ocamlbuild/0.16.1/doc/ocamlbuild/.odoc_lib_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
/home/opam/odoc-out/u/b1187d97b02e6fedfd7a4bbaf43d6652/zarith/1.14/doc/zarith/.odoc_lib_marker
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/
=== END DEBUG ===
process_meta_file: prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/META
process_meta_file: prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/META
process_meta_file: prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: lem, [4], lem_num, [2], lem_zarith,
                            [3]

odoc_driver_voodoo: [DEBUG] No config file found: prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem/odoc-config.sexp
prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem/odoc-config.sexp: No such file or directory

odoc_driver_voodoo: [DEBUG] Config.packages: 

process_meta_file: prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/META
odoc_driver_voodoo: [DEBUG] prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/extract,lem_zarith

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/ for package lem
odoc_driver_voodoo: [DEBUG] 0 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/big_int_impl.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Big_int_impl.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/big_int_impl.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Big_int_impl.cmt)
odoc_driver_voodoo: [INFO] No files for module: Big_int_impl
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/bit.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Bit.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/bit.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Bit.cmt)
odoc_driver_voodoo: [INFO] No files for module: Bit
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/either.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Either.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/either.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Either.cmt)
odoc_driver_voodoo: [INFO] No files for module: Either
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_assert_extra.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_assert_extra.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_assert_extra.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_assert_extra.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_assert_extra
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_basic_classes.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_basic_classes.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_basic_classes.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_basic_classes.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_basic_classes
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_bool.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_bool.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_bool.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_bool.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_bool
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_debug.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_debug.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_debug.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_debug.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_debug
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_either.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_either.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_either.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_either.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_either
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_function.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_function.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_function.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_function.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_function
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_function_extra.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_function_extra.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_function_extra.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_function_extra.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_function_extra
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_list.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_list.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_list.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_list.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_list
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_list_extra.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_list_extra.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_list_extra.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_list_extra.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_list_extra
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_machine_word.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_machine_word.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_machine_word.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_machine_word.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_machine_word
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_map.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_map.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_map.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_map.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_map
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_map_extra.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_map_extra.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_map_extra.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_map_extra.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_map_extra
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_maybe.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_maybe.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_maybe.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_maybe.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_maybe
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_maybe_extra.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_maybe_extra.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_maybe_extra.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_maybe_extra.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_maybe_extra
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_num.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_num.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_num.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_num.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_num
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_num_extra.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_num_extra.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_num_extra.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_num_extra.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_num_extra
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_pervasives.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_pervasives.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_pervasives.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_pervasives.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_pervasives
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_pervasives_extra.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_pervasives_extra.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_pervasives_extra.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_pervasives_extra.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_pervasives_extra
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_relation.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_relation.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_relation.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_relation.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_relation
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_set.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_set.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_set.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_set.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_set
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_set_extra.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_set_extra.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_set_extra.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_set_extra.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_set_extra
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_set_helpers.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_set_helpers.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_set_helpers.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_set_helpers.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_set_helpers
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_show.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_show.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_show.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_show.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_show
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_show_extra.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_show_extra.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_show_extra.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_show_extra.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_show_extra
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_sorting.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_sorting.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_sorting.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_sorting.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_sorting
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_string.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_string.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_string.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_string.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_string
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_string_extra.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_string_extra.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_string_extra.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_string_extra.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_string_extra
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_tuple.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_tuple.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_tuple.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_tuple.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_tuple
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_word.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_word.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/lem_word.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Lem_word.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_word
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/nat_big_num.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Nat_big_num.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/nat_big_num.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Nat_big_num.cmt)
odoc_driver_voodoo: [INFO] No files for module: Nat_big_num
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/nat_num.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Nat_num.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/nat_num.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Nat_num.cmt)
odoc_driver_voodoo: [INFO] No files for module: Nat_num
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/pmap.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Pmap.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/pmap.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Pmap.cmt)
odoc_driver_voodoo: [INFO] No files for module: Pmap
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/pset.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Pset.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/pset.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Pset.cmt)
odoc_driver_voodoo: [INFO] No files for module: Pset
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/rational.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Rational.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/rational.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Rational.cmt)
odoc_driver_voodoo: [INFO] No files for module: Rational
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/rational_impl.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Rational_impl.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/rational_impl.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Rational_impl.cmt)
odoc_driver_voodoo: [INFO] No files for module: Rational_impl
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/vector.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Vector.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/vector.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Vector.cmt)
odoc_driver_voodoo: [INFO] No files for module: Vector
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/xstring.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Xstring.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/xstring.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/Xstring.cmt)
odoc_driver_voodoo: [INFO] No files for module: Xstring
process_meta_file: prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/META
odoc_driver_voodoo: [DEBUG] prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/extract,lem_num

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/ for package lem
odoc_driver_voodoo: [DEBUG] 1 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/big_int_impl.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Big_int_impl.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/big_int_impl.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Big_int_impl.cmt)
odoc_driver_voodoo: [INFO] No files for module: Big_int_impl
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/bit.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Bit.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/bit.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Bit.cmt)
odoc_driver_voodoo: [INFO] No files for module: Bit
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/either.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Either.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/either.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Either.cmt)
odoc_driver_voodoo: [INFO] No files for module: Either
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_assert_extra.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_assert_extra.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_assert_extra.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_assert_extra.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_assert_extra
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_basic_classes.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_basic_classes.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_basic_classes.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_basic_classes.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_basic_classes
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_bool.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_bool.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_bool.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_bool.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_bool
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_debug.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_debug.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_debug.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_debug.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_debug
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_either.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_either.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_either.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_either.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_either
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_function.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_function.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_function.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_function.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_function
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_function_extra.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_function_extra.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_function_extra.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_function_extra.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_function_extra
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_list.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_list.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_list.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_list.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_list
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_list_extra.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_list_extra.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_list_extra.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_list_extra.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_list_extra
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_machine_word.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_machine_word.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_machine_word.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_machine_word.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_machine_word
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_map.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_map.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_map.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_map.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_map
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_map_extra.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_map_extra.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_map_extra.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_map_extra.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_map_extra
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_maybe.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_maybe.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_maybe.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_maybe.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_maybe
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_maybe_extra.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_maybe_extra.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_maybe_extra.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_maybe_extra.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_maybe_extra
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_num.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_num.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_num.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_num.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_num
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_num_extra.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_num_extra.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_num_extra.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_num_extra.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_num_extra
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_pervasives.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_pervasives.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_pervasives.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_pervasives.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_pervasives
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_pervasives_extra.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_pervasives_extra.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_pervasives_extra.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_pervasives_extra.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_pervasives_extra
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_relation.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_relation.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_relation.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_relation.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_relation
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_set.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_set.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_set.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_set.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_set
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_set_extra.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_set_extra.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_set_extra.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_set_extra.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_set_extra
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_set_helpers.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_set_helpers.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_set_helpers.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_set_helpers.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_set_helpers
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_show.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_show.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_show.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_show.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_show
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_show_extra.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_show_extra.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_show_extra.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_show_extra.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_show_extra
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_sorting.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_sorting.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_sorting.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_sorting.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_sorting
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_string.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_string.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_string.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_string.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_string
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_string_extra.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_string_extra.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_string_extra.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_string_extra.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_string_extra
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_tuple.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_tuple.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_tuple.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_tuple.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_tuple
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_word.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_word.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/lem_word.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Lem_word.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lem_word
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/nat_big_num.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Nat_big_num.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/nat_big_num.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Nat_big_num.cmt)
odoc_driver_voodoo: [INFO] No files for module: Nat_big_num
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/nat_num.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Nat_num.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/nat_num.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Nat_num.cmt)
odoc_driver_voodoo: [INFO] No files for module: Nat_num
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/pmap.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Pmap.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/pmap.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Pmap.cmt)
odoc_driver_voodoo: [INFO] No files for module: Pmap
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/pset.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Pset.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/pset.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Pset.cmt)
odoc_driver_voodoo: [INFO] No files for module: Pset
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/rational.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Rational.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/rational.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Rational.cmt)
odoc_driver_voodoo: [INFO] No files for module: Rational
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/rational_impl.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Rational_impl.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/rational_impl.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Rational_impl.cmt)
odoc_driver_voodoo: [INFO] No files for module: Rational_impl
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/vector.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Vector.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/vector.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Vector.cmt)
odoc_driver_voodoo: [INFO] No files for module: Vector
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/xstring.cmti (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Xstring.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/xstring.cmt (then prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/Xstring.cmt)
odoc_driver_voodoo: [INFO] No files for module: Xstring
process_meta_file: prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem/META
odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem/

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem/ for package lem
odoc_driver_voodoo: [DEBUG] 2 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem/
odoc_driver_voodoo: [DEBUG] libdirs_without_meta: prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_zarith/,
                            prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem_num/

odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/lem
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem for package lem
odoc_driver_voodoo: [DEBUG] 3 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/lib/lem
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamltoplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/bigarray/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamloptcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/dynlink/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamlmiddleend/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/odoc_info/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamlcommon/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamlbytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-base-compiler/4.14.4/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/num.core/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/nums/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/num_top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/ocamlbuild/0.16.1/doc/ocamlbuild/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/aec01b41b8b325468cac7a997a943c08/ocamlbuild/0.16.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/b1187d97b02e6fedfd7a4bbaf43d6652/zarith/1.14/doc/zarith/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/b1187d97b02e6fedfd7a4bbaf43d6652/zarith/1.14/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 354 precompiled units, 0 other units
odoc_driver_voodoo: [DEBUG] 4 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc
odoc_driver_voodoo: [DEBUG] 5 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_zarith/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_zarith
odoc_driver_voodoo: [DEBUG] 6 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_num/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_num
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_zarith/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_num/page-index.odoc
odoc_driver_voodoo: [DEBUG] 7 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/page-index.odoc -o /home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/page-index.odocl -P lem:/home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc -L lem_num:/home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_num -L lem_zarith:/home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_zarith --enable-missing-root-warning --warnings-tags lem
odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_zarith/page-index.odoc -o /home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_zarith/page-index.odocl -L lem_zarith:/home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_zarith --enable-missing-root-warning --warnings-tags lem
odoc_driver_voodoo: [DEBUG] 9 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_num/page-index.odoc -o /home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_num/page-index.odocl -L lem_num:/home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_num --enable-missing-root-warning --warnings-tags lem
odoc_driver_voodoo: [DEBUG] 10 - Executing: /home/opam/doc-tools/bin/odoc count-occurrences /home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_zarith /home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_num -o /home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 11 - Executing: sherlodoc js /home/opam/html/sherlodoc.js
odoc_driver_voodoo: [DEBUG] 12 - Executing: /home/opam/doc-tools/bin/odoc compile-index -o _index/lem/index.odoc-index --root /home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc --occurrences /home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 13 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate -o _index/lem/sidebar.odoc-sidebar _index/lem/index.odoc-index
odoc_driver_voodoo: [DEBUG] 14 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate --json -o /home/opam/html/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/sidebar.json _index/lem/index.odoc-index
odoc_driver_voodoo: [DEBUG] 15 - Executing: /home/opam/doc-tools/bin/odoc compile-index --json --simplified-json --wrap-json -o /home/opam/html/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/index.js --root /home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc --occurrences /home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 16 - Executing: sherlodoc index --format js _index/lem/index.odoc-index -o /home/opam/html/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/sherlodoc_db.js
odoc_driver_voodoo: [DEBUG] 17 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/page-index.odocl --sidebar _index/lem/sidebar.odoc-sidebar --search-uri u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 18 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_zarith/page-index.odocl --sidebar _index/lem/sidebar.odoc-sidebar --search-uri u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 19 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_num/page-index.odocl --sidebar _index/lem/sidebar.odoc-sidebar --search-uri u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 20 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/page-index.odocl --sidebar _index/lem/sidebar.odoc-sidebar --search-uri u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 21 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_zarith/page-index.odocl --sidebar _index/lem/sidebar.odoc-sidebar --search-uri u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 22 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_num/page-index.odocl --sidebar _index/lem/sidebar.odoc-sidebar --search-uri u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 23 - Executing: /home/opam/doc-tools/bin/odoc support-files -o /home/opam/html

=== STDERR ===

2026-06-16 19:47.46: OK: doc lem.2026-05-01 (runc: 1.1s, disk: 75KB)
2026-06-16 19:47.46: Job succeeded