2026-06-20 20:19.45: New job: doc why3.1.8.2 (636167260ad3)
2026-06-20 20:19.45: Waiting for resource in pool day11-builds
2026-06-20 20:29.55: Got resource from pool day11-builds
2026-06-20 20:29.55: [profile full] doc why3.1.8.2
2026-06-20 20:29.55: doc why3.1.8.2 (636167260ad3)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
=== DEBUG: pre-voodoo image inventory ===
-- pkg markers (.odoc_pkg_marker) --
/home/opam/odoc-out/p/base/v0.17.3/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/camlzip/1.14/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/cppo/1.8.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/dune-configurator/3.23.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/dune/3.23.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/num/1.6/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/ocaml-compiler-libs/v0.17.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/ocaml_intrinsics_kernel/v0.17.2/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/ppx_derivers/1.2.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/ppx_sexp_conv/v0.17.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/ppxlib_jane/v0.17.4/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/zarith/1.14/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/102b7e6a2dc5cc8e09d7120b261e4ee9/sexplib/v0.17.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/9966f75f31f0a6d80192e6371dfccb82/parsexp/v0.17.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/csexp/1.5.2/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/menhirCST/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/menhirGLR/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/menhirLib/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/menhirSdk/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/ocamlgraph/2.2.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/sexplib0/v0.17.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/stdlib-shims/0.3.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/9fe92bdf452c573e3ccac18f030d7162/menhir/20260209/doc/.odoc_pkg_marker
-- lib markers (.odoc_lib_marker) --
/home/opam/odoc-out/p/base/v0.17.3/doc/base.base_internalhash_types/.odoc_lib_marker
/home/opam/odoc-out/p/base/v0.17.3/doc/base.md5/.odoc_lib_marker
/home/opam/odoc-out/p/base/v0.17.3/doc/base.shadow_stdlib/.odoc_lib_marker
/home/opam/odoc-out/p/base/v0.17.3/doc/base/.odoc_lib_marker
/home/opam/odoc-out/p/camlzip/1.14/doc/zip/.odoc_lib_marker
/home/opam/odoc-out/p/dune-configurator/3.23.1/doc/dune-configurator/.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-libs/v0.17.0/doc/ocaml-compiler-libs.bytecomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.common/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.optcomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.shadow/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.toplevel/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml_intrinsics_kernel/v0.17.2/doc/ocaml_intrinsics_kernel/.odoc_lib_marker
/home/opam/odoc-out/p/ppx_derivers/1.2.1/doc/ppx_derivers/.odoc_lib_marker
/home/opam/odoc-out/p/ppx_sexp_conv/v0.17.1/doc/ppx_sexp_conv.expander/.odoc_lib_marker
/home/opam/odoc-out/p/ppx_sexp_conv/v0.17.1/doc/ppx_sexp_conv.runtime-lib/.odoc_lib_marker
/home/opam/odoc-out/p/ppx_sexp_conv/v0.17.1/doc/ppx_sexp_conv/.odoc_lib_marker
/home/opam/odoc-out/p/ppxlib_jane/v0.17.4/doc/ppxlib_jane/.odoc_lib_marker
/home/opam/odoc-out/p/zarith/1.14/doc/zarith/.odoc_lib_marker
/home/opam/odoc-out/u/102b7e6a2dc5cc8e09d7120b261e4ee9/sexplib/v0.17.0/doc/sexplib.num/.odoc_lib_marker
/home/opam/odoc-out/u/102b7e6a2dc5cc8e09d7120b261e4ee9/sexplib/v0.17.0/doc/sexplib.unix/.odoc_lib_marker
/home/opam/odoc-out/u/102b7e6a2dc5cc8e09d7120b261e4ee9/sexplib/v0.17.0/doc/sexplib/.odoc_lib_marker
/home/opam/odoc-out/u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving.api/.odoc_lib_marker
/home/opam/odoc-out/u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/.odoc_lib_marker
/home/opam/odoc-out/u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving_create/.odoc_lib_marker
/home/opam/odoc-out/u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving_enum/.odoc_lib_marker
/home/opam/odoc-out/u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving_eq/.odoc_lib_marker
/home/opam/odoc-out/u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving_fold/.odoc_lib_marker
/home/opam/odoc-out/u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving_iter/.odoc_lib_marker
/home/opam/odoc-out/u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving_make/.odoc_lib_marker
/home/opam/odoc-out/u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving_map/.odoc_lib_marker
/home/opam/odoc-out/u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving_ord/.odoc_lib_marker
/home/opam/odoc-out/u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving_show/.odoc_lib_marker
/home/opam/odoc-out/u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving_std/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.bytecomp/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.common/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.optcomp/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.toplevel/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/dynlink/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/odoc_info/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/runtime_events/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/str/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/threads/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/unix/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
/home/opam/odoc-out/u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/ppxlib.ast/.odoc_lib_marker
/home/opam/odoc-out/u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/ppxlib.astlib/.odoc_lib_marker
/home/opam/odoc-out/u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/ppxlib.metaquot_lifters/.odoc_lib_marker
/home/opam/odoc-out/u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/ppxlib.print_diff/.odoc_lib_marker
/home/opam/odoc-out/u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/ppxlib.runner/.odoc_lib_marker
/home/opam/odoc-out/u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/ppxlib.runner_as_ppx/.odoc_lib_marker
/home/opam/odoc-out/u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/ppxlib.stdppx/.odoc_lib_marker
/home/opam/odoc-out/u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/ppxlib.traverse_builtins/.odoc_lib_marker
/home/opam/odoc-out/u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/ppxlib/.odoc_lib_marker
/home/opam/odoc-out/u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/ppxlib_metaquot/.odoc_lib_marker
/home/opam/odoc-out/u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/ppxlib_traverse/.odoc_lib_marker
/home/opam/odoc-out/u/9966f75f31f0a6d80192e6371dfccb82/parsexp/v0.17.0/doc/parsexp/.odoc_lib_marker
/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/csexp/1.5.2/doc/csexp/.odoc_lib_marker
/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/menhirCST/20260209/doc/menhirCST/.odoc_lib_marker
/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/menhirGLR/20260209/doc/menhirGLR/.odoc_lib_marker
/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/menhirLib/20260209/doc/menhirLib/.odoc_lib_marker
/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/menhirSdk/20260209/doc/menhirSdk/.odoc_lib_marker
/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/ocamlgraph/2.2.0/doc/ocamlgraph/.odoc_lib_marker
/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/sexplib0/v0.17.0/doc/sexplib0/.odoc_lib_marker
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/39428d1c93d69743577591ef87181961/why3/1.8.2/
=== END DEBUG ===
process_meta_file: prep/universes/39428d1c93d69743577591ef87181961/why3/1.8.2/lib/why3/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: why3, [8]

odoc_driver_voodoo: [DEBUG] No config file found: prep/universes/39428d1c93d69743577591ef87181961/why3/1.8.2/doc/why3/odoc-config.sexp
prep/universes/39428d1c93d69743577591ef87181961/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/39428d1c93d69743577591ef87181961/why3/1.8.2/lib/why3/META
odoc_driver_voodoo: [DEBUG] prep/universes/39428d1c93d69743577591ef87181961/why3/1.8.2/lib/why3/why3,why3

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/39428d1c93d69743577591ef87181961/why3/1.8.2/lib/why3/

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

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/39428d1c93d69743577591ef87181961/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/39428d1c93d69743577591ef87181961/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/39428d1c93d69743577591ef87181961/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/39428d1c93d69743577591ef87181961/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/39428d1c93d69743577591ef87181961/why3/1.8.2/lib/why3/commands
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9dd8b2c487f0adbb2010a546bf835b72/menhirSdk/20260209/doc/menhirSdk/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/9dd8b2c487f0adbb2010a546bf835b72/menhirSdk/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9dd8b2c487f0adbb2010a546bf835b72/menhirLib/20260209/doc/menhirLib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/9dd8b2c487f0adbb2010a546bf835b72/menhirLib/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9dd8b2c487f0adbb2010a546bf835b72/csexp/1.5.2/doc/csexp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/9dd8b2c487f0adbb2010a546bf835b72/csexp/1.5.2/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9dd8b2c487f0adbb2010a546bf835b72/menhirCST/20260209/doc/menhirCST/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/9dd8b2c487f0adbb2010a546bf835b72/menhirCST/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9dd8b2c487f0adbb2010a546bf835b72/sexplib0/v0.17.0/doc/sexplib0/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/9dd8b2c487f0adbb2010a546bf835b72/sexplib0/v0.17.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9dd8b2c487f0adbb2010a546bf835b72/menhirGLR/20260209/doc/menhirGLR/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/9dd8b2c487f0adbb2010a546bf835b72/menhirGLR/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/9dd8b2c487f0adbb2010a546bf835b72/stdlib-shims/0.3.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9dd8b2c487f0adbb2010a546bf835b72/ocamlgraph/2.2.0/doc/ocamlgraph/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/9dd8b2c487f0adbb2010a546bf835b72/ocamlgraph/2.2.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving_make/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving.api/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving_eq/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving_std/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving_iter/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving_show/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving_map/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving_create/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving_enum/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving_ord/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/ppx_deriving_fold/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/538d3c990f9c6f827e3e898bb988336c/ppx_deriving/6.1.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/ppxlib.astlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/ppxlib.print_diff/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/ppxlib.ast/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/ppxlib.metaquot_lifters/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/ppxlib_traverse/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/ppxlib_metaquot/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/ppxlib.runner/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/ppxlib.runner_as_ppx/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/ppxlib.stdppx/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/ppxlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/ppxlib.traverse_builtins/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/74b9a1f233c4e1ead44d1bb1e8d620e5/ppxlib/0.38.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/dynlink/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.toplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/odoc_info/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.common/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.bytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.optcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/runtime_events/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/102b7e6a2dc5cc8e09d7120b261e4ee9/sexplib/v0.17.0/doc/sexplib.num/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/102b7e6a2dc5cc8e09d7120b261e4ee9/sexplib/v0.17.0/doc/sexplib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/102b7e6a2dc5cc8e09d7120b261e4ee9/sexplib/v0.17.0/doc/sexplib.unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/102b7e6a2dc5cc8e09d7120b261e4ee9/sexplib/v0.17.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9966f75f31f0a6d80192e6371dfccb82/parsexp/v0.17.0/doc/parsexp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/9966f75f31f0a6d80192e6371dfccb82/parsexp/v0.17.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/9fe92bdf452c573e3ccac18f030d7162/menhir/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml_intrinsics_kernel/v0.17.2/doc/ocaml_intrinsics_kernel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml_intrinsics_kernel/v0.17.2/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/dune-configurator/3.23.1/doc/dune-configurator/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/dune-configurator/3.23.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.common/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.toplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.optcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.shadow/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.bytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-compiler-libs/v0.17.0/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 pkg marker: p/cppo/1.8.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ppx_sexp_conv/v0.17.1/doc/ppx_sexp_conv/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ppx_sexp_conv/v0.17.1/doc/ppx_sexp_conv.runtime-lib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ppx_sexp_conv/v0.17.1/doc/ppx_sexp_conv.expander/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ppx_sexp_conv/v0.17.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/dune/3.23.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ppxlib_jane/v0.17.4/doc/ppxlib_jane/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ppxlib_jane/v0.17.4/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ppx_derivers/1.2.1/doc/ppx_derivers/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ppx_derivers/1.2.1/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] 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/base/v0.17.3/doc/base.base_internalhash_types/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/base/v0.17.3/doc/base.shadow_stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/base/v0.17.3/doc/base/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/base/v0.17.3/doc/base.md5/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/base/v0.17.3/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 858 precompiled units, 1 other units
odoc_driver_voodoo: [DEBUG] Error during compilation of module Yices (hash ab53ad3c2a588fbb41a5da768756b303, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Xml (hash fcda8fb872893bcdc91352da80667907, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Wstdlib (hash 13a2961430d3306064442776f77860b4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Whyconf (hash 93c82c7506537267ac8b5abfd1ada133, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Why3printer (hash aa5ed864e3a92d96ce132d5b8504b4c8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Weakhtbl (hash f6b898cd5eafde3a925f60f26a1c30db, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Vector (hash 5b463f297289cbc28fc1ed83616617eb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Vc (hash 1f4b6d901dd1d42fd45dac20535acaa4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Util (hash abda08441fe6aa40ffb43424ec2a9072, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Unix_scheduler (hash 85a57d753a8fe5bfe555d3c849dd5007, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typing (hash 31bdaf257e849ac6be71537f416c2832, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typeinv (hash 3558d01e76b8425e6db581269c12df1a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ty (hash 2e8cba9337e7e5810bb966c4cf68a9c8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Trans (hash 1a5a7678446a61048879e0de9040c4d3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Theory (hash 2985b798310fe991c7f0cd062ed10feb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Termcode (hash d6a2fc19b110c1878da0ec859b5e09d4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Term (hash 8aeb3c163838a3c3b381b95f6c30225c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Task (hash 2bb3d3ac541f8b758379977954105dee, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sysutil (hash 6e7280e47cd64d1e7c4a13ebbc20e837, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Subst (hash db7114944044bd5e12280ea0111abc74, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strings (hash 33e26fe2f2acc1f7c23614fbccdb1e52, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy_parser (hash 0eb3b240aa852148851c6a79b45128ea, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy (hash 9b78cc6c9b60d2df6aae13f5a5071635, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Split_goal (hash 7bcf25792e980ae461dad71e43644efd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2_model_parser (hash cf5d3510f0a09c337a6375f8aec6e858, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2_model_defs (hash 904bec9f8d38d3960ebaaede4a053b48, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2 (hash faa961bc89c7e78bb5dbdc64ac846b92, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv1 (hash 4f2b48554748535d5f350820639ad9fc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smoke_detector (hash 4f9eb5e8056d53c4905e3b81092f841c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify_formula (hash bc43785cc47cafb7215b9795f4272312, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify_array (hash 461c01e6bdd1faf44dee6ab80378d181, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify (hash 540bd6a73ac71e61cb14ce64c7620b4d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sexp_parser (hash 9fcf9b70768e48c24788a73a705211ef, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sexp (hash 8d821b45cec5943de07e817293b53c5a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Session_itp (hash 295b24557492dc2f6a33b5720f6f5aea, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Server_utils (hash f886971078e0863cb4f7bdefe82eae6a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Report (hash 6b7d03e68b7cff89fa86c0c3ad29d127, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Remove_unused (hash 574eb367527fc919001a003fc5172c30, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Reflection (hash 72ce75d2b17efc7512451d819458ad4c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Reduction_engine (hash a616f666698a55b0b4aa60c466dbf5da, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Re (hash 6b4aa1b5a8c54407c4c593d1bf66bc45, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rc (hash a70280038f013054324f3226ad616c23, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rac (hash 870d36e52536eee474f6e08aa20386cb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pvs (hash fd99ba8734bd91a4021d16507605bdc4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree_helpers (hash 096c42d10e7e28bbbde00a085e238db0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree (hash f1d024ea1c6e93ff9d616257d4d3e0ee, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prove_client (hash 505b299efe07e80cbf775764f9073e6f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prop_curry (hash 127553ea2beef3a0df64e8fb73da1dfa, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Printer (hash 875a14baed46e1a1f66da560fa5b52c7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Print_tree (hash 59068e5cd90971b970b726e0b80e0468, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pretty (hash 3b474460770c56025045e538e9df50b1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prepare_for_counterexmp (hash 7a0427232d5b70c0bfad61056ff3c4ab, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pqueue (hash 47781d28a886507cc1659a4180a123c2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pp (hash 648b75c7e02b64167cb47f4a9dd937e8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pmodule (hash 68417e85b212ee842491ab4ca4f6dfd2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Plugin (hash de050a4e023a67b2657467c13e2cf29e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp_core (hash 3904cbbcc6e88553761ffe4bd46ffdd3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp (hash 874ab524385a3114a4acf2e77da3a275, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdriver (hash b76834c6f13f99fd0500c4b78aafed67, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdecl (hash 011fb8426fabfddf86205056f9e26963, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pattern (hash 91c283a7cffdfec3773879d08ee390c6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser_tokens (hash d42ad048ccbc3939a3c4ffc956c095bd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser_messages (hash deba75d799c5a649ffa074a85cf343ad, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser (hash 38d9a30ab2e6f3c9741ca81f8f5fef34, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Opt (hash 27ffb26741f95dd00412fe9896ad716d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ocaml (hash 6f52d92bd02a38879d9c9566fd7a8cc0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Number (hash e7f853c76174c2638bd4ab1032c33a4d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mysexplib (hash 593e615fe2b988a8b74ebdd7615a46eb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Model_parser (hash ea8d1a941cae6c4169c98993d1cdb725, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlw_printer (hash 8193aac2e137d1ee88998c3e3bda523e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mltree (hash 32b4eacc9aa01ab4c3ee9ca3ab0c0029, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlmpfr_wrapper (hash b569dbb2ac8aefc28810078ef24fdcb3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlinterp (hash 3571f129e8f5375cc6a425280c13ae72, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ml_printer (hash 2b6aff70afa16fc3065c43def9574484, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mathematica (hash da8a293de375d31209667cc43a54ca6d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Loc (hash 6db261e0ed832f02b4539a69accfa705, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lists (hash f3d759c5853acdd596c2e174c7c58bc6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lift_epsilon (hash e054184e553f99424e9dcafd7169e4a1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Libencoding (hash 8ef7e539574ecf9b0d67af61e672bcc1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexlib (hash 3678b3b9445c9e76fed314d5756efae2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexer (hash 897fb984c050e29461409bc891573718, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Keywords (hash 1c996d8462e49d6c7562b062ff621d65, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Keep_only_arithmetic (hash 37f1cab96a80b8ca0adc098e66252378, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_util (hash 002c1d74676b3f6e859a6a29e029a80d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_parser (hash f60ce35f837161a569dfebac1f3ab86d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_lexer (hash 8a330b71b9ebf5319f9041a2e51deb5e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_base (hash c1cbe2f4f32a4b3fd01e5c949d76a7c5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Java (hash e314dc6b21acfa7ab6f801b96d7f5314, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ity (hash 50bc8fb6698f594595fb16b7a8ea91ee, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_server (hash 0e6eec91914f00a894868e97fb793923, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_communication (hash fa303cb4c180aa53e1bd74958c81345c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Isabelle (hash f24b68ebbc77ad70771e175fb66e5cd5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Introduction (hash b1254909362216f47a857857432b8583, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Instantiate_predicate (hash 226738fe661014fecc81c88f8ebaec8a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Inlining (hash fe8a4a1e1efe8844fc05a3a2bf2ceb7b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Induction_pr (hash 1535f9956a4c91ec964438f741addb64, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Induction (hash 0af4bc41a121ca6ec729065791bcf861, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ind_itp (hash 6e2d3042fa5429be5352aad855ebe044, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ident (hash 98424c9877cdebc4e60454ce046356be, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Hcpt (hash ecf12c1f7acdd877acaae0834cf44cd7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Hashcons (hash 9279822388a7c414a7ea78eb4bfdf66a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Glob (hash 03b22feadc8e1a17731212441f2d3b6f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Getopt (hash 4d4c024934ae07139a8fc55f7ee1bde2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Generic_arg_trans_utils (hash 39b36d9c93ccfb7609cc80d4de389017, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Gappa (hash 1b9565bf5638871e4910499abc4f3b07, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Filter_trigger (hash 1d124fbfe0bdc59101498da28fead09b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extset (hash b85ecacdc78ddc571ef1a3a24c670173, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extmap (hash 5cd060751d0ea542d430b42a600d0bf9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Exthtbl (hash 35bed073c63fdc4e9b49ab5c22400e3e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extensional (hash 3778859e95166fafae8cb502ef1e4345, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Expr (hash 7a3f5dcf52d961a56a1a401926d739ad, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Exn_printer (hash 4aff1a98094a128490a0ec3a0821e7db, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eval_match (hash 3bdd03057cd9f24e05239d15e2c189b9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Env (hash 486392f77333a90ff4011cc458fccbbf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_twin (hash 2ad03c1b2879426441f84f900800f2cd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_tags_full (hash 12f93cc0112639c272c08b1eacc329cc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_tags (hash 595a008e0038ea7a4cdfec232779172c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_sort (hash fe0455150e643146a0d549bbfbeb0e66, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_select (hash 7da02590040bbda1511585ad91c8a8f0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_guards_full (hash e324878c722cd1f291fd0e58e113e0cf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_guards (hash 5b91cfa656a7ddcb2b8e61089e4aa4a1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding (hash 2c7301a79c1e95406b5a298a2eee1f15, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_unknown_types (hash ce320b529b0b9042f830fccd14f32fbf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_unknown_lsymbols (hash af22a95e6e9bbc800929da5ffcdc9bf5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_symbol (hash b1479e29475535ee21d4383ca8768206, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_literal (hash 5eaa1138edaf39fd1a9e992acdfba4f4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_let (hash 031bb1cb3f8a71d651c0f7e862101f31, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_inductive (hash ec6a971d434f41934befab3c9c566936, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_if (hash 5d141afd8227ab632dd447e2cf6f38bd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_epsilon (hash e379097ef61a9af6679a6a8bb4783b61, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_definition (hash 50833f206db0de72db55965c6fc2a3e7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_algebraic (hash 496854ac1161450cb77caeb6396f142f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dterm (hash c2c22b7fd49b31614a73b928bb1d321c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_parser (hash 392749df601fdc43e12250ad6be68987, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_lexer (hash 71815276079ea7c13f391028404dedaf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_ast (hash 336d39ce226882fabb1260f97091feeb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver (hash a748b5309c1c83ebde72577163e220f8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Discriminate (hash 9d0b9a7165f507973d4b049b306f18ee, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Diffmap (hash 9f87e0ba4f6d0dd6da5dad0c86bca22f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dexpr (hash a89562c477fa73820e951389b9af2a55, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Detect_polymorphism (hash bc351f7421ece4572b18ffb692d08626, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Destruct (hash c0ac4746018a4090df06d2e5aeae52cf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Decl (hash 4a6086a4a96cfffe4a23be42026339ec, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Debug (hash 48488bb446fea3899a632a30d1a9e6a2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cvc3 (hash 814ce62d4c9b24d794daf346600f57fa, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cut (hash f9b38a19ca97c561e87efc2145e652d0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Coq (hash e3d577f2aef91bd2b083846a8fdd5807, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Controller_itp (hash 62d0321383fabc028b9e4232a6671a72, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Constant (hash 9b4749fd84642ff34cd514f4260e0d2e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Congruence (hash bb7d0dc9c1a24f81cb5a51b2d19b2f52, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Config (hash 3eb1d8591ba4d054c1e58e9a5eeff9d4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compute (hash 54910de765151ca3b4b02bd3bc2868f2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compress (hash 993889e5e6b1bc25bbed82069c637cdf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compile (hash a548ddf373fbd913942a0a8f1147a9f5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Coercion (hash 19c603a492359decc36310f58144f98a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cntexmp_printer (hash 94d67db0738c9d7b003056d3f0bfe7d7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cmdline (hash 61ee61fd7fcfbd25410e64b6d4daa768, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Close_epsilon (hash e0d551e7c1f854c1dd71034c7320afbe, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Check_ce (hash 5c34e1b4dfb02088ce0987bd25c1dbfd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Case (hash 794eeb9de50c04fa578bd8a14e2b6a2e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Call_provers (hash 25e471ef6de40fb079cdb909e3b5b727, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cakeml (hash caac1f539493f6ce594f6d56e5fcd82b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module C (hash 0b5010fd43183aeb5dabdd5243ee4b7e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Big_real (hash 9c9e2ab2a42d3ec45f68219925f5da72, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module BigInt (hash 4819864e06445462a470bc433635f555, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Autodetection (hash 059ccb328fb8dcc2f1f7746eefd8331d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Args_wrapper (hash b5233ab0ba649a119d8391f972a5d425, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Apply (hash c6c9d986b5964c0646c5ed20ba5566ce, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Alt_ergo (hash 6bec9d301426b5cf63d2690f03be95e7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Abstraction (hash 062b702f9c02a23fd1a162acdb97e72a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Abstract_quantifiers (hash e65766eb7b7ba122379ffc63131bff6c, 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/39428d1c93d69743577591ef87181961/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/why3/1.8.2/doc/why3 -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/102b7e6a2dc5cc8e09d7120b261e4ee9/sexplib/v0.17.0/doc/sexplib/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/dynlink/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/str/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/unix/ -I /home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/menhirLib/20260209/doc/menhirLib/ --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/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/dynlink/ -L menhirLib:/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/menhirLib/20260209/doc/menhirLib/ -L sexplib:/home/opam/odoc-out/u/102b7e6a2dc5cc8e09d7120b261e4ee9/sexplib/v0.17.0/doc/sexplib/ -L stdlib:/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -L str:/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/str/ -L unix:/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/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/why3/1.8.2/doc/why3 -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/102b7e6a2dc5cc8e09d7120b261e4ee9/sexplib/v0.17.0/doc/sexplib/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/dynlink/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/str/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/unix/ -I /home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/menhirLib/20260209/doc/menhirLib/ --current-package why3 --enable-missing-root-warning --warnings-tags why3
odoc_driver_voodoo: [DEBUG] 12 - Executing: /home/opam/doc-tools/bin/odoc count-occurrences /home/opam/odoc-out/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-20 20:30.02: OK: doc why3.1.8.2 (runc: 1.1s, disk: 182KB)
2026-06-20 20:30.02: Job succeeded