2026-06-19 21:10.30: New job: doc why3.1.7.2 (36fb2a61c9f3)
2026-06-19 21:10.30: Waiting for resource in pool day11-builds
2026-06-19 21:30.13: Got resource from pool day11-builds
2026-06-19 21:30.13: [profile full] doc why3.1.7.2
2026-06-19 21:30.13: doc why3.1.7.2 (36fb2a61c9f3)
=== 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/18401af1e2dfe0336a6085370e949cae/cppo/1.8.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/18401af1e2dfe0336a6085370e949cae/csexp/1.5.2/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/18401af1e2dfe0336a6085370e949cae/menhirCST/20250912/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/18401af1e2dfe0336a6085370e949cae/menhirLib/20250912/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/18401af1e2dfe0336a6085370e949cae/menhirSdk/20250912/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/18401af1e2dfe0336a6085370e949cae/ocaml-compiler-libs/v0.12.4/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/18401af1e2dfe0336a6085370e949cae/ppx_derivers/1.2.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/18401af1e2dfe0336a6085370e949cae/sexplib0/v0.16.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/18401af1e2dfe0336a6085370e949cae/stdlib-shims/0.3.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/3f5bf4c92ec8504ba8ba92ab023f22f6/ppx_sexp_conv/v0.16.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/4ff0d19fb6e12c49dfdcf3a7cfc2174c/dune-configurator/3.13.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/9cb74c7d32868ca425dce634875f392f/parsexp/v0.16.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/dune/3.10.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/num/1.6/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/c0dd590a0d4cda09bba352bc827f658f/menhir/20250912/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/c772af1500051ed4df3bd27739460ae0/sexplib/v0.16.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/f6c290bf86a7d3035d4ce53b3beb9a83/base/v0.16.5/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/18401af1e2dfe0336a6085370e949cae/csexp/1.5.2/doc/csexp/.odoc_lib_marker
/home/opam/odoc-out/u/18401af1e2dfe0336a6085370e949cae/menhirCST/20250912/doc/menhirCST/.odoc_lib_marker
/home/opam/odoc-out/u/18401af1e2dfe0336a6085370e949cae/menhirLib/20250912/doc/menhirLib/.odoc_lib_marker
/home/opam/odoc-out/u/18401af1e2dfe0336a6085370e949cae/menhirSdk/20250912/doc/menhirSdk/.odoc_lib_marker
/home/opam/odoc-out/u/18401af1e2dfe0336a6085370e949cae/ocaml-compiler-libs/v0.12.4/doc/ocaml-compiler-libs.bytecomp/.odoc_lib_marker
/home/opam/odoc-out/u/18401af1e2dfe0336a6085370e949cae/ocaml-compiler-libs/v0.12.4/doc/ocaml-compiler-libs.common/.odoc_lib_marker
/home/opam/odoc-out/u/18401af1e2dfe0336a6085370e949cae/ocaml-compiler-libs/v0.12.4/doc/ocaml-compiler-libs.optcomp/.odoc_lib_marker
/home/opam/odoc-out/u/18401af1e2dfe0336a6085370e949cae/ocaml-compiler-libs/v0.12.4/doc/ocaml-compiler-libs.shadow/.odoc_lib_marker
/home/opam/odoc-out/u/18401af1e2dfe0336a6085370e949cae/ocaml-compiler-libs/v0.12.4/doc/ocaml-compiler-libs.toplevel/.odoc_lib_marker
/home/opam/odoc-out/u/18401af1e2dfe0336a6085370e949cae/ppx_derivers/1.2.1/doc/ppx_derivers/.odoc_lib_marker
/home/opam/odoc-out/u/18401af1e2dfe0336a6085370e949cae/sexplib0/v0.16.0/doc/sexplib0/.odoc_lib_marker
/home/opam/odoc-out/u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/ppxlib.ast/.odoc_lib_marker
/home/opam/odoc-out/u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/ppxlib.astlib/.odoc_lib_marker
/home/opam/odoc-out/u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/ppxlib.metaquot_lifters/.odoc_lib_marker
/home/opam/odoc-out/u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/ppxlib.print_diff/.odoc_lib_marker
/home/opam/odoc-out/u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/ppxlib.runner/.odoc_lib_marker
/home/opam/odoc-out/u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/ppxlib.runner_as_ppx/.odoc_lib_marker
/home/opam/odoc-out/u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/ppxlib.stdppx/.odoc_lib_marker
/home/opam/odoc-out/u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/ppxlib.traverse_builtins/.odoc_lib_marker
/home/opam/odoc-out/u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/ppxlib/.odoc_lib_marker
/home/opam/odoc-out/u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/ppxlib_metaquot/.odoc_lib_marker
/home/opam/odoc-out/u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/ppxlib_traverse/.odoc_lib_marker
/home/opam/odoc-out/u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving.api/.odoc_lib_marker
/home/opam/odoc-out/u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving.runtime/.odoc_lib_marker
/home/opam/odoc-out/u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving_create/.odoc_lib_marker
/home/opam/odoc-out/u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving_enum/.odoc_lib_marker
/home/opam/odoc-out/u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving_eq/.odoc_lib_marker
/home/opam/odoc-out/u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving_fold/.odoc_lib_marker
/home/opam/odoc-out/u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving_iter/.odoc_lib_marker
/home/opam/odoc-out/u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving_make/.odoc_lib_marker
/home/opam/odoc-out/u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving_map/.odoc_lib_marker
/home/opam/odoc-out/u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving_ord/.odoc_lib_marker
/home/opam/odoc-out/u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving_show/.odoc_lib_marker
/home/opam/odoc-out/u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving_std/.odoc_lib_marker
/home/opam/odoc-out/u/3f5bf4c92ec8504ba8ba92ab023f22f6/ppx_sexp_conv/v0.16.0/doc/ppx_sexp_conv.expander/.odoc_lib_marker
/home/opam/odoc-out/u/3f5bf4c92ec8504ba8ba92ab023f22f6/ppx_sexp_conv/v0.16.0/doc/ppx_sexp_conv.runtime-lib/.odoc_lib_marker
/home/opam/odoc-out/u/3f5bf4c92ec8504ba8ba92ab023f22f6/ppx_sexp_conv/v0.16.0/doc/ppx_sexp_conv/.odoc_lib_marker
/home/opam/odoc-out/u/4ff0d19fb6e12c49dfdcf3a7cfc2174c/dune-configurator/3.13.1/doc/dune-configurator/.odoc_lib_marker
/home/opam/odoc-out/u/9cb74c7d32868ca425dce634875f392f/parsexp/v0.16.0/doc/parsexp/.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/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
/home/opam/odoc-out/u/c772af1500051ed4df3bd27739460ae0/sexplib/v0.16.0/doc/sexplib.num/.odoc_lib_marker
/home/opam/odoc-out/u/c772af1500051ed4df3bd27739460ae0/sexplib/v0.16.0/doc/sexplib.unix/.odoc_lib_marker
/home/opam/odoc-out/u/c772af1500051ed4df3bd27739460ae0/sexplib/v0.16.0/doc/sexplib/.odoc_lib_marker
/home/opam/odoc-out/u/f6c290bf86a7d3035d4ce53b3beb9a83/base/v0.16.5/doc/base.base_internalhash_types/.odoc_lib_marker
/home/opam/odoc-out/u/f6c290bf86a7d3035d4ce53b3beb9a83/base/v0.16.5/doc/base.caml/.odoc_lib_marker
/home/opam/odoc-out/u/f6c290bf86a7d3035d4ce53b3beb9a83/base/v0.16.5/doc/base.md5/.odoc_lib_marker
/home/opam/odoc-out/u/f6c290bf86a7d3035d4ce53b3beb9a83/base/v0.16.5/doc/base.shadow_stdlib/.odoc_lib_marker
/home/opam/odoc-out/u/f6c290bf86a7d3035d4ce53b3beb9a83/base/v0.16.5/doc/base/.odoc_lib_marker
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/
=== END DEBUG ===
process_meta_file: prep/universes/85c6c814eff6d70eb9a3623387a500c7/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/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/why3/odoc-config.sexp
prep/universes/85c6c814eff6d70eb9a3623387a500c7/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/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/lib/why3/META
odoc_driver_voodoo: [DEBUG] prep/universes/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/lib/why3/why3,why3

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/lib/why3/

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/lib/why3/ for package why3
odoc_driver_voodoo: [DEBUG] 0 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/lib/why3/
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [DEBUG] Checking prep/universes/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/lib/why3/why3.cmti (then prep/universes/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/lib/why3/Why3.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/lib/why3/why3.cmt (then prep/universes/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/lib/why3/Why3.cmt)
odoc_driver_voodoo: [DEBUG] 1 - Executing: ocamlobjinfo prep/universes/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/lib/why3/why3.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/85c6c814eff6d70eb9a3623387a500c7/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/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/lib/why3/why3.cmt
odoc_driver_voodoo: [DEBUG] 3 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/lib/why3/why3.cmt
odoc_driver_voodoo: [DEBUG] libdirs_without_meta: prep/universes/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/lib/why3/plugins,
                            prep/universes/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/lib/why3/commands

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/85c6c814eff6d70eb9a3623387a500c7/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/85c6c814eff6d70eb9a3623387a500c7/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/85c6c814eff6d70eb9a3623387a500c7/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/85c6c814eff6d70eb9a3623387a500c7/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/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/lib/why3/commands
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/18401af1e2dfe0336a6085370e949cae/csexp/1.5.2/doc/csexp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/18401af1e2dfe0336a6085370e949cae/csexp/1.5.2/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/18401af1e2dfe0336a6085370e949cae/menhirLib/20250912/doc/menhirLib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/18401af1e2dfe0336a6085370e949cae/menhirLib/20250912/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/18401af1e2dfe0336a6085370e949cae/ocaml-compiler-libs/v0.12.4/doc/ocaml-compiler-libs.common/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/18401af1e2dfe0336a6085370e949cae/ocaml-compiler-libs/v0.12.4/doc/ocaml-compiler-libs.toplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/18401af1e2dfe0336a6085370e949cae/ocaml-compiler-libs/v0.12.4/doc/ocaml-compiler-libs.optcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/18401af1e2dfe0336a6085370e949cae/ocaml-compiler-libs/v0.12.4/doc/ocaml-compiler-libs.shadow/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/18401af1e2dfe0336a6085370e949cae/ocaml-compiler-libs/v0.12.4/doc/ocaml-compiler-libs.bytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/18401af1e2dfe0336a6085370e949cae/ocaml-compiler-libs/v0.12.4/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/18401af1e2dfe0336a6085370e949cae/ppx_derivers/1.2.1/doc/ppx_derivers/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/18401af1e2dfe0336a6085370e949cae/ppx_derivers/1.2.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/18401af1e2dfe0336a6085370e949cae/stdlib-shims/0.3.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/18401af1e2dfe0336a6085370e949cae/menhirSdk/20250912/doc/menhirSdk/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/18401af1e2dfe0336a6085370e949cae/menhirSdk/20250912/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/18401af1e2dfe0336a6085370e949cae/sexplib0/v0.16.0/doc/sexplib0/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/18401af1e2dfe0336a6085370e949cae/sexplib0/v0.16.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/18401af1e2dfe0336a6085370e949cae/cppo/1.8.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/18401af1e2dfe0336a6085370e949cae/menhirCST/20250912/doc/menhirCST/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/18401af1e2dfe0336a6085370e949cae/menhirCST/20250912/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/ppxlib.astlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/ppxlib.print_diff/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/ppxlib.ast/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/ppxlib.metaquot_lifters/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/ppxlib_traverse/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/ppxlib_metaquot/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/ppxlib.runner/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/ppxlib.runner_as_ppx/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/ppxlib.stdppx/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/ppxlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/ppxlib.traverse_builtins/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/1dd76490861f2c1cf4b0723798b037a0/ppxlib/0.35.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/3f5bf4c92ec8504ba8ba92ab023f22f6/ppx_sexp_conv/v0.16.0/doc/ppx_sexp_conv/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/3f5bf4c92ec8504ba8ba92ab023f22f6/ppx_sexp_conv/v0.16.0/doc/ppx_sexp_conv.runtime-lib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/3f5bf4c92ec8504ba8ba92ab023f22f6/ppx_sexp_conv/v0.16.0/doc/ppx_sexp_conv.expander/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/3f5bf4c92ec8504ba8ba92ab023f22f6/ppx_sexp_conv/v0.16.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/4ff0d19fb6e12c49dfdcf3a7cfc2174c/dune-configurator/3.13.1/doc/dune-configurator/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/4ff0d19fb6e12c49dfdcf3a7cfc2174c/dune-configurator/3.13.1/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.10.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/c772af1500051ed4df3bd27739460ae0/sexplib/v0.16.0/doc/sexplib.num/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/c772af1500051ed4df3bd27739460ae0/sexplib/v0.16.0/doc/sexplib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/c772af1500051ed4df3bd27739460ae0/sexplib/v0.16.0/doc/sexplib.unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/c772af1500051ed4df3bd27739460ae0/sexplib/v0.16.0/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/f6c290bf86a7d3035d4ce53b3beb9a83/base/v0.16.5/doc/base.base_internalhash_types/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/f6c290bf86a7d3035d4ce53b3beb9a83/base/v0.16.5/doc/base.shadow_stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/f6c290bf86a7d3035d4ce53b3beb9a83/base/v0.16.5/doc/base/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/f6c290bf86a7d3035d4ce53b3beb9a83/base/v0.16.5/doc/base.caml/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/f6c290bf86a7d3035d4ce53b3beb9a83/base/v0.16.5/doc/base.md5/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/f6c290bf86a7d3035d4ce53b3beb9a83/base/v0.16.5/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9cb74c7d32868ca425dce634875f392f/parsexp/v0.16.0/doc/parsexp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/9cb74c7d32868ca425dce634875f392f/parsexp/v0.16.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/c0dd590a0d4cda09bba352bc827f658f/menhir/20250912/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving_make/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving.api/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving_eq/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving_std/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving_iter/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving_show/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving.runtime/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving_map/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving_create/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving_enum/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving_ord/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/doc/ppx_deriving_fold/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/2fcb80d2fe16c5f23d33992b238afb82/ppx_deriving/6.0.3/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: 698 precompiled units, 1 other units
odoc_driver_voodoo: [DEBUG] Error during compilation of module Yices (hash 4fdfb93e28498150ab13d7dee4d839bc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Xml (hash 75c3f78c4ff5ced0cadfb4559e5190c9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Wstdlib (hash 2d80b62172e88041db21c0f772af5532, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Whyconf (hash a814ee7c10d49206df4e32d1fc8a2f23, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Why3printer (hash c0bca4ae1340b3c4b4af840cbdb0c5e4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Weakhtbl (hash cab803252ed38cf59c34ccb5d8c7a7d8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Vector (hash 65d678d68d3915b759527062fc0fa990, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Vc (hash fd891d7727715bb047dd558ad2c69b4e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Util (hash 0a3314e656afc7daedf76f9f2c1d81c8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Unix_scheduler (hash 2786a01d0032e347f703a9f3efc0eb6e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typing (hash 07244914fb319f8df6acfef93e9fe28e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typeinv (hash e7a3a5809eedc80b65a5845a1bb60147, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ty (hash 6e3dda1cba929f21048399a866cf58e6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Trans (hash 3c812ba95cfb7c9f0b67379a0653c3f1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Theory (hash 714daed1a8ad905537a81fbfc6da78b2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Termcode (hash 17fd3cef9a747718836f119b7c1f77bf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Term (hash e8cd1d40c96af76b71534cdd0d6c9563, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Task (hash 82638bcd8cd461b917e25214ad4bf6b6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sysutil (hash 5b62bf959e7da7ff56b42f6589f8e636, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Subst (hash 2e3fb2536387059e82f2aed05a14268f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strings (hash b4b20484366b25c7f8eb90a835cfdd42, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy_parser (hash d50d3fb3ce03bcf1279460e47ff1a222, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy (hash 1a3245698de20e6fa2b104053a28ae2e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Split_goal (hash 4924d1344fd9b0c59b7cfb132d382891, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2_model_parser (hash 7dd1c45ba2e167e2bf1c0fee66863bc7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2_model_defs (hash 589db5a7e3a52df27bbcd9f25d99b570, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2 (hash 7cd496ea19fa79e44c1f19af8827ecd7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv1 (hash ad434b824e3abad9881f765a147fcc61, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smoke_detector (hash 1ba6599df6b1bdf031e6c7b44a484095, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify_formula (hash ffda5bd52eb4984f442045f30d6cbb49, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify_array (hash f784ad652ebae2eca799c01622b2ab4a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify (hash c9f59ad0056a8c1065a2f696db12f7b5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sexp_parser (hash aa5444a22975edb624ab2282b53f4073, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sexp (hash e2866349c3371d1ab2a80923b9ac34db, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Session_itp (hash b8a6da5450e56a5e2f2b92c834f3c016, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Server_utils (hash f976ff4cdab169c8409a2f76e6b2ae92, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Report (hash 2ddeba191b71012af9227ab4441d9c3c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Remove_unused (hash 38a2979bd5f08e0c54abe6b2109c904a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Reflection (hash 95f1024bd9d677864ebb8454f68ef2ab, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Reduction_engine (hash ad2699f9fc016ad407efb925a6cb896d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Re (hash cde57f8ca71f692b545ed1c39ed6d0d7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rc (hash 2e413eab25c9c5e87e631c5734a3a6b1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rac (hash 08352e1b66a84042c6faf7baa94fd9d0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pvs (hash c78cfa91896d6999d495b4f25e996757, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree_helpers (hash 74da6d16fb7ca356ecd5f5abbe51e969, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree (hash a3e2ad4124527182478746cf9caa3b3b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prove_client (hash e87b0dbcaa1dc5f915b5cb08cedbae2f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prop_curry (hash 5b256e700f4b2ed5a70957533698ea96, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Printer (hash badcb6d0df92ee9ca7b81a00e83bedef, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Print_tree (hash 3d8a5ccd183e5e7c8d98a6e48c5807ef, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pretty (hash ff09fce07b9936212d7b3745d46db8db, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prepare_for_counterexmp (hash bb78cfbf2eedd94b4e6f496a0d2a2b7f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pqueue (hash 2a67c37bf6cdf4cbd51b42c0692e8612, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pp (hash e091c120a64604b57871e42350cc5495, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pmodule (hash 0956beaf1176da51c18ec44e229367aa, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Plugin (hash a97b0e0778363aebb7ef0a8781647fa5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp_core (hash 1c5598c9e7a8b0a1c90342abe47a0bfc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp (hash c470c0e0dbb0afebf308f56657446510, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdriver (hash 18214939c78f20b8b8f329187895946d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdecl (hash c631df76ed444dfdd053cab6308fb54e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pattern (hash ac072936531ee1b759bef9b96a6340c9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser_tokens (hash fb3f032363932268526af1f363c4979b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser_messages (hash 9c46c3092148e96e7f489d77da030777, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser (hash d956585f40337f822e68b76149322160, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Opt (hash 5561ae3d5a3338f0ea88600a50d0f4fe, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ocaml (hash d0641bd680cde293e12bac04741b3931, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Number (hash 44292359e4ab3c15fab83c7a773e9460, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mysexplib (hash 6b14e16b4bf6369415d79c6f1531d0a4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Model_parser (hash 334cddb6bea3a91fbed28e2b6b33c01a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlw_printer (hash 7bdbb79d8eab3da5fb035af6f4ac0093, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mltree (hash 378def6959f7be142e629a08830220e0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlmpfr_wrapper (hash 934be994a48bab57680571035b7e5738, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlinterp (hash e76a379269e6370a9480b851ac55477b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ml_printer (hash 07af97b8458bf46933720b7b30f8b9b8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mathematica (hash af29957e53f3b84e996217816f1457b8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Loc (hash eab32a26239e7403ca0d3a1a6ca34879, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lists (hash 8a7e35f1a714d4c9a80b433cf7c895d7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lift_epsilon (hash 89ae295e1745f709c780f239f5385343, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Libencoding (hash 854a548bf5500acf6ed1eff874bfa69b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexlib (hash 1137ecdf9bbfa4ea0081ae29c24bc051, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexer (hash 52ca46ddd8732ac8db0c21de26c6c95e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Keywords (hash ca4a797cf66c3f3f3e3ab89afdce35c0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Keep_only_arithmetic (hash fe7b16c75bf240a95070daf72b911298, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_util (hash dee4773b80d5deedeb008551c6d48e6f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_parser (hash 7a657211f1d8cc8f92fdf93506a66c22, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_lexer (hash 22151455b1148002bf46c480992179b8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_base (hash 8f5fa9a90920bfac56edca6a41173650, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ity (hash c9e988b60d6bf12e5fe69c94569b1d62, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_server (hash 86f259adbcfaf3b181ae0bd6b21de433, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_communication (hash a3a90fc128703bd29a1408c893cc7547, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Isabelle (hash a6d7bf5d0d0ad7543aeaf643928cde6c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Introduction (hash e6edc59c28a18775df6096772f16f05c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Intro_vc_vars_counterexmp (hash 701da02008e9329ddd3d6267a1658f94, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Intro_projections_counterexmp (hash ae09c9b78648589f6b7fc466ed417f07, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Instantiate_predicate (hash 764f86c86bb30d31a9b9d4057698be1b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Inlining (hash 99dfe8645cd9edd7325167004cef02b2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Induction_pr (hash cc645ad7c9232c9b89c48cff6180ad0e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Induction (hash 1c8b551925585f89057bd797823be530, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ind_itp (hash 18b4eb887b6e341602ae8e46016979e7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ident (hash f2e60f87a3e0c5d6a8ee8680a47de646, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Hashcons (hash 69a89db1fd4d9640891e208ed9e3cbdb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Glob (hash 6d8bc4d5729e8e886f01ceb1cdeb57be, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Getopt (hash 216b2ec494ffd4680dd7615dad3b289f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Generic_arg_trans_utils (hash b4292cbdeaca4dd8d1359b146aae3092, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Gappa (hash 160b381364a005118c4a701321471bb7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Filter_trigger (hash 1de6d7480ec83a6278d2d72db4600759, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extset (hash 7d4679f0ec6fc7a8fe3912ebd4291136, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extmap (hash acc1d122af4dbe057800c61b93250ec3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Exthtbl (hash 8b458a659c55d9512717c6d7ad353897, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Expr (hash 248b4620c99301e131e6260490bb0e53, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Exn_printer (hash 65f31b285ddac0d6de022d1d38c83f7c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eval_match (hash 310201da1706706d615b948dc9ead68e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Env (hash 92a5d4d957eefbac4bab39ce60f54869, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_twin (hash a1e07a91ce8fc414b0143cb4a2fbaead, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_tags_full (hash 9dfe9589865f75d8c43e3f4ab1754d17, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_tags (hash c52f4dbd2623ae6973d004ef4ec3c367, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_sort (hash 56fca3faba15db257f264807e57a6313, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_select (hash a93cc07f1ec9c5270922c0c307459771, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_guards_full (hash 9b53432649f2a7bf0d4a682189fb3157, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_guards (hash e6523af12f1a1aa12be4fabe225c45f1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding (hash c62a55df7657d800b3fa48fd9218e24b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_unknown_types (hash 7c4c4c061880c711e1103ebf5eaa7977, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_unknown_lsymbols (hash b10626032a1140684943f9ff43751c93, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_symbol (hash f88e59d75f7e054db817f857885935cb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_literal (hash 1ab384677b240afcd03c8b6664b939be, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_let (hash 74869d486f75ab961f2da4b403c65de6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_inductive (hash dc8acd6316e730d04bc0e250cb2de0ae, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_if (hash ec0f5e7f63ad1e85f676813cb8622fa2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_epsilon (hash 1198f7ee7c8da773a114d271536a9f34, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_definition (hash 05c1d077e5ee3b7c6d31381c2d3ef349, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_algebraic (hash 7c2e0d6aab436d60fa314abafa580596, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dterm (hash be006a9717131b167d9ee83d58b2f9d6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_parser (hash f23838fbaf5e1198dcd23b385086b895, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_lexer (hash 9f3e7fe8c48b1efd19019aa7bb90001c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_ast (hash 29de846072b2b6df6e7bdc4aecc5da28, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver (hash f5acb706a875eb9b28d7394c4081c181, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Discriminate (hash dbf007a467d6bd027fb6a06b6ae421b5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Diffmap (hash c9947f276732ab99353ecfc8e85822ac, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dexpr (hash d5f4e08566f76f66a145b32064a2c05c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Detect_polymorphism (hash ed75d686a058eb3aee16b90c9b4313c1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Destruct (hash 5b816c60571944652ab2ae9d394d4f6d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Decl (hash 8996347b866d88340c1941973ae13932, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Debug (hash e4d3d0550dc14e127ca7c29482c334e7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cvc3 (hash ec379924bce86babd5f514d2205bf5fd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cut (hash 2b72b89ca07e5e0297811b5f6bffb30a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Coq (hash 0eb8abcaadd3f8521e7348388550082e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Controller_itp (hash 9ded5f3cf0aa04c612e0ba42fac2659c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Constant (hash 25d9ed25967332814f1e3326ff00a79e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Congruence (hash 586c0097d822cb22f55e46538e0a99f5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Config (hash a712ca99b5a4e85324646184d760ef77, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compute (hash fd977dafbf2db1f2270c6de5644f7781, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compress (hash dd3772d4b5488713e0e14812863f4eb8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compile (hash b0eefc155ee6084fba2b480ba627310a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Coercion (hash 06386cc7d85270dd798ad1dfde405ed7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cntexmp_printer (hash 415c8ea25fe1438c1db9bd0672f69e9d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cmdline (hash 030dc676b628aee2a44d782e9d6f6455, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Close_epsilon (hash 921084dc60144e059b9aab1fb3ba84e9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Check_ce (hash 57af9c6cb69cade215cf6fe8758cd26a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Case (hash 60244c2eb2bf02c2d2229b90e84f351d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Call_provers (hash 0da5cdfee219038f85444b5fec8a5a57, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cakeml (hash 0730b25d47bcd2e8fe760300bfa9ecbd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module C (hash 8447e3d03145d1674520f97ea6daab99, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Big_real (hash 88e3fd542236b83c25f4f7159911789e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module BigInt (hash d0a7a9da8d5c8de823f7a38d867f1bd3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Autodetection (hash d285cf972dd5bd5d3aff7830da0dd654, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Args_wrapper (hash 308a47175b0cbaa38c7b24b189252b78, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Apply (hash 89979e52573375a1a6d73d7c54e81ac8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Alt_ergo (hash 765121d31561de884a886b8401002425, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Abstraction (hash 2ff495484a761e7a9202cea314462bef, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Abstract_quantifiers (hash ef76035b63a6dbef4d8fa45d80f0a68f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] 6 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc
odoc_driver_voodoo: [DEBUG] 7 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/why3/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/why3
odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/lib/why3/why3.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/dynlink/ -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/str/ -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/unix/ -I /home/opam/odoc-out/u/18401af1e2dfe0336a6085370e949cae/menhirLib/20250912/doc/menhirLib/ -I /home/opam/odoc-out/u/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/why3 -I /home/opam/odoc-out/u/c772af1500051ed4df3bd27739460ae0/sexplib/v0.16.0/doc/sexplib.num/ -I /home/opam/odoc-out/u/c772af1500051ed4df3bd27739460ae0/sexplib/v0.16.0/doc/sexplib/ --enable-missing-root-warning --parent-id u/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/why3 --warnings-tag why3
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/why3/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/85c6c814eff6d70eb9a3623387a500c7/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/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/page-index.odoc -o /home/opam/odoc-out/u/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/page-index.odocl -P why3:/home/opam/odoc-out/u/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc -L why3:/home/opam/odoc-out/u/85c6c814eff6d70eb9a3623387a500c7/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/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/why3/page-index.odoc -o /home/opam/odoc-out/u/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/why3/page-index.odocl -L why3:/home/opam/odoc-out/u/85c6c814eff6d70eb9a3623387a500c7/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/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/why3/why3.odoc -o /home/opam/odoc-out/u/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/why3/why3.odocl -P why3:/home/opam/odoc-out/u/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc -L dynlink:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/dynlink/ -L menhirLib:/home/opam/odoc-out/u/18401af1e2dfe0336a6085370e949cae/menhirLib/20250912/doc/menhirLib/ -L sexplib:/home/opam/odoc-out/u/c772af1500051ed4df3bd27739460ae0/sexplib/v0.16.0/doc/sexplib/ -L sexplib.num:/home/opam/odoc-out/u/c772af1500051ed4df3bd27739460ae0/sexplib/v0.16.0/doc/sexplib.num/ -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -L str:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/str/ -L unix:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/unix/ -L why3:/home/opam/odoc-out/u/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/why3 -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/dynlink/ -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/str/ -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/unix/ -I /home/opam/odoc-out/u/18401af1e2dfe0336a6085370e949cae/menhirLib/20250912/doc/menhirLib/ -I /home/opam/odoc-out/u/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/why3 -I /home/opam/odoc-out/u/c772af1500051ed4df3bd27739460ae0/sexplib/v0.16.0/doc/sexplib.num/ -I /home/opam/odoc-out/u/c772af1500051ed4df3bd27739460ae0/sexplib/v0.16.0/doc/sexplib/ --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/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/why3 -o /home/opam/odoc-out/u/85c6c814eff6d70eb9a3623387a500c7/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/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc --occurrences /home/opam/odoc-out/u/85c6c814eff6d70eb9a3623387a500c7/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/85c6c814eff6d70eb9a3623387a500c7/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/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/index.js --root /home/opam/odoc-out/u/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc --occurrences /home/opam/odoc-out/u/85c6c814eff6d70eb9a3623387a500c7/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/85c6c814eff6d70eb9a3623387a500c7/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/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/85c6c814eff6d70eb9a3623387a500c7/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/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/85c6c814eff6d70eb9a3623387a500c7/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/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/85c6c814eff6d70eb9a3623387a500c7/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/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/85c6c814eff6d70eb9a3623387a500c7/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/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/85c6c814eff6d70eb9a3623387a500c7/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/85c6c814eff6d70eb9a3623387a500c7/why3/1.7.2/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/85c6c814eff6d70eb9a3623387a500c7/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-19 21:30.17: OK: doc why3.1.7.2 (runc: 1.6s, disk: 183KB)
2026-06-19 21:30.17: Job succeeded