2026-06-24 21:37.09: New job: doc why3.1.7.2 (b94b07eb35b6)
2026-06-24 21:37.09: Waiting for resource in pool day11-builds
2026-06-24 21:58.32: Got resource from pool day11-builds
2026-06-24 21:58.32: [profile full] doc why3.1.7.2
2026-06-24 21:58.32: doc why3.1.7.2 (b94b07eb35b6)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
=== DEBUG: pre-voodoo image inventory ===
-- pkg markers (.odoc_pkg_marker) --
/home/opam/odoc-out/p/dune/3.10.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/00dccc5c444ac6378ecca07bf0b41a66/zarith/1.14/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/24fa0cefd1bc3f7f3addc9bd5160ebd1/dune-configurator/3.13.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/50af7027304bffc9a6390205867ff910/sexplib/v0.16.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/5432635eac5e0ed021dd49c03a851720/base/v0.16.5/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/60ee922fd86a23b1dfd42de72850f433/parsexp/v0.16.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/6280fbeadef973ee5f493dd30c95f7bb/ppx_sexp_conv/v0.16.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/82bdad8194332ee80be32447f2485a56/menhir/20250912/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/83fd175edba241d20d9c232b823a0283/num/1.6/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/83fd175edba241d20d9c232b823a0283/ocamlfind/1.9.8/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/e0832f9706706a603f17a2ff5106b18e/cppo/1.8.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/e0832f9706706a603f17a2ff5106b18e/csexp/1.5.2/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/e0832f9706706a603f17a2ff5106b18e/menhirCST/20250912/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/e0832f9706706a603f17a2ff5106b18e/menhirLib/20250912/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/e0832f9706706a603f17a2ff5106b18e/menhirSdk/20250912/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/e0832f9706706a603f17a2ff5106b18e/ocaml-compiler-libs/v0.17.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/e0832f9706706a603f17a2ff5106b18e/ppx_derivers/1.2.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/e0832f9706706a603f17a2ff5106b18e/sexplib0/v0.16.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/e0832f9706706a603f17a2ff5106b18e/stdlib-shims/0.3.0/doc/.odoc_pkg_marker
-- lib markers (.odoc_lib_marker) --
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/compiler-libs.bytecomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/compiler-libs.common/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/compiler-libs.optcomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/compiler-libs.toplevel/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/dynlink/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/odoc_info/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/runtime_events/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/stdlib/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/str/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/threads/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/unix/.odoc_lib_marker
/home/opam/odoc-out/u/00dccc5c444ac6378ecca07bf0b41a66/zarith/1.14/doc/zarith/.odoc_lib_marker
/home/opam/odoc-out/u/24fa0cefd1bc3f7f3addc9bd5160ebd1/dune-configurator/3.13.1/doc/dune-configurator/.odoc_lib_marker
/home/opam/odoc-out/u/50af7027304bffc9a6390205867ff910/sexplib/v0.16.0/doc/sexplib.num/.odoc_lib_marker
/home/opam/odoc-out/u/50af7027304bffc9a6390205867ff910/sexplib/v0.16.0/doc/sexplib.unix/.odoc_lib_marker
/home/opam/odoc-out/u/50af7027304bffc9a6390205867ff910/sexplib/v0.16.0/doc/sexplib/.odoc_lib_marker
/home/opam/odoc-out/u/5432635eac5e0ed021dd49c03a851720/base/v0.16.5/doc/base.base_internalhash_types/.odoc_lib_marker
/home/opam/odoc-out/u/5432635eac5e0ed021dd49c03a851720/base/v0.16.5/doc/base.caml/.odoc_lib_marker
/home/opam/odoc-out/u/5432635eac5e0ed021dd49c03a851720/base/v0.16.5/doc/base.md5/.odoc_lib_marker
/home/opam/odoc-out/u/5432635eac5e0ed021dd49c03a851720/base/v0.16.5/doc/base.shadow_stdlib/.odoc_lib_marker
/home/opam/odoc-out/u/5432635eac5e0ed021dd49c03a851720/base/v0.16.5/doc/base/.odoc_lib_marker
/home/opam/odoc-out/u/60ee922fd86a23b1dfd42de72850f433/parsexp/v0.16.0/doc/parsexp/.odoc_lib_marker
/home/opam/odoc-out/u/6280fbeadef973ee5f493dd30c95f7bb/ppx_sexp_conv/v0.16.0/doc/ppx_sexp_conv.expander/.odoc_lib_marker
/home/opam/odoc-out/u/6280fbeadef973ee5f493dd30c95f7bb/ppx_sexp_conv/v0.16.0/doc/ppx_sexp_conv.runtime-lib/.odoc_lib_marker
/home/opam/odoc-out/u/6280fbeadef973ee5f493dd30c95f7bb/ppx_sexp_conv/v0.16.0/doc/ppx_sexp_conv/.odoc_lib_marker
/home/opam/odoc-out/u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving.api/.odoc_lib_marker
/home/opam/odoc-out/u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving.runtime/.odoc_lib_marker
/home/opam/odoc-out/u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving_create/.odoc_lib_marker
/home/opam/odoc-out/u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving_enum/.odoc_lib_marker
/home/opam/odoc-out/u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving_eq/.odoc_lib_marker
/home/opam/odoc-out/u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving_fold/.odoc_lib_marker
/home/opam/odoc-out/u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving_iter/.odoc_lib_marker
/home/opam/odoc-out/u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving_make/.odoc_lib_marker
/home/opam/odoc-out/u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving_map/.odoc_lib_marker
/home/opam/odoc-out/u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving_ord/.odoc_lib_marker
/home/opam/odoc-out/u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving_show/.odoc_lib_marker
/home/opam/odoc-out/u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving_std/.odoc_lib_marker
/home/opam/odoc-out/u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/ppxlib.ast/.odoc_lib_marker
/home/opam/odoc-out/u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/ppxlib.astlib/.odoc_lib_marker
/home/opam/odoc-out/u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/ppxlib.metaquot_lifters/.odoc_lib_marker
/home/opam/odoc-out/u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/ppxlib.print_diff/.odoc_lib_marker
/home/opam/odoc-out/u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/ppxlib.runner/.odoc_lib_marker
/home/opam/odoc-out/u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/ppxlib.runner_as_ppx/.odoc_lib_marker
/home/opam/odoc-out/u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/ppxlib.stdppx/.odoc_lib_marker
/home/opam/odoc-out/u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/ppxlib.traverse_builtins/.odoc_lib_marker
/home/opam/odoc-out/u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/ppxlib/.odoc_lib_marker
/home/opam/odoc-out/u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/ppxlib_metaquot/.odoc_lib_marker
/home/opam/odoc-out/u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/ppxlib_traverse/.odoc_lib_marker
/home/opam/odoc-out/u/83fd175edba241d20d9c232b823a0283/num/1.6/doc/num.core/.odoc_lib_marker
/home/opam/odoc-out/u/83fd175edba241d20d9c232b823a0283/num/1.6/doc/num_top/.odoc_lib_marker
/home/opam/odoc-out/u/83fd175edba241d20d9c232b823a0283/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
/home/opam/odoc-out/u/83fd175edba241d20d9c232b823a0283/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
/home/opam/odoc-out/u/83fd175edba241d20d9c232b823a0283/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
/home/opam/odoc-out/u/e0832f9706706a603f17a2ff5106b18e/csexp/1.5.2/doc/csexp/.odoc_lib_marker
/home/opam/odoc-out/u/e0832f9706706a603f17a2ff5106b18e/menhirCST/20250912/doc/menhirCST/.odoc_lib_marker
/home/opam/odoc-out/u/e0832f9706706a603f17a2ff5106b18e/menhirLib/20250912/doc/menhirLib/.odoc_lib_marker
/home/opam/odoc-out/u/e0832f9706706a603f17a2ff5106b18e/menhirSdk/20250912/doc/menhirSdk/.odoc_lib_marker
/home/opam/odoc-out/u/e0832f9706706a603f17a2ff5106b18e/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.bytecomp/.odoc_lib_marker
/home/opam/odoc-out/u/e0832f9706706a603f17a2ff5106b18e/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.common/.odoc_lib_marker
/home/opam/odoc-out/u/e0832f9706706a603f17a2ff5106b18e/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.optcomp/.odoc_lib_marker
/home/opam/odoc-out/u/e0832f9706706a603f17a2ff5106b18e/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.shadow/.odoc_lib_marker
/home/opam/odoc-out/u/e0832f9706706a603f17a2ff5106b18e/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.toplevel/.odoc_lib_marker
/home/opam/odoc-out/u/e0832f9706706a603f17a2ff5106b18e/ppx_derivers/1.2.1/doc/ppx_derivers/.odoc_lib_marker
/home/opam/odoc-out/u/e0832f9706706a603f17a2ff5106b18e/sexplib0/v0.16.0/doc/sexplib0/.odoc_lib_marker
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/
=== END DEBUG ===
process_meta_file: prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/lib/why3/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: why3, [8]

odoc_driver_voodoo: [DEBUG] No config file found: prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/why3/odoc-config.sexp
prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/why3/odoc-config.sexp: No such file or directory

odoc_driver_voodoo: [DEBUG] Config.packages: 

process_meta_file: prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/lib/why3/META
odoc_driver_voodoo: [DEBUG] prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/lib/why3/why3,why3

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/lib/why3/

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/lib/why3/ for package why3
odoc_driver_voodoo: [DEBUG] 0 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/lib/why3/
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [DEBUG] Checking prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/lib/why3/why3.cmti (then prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/lib/why3/Why3.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/lib/why3/why3.cmt (then prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/lib/why3/Why3.cmt)
odoc_driver_voodoo: [DEBUG] 1 - Executing: ocamlobjinfo prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/lib/why3/why3.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/lib/why3/(none)
odoc_driver_voodoo: [DEBUG] No source found for module Why3
odoc_driver_voodoo: [DEBUG] 2 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/lib/why3/why3.cmt
odoc_driver_voodoo: [DEBUG] 3 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/lib/why3/why3.cmt
odoc_driver_voodoo: [DEBUG] libdirs_without_meta: prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/lib/why3/plugins,
                            prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/lib/why3/commands

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/lib/why3/

odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/why3/plugins
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/lib/why3/plugins for package why3
odoc_driver_voodoo: [DEBUG] 4 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/lib/why3/plugins
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/why3/commands
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/lib/why3/commands for package why3
odoc_driver_voodoo: [DEBUG] 5 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/lib/why3/commands
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.2.1/doc/unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.2.1/doc/stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.2.1/doc/dynlink/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.2.1/doc/compiler-libs.toplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.2.1/doc/odoc_info/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.2.1/doc/compiler-libs.common/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.2.1/doc/compiler-libs.bytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.2.1/doc/compiler-libs.optcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.2.1/doc/str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.2.1/doc/runtime_events/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.2.1/doc/threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-base-compiler/5.2.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/dune/3.10.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/e0832f9706706a603f17a2ff5106b18e/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.common/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/e0832f9706706a603f17a2ff5106b18e/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.toplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/e0832f9706706a603f17a2ff5106b18e/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.optcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/e0832f9706706a603f17a2ff5106b18e/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.shadow/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/e0832f9706706a603f17a2ff5106b18e/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.bytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/e0832f9706706a603f17a2ff5106b18e/ocaml-compiler-libs/v0.17.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/e0832f9706706a603f17a2ff5106b18e/menhirCST/20250912/doc/menhirCST/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/e0832f9706706a603f17a2ff5106b18e/menhirCST/20250912/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/e0832f9706706a603f17a2ff5106b18e/ppx_derivers/1.2.1/doc/ppx_derivers/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/e0832f9706706a603f17a2ff5106b18e/ppx_derivers/1.2.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/e0832f9706706a603f17a2ff5106b18e/cppo/1.8.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/e0832f9706706a603f17a2ff5106b18e/csexp/1.5.2/doc/csexp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/e0832f9706706a603f17a2ff5106b18e/csexp/1.5.2/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/e0832f9706706a603f17a2ff5106b18e/menhirSdk/20250912/doc/menhirSdk/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/e0832f9706706a603f17a2ff5106b18e/menhirSdk/20250912/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/e0832f9706706a603f17a2ff5106b18e/sexplib0/v0.16.0/doc/sexplib0/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/e0832f9706706a603f17a2ff5106b18e/sexplib0/v0.16.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/e0832f9706706a603f17a2ff5106b18e/stdlib-shims/0.3.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/e0832f9706706a603f17a2ff5106b18e/menhirLib/20250912/doc/menhirLib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/e0832f9706706a603f17a2ff5106b18e/menhirLib/20250912/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/ppxlib.astlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/ppxlib.print_diff/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/ppxlib.ast/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/ppxlib.metaquot_lifters/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/ppxlib_traverse/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/ppxlib_metaquot/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/ppxlib.runner/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/ppxlib.runner_as_ppx/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/ppxlib.stdppx/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/ppxlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/ppxlib.traverse_builtins/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/7f2d4f4ac060b332b81c57df1bc54015/ppxlib/0.35.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/00dccc5c444ac6378ecca07bf0b41a66/zarith/1.14/doc/zarith/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/00dccc5c444ac6378ecca07bf0b41a66/zarith/1.14/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/82bdad8194332ee80be32447f2485a56/menhir/20250912/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving_make/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving.api/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving_eq/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving_std/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving_iter/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving_show/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving.runtime/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving_map/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving_create/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving_enum/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving_ord/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/ppx_deriving_fold/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/6eca4ea4703975368024bc7147ea8343/ppx_deriving/6.0.3/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/50af7027304bffc9a6390205867ff910/sexplib/v0.16.0/doc/sexplib.num/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/50af7027304bffc9a6390205867ff910/sexplib/v0.16.0/doc/sexplib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/50af7027304bffc9a6390205867ff910/sexplib/v0.16.0/doc/sexplib.unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/50af7027304bffc9a6390205867ff910/sexplib/v0.16.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/83fd175edba241d20d9c232b823a0283/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/83fd175edba241d20d9c232b823a0283/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/83fd175edba241d20d9c232b823a0283/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/83fd175edba241d20d9c232b823a0283/ocamlfind/1.9.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/83fd175edba241d20d9c232b823a0283/num/1.6/doc/num.core/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/83fd175edba241d20d9c232b823a0283/num/1.6/doc/num_top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/83fd175edba241d20d9c232b823a0283/num/1.6/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6280fbeadef973ee5f493dd30c95f7bb/ppx_sexp_conv/v0.16.0/doc/ppx_sexp_conv/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6280fbeadef973ee5f493dd30c95f7bb/ppx_sexp_conv/v0.16.0/doc/ppx_sexp_conv.runtime-lib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6280fbeadef973ee5f493dd30c95f7bb/ppx_sexp_conv/v0.16.0/doc/ppx_sexp_conv.expander/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/6280fbeadef973ee5f493dd30c95f7bb/ppx_sexp_conv/v0.16.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5432635eac5e0ed021dd49c03a851720/base/v0.16.5/doc/base.base_internalhash_types/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5432635eac5e0ed021dd49c03a851720/base/v0.16.5/doc/base.shadow_stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5432635eac5e0ed021dd49c03a851720/base/v0.16.5/doc/base/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5432635eac5e0ed021dd49c03a851720/base/v0.16.5/doc/base.caml/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5432635eac5e0ed021dd49c03a851720/base/v0.16.5/doc/base.md5/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/5432635eac5e0ed021dd49c03a851720/base/v0.16.5/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/24fa0cefd1bc3f7f3addc9bd5160ebd1/dune-configurator/3.13.1/doc/dune-configurator/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/24fa0cefd1bc3f7f3addc9bd5160ebd1/dune-configurator/3.13.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/60ee922fd86a23b1dfd42de72850f433/parsexp/v0.16.0/doc/parsexp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/60ee922fd86a23b1dfd42de72850f433/parsexp/v0.16.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Library num not found
odoc_driver_voodoo: [DEBUG] Library num not found
odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 715 precompiled units, 1 other units
odoc_driver_voodoo: [DEBUG] Error during compilation of module Yices (hash b379915487a64155f26ffa88f236e297, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Xml (hash af8bc05bb84a0d51d2de42bf453b1083, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Wstdlib (hash 20e899ae1e2d2579d0dca7e7ae6cde68, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Whyconf (hash 7da40a43a2d4ee995b29f6a71c171de6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Why3printer (hash 4ad9b1af4f1a35471c57fbe736b23fff, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Weakhtbl (hash 4e3fbc7cb6ae1ccb399eaecc4327407d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Vector (hash 47589139d3de821c227375532f66b5f4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Vc (hash c428baf48e3fa8b21e02ff540e959f2c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Util (hash 8328b96e4f77039f406bfc29a7b81d7f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Unix_scheduler (hash 77bba6abd34d41e228c31904cf37556a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typing (hash ba1e76eba4cb653c0ba90fbc31f1ebd5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typeinv (hash 11038781eda5153b7e05aa171a5fdf7b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ty (hash e5dcd04d9e09193fc476be9a767d9247, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Trans (hash c79514de70c11dc7e7a83bdd5d7eaa10, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Theory (hash d3eb3f012dfbfecabcf8bee95feb1f68, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Termcode (hash 6ff623f09f12496dc877dd3dde3dd17e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Term (hash 156e609bd5821a061540ed9f8cba0d85, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Task (hash 8a8850c6a6c706c9f9d5e10384fa249c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sysutil (hash 14097f92bb6c24378182ab037bccb5bc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Subst (hash d366b856a241e7cabbf88a9eb8ceeb77, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strings (hash 30bd62e6f8700db3bc6fb8a394e7d27d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy_parser (hash 9f000f5faf47ad1069e694204e292a0b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy (hash 0f9e6b0bbfa159f81bcdd1c35db7efb7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Split_goal (hash 8ff8ba08a4b0b53f052c89efdb71d9c7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2_model_parser (hash 8c4fec9224ddac6c086c321a2ffe1657, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2_model_defs (hash 8c6f69f30a3eaef24d7706b175979ab7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2 (hash 8a076ecc240b4417e08f49a23863ed3f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv1 (hash af7b6f15b2a34bac2f06b9d09084a2f8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smoke_detector (hash b76800ae71de5051df71d40e53258ed7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify_formula (hash 1effe745ff4d7ef180e6a91f7d68adb7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify_array (hash 0babf63544dd940431570e207718549c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify (hash 22f1d28bd3d5a0d8c628e55fb8e3dd50, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sexp_parser (hash 76da75cb96255d18d34aa84109bf2327, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sexp (hash b5ae3310c722c6420bae3ff6379e6e99, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Session_itp (hash 4f952cd662a0f6d88e4bfc359f954a2a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Server_utils (hash 7cd57e3ad9a36658ff4bce2c792b332a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Report (hash c119f286a510b7d0ce0dcef5005baf3d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Remove_unused (hash ca848cc2db0eb89fa541cdd1689f0319, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Reflection (hash 251698c89e103a18b4d64a35fdf0c7b2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Reduction_engine (hash 1e2902c9252c08731ae2099a6091cbc5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Re (hash 3baca84642d11a0afead63ce869f03a4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rc (hash 1cd16654de4c9b9c0e15f22a24b243a4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rac (hash 2ac833f3e906226eb759c670446fba47, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pvs (hash 68fb1a26e2e08e94e849f6a0c330639a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree_helpers (hash d8314c8b1daa4991289822097c26c348, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree (hash 370f623efb13834d07faa456a8b0edff, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prove_client (hash 13131f866ef511412b1a65c88c2e932c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prop_curry (hash e18adda98083cdf4bb4eca00fc0b60b3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Printer (hash 64c417cdb9609b24f8aa1d84be4c64d3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Print_tree (hash e2d9cd15af249ed15bca5da23c3d2622, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pretty (hash 817e4b517673ce0a8457494c1081f5a2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prepare_for_counterexmp (hash b9cab315fc3007bf898f535221aabeb7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pqueue (hash 02ec0838c45d56bf71b2cba2d9bbcdfb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pp (hash e69946965045315cc5fbc12f3e379bb8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pmodule (hash c04c2a8ef1c43717b90f3783d7bdaf99, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Plugin (hash cae3532ee685ec0165f5fbf1fe3a1fb3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp_core (hash 66da033b8ac1d1875b69d78ce99d4af6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp (hash bd7043729b9e2a7e0521571f5c08ff4b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdriver (hash 37085d31a47462838c33f4c56a1fc072, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdecl (hash 8570573dd225c8a7512706aa8d968022, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pattern (hash 3443bcb0b7631fa0f060ab4d1a3ac526, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser_tokens (hash 617dd59b52ba7ba9acb1f060f20eb69e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser_messages (hash db6fc0d9b3c1de6410aa900701162843, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser (hash e7a3c43b622a1f423334871d921bbc24, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Opt (hash 7c57b592ac721db6fc8bfe2f085aac31, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ocaml (hash 6bed75c9e62502cb722c48df51584504, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Number (hash b4d177271b80f8cec0194f50c4b9965e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mysexplib (hash fc2139b9a78d0b924eee5d5536499a9f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Model_parser (hash 54a7b0aa644c0b3434ec3dc5c91343fd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlw_printer (hash dd393313c306cacf97cd437adc406310, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mltree (hash 049cda5146bc728b5f6f6a1be01a48f3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlmpfr_wrapper (hash 4b59d3ab76c5a7f05838bbeecb005dbc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlinterp (hash 50a993abd5f6fe350d42c74201f27973, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ml_printer (hash 5a05c358078b46252ef61d05e58c8177, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mathematica (hash cfc35966241b55c29b01b8652524d0f7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Loc (hash 8658ee8b97657451d6fb17a127d8307c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lists (hash 7899d573ae8982ac7454a377d8fd5efb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lift_epsilon (hash e2311315e9475b9b4fdd9967caa6543e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Libencoding (hash 5cc1e373fc54818281d0258be373e849, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexlib (hash 4d5071d5f744d0e1d53c3e5100c0eb5d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexer (hash d3c2b2e401269b60fd9b5c94889c0858, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Keywords (hash dea510927395289c5d9f9f708db4f20a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Keep_only_arithmetic (hash 1d173ca729895658c9c73da88c516a65, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_util (hash 28e55525d8101b2cd631a121473fe013, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_parser (hash b0936c2f83bd67019a151445526f8078, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_lexer (hash a860810b5e14e1ac8efd2ab02959b0ed, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_base (hash 23d04887774fae06ad3287cb3263ea14, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ity (hash 699ff5ecab4329e0b0ae70911230780c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_server (hash ca040ad048de8a3fd81fc0553cb8f0ba, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_communication (hash 874d0f2aa198410a6ef6ca2bb4f33669, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Isabelle (hash 0fdc850cdcfea434d2ed41ce140e16c0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Introduction (hash 0075db6b10aba18a01d6ed66c5936088, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Intro_vc_vars_counterexmp (hash 14c8c029b03f55869e0400a16c21cf29, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Intro_projections_counterexmp (hash b510398057b1431f284bc54ab7ad244d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Instantiate_predicate (hash cbb603b06cfe5a97941ba9018e505c67, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Inlining (hash dbc6bfa0492ebf9269686661de2b7c02, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Induction_pr (hash 2ad88790f749c8bf505482cc0a580581, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Induction (hash 50423167d96598c657a8289e7c67855d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ind_itp (hash 7ce7e33416357c3b7d917cb0b6c6d4a5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ident (hash c37db42af91dbed2e0eaf5085cf80a8d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Hashcons (hash e42a17d98bb235f470c701c099aea9fa, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Glob (hash 82bcb3ccd8d3526d51a7ba2fb5159f77, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Getopt (hash 73fa46355c8ea0470b1bd41e261bc8b3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Generic_arg_trans_utils (hash 3d1b3314bde803f3dcd1ef49777a4ac1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Gappa (hash 1fe4b76ddd732e6ab35312a2db4cee1c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Filter_trigger (hash 12bf5ca9b7c9d3c405afde7173b19378, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extset (hash 4f4bbc4636729c474beded195746f2aa, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extmap (hash a9c37c18adf5455833f6df3808d2af48, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Exthtbl (hash 4e9ee4e5c5c1dc126fbda1c695771841, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Expr (hash 880b3c192a76ed62aea7e7b1f6ec61c2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Exn_printer (hash 1e9f0ffeeb39f87d8c6b41b4f7e03037, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eval_match (hash 2dbf2b455b6cf1e350019adb995fd636, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Env (hash e4a764dfc1d19d69367fb897de4bcd18, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_twin (hash ee0033484eb7d29598b3ae874b4605e9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_tags_full (hash ba6150a4e7d0152a67f5ec8d5e3d83b6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_tags (hash d0d6fdfd7053bb20c94c4a3704a0da16, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_sort (hash 8183fc94c1a1a1fca620b94902fd75de, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_select (hash 0607accbf5820bab1b7065756b2d62d7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_guards_full (hash 7b08588dbbad6b4668c57c983f5b069c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_guards (hash 2a809d5f5336b09e4b74936ad89d2faf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding (hash 07dc2eb6dd4f48c36bf2f1a82b7f28ec, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_unknown_types (hash 21d2f16c08e1c71a5e73a87a72024f04, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_unknown_lsymbols (hash a8f6140290936ace3428b454fe5e7f7d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_symbol (hash 280da5bbc1d1142cfb33fa0cadec0be5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_literal (hash 180be2b1ca0101e99bdacb5f09f3f2d6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_let (hash b91bafa4c10c50796c745a5608c3f56f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_inductive (hash 985d6c5d5f48d4f3c13f40b2811c0430, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_if (hash 246c944408cb8f5238f07796d8bfcd1b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_epsilon (hash d3478d4a32b366aa53d797ab6d2d86e2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_definition (hash 4d080716a7de7aaef3295162de3c4f7d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_algebraic (hash f3ba22eed980c49f9e2fb50c04b23caf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dterm (hash 9cfd83593028e98d4dc44e851d567d3f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_parser (hash 4d25c08cdba04bb8295a560eeee15373, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_lexer (hash 6f1ee91b44ef5ac6be7dfce068a4ae88, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_ast (hash fbb8c9e7ab4fd83942ef8d817c827b3e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver (hash e750ae8fbfaf1f0dc2cd781ca83b13b6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Discriminate (hash 66a799e5fa6dac641332c597b43d713f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Diffmap (hash c0f38fd2fb212f6e159bfa7a2cc78a88, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dexpr (hash 21e1626264966f386d0499b9df08c035, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Detect_polymorphism (hash 42bdfbabf9c5811fa3f3b92868f1220d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Destruct (hash 3a57d4ff0eaa2dc51ef23500be7febbf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Decl (hash 8dfe069e548e0878fa65b9df6a8fdd93, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Debug (hash 39682420bfb00e16d2da891ca8237b34, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cvc3 (hash 03bdd712690cd7ca21a9b0be2a4b44b3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cut (hash 30cc060ec1ffd01309763d3ba1d6e3b0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Coq (hash 26300e94629b6cf77ed054a842a1b7e0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Controller_itp (hash 8fb9bf2b9207271d250ea33d5a3ac4f8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Constant (hash 34ba6e9470b6f224923be6b008fef0af, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Congruence (hash 7f3effc1c7eddcafa324860b02ccd8c2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Config (hash 73bf67bd3e1cf32224183d91f4e45d06, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compute (hash 00522111226ca60b644f02cebb578d15, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compress (hash 4b9bdc3d31d753408ba0c3022ee99946, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compile (hash 0a926673e58ef81029f0375827d2bf69, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Coercion (hash 72143f604c95a4904ab13dad935b6f09, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cntexmp_printer (hash 6990a20ca72af8efc8f4838d0f130353, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cmdline (hash aa9354cd7b696a30c3e4b35782aec751, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Close_epsilon (hash 9a949126d24f97d57b40e53fac13a7ac, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Check_ce (hash 898db8782fc4673a9399774c1f8f27b6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Case (hash 96aea2ecfe0215cb14d600e1b7511007, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Call_provers (hash 20a84ad7b172478b16e919c97b9ec173, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cakeml (hash 73809786803ec73c44e990b041565a81, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module C (hash d3c4254064ba80c77f8f53768572e704, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Big_real (hash 06dbfd2ebd25c4a8c5ae97ee96bb67e0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module BigInt (hash db7642e0d731b99f6606c042733bd6e8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Autodetection (hash f849e782ed71eb28aa1ae83d06213394, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Args_wrapper (hash 339bf91a5d78840fd96062adc68772b7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Apply (hash 3381929a842d1bb0663499c411977715, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Alt_ergo (hash cab14cd6c74a993ebe5ee8efaaabc0d4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Abstraction (hash 930e5673f22dc785d3ef33932ab33124, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Abstract_quantifiers (hash 8878cdd4b4e63a218fada0b04af2b015, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] 6 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc
odoc_driver_voodoo: [DEBUG] 7 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/why3/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/why3
odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/lib/why3/why3.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/dynlink/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/str/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/unix/ -I /home/opam/odoc-out/u/50af7027304bffc9a6390205867ff910/sexplib/v0.16.0/doc/sexplib.num/ -I /home/opam/odoc-out/u/50af7027304bffc9a6390205867ff910/sexplib/v0.16.0/doc/sexplib/ -I /home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/why3 -I /home/opam/odoc-out/u/e0832f9706706a603f17a2ff5106b18e/menhirLib/20250912/doc/menhirLib/ --enable-missing-root-warning --parent-id u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/why3 --warnings-tag why3
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/why3/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/why3/why3.odoc
odoc_driver_voodoo: [DEBUG] 9 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/page-index.odoc -o /home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/page-index.odocl -P why3:/home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc -L why3:/home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/why3 --enable-missing-root-warning --warnings-tags why3
odoc_driver_voodoo: [DEBUG] 10 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/why3/page-index.odoc -o /home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/why3/page-index.odocl -L why3:/home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/why3 --enable-missing-root-warning --warnings-tags why3
odoc_driver_voodoo: [DEBUG] 11 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/why3/why3.odoc -o /home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/why3/why3.odocl -P why3:/home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc -L dynlink:/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/dynlink/ -L menhirLib:/home/opam/odoc-out/u/e0832f9706706a603f17a2ff5106b18e/menhirLib/20250912/doc/menhirLib/ -L sexplib:/home/opam/odoc-out/u/50af7027304bffc9a6390205867ff910/sexplib/v0.16.0/doc/sexplib/ -L sexplib.num:/home/opam/odoc-out/u/50af7027304bffc9a6390205867ff910/sexplib/v0.16.0/doc/sexplib.num/ -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/stdlib/ -L str:/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/str/ -L unix:/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/unix/ -L why3:/home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/why3 -I /home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/dynlink/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/str/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/unix/ -I /home/opam/odoc-out/u/50af7027304bffc9a6390205867ff910/sexplib/v0.16.0/doc/sexplib.num/ -I /home/opam/odoc-out/u/50af7027304bffc9a6390205867ff910/sexplib/v0.16.0/doc/sexplib/ -I /home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/why3 -I /home/opam/odoc-out/u/e0832f9706706a603f17a2ff5106b18e/menhirLib/20250912/doc/menhirLib/ --current-package why3 --enable-missing-root-warning --warnings-tags why3
odoc_driver_voodoo: [DEBUG] 12 - Executing: /home/opam/doc-tools/bin/odoc count-occurrences /home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/why3 -o /home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 13 - Executing: sherlodoc js /home/opam/html/sherlodoc.js
odoc_driver_voodoo: [DEBUG] 14 - Executing: /home/opam/doc-tools/bin/odoc compile-index -o _index/why3/index.odoc-index --root /home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc --occurrences /home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 15 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate -o _index/why3/sidebar.odoc-sidebar _index/why3/index.odoc-index
odoc_driver_voodoo: [DEBUG] 16 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate --json -o /home/opam/html/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/sidebar.json _index/why3/index.odoc-index
odoc_driver_voodoo: [DEBUG] 17 - Executing: /home/opam/doc-tools/bin/odoc compile-index --json --simplified-json --wrap-json -o /home/opam/html/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/index.js --root /home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc --occurrences /home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 18 - Executing: sherlodoc index --format js _index/why3/index.odoc-index -o /home/opam/html/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/sherlodoc_db.js
odoc_driver_voodoo: [DEBUG] 19 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/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/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 21 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 22 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/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 html-generate /home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 24 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/8533f4923696d0733a7bb0a9f0c4ff7f/why3/1.7.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 25 - Executing: /home/opam/doc-tools/bin/odoc support-files -o /home/opam/html

=== STDERR ===

2026-06-24 21:58.38: OK: doc why3.1.7.2 (runc: 1.1s, disk: 183KB)
2026-06-24 21:58.38: Job succeeded