2026-06-24 20:58.46: New job: doc sail.0.13 (caf684923bc9)
2026-06-24 20:58.46: Waiting for resource in pool day11-builds
2026-06-24 21:25.19: Got resource from pool day11-builds
2026-06-24 21:25.19: [profile full] doc sail.0.13
2026-06-24 21:25.19: doc sail.0.13 (caf684923bc9)
=== 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/13ff5c0e34effd172dec4358381e9c9d/ott/0.34/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/4012ec97a77bbb57aa272d1064538691/omd/1.3.2/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/44fa188e0c25716857c0a4a54a77ef49/linksem/0.8/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/base64/3.5.2/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/linenoise/1.5.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/menhirLib/20211128/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/menhirSdk/20211128/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/ocamlgraph/2.2.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/pprint/20230830/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/yojson/3.0.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/dune/3.23.1/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
/home/opam/odoc-out/u/c5367708fa3892d8e2816f5c26b8643f/base-bytes/base/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/f68bd1e8aa9066768f3ab23592700161/menhir/20211128/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/4012ec97a77bbb57aa272d1064538691/omd/1.3.2/doc/omd/.odoc_lib_marker
/home/opam/odoc-out/u/44fa188e0c25716857c0a4a54a77ef49/linksem/0.8/doc/linksem_num/.odoc_lib_marker
/home/opam/odoc-out/u/44fa188e0c25716857c0a4a54a77ef49/linksem/0.8/doc/linksem_zarith/.odoc_lib_marker
/home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_num/.odoc_lib_marker
/home/opam/odoc-out/u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_zarith/.odoc_lib_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/base64/3.5.2/doc/base64.rfc2045/.odoc_lib_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/base64/3.5.2/doc/base64/.odoc_lib_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/linenoise/1.5.1/doc/linenoise/.odoc_lib_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/menhirLib/20211128/doc/menhirLib/.odoc_lib_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/menhirSdk/20211128/doc/menhirSdk/.odoc_lib_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/ocamlgraph/2.2.0/doc/ocamlgraph/.odoc_lib_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/pprint/20230830/doc/pprint/.odoc_lib_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/yojson/3.0.0/doc/yojson/.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/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/
=== END DEBUG ===
process_meta_file: prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: sail, [8]

odoc_driver_voodoo: [DEBUG] No config file found: prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/doc/sail/odoc-config.sexp
prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/doc/sail/odoc-config.sexp: No such file or directory

odoc_driver_voodoo: [DEBUG] Config.packages: 

process_meta_file: prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/META
odoc_driver_voodoo: [DEBUG] prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/libsail,sail

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/ for package sail
odoc_driver_voodoo: [DEBUG] 0 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/anf.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Anf.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/anf.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Anf.cmt)
odoc_driver_voodoo: [INFO] No files for module: Anf
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/ast.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Ast.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/ast.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Ast.cmt)
odoc_driver_voodoo: [INFO] No files for module: Ast
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/ast_util.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Ast_util.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/ast_util.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Ast_util.cmt)
odoc_driver_voodoo: [INFO] No files for module: Ast_util
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/bitfield.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Bitfield.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/bitfield.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Bitfield.cmt)
odoc_driver_voodoo: [INFO] No files for module: Bitfield
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/c_backend.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/C_backend.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/c_backend.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/C_backend.cmt)
odoc_driver_voodoo: [INFO] No files for module: C_backend
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/cgen_backend.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Cgen_backend.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/cgen_backend.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Cgen_backend.cmt)
odoc_driver_voodoo: [INFO] No files for module: Cgen_backend
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/constant_fold.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Constant_fold.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/constant_fold.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Constant_fold.cmt)
odoc_driver_voodoo: [INFO] No files for module: Constant_fold
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/constant_propagation.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Constant_propagation.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/constant_propagation.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Constant_propagation.cmt)
odoc_driver_voodoo: [INFO] No files for module: Constant_propagation
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/constant_propagation_mutrec.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Constant_propagation_mutrec.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/constant_propagation_mutrec.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Constant_propagation_mutrec.cmt)
odoc_driver_voodoo: [INFO] No files for module: Constant_propagation_mutrec
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/constraint.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Constraint.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/constraint.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Constraint.cmt)
odoc_driver_voodoo: [INFO] No files for module: Constraint
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/elf_loader.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Elf_loader.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/elf_loader.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Elf_loader.cmt)
odoc_driver_voodoo: [INFO] No files for module: Elf_loader
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/error_format.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Error_format.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/error_format.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Error_format.cmt)
odoc_driver_voodoo: [INFO] No files for module: Error_format
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/graph.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Graph.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/graph.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Graph.cmt)
odoc_driver_voodoo: [INFO] No files for module: Graph
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/initial_check.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Initial_check.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/initial_check.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Initial_check.cmt)
odoc_driver_voodoo: [INFO] No files for module: Initial_check
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/interactive.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Interactive.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/interactive.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Interactive.cmt)
odoc_driver_voodoo: [INFO] No files for module: Interactive
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/interpreter.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Interpreter.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/interpreter.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Interpreter.cmt)
odoc_driver_voodoo: [INFO] No files for module: Interpreter
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/jib.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Jib.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/jib.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Jib.cmt)
odoc_driver_voodoo: [INFO] No files for module: Jib
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/jib_compile.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Jib_compile.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/jib_compile.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Jib_compile.cmt)
odoc_driver_voodoo: [INFO] No files for module: Jib_compile
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/jib_interactive.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Jib_interactive.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/jib_interactive.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Jib_interactive.cmt)
odoc_driver_voodoo: [INFO] No files for module: Jib_interactive
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/jib_ir.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Jib_ir.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/jib_ir.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Jib_ir.cmt)
odoc_driver_voodoo: [INFO] No files for module: Jib_ir
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/jib_optimize.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Jib_optimize.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/jib_optimize.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Jib_optimize.cmt)
odoc_driver_voodoo: [INFO] No files for module: Jib_optimize
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/jib_smt.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Jib_smt.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/jib_smt.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Jib_smt.cmt)
odoc_driver_voodoo: [INFO] No files for module: Jib_smt
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/jib_ssa.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Jib_ssa.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/jib_ssa.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Jib_ssa.cmt)
odoc_driver_voodoo: [INFO] No files for module: Jib_ssa
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/jib_util.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Jib_util.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/jib_util.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Jib_util.cmt)
odoc_driver_voodoo: [INFO] No files for module: Jib_util
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/latex.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Latex.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/latex.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Latex.cmt)
odoc_driver_voodoo: [INFO] No files for module: Latex
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/lexer.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Lexer.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/lexer.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Lexer.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lexer
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/manifest.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Manifest.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/manifest.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Manifest.cmt)
odoc_driver_voodoo: [INFO] No files for module: Manifest
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/monomorphise.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Monomorphise.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/monomorphise.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Monomorphise.cmt)
odoc_driver_voodoo: [INFO] No files for module: Monomorphise
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/nl_flow.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Nl_flow.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/nl_flow.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Nl_flow.cmt)
odoc_driver_voodoo: [INFO] No files for module: Nl_flow
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/ocaml_backend.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Ocaml_backend.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/ocaml_backend.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Ocaml_backend.cmt)
odoc_driver_voodoo: [INFO] No files for module: Ocaml_backend
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/optimize.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Optimize.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/optimize.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Optimize.cmt)
odoc_driver_voodoo: [INFO] No files for module: Optimize
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/parse_ast.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Parse_ast.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/parse_ast.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Parse_ast.cmt)
odoc_driver_voodoo: [INFO] No files for module: Parse_ast
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/parser.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Parser.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/parser.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Parser.cmt)
odoc_driver_voodoo: [INFO] No files for module: Parser
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/parser_combinators.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Parser_combinators.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/parser_combinators.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Parser_combinators.cmt)
odoc_driver_voodoo: [INFO] No files for module: Parser_combinators
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/pattern_completeness.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Pattern_completeness.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/pattern_completeness.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Pattern_completeness.cmt)
odoc_driver_voodoo: [INFO] No files for module: Pattern_completeness
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/pretty_print.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Pretty_print.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/pretty_print.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Pretty_print.cmt)
odoc_driver_voodoo: [INFO] No files for module: Pretty_print
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/pretty_print_common.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Pretty_print_common.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/pretty_print_common.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Pretty_print_common.cmt)
odoc_driver_voodoo: [INFO] No files for module: Pretty_print_common
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/pretty_print_coq.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Pretty_print_coq.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/pretty_print_coq.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Pretty_print_coq.cmt)
odoc_driver_voodoo: [INFO] No files for module: Pretty_print_coq
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/pretty_print_lem.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Pretty_print_lem.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/pretty_print_lem.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Pretty_print_lem.cmt)
odoc_driver_voodoo: [INFO] No files for module: Pretty_print_lem
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/pretty_print_sail.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Pretty_print_sail.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/pretty_print_sail.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Pretty_print_sail.cmt)
odoc_driver_voodoo: [INFO] No files for module: Pretty_print_sail
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/process_file.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Process_file.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/process_file.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Process_file.cmt)
odoc_driver_voodoo: [INFO] No files for module: Process_file
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/profile.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Profile.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/profile.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Profile.cmt)
odoc_driver_voodoo: [INFO] No files for module: Profile
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/property.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Property.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/property.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Property.cmt)
odoc_driver_voodoo: [INFO] No files for module: Property
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/reporting.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Reporting.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/reporting.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Reporting.cmt)
odoc_driver_voodoo: [INFO] No files for module: Reporting
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/rewriter.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Rewriter.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/rewriter.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Rewriter.cmt)
odoc_driver_voodoo: [INFO] No files for module: Rewriter
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/rewrites.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Rewrites.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/rewrites.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Rewrites.cmt)
odoc_driver_voodoo: [INFO] No files for module: Rewrites
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/sail2_values.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Sail2_values.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/sail2_values.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Sail2_values.cmt)
odoc_driver_voodoo: [INFO] No files for module: Sail2_values
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/sail_lib.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Sail_lib.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/sail_lib.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Sail_lib.cmt)
odoc_driver_voodoo: [INFO] No files for module: Sail_lib
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/scattered.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Scattered.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/scattered.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Scattered.cmt)
odoc_driver_voodoo: [INFO] No files for module: Scattered
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/smtlib.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Smtlib.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/smtlib.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Smtlib.cmt)
odoc_driver_voodoo: [INFO] No files for module: Smtlib
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/spec_analysis.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Spec_analysis.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/spec_analysis.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Spec_analysis.cmt)
odoc_driver_voodoo: [INFO] No files for module: Spec_analysis
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/specialize.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Specialize.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/specialize.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Specialize.cmt)
odoc_driver_voodoo: [INFO] No files for module: Specialize
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/state.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/State.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/state.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/State.cmt)
odoc_driver_voodoo: [INFO] No files for module: State
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/toFromInterp_backend.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/ToFromInterp_backend.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/toFromInterp_backend.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/ToFromInterp_backend.cmt)
odoc_driver_voodoo: [INFO] No files for module: ToFromInterp_backend
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/toFromInterp_lib_bitlist.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/ToFromInterp_lib_bitlist.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/toFromInterp_lib_bitlist.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/ToFromInterp_lib_bitlist.cmt)
odoc_driver_voodoo: [INFO] No files for module: ToFromInterp_lib_bitlist
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/toFromInterp_lib_mword.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/ToFromInterp_lib_mword.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/toFromInterp_lib_mword.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/ToFromInterp_lib_mword.cmt)
odoc_driver_voodoo: [INFO] No files for module: ToFromInterp_lib_mword
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/type_check.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Type_check.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/type_check.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Type_check.cmt)
odoc_driver_voodoo: [INFO] No files for module: Type_check
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/type_error.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Type_error.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/type_error.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Type_error.cmt)
odoc_driver_voodoo: [INFO] No files for module: Type_error
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/util.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Util.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/util.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Util.cmt)
odoc_driver_voodoo: [INFO] No files for module: Util
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/value.cmti (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Value.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/value.cmt (then prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/Value.cmt)
odoc_driver_voodoo: [INFO] No files for module: Value
odoc_driver_voodoo: [DEBUG] libdirs_without_meta: 

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/25d81fc797c03c31204db9a1cbc227ef/sail/0.13/lib/sail/

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/79700a9ee710cccfdb8a6150da04cac8/menhirLib/20211128/doc/menhirLib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/79700a9ee710cccfdb8a6150da04cac8/menhirLib/20211128/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/79700a9ee710cccfdb8a6150da04cac8/linenoise/1.5.1/doc/linenoise/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/79700a9ee710cccfdb8a6150da04cac8/linenoise/1.5.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/79700a9ee710cccfdb8a6150da04cac8/base64/3.5.2/doc/base64.rfc2045/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/79700a9ee710cccfdb8a6150da04cac8/base64/3.5.2/doc/base64/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/79700a9ee710cccfdb8a6150da04cac8/base64/3.5.2/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/79700a9ee710cccfdb8a6150da04cac8/yojson/3.0.0/doc/yojson/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/79700a9ee710cccfdb8a6150da04cac8/yojson/3.0.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/79700a9ee710cccfdb8a6150da04cac8/menhirSdk/20211128/doc/menhirSdk/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/79700a9ee710cccfdb8a6150da04cac8/menhirSdk/20211128/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/79700a9ee710cccfdb8a6150da04cac8/ocamlgraph/2.2.0/doc/ocamlgraph/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/79700a9ee710cccfdb8a6150da04cac8/ocamlgraph/2.2.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/79700a9ee710cccfdb8a6150da04cac8/pprint/20230830/doc/pprint/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/79700a9ee710cccfdb8a6150da04cac8/pprint/20230830/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_zarith/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/doc/lem_num/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/6985aadc6d1ade485e37516dbe41276f/lem/2026-05-01/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 pkg marker: u/aec01b41b8b325468cac7a997a943c08/dune/3.23.1/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/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 pkg marker: u/c5367708fa3892d8e2816f5c26b8643f/base-bytes/base/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/13ff5c0e34effd172dec4358381e9c9d/ott/0.34/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/4012ec97a77bbb57aa272d1064538691/omd/1.3.2/doc/omd/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/4012ec97a77bbb57aa272d1064538691/omd/1.3.2/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] Found lib marker: u/44fa188e0c25716857c0a4a54a77ef49/linksem/0.8/doc/linksem_zarith/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/44fa188e0c25716857c0a4a54a77ef49/linksem/0.8/doc/linksem_num/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/44fa188e0c25716857c0a4a54a77ef49/linksem/0.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/f68bd1e8aa9066768f3ab23592700161/menhir/20211128/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 629 precompiled units, 0 other units
odoc_driver_voodoo: [DEBUG] 1 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/sail/0.13/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/sail/0.13/doc
odoc_driver_voodoo: [DEBUG] 2 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/sail/0.13/doc/sail/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/sail/0.13/doc/sail
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/sail/0.13/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/sail/0.13/doc/sail/page-index.odoc
odoc_driver_voodoo: [DEBUG] 3 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/sail/0.13/doc/page-index.odoc -o /home/opam/odoc-out/p/sail/0.13/doc/page-index.odocl -P sail:/home/opam/odoc-out/p/sail/0.13/doc -L sail:/home/opam/odoc-out/p/sail/0.13/doc/sail --enable-missing-root-warning --warnings-tags sail
odoc_driver_voodoo: [DEBUG] 4 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/sail/0.13/doc/sail/page-index.odoc -o /home/opam/odoc-out/p/sail/0.13/doc/sail/page-index.odocl -L sail:/home/opam/odoc-out/p/sail/0.13/doc/sail --enable-missing-root-warning --warnings-tags sail
odoc_driver_voodoo: [DEBUG] 5 - Executing: /home/opam/doc-tools/bin/odoc count-occurrences /home/opam/odoc-out/p/sail/0.13/doc/sail -o /home/opam/odoc-out/p/sail/0.13/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 6 - Executing: sherlodoc js /home/opam/html/sherlodoc.js
odoc_driver_voodoo: [DEBUG] 7 - Executing: /home/opam/doc-tools/bin/odoc compile-index -o _index/sail/index.odoc-index --root /home/opam/odoc-out/p/sail/0.13/doc --occurrences /home/opam/odoc-out/p/sail/0.13/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate -o _index/sail/sidebar.odoc-sidebar _index/sail/index.odoc-index
odoc_driver_voodoo: [DEBUG] 9 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate --json -o /home/opam/html/p/sail/0.13/doc/sidebar.json _index/sail/index.odoc-index
odoc_driver_voodoo: [DEBUG] 10 - Executing: /home/opam/doc-tools/bin/odoc compile-index --json --simplified-json --wrap-json -o /home/opam/html/p/sail/0.13/doc/index.js --root /home/opam/odoc-out/p/sail/0.13/doc --occurrences /home/opam/odoc-out/p/sail/0.13/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 11 - Executing: sherlodoc index --format js _index/sail/index.odoc-index -o /home/opam/html/p/sail/0.13/doc/sherlodoc_db.js
odoc_driver_voodoo: [DEBUG] 12 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/sail/0.13/doc/page-index.odocl --sidebar _index/sail/sidebar.odoc-sidebar --search-uri p/sail/0.13/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 13 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/sail/0.13/doc/sail/page-index.odocl --sidebar _index/sail/sidebar.odoc-sidebar --search-uri p/sail/0.13/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 14 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/sail/0.13/doc/page-index.odocl --sidebar _index/sail/sidebar.odoc-sidebar --search-uri p/sail/0.13/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 15 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/sail/0.13/doc/sail/page-index.odocl --sidebar _index/sail/sidebar.odoc-sidebar --search-uri p/sail/0.13/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 16 - Executing: /home/opam/doc-tools/bin/odoc support-files -o /home/opam/html

=== STDERR ===

2026-06-24 21:25.26: OK: doc sail.0.13 (runc: 0.6s, disk: 54KB)
2026-06-24 21:25.26: Job succeeded