2026-06-16 20:42.07: New job: doc why3.1.8.2 (66d183e8ae48)
2026-06-16 20:42.07: Waiting for resource in pool day11-builds
2026-06-16 21:00.40: Got resource from pool day11-builds
2026-06-16 21:00.40: [profile full] doc why3.1.8.2
2026-06-16 21:00.41: doc why3.1.8.2 (66d183e8ae48)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
=== DEBUG: pre-voodoo image inventory ===
-- pkg markers (.odoc_pkg_marker) --
/home/opam/odoc-out/p/camlzip/1.14/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/num/1.6/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/zarith/1.14/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/dune/3.23.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/13e2e8c661bbe76f01c7bdb938801ca6/base/v0.17.3/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/cppo/1.8.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/csexp/1.5.2/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirCST/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirGLR/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirLib/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirSdk/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/ocaml_intrinsics_kernel/v0.17.2/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/ocamlgraph/2.2.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/ppx_derivers/1.2.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/sexplib0/v0.17.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/stdlib-shims/0.3.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/2760689e43f721e3cf412d53c68e63bd/sexplib/v0.17.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/3dcf4abb7501034b403c557ffea80e8f/dune-configurator/3.23.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/413a55bad7c029095babf3b479e95b78/ppxlib_jane/v0.17.4/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/6f01382a4f96978149c3c2b2ca48f722/menhir/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/7868d6f7c62720ffb3f6694e66c3e2a4/parsexp/v0.17.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/fe246aa7586c7170122f0d754bfeed9d/ppx_sexp_conv/v0.17.1/doc/.odoc_pkg_marker
-- lib markers (.odoc_lib_marker) --
/home/opam/odoc-out/p/camlzip/1.14/doc/zip/.odoc_lib_marker
/home/opam/odoc-out/p/num/1.6/doc/num.core/.odoc_lib_marker
/home/opam/odoc-out/p/num/1.6/doc/num_top/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/compiler-libs.bytecomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/compiler-libs.common/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/compiler-libs.optcomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/compiler-libs.toplevel/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/dynlink/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/odoc_info/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/runtime_events/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/str/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/threads/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/unix/.odoc_lib_marker
/home/opam/odoc-out/p/zarith/1.14/doc/zarith/.odoc_lib_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving.api/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_create/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_enum/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_eq/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_fold/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_iter/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_make/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_map/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_ord/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_show/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_std/.odoc_lib_marker
/home/opam/odoc-out/u/13e2e8c661bbe76f01c7bdb938801ca6/base/v0.17.3/doc/base.base_internalhash_types/.odoc_lib_marker
/home/opam/odoc-out/u/13e2e8c661bbe76f01c7bdb938801ca6/base/v0.17.3/doc/base.md5/.odoc_lib_marker
/home/opam/odoc-out/u/13e2e8c661bbe76f01c7bdb938801ca6/base/v0.17.3/doc/base.shadow_stdlib/.odoc_lib_marker
/home/opam/odoc-out/u/13e2e8c661bbe76f01c7bdb938801ca6/base/v0.17.3/doc/base/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/csexp/1.5.2/doc/csexp/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirCST/20260209/doc/menhirCST/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirGLR/20260209/doc/menhirGLR/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirLib/20260209/doc/menhirLib/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirSdk/20260209/doc/menhirSdk/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.bytecomp/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.common/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.optcomp/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.shadow/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.toplevel/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/ocaml_intrinsics_kernel/v0.17.2/doc/ocaml_intrinsics_kernel/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/ocamlgraph/2.2.0/doc/ocamlgraph/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/ppx_derivers/1.2.1/doc/ppx_derivers/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/sexplib0/v0.17.0/doc/sexplib0/.odoc_lib_marker
/home/opam/odoc-out/u/2760689e43f721e3cf412d53c68e63bd/sexplib/v0.17.0/doc/sexplib.num/.odoc_lib_marker
/home/opam/odoc-out/u/2760689e43f721e3cf412d53c68e63bd/sexplib/v0.17.0/doc/sexplib.unix/.odoc_lib_marker
/home/opam/odoc-out/u/2760689e43f721e3cf412d53c68e63bd/sexplib/v0.17.0/doc/sexplib/.odoc_lib_marker
/home/opam/odoc-out/u/3dcf4abb7501034b403c557ffea80e8f/dune-configurator/3.23.1/doc/dune-configurator/.odoc_lib_marker
/home/opam/odoc-out/u/413a55bad7c029095babf3b479e95b78/ppxlib_jane/v0.17.4/doc/ppxlib_jane/.odoc_lib_marker
/home/opam/odoc-out/u/7868d6f7c62720ffb3f6694e66c3e2a4/parsexp/v0.17.0/doc/parsexp/.odoc_lib_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.ast/.odoc_lib_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.astlib/.odoc_lib_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.metaquot_lifters/.odoc_lib_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.print_diff/.odoc_lib_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.runner/.odoc_lib_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.runner_as_ppx/.odoc_lib_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.stdppx/.odoc_lib_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.traverse_builtins/.odoc_lib_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib/.odoc_lib_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib_metaquot/.odoc_lib_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib_traverse/.odoc_lib_marker
/home/opam/odoc-out/u/fe246aa7586c7170122f0d754bfeed9d/ppx_sexp_conv/v0.17.1/doc/ppx_sexp_conv.expander/.odoc_lib_marker
/home/opam/odoc-out/u/fe246aa7586c7170122f0d754bfeed9d/ppx_sexp_conv/v0.17.1/doc/ppx_sexp_conv.runtime-lib/.odoc_lib_marker
/home/opam/odoc-out/u/fe246aa7586c7170122f0d754bfeed9d/ppx_sexp_conv/v0.17.1/doc/ppx_sexp_conv/.odoc_lib_marker
process_meta_file: prep/universes/219fbcc171d185e26aaa5319d0e4b71a/why3/1.8.2/lib/why3/META
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/219fbcc171d185e26aaa5319d0e4b71a/why3/1.8.2/
=== END DEBUG ===
odoc_driver_voodoo: [DEBUG] all_lib_deps: why3, [8]

odoc_driver_voodoo: [DEBUG] No config file found: prep/universes/219fbcc171d185e26aaa5319d0e4b71a/why3/1.8.2/doc/why3/odoc-config.sexp
prep/universes/219fbcc171d185e26aaa5319d0e4b71a/why3/1.8.2/doc/why3/odoc-config.sexp: No such file or directory

odoc_driver_voodoo: [DEBUG] Config.packages: 

process_meta_file: prep/universes/219fbcc171d185e26aaa5319d0e4b71a/why3/1.8.2/lib/why3/META
odoc_driver_voodoo: [DEBUG] prep/universes/219fbcc171d185e26aaa5319d0e4b71a/why3/1.8.2/lib/why3/why3,why3

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/219fbcc171d185e26aaa5319d0e4b71a/why3/1.8.2/lib/why3/

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

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/219fbcc171d185e26aaa5319d0e4b71a/why3/1.8.2/lib/why3/

odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/why3/plugins
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/219fbcc171d185e26aaa5319d0e4b71a/why3/1.8.2/lib/why3/plugins for package why3
odoc_driver_voodoo: [DEBUG] 4 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/219fbcc171d185e26aaa5319d0e4b71a/why3/1.8.2/lib/why3/plugins
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/why3/commands
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/219fbcc171d185e26aaa5319d0e4b71a/why3/1.8.2/lib/why3/commands for package why3
odoc_driver_voodoo: [DEBUG] 5 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/219fbcc171d185e26aaa5319d0e4b71a/why3/1.8.2/lib/why3/commands
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/stdlib-shims/0.3.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/menhirLib/20260209/doc/menhirLib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/menhirLib/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/ppx_derivers/1.2.1/doc/ppx_derivers/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/ppx_derivers/1.2.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/cppo/1.8.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/sexplib0/v0.17.0/doc/sexplib0/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/sexplib0/v0.17.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/menhirGLR/20260209/doc/menhirGLR/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/menhirGLR/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/menhirCST/20260209/doc/menhirCST/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/menhirCST/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/ocamlgraph/2.2.0/doc/ocamlgraph/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/ocamlgraph/2.2.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.common/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.toplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.optcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.shadow/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.bytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/csexp/1.5.2/doc/csexp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/csexp/1.5.2/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/ocaml_intrinsics_kernel/v0.17.2/doc/ocaml_intrinsics_kernel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/ocaml_intrinsics_kernel/v0.17.2/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/menhirSdk/20260209/doc/menhirSdk/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/menhirSdk/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_make/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving.api/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_eq/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_std/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_iter/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_show/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_map/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_create/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_enum/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_ord/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_fold/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/2760689e43f721e3cf412d53c68e63bd/sexplib/v0.17.0/doc/sexplib.num/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/2760689e43f721e3cf412d53c68e63bd/sexplib/v0.17.0/doc/sexplib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/2760689e43f721e3cf412d53c68e63bd/sexplib/v0.17.0/doc/sexplib.unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/2760689e43f721e3cf412d53c68e63bd/sexplib/v0.17.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/7868d6f7c62720ffb3f6694e66c3e2a4/parsexp/v0.17.0/doc/parsexp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/7868d6f7c62720ffb3f6694e66c3e2a4/parsexp/v0.17.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/413a55bad7c029095babf3b479e95b78/ppxlib_jane/v0.17.4/doc/ppxlib_jane/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/413a55bad7c029095babf3b479e95b78/ppxlib_jane/v0.17.4/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/6f01382a4f96978149c3c2b2ca48f722/menhir/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/3dcf4abb7501034b403c557ffea80e8f/dune-configurator/3.23.1/doc/dune-configurator/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/3dcf4abb7501034b403c557ffea80e8f/dune-configurator/3.23.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/128a9098365655e3c58e2079337fb081/dune/3.23.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.astlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.print_diff/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.ast/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.metaquot_lifters/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib_traverse/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib_metaquot/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.runner/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.runner_as_ppx/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.stdppx/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.traverse_builtins/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/fe246aa7586c7170122f0d754bfeed9d/ppx_sexp_conv/v0.17.1/doc/ppx_sexp_conv/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/fe246aa7586c7170122f0d754bfeed9d/ppx_sexp_conv/v0.17.1/doc/ppx_sexp_conv.runtime-lib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/fe246aa7586c7170122f0d754bfeed9d/ppx_sexp_conv/v0.17.1/doc/ppx_sexp_conv.expander/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/fe246aa7586c7170122f0d754bfeed9d/ppx_sexp_conv/v0.17.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/13e2e8c661bbe76f01c7bdb938801ca6/base/v0.17.3/doc/base.base_internalhash_types/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/13e2e8c661bbe76f01c7bdb938801ca6/base/v0.17.3/doc/base.shadow_stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/13e2e8c661bbe76f01c7bdb938801ca6/base/v0.17.3/doc/base/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/13e2e8c661bbe76f01c7bdb938801ca6/base/v0.17.3/doc/base.md5/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/13e2e8c661bbe76f01c7bdb938801ca6/base/v0.17.3/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/dynlink/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/compiler-libs.toplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/odoc_info/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/compiler-libs.common/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/compiler-libs.bytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/compiler-libs.optcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/runtime_events/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-compiler/5.4.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/num/1.6/doc/num.core/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/num/1.6/doc/num_top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/num/1.6/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/zarith/1.14/doc/zarith/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/zarith/1.14/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/camlzip/1.14/doc/zip/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/camlzip/1.14/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 855 precompiled units, 1 other units
odoc_driver_voodoo: [DEBUG] Error during compilation of module Yices (hash 5ff60943af40d3ebc3d91bbf51604c98, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Xml (hash 984af8a216b3ceaa79b0effb36bf946c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Wstdlib (hash 87ccfd0c25459c26d0a937ae08838292, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Whyconf (hash 14e5eed94c7799dd84d624015c60b6bc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Why3printer (hash f8d2556117f547237ce3bbebdae0e74e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Weakhtbl (hash 8431669eb1a2e9e9fbeaec007c58e820, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Vector (hash e71afb5f914957e1b906cb9d891d7546, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Vc (hash ffb4f2b2e5981156d08f0134590cb6e0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Util (hash a18c1ad694ae9336f1957d5ab9dc264d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Unix_scheduler (hash 5b33c56a8ecbef7b8b012aac29496a8e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typing (hash 14b0cd783ca79851cfd867085eb674eb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typeinv (hash a2a295de6e28ef02f42445fed3f8b94b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ty (hash 52f5f7028f4feb120c5c3d600cd1ca67, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Trans (hash 38762e33dc187f976d0ae43f2a3c1ed0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Theory (hash e3ba5a450ddf63685b1b7be219f83139, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Termcode (hash 6384ea724f470db3a3081eeb0b6b1b1b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Term (hash f0a9a1e62fe7d6b82d0e4ebf9e60da79, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Task (hash edaac0ae972b2165da3e5ca3540c2df8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sysutil (hash b6060ff1b5cc06abad2b4f2839f6f4d4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Subst (hash 7be9440de7a9ca575e694f753dcf10c0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strings (hash f7eaea923d8f4d617bcfe6e962978f07, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy_parser (hash 8794da615aa3e0301396cec91544461d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy (hash 0a824f07121d7771f624cf49ec8a0e29, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Split_goal (hash e81dfa3a222205e5adfcd88f82914fad, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2_model_parser (hash e781c2f172c19019679bcc0e95cc76bd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2_model_defs (hash dae783bcb5f005ffc2361f1d7297e787, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2 (hash a4538ec398ae315993e578fb7773ef38, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv1 (hash a6fad6cb061ff981b649b98d611c5518, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smoke_detector (hash 3c1116eed2686171b15b05ef7fbf53ef, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify_formula (hash 0358dda3bd0f81207e21bcb2adbad3b5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify_array (hash 4948dd8bfed444e87c6a883dfcf2ced0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify (hash 2eb125d27157f11841015a6b131faa59, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sexp_parser (hash f34a649fe668f9171c4e4c3e663e141d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sexp (hash 81de6fbcc367345ac53ea9f767098852, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Session_itp (hash 7f3e2002cd1ab55be13274240a2e85a7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Server_utils (hash a4e3d485a527a4e2e17165c1394af627, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Report (hash b10ebdff352046bc4f01d8d42e5eaf33, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Remove_unused (hash 04c334ca58bfa639ed4c32f59428132d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Reflection (hash 996d5ae2d1e2d28fcc986c70775cb756, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Reduction_engine (hash f9945421dcc18e98a535c3c11cf6f2a9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Re (hash 54467db36abb852cc1bc9b603a8794d3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rc (hash 03b9dca7463098ffb76ec81e69144685, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rac (hash 1e405b19653818519a149c23ac1497f2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pvs (hash 387ff27cb3c5f876d1f5af5766deda48, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree_helpers (hash ad8a0167ab39d8a503693400e528af96, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree (hash 6eab81a9541e0f45d226dab8fd608de5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prove_client (hash ccab8325d8b288e446de1981a73d0a1d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prop_curry (hash 0039bcac9038e4f6e3177e4ba328f70c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Printer (hash 375c10dd43afc3c84f75d93071a3c7ac, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Print_tree (hash c4c66cab145f78fa1b72f5a72f7329a0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pretty (hash 396e5e2311029b51a10727d30008d3ce, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prepare_for_counterexmp (hash f7792bb3e632fdbdc156331633547491, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pqueue (hash 5816c1bba3af44c646abdde9e2cf6ad0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pp (hash 6790ce359b55a1d9918d3908dc167def, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pmodule (hash ffdd5139eaee56dabb41ba66ab9f835e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Plugin (hash 439a46fe341bc2e821820b2a0e1bee06, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp_core (hash f2a438b78bb5f371ceb6318127814299, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp (hash a87c5978c2ce245dda649c7038479e5d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdriver (hash 5fe198041ef0288d3b721e2a60a1caa3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdecl (hash 53cfaf65e826091baf08c7451563560b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pattern (hash 02b2f4550c86a1de2f2d96c865702cf5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser_tokens (hash f8652c0c7deba3522fde1aec42fea007, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser_messages (hash d156b23a453faca8cc7309a81643a13b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser (hash dfba3f57f8c670ff843e01a45250413c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Opt (hash 9019fd04eab0a07f533c0b19d6fad70f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ocaml (hash 16febad9dd538edc4ccc7d3aa5a73e8c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Number (hash ec811450fda1a1cb14837b9936a55386, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mysexplib (hash 760a0e96fdf698584217221edc54e837, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Model_parser (hash da38688984bc7f08a09edd71765dfc11, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlw_printer (hash d37372d0e6e8a327286abd55c44ca0c8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mltree (hash 184215dc6a3deffad72daec641f26bd9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlmpfr_wrapper (hash 9535da8baa83dd4572216c16201f0d16, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlinterp (hash 54f26602d94c8cebc625f3351811ae23, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ml_printer (hash fb4fe9e46774fa70d4e1e2b015602e8d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mathematica (hash daf4736a95b5c5fc0132aacdac701eda, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Loc (hash 9d349988774d62ddfa538d698f88b214, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lists (hash 9ed546fc3333ba5f4be74c43579cba78, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lift_epsilon (hash b0c12119c919bb3d3d81e57c6d8f8c66, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Libencoding (hash 8a51215887e0b32e6a111b076556f271, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexlib (hash bd5c423d7d5392d5a9e6b7f1836df958, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexer (hash bf7877bc0d0840e5f2ee2130ecabed47, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Keywords (hash c3b3396923b2dd30ccadfc888f1d5533, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Keep_only_arithmetic (hash 24290a1ebfe0e8a24782a41315fedec3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_util (hash ca7f084171ba41a981898b6151dca3c8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_parser (hash 45a7b697aa46d739902c624a8e5dabae, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_lexer (hash ee0b15dbc6adba23ad3b9d919df652e7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_base (hash aed0c9271087e41787d581803eec01c6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Java (hash aa31f54fdc602c76efafc5dbfe51edcc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ity (hash d3a22bf30cdf61cf2ae987c9dd231e97, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_server (hash 1936bf5f9826c6f7f09d76e62d97afe0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_communication (hash 0bc026a524adaa3dbc4460b02077ed91, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Isabelle (hash bd246e2bbbed86dd52df77852d6d0056, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Introduction (hash 6384276cb859213f1cd5f57648329889, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Instantiate_predicate (hash 6636b808b28f572d856b722ff2ee0658, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Inlining (hash e093c0d2a1412ebe77ad24ff8df6ffbf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Induction_pr (hash 2c66a942ecebcf4c28811db28aeac2b9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Induction (hash 1123527f8c43ae376d2a0e31500abba4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ind_itp (hash 1a40cc8f9b042fc80765c096791166c6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ident (hash 5fd9aebec414510bce33638585fe94ab, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Hcpt (hash d51aa6eb61b398078cd4c63a52458802, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Hashcons (hash f3b8939a1afa34bd41640f2b8f7ae9da, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Glob (hash 5a816401878d4119f5a8ad6cea74721c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Getopt (hash 59a99420be277fae3d3167cce7e3e487, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Generic_arg_trans_utils (hash e38b03b8e00def4f94f1a5a18b966968, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Gappa (hash 3838f459b930686f4fdd94cebddabc71, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Filter_trigger (hash 77dd0cb955d554f73b144b35c4390136, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extset (hash 1179cd37ceebdf4abf9ed8d1a248f002, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extmap (hash 8d1224929fdaec0edcddba33c780c236, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Exthtbl (hash ab3f1a1974b74c3c4ec0e234e7bbf501, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extensional (hash 6cf33abdb0899570ff3feadfdefd6bcd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Expr (hash 39c8022b1208c5dd12722fd238d41302, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Exn_printer (hash 900c2f5d6790e6c312a9690c88e7b78e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eval_match (hash 4aa110f94443eec6f2878bfd4da796ff, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Env (hash 9c6c5812f3dde409a6ccca2498faa7c3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_twin (hash 26bc5c1029153d94bc71b0f7ad23ff5b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_tags_full (hash d2aeece511faa8b1ad317e59d1814110, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_tags (hash 705d52883c426a698e61831baba4ced3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_sort (hash 750b494cc3d65fb20ea7807434d60469, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_select (hash 6b0512d12e909956080308e70efd6a12, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_guards_full (hash 79c4dcfac5560cf60d8c125120c611ec, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_guards (hash 9b6cf57bf7542f5b54d3eaafba13bac2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding (hash 939545f08b607d8023b80292982c1853, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_unknown_types (hash 96ccaa3e18dc73e49679951819892692, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_unknown_lsymbols (hash 2c2e926a8a0ab1186c83ed42fb48a917, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_symbol (hash a1157b774ec1b05797585f68108826c0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_literal (hash b0e0f8ddfc72e28f7a7aa1c02ac16064, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_let (hash cea6f93ce7654af1091e4f1becc9df36, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_inductive (hash 2136f071023eb569878d8e058eefe55c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_if (hash b5c725ef166f36ac9b88c98653d9e0fc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_epsilon (hash 0f3fdd514beede785212659736df7ccd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_definition (hash 6adb5612f16b7eaa246b91598c41fb95, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_algebraic (hash 9c1d5a6be1fc17d0d72687b50e5af1c8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dterm (hash 60590a54e48de9670856b2e61fe70cc1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_parser (hash 35796c2bb20956fd6fed7bd82db86110, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_lexer (hash 85fcd8bb8e3e29b5eccacbcae30263f1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_ast (hash 5ca0b528c52bb058c0aebf481b76d8d6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver (hash 4cd505f884a5ad7b56015474feb36a0c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Discriminate (hash 653db4a40fd5241f13e25037e3e47097, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Diffmap (hash 9038393f23ede5538874aac728fef5a4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dexpr (hash 42c901ab0ceb7493888ff9c9531a9555, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Detect_polymorphism (hash 6aaa85b5281e4a1ae73fdb24cb52ec04, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Destruct (hash 206e0f86d5dbfecef66c6ad8cfa0930e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Decl (hash baa3ed7725bb139e66fff385dd39766f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Debug (hash 77095a36979b378a69721b57fe5080ab, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cvc3 (hash 80d5a4575d45a14fd0f481cc545483fc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cut (hash 764eddd6f127a24bc96941ce38b3c403, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Coq (hash 3008be944db912148c3429294a61f796, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Controller_itp (hash 3a4e7ef569c5f881a96f146c467634d8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Constant (hash 50c6832ce156b62adbebaf9d4102f74f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Congruence (hash 9647184f506ea056154bb7ba8885ede7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Config (hash ae1297cdce62c444abeb072e1334ca9d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compute (hash b6f90e753bf2ab95d86570cd94603bc9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compress (hash c37ebc1f44740d099649a028aa6a8695, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compile (hash a0f49a0ae81e1511cb2bf94ab94a1a3d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Coercion (hash 08279b7f5cd394b6237e4e2eae0e3940, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cntexmp_printer (hash 371c8718f6b5a14dd8530140cd5fb8b1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cmdline (hash 6dffa94b8ccc137827294a365265c6f5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Close_epsilon (hash 74d95aca4fb45fab5ba1c03776d231bd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Check_ce (hash e78a8a4881ead2490e923ddb6b9feb9a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Case (hash 7a462fd141c7d8311b64c6255d2bd1d2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Call_provers (hash 5aa2a06b0b4f157f9cf87c45f6ac166d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cakeml (hash b7b2e06e9fb25d6de29e3a187b0311bd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module C (hash 95d005284120f24c49f592a80a6b24e6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Big_real (hash e5f476fd2e37d96887d8b3865be3373b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module BigInt (hash 0c4d51b0feb7f9e3d167864ec30610f1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Autodetection (hash 8d855636fc455dbe33bc0bac5806fb48, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Args_wrapper (hash a2c5bd1fc1b2efe53cf0c486041cc650, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Apply (hash 77d3f02b0ce9e6661a7896f00d82347f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Alt_ergo (hash 19fc59ad3a9e44011d7d66a3c729bde9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Abstraction (hash c48b47a01884e427d4795a4f1b306b4c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Abstract_quantifiers (hash ca22ed84f838fa72007659fbdd569ea0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] 6 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/why3/1.8.2/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/why3/1.8.2/doc
odoc_driver_voodoo: [DEBUG] 7 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/why3/1.8.2/doc/why3/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/why3/1.8.2/doc/why3
odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/219fbcc171d185e26aaa5319d0e4b71a/why3/1.8.2/lib/why3/why3.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/camlzip/1.14/doc/zip/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/dynlink/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/str/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/unix/ -I /home/opam/odoc-out/p/why3/1.8.2/doc/why3 -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirLib/20260209/doc/menhirLib/ -I /home/opam/odoc-out/u/2760689e43f721e3cf412d53c68e63bd/sexplib/v0.17.0/doc/sexplib/ --enable-missing-root-warning --parent-id p/why3/1.8.2/doc/why3 --warnings-tag why3
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/why3/1.8.2/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/why3/1.8.2/doc/why3/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/why3/1.8.2/doc/why3/why3.odoc
odoc_driver_voodoo: [DEBUG] 9 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/why3/1.8.2/doc/page-index.odoc -o /home/opam/odoc-out/p/why3/1.8.2/doc/page-index.odocl -P why3:/home/opam/odoc-out/p/why3/1.8.2/doc -L why3:/home/opam/odoc-out/p/why3/1.8.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/p/why3/1.8.2/doc/why3/page-index.odoc -o /home/opam/odoc-out/p/why3/1.8.2/doc/why3/page-index.odocl -L why3:/home/opam/odoc-out/p/why3/1.8.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/p/why3/1.8.2/doc/why3/why3.odoc -o /home/opam/odoc-out/p/why3/1.8.2/doc/why3/why3.odocl -P why3:/home/opam/odoc-out/p/why3/1.8.2/doc -L dynlink:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/dynlink/ -L menhirLib:/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirLib/20260209/doc/menhirLib/ -L sexplib:/home/opam/odoc-out/u/2760689e43f721e3cf412d53c68e63bd/sexplib/v0.17.0/doc/sexplib/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -L str:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/str/ -L unix:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/unix/ -L why3:/home/opam/odoc-out/p/why3/1.8.2/doc/why3 -L zarith:/home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -L zip:/home/opam/odoc-out/p/camlzip/1.14/doc/zip/ -I /home/opam/odoc-out/p/camlzip/1.14/doc/zip/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/dynlink/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/str/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/unix/ -I /home/opam/odoc-out/p/why3/1.8.2/doc/why3 -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirLib/20260209/doc/menhirLib/ -I /home/opam/odoc-out/u/2760689e43f721e3cf412d53c68e63bd/sexplib/v0.17.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/p/why3/1.8.2/doc/why3 -o /home/opam/odoc-out/p/why3/1.8.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/p/why3/1.8.2/doc --occurrences /home/opam/odoc-out/p/why3/1.8.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/p/why3/1.8.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/p/why3/1.8.2/doc/index.js --root /home/opam/odoc-out/p/why3/1.8.2/doc --occurrences /home/opam/odoc-out/p/why3/1.8.2/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 18 - Executing: sherlodoc index --format js _index/why3/index.odoc-index -o /home/opam/html/p/why3/1.8.2/doc/sherlodoc_db.js
odoc_driver_voodoo: [DEBUG] 19 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/why3/1.8.2/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.8.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/p/why3/1.8.2/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.8.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/p/why3/1.8.2/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.8.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/p/why3/1.8.2/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.8.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/p/why3/1.8.2/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.8.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/p/why3/1.8.2/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.8.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-16 21:00.48: OK: doc why3.1.8.2 (runc: 1.1s, disk: 165KB)
2026-06-16 21:00.48: Job succeeded