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

=== STDOUT ===
=== DEBUG: pre-voodoo image inventory ===
-- pkg markers (.odoc_pkg_marker) --
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/00dccc5c444ac6378ecca07bf0b41a66/zarith/1.14/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/cppo/1.8.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/menhirCST/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/menhirGLR/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/menhirLib/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/menhirSdk/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/ocaml-compiler-libs/v0.17.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/ocamlgraph/2.2.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/ppx_derivers/1.2.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/sexplib0/v0.17.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/stdlib-shims/0.3.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/1e40f790a26602f435e20e64f551bb98/camlzip/1.14/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/4282b635665ec77d87fd8bd942a78f82/menhir/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/83fd175edba241d20d9c232b823a0283/dune/3.23.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/83fd175edba241d20d9c232b823a0283/num/1.6/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/83fd175edba241d20d9c232b823a0283/ocamlfind/1.9.8/doc/.odoc_pkg_marker
-- lib markers (.odoc_lib_marker) --
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/compiler-libs.bytecomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/compiler-libs.common/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/compiler-libs.optcomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/compiler-libs.toplevel/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/dynlink/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/odoc_info/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/runtime_events/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/stdlib/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/str/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/threads/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/unix/.odoc_lib_marker
/home/opam/odoc-out/u/00dccc5c444ac6378ecca07bf0b41a66/zarith/1.14/doc/zarith/.odoc_lib_marker
/home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/menhirCST/20260209/doc/menhirCST/.odoc_lib_marker
/home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/menhirGLR/20260209/doc/menhirGLR/.odoc_lib_marker
/home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/menhirLib/20260209/doc/menhirLib/.odoc_lib_marker
/home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/menhirSdk/20260209/doc/menhirSdk/.odoc_lib_marker
/home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.bytecomp/.odoc_lib_marker
/home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.common/.odoc_lib_marker
/home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.optcomp/.odoc_lib_marker
/home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.shadow/.odoc_lib_marker
/home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.toplevel/.odoc_lib_marker
/home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/ocamlgraph/2.2.0/doc/ocamlgraph/.odoc_lib_marker
/home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/ppx_derivers/1.2.1/doc/ppx_derivers/.odoc_lib_marker
/home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/sexplib0/v0.17.0/doc/sexplib0/.odoc_lib_marker
/home/opam/odoc-out/u/1e40f790a26602f435e20e64f551bb98/camlzip/1.14/doc/zip/.odoc_lib_marker
/home/opam/odoc-out/u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/ppxlib.ast/.odoc_lib_marker
/home/opam/odoc-out/u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/ppxlib.astlib/.odoc_lib_marker
/home/opam/odoc-out/u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/ppxlib.metaquot_lifters/.odoc_lib_marker
/home/opam/odoc-out/u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/ppxlib.print_diff/.odoc_lib_marker
/home/opam/odoc-out/u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/ppxlib.runner/.odoc_lib_marker
/home/opam/odoc-out/u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/ppxlib.runner_as_ppx/.odoc_lib_marker
/home/opam/odoc-out/u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/ppxlib.stdppx/.odoc_lib_marker
/home/opam/odoc-out/u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/ppxlib.traverse_builtins/.odoc_lib_marker
/home/opam/odoc-out/u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/ppxlib/.odoc_lib_marker
/home/opam/odoc-out/u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/ppxlib_metaquot/.odoc_lib_marker
/home/opam/odoc-out/u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/ppxlib_traverse/.odoc_lib_marker
/home/opam/odoc-out/u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving.api/.odoc_lib_marker
/home/opam/odoc-out/u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/.odoc_lib_marker
/home/opam/odoc-out/u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving_create/.odoc_lib_marker
/home/opam/odoc-out/u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving_enum/.odoc_lib_marker
/home/opam/odoc-out/u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving_eq/.odoc_lib_marker
/home/opam/odoc-out/u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving_fold/.odoc_lib_marker
/home/opam/odoc-out/u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving_iter/.odoc_lib_marker
/home/opam/odoc-out/u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving_make/.odoc_lib_marker
/home/opam/odoc-out/u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving_map/.odoc_lib_marker
/home/opam/odoc-out/u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving_ord/.odoc_lib_marker
/home/opam/odoc-out/u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving_show/.odoc_lib_marker
/home/opam/odoc-out/u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving_std/.odoc_lib_marker
/home/opam/odoc-out/u/83fd175edba241d20d9c232b823a0283/num/1.6/doc/num.core/.odoc_lib_marker
/home/opam/odoc-out/u/83fd175edba241d20d9c232b823a0283/num/1.6/doc/num_top/.odoc_lib_marker
/home/opam/odoc-out/u/83fd175edba241d20d9c232b823a0283/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
/home/opam/odoc-out/u/83fd175edba241d20d9c232b823a0283/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
/home/opam/odoc-out/u/83fd175edba241d20d9c232b823a0283/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/
=== END DEBUG ===
process_meta_file: prep/universes/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/lib/why3/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: why3, [7]

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

odoc_driver_voodoo: [DEBUG] Config.packages: 

process_meta_file: prep/universes/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/lib/why3/META
odoc_driver_voodoo: [DEBUG] prep/universes/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/lib/why3/why3,why3

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/lib/why3/

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

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/lib/why3/

odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/why3/plugins
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/lib/why3/plugins for package why3
odoc_driver_voodoo: [DEBUG] 4 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/lib/why3/plugins
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/why3/commands
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/lib/why3/commands for package why3
odoc_driver_voodoo: [DEBUG] 5 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/lib/why3/commands
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.2.1/doc/unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.2.1/doc/stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.2.1/doc/dynlink/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.2.1/doc/compiler-libs.toplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.2.1/doc/odoc_info/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.2.1/doc/compiler-libs.common/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.2.1/doc/compiler-libs.bytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.2.1/doc/compiler-libs.optcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.2.1/doc/str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.2.1/doc/runtime_events/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.2.1/doc/threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-base-compiler/5.2.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0ea083d7d1d91040bc73fc33dbcd7e15/menhirGLR/20260209/doc/menhirGLR/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0ea083d7d1d91040bc73fc33dbcd7e15/menhirGLR/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0ea083d7d1d91040bc73fc33dbcd7e15/stdlib-shims/0.3.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0ea083d7d1d91040bc73fc33dbcd7e15/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.common/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0ea083d7d1d91040bc73fc33dbcd7e15/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.toplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0ea083d7d1d91040bc73fc33dbcd7e15/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.optcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0ea083d7d1d91040bc73fc33dbcd7e15/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.shadow/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0ea083d7d1d91040bc73fc33dbcd7e15/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.bytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0ea083d7d1d91040bc73fc33dbcd7e15/ocaml-compiler-libs/v0.17.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0ea083d7d1d91040bc73fc33dbcd7e15/cppo/1.8.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0ea083d7d1d91040bc73fc33dbcd7e15/menhirSdk/20260209/doc/menhirSdk/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0ea083d7d1d91040bc73fc33dbcd7e15/menhirSdk/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0ea083d7d1d91040bc73fc33dbcd7e15/ppx_derivers/1.2.1/doc/ppx_derivers/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0ea083d7d1d91040bc73fc33dbcd7e15/ppx_derivers/1.2.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0ea083d7d1d91040bc73fc33dbcd7e15/sexplib0/v0.17.0/doc/sexplib0/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0ea083d7d1d91040bc73fc33dbcd7e15/sexplib0/v0.17.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0ea083d7d1d91040bc73fc33dbcd7e15/menhirCST/20260209/doc/menhirCST/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0ea083d7d1d91040bc73fc33dbcd7e15/menhirCST/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0ea083d7d1d91040bc73fc33dbcd7e15/menhirLib/20260209/doc/menhirLib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0ea083d7d1d91040bc73fc33dbcd7e15/menhirLib/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0ea083d7d1d91040bc73fc33dbcd7e15/ocamlgraph/2.2.0/doc/ocamlgraph/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0ea083d7d1d91040bc73fc33dbcd7e15/ocamlgraph/2.2.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/00dccc5c444ac6378ecca07bf0b41a66/zarith/1.14/doc/zarith/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/00dccc5c444ac6378ecca07bf0b41a66/zarith/1.14/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/4282b635665ec77d87fd8bd942a78f82/menhir/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/ppxlib.astlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/ppxlib.print_diff/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/ppxlib.ast/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/ppxlib.metaquot_lifters/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/ppxlib_traverse/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/ppxlib_metaquot/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/ppxlib.runner/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/ppxlib.runner_as_ppx/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/ppxlib.stdppx/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/ppxlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/ppxlib.traverse_builtins/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/498db92a3a5b6fb59da487386563e318/ppxlib/0.38.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/83fd175edba241d20d9c232b823a0283/dune/3.23.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/83fd175edba241d20d9c232b823a0283/num/1.6/doc/num.core/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/83fd175edba241d20d9c232b823a0283/num/1.6/doc/num_top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/83fd175edba241d20d9c232b823a0283/num/1.6/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/83fd175edba241d20d9c232b823a0283/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/83fd175edba241d20d9c232b823a0283/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/83fd175edba241d20d9c232b823a0283/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/83fd175edba241d20d9c232b823a0283/ocamlfind/1.9.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/1e40f790a26602f435e20e64f551bb98/camlzip/1.14/doc/zip/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/1e40f790a26602f435e20e64f551bb98/camlzip/1.14/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving_make/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving.api/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving_eq/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving_std/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving_iter/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving_show/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving_map/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving_create/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving_enum/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving_ord/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/ppx_deriving_fold/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/696d19b76430c19d7882207957b2c342/ppx_deriving/6.1.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Library num not found
odoc_driver_voodoo: [DEBUG] Library num not found
odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 610 precompiled units, 1 other units
odoc_driver_voodoo: [DEBUG] Error during compilation of module Yices (hash b379915487a64155f26ffa88f236e297, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Xml (hash af8bc05bb84a0d51d2de42bf453b1083, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Wstdlib (hash 47a8b88bf40c1bbc46f85edc8c7ac18d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Whyconf (hash a95045e037f4504770fcac9a4e083f48, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Why3printer (hash 4ad9b1af4f1a35471c57fbe736b23fff, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Weakhtbl (hash 49c52c761fdebca842b92cac4901b3bd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Vector (hash 47589139d3de821c227375532f66b5f4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Vc (hash c2c75fdda47bff82530e80b0a987e56b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Util (hash 8328b96e4f77039f406bfc29a7b81d7f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Unix_scheduler (hash 77bba6abd34d41e228c31904cf37556a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typing (hash 9a7e7b726e66d9b065f867b986271337, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typeinv (hash 0ac968ab3a9c800d4ddb0b03e5de26e6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ty (hash e879dad43fe6fc211c8468f54c52e766, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Trans (hash 1f2b7781aea2316a532b029e1982bce2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Theory (hash 59d84adc0c59cbe33161dc38343842af, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Termcode (hash c81147e9a21443b551ef15700d15ace3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Term (hash 4cf09383b46c45aa0cdc1cd7d7d1c612, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Task (hash b5ddd0fbdcf9b6fe5abb444e6746023f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sysutil (hash 14097f92bb6c24378182ab037bccb5bc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Subst (hash d366b856a241e7cabbf88a9eb8ceeb77, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strings (hash 30bd62e6f8700db3bc6fb8a394e7d27d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy_parser (hash 9f000f5faf47ad1069e694204e292a0b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy (hash 7883885253e1d8dd238e1217beacc034, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Split_goal (hash 8833a0f56e836a5315bfd6ab84730823, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2_model_parser (hash 8c4fec9224ddac6c086c321a2ffe1657, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2_model_defs (hash 942f23134aed955790f3838424fe99f5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2 (hash 8a076ecc240b4417e08f49a23863ed3f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv1 (hash af7b6f15b2a34bac2f06b9d09084a2f8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smoke_detector (hash b76800ae71de5051df71d40e53258ed7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify_formula (hash 1effe745ff4d7ef180e6a91f7d68adb7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify_array (hash 0babf63544dd940431570e207718549c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify (hash 22f1d28bd3d5a0d8c628e55fb8e3dd50, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sexp_parser (hash 76da75cb96255d18d34aa84109bf2327, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sexp (hash 32aff1d8fd2019faca92fd167a412384, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Session_itp (hash 520848402b0716ce5b2318448f380698, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Server_utils (hash 02586047bfc6054c0122cbec2c825ed4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Report (hash a4e25adab61549579a0014c400f697b1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Remove_unused (hash ca848cc2db0eb89fa541cdd1689f0319, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Reflection (hash 7dad1a29ef820ca32de54c29f4a3281d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Reduction_engine (hash 7683014d6430d22c6744295bab88d41d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Re (hash 3baca84642d11a0afead63ce869f03a4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rc (hash daa1c28272b531eec06a94da18695e62, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rac (hash 2ac833f3e906226eb759c670446fba47, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pvs (hash 68fb1a26e2e08e94e849f6a0c330639a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree_helpers (hash d6d7bfd8af564ff52f8b5741bcf4bc86, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree (hash b2258a0080e98cd179f4d16b4d81f577, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prove_client (hash 7b703321d78923142a131c913b87212e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prop_curry (hash e18adda98083cdf4bb4eca00fc0b60b3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Printer (hash bc957ce34d108ef20be32b9a34e7c2bd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Print_tree (hash e2d9cd15af249ed15bca5da23c3d2622, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pretty (hash 00792596bea29c62d8ef44329c8b7e04, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prepare_for_counterexmp (hash b9cab315fc3007bf898f535221aabeb7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pqueue (hash 02ec0838c45d56bf71b2cba2d9bbcdfb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pp (hash e69946965045315cc5fbc12f3e379bb8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pmodule (hash e07ac06321b49e2d9e99601876291a22, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Plugin (hash 85335747aae16146f20d1e1875f3aec4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp_core (hash f5ad945b4723a329c40fc8c42d54041d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp (hash d2cea4cc7de977ea055295050ce313fb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdriver (hash d61e2ec1be6fc7ad3ae6f972cb21280f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdecl (hash 5d0dc5777e930a41c00594777c43dc9f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pattern (hash 3443bcb0b7631fa0f060ab4d1a3ac526, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser_tokens (hash ddcfa45e563b210d4fa302e597ff357c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser_messages (hash db6fc0d9b3c1de6410aa900701162843, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser (hash 60baf22e4337624726d90b3def097cfa, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Opt (hash 7c57b592ac721db6fc8bfe2f085aac31, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ocaml (hash 6bed75c9e62502cb722c48df51584504, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Number (hash 8f153d8741ef20d9e85a399067369078, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mysexplib (hash 9de2376f4607b4351a9f5a78c27275fd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Model_parser (hash db04f5a0e2f9e953cdebcce94f151bda, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlw_printer (hash 47b9fe306d3d38134862440d247b05f5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mltree (hash c6731caf0457a6f8ae2e610ad9181b34, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlmpfr_wrapper (hash b77ea1166829e002b7c410b3725e1441, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlinterp (hash 07bebf8e7d6110694bf0bda910cb996f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ml_printer (hash e365f27147fd152b990945a915b61c30, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mathematica (hash cfc35966241b55c29b01b8652524d0f7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Loc (hash 569b0a92d100c14e2b969c08d7c28107, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lists (hash 7899d573ae8982ac7454a377d8fd5efb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lift_epsilon (hash e2311315e9475b9b4fdd9967caa6543e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Libencoding (hash 7b07b3664dfa6ba89b7bd1e3e77a0cb7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexlib (hash 4d5071d5f744d0e1d53c3e5100c0eb5d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexer (hash 9fa2186fd62ba604108fa2d0f5ad6777, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Keywords (hash d7ac9528ec94b9ed3786d3c0005e5ef6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Keep_only_arithmetic (hash 1d173ca729895658c9c73da88c516a65, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_util (hash 28e55525d8101b2cd631a121473fe013, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_parser (hash 99b677948839e89931ed4d7360889791, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_lexer (hash 0d946f6196c51d4ab96862cd4f1b3128, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_base (hash bed5dd30e3cce7d60e258c56f5217306, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ity (hash f433acfb3a2e98a2388a3841a17e17f7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_server (hash ca040ad048de8a3fd81fc0553cb8f0ba, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_communication (hash cb5c4452562e6f8cff441184352b9c02, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Isabelle (hash 0fdc850cdcfea434d2ed41ce140e16c0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Introduction (hash aa60cfff0ee9cd8c80dd09229107e21f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Intro_vc_vars_counterexmp (hash b886f489ba603faf216fe6fac732df2c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Intro_projections_counterexmp (hash 04462dce2bff3b1148e7450eb8b531c1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Instantiate_predicate (hash cbb603b06cfe5a97941ba9018e505c67, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Inlining (hash 52a593624ef5265d80df3a4ce25130fb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Induction_pr (hash 2ad88790f749c8bf505482cc0a580581, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Induction (hash 50423167d96598c657a8289e7c67855d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ind_itp (hash 6f6561f86099a9f7c15abc49be874241, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ident (hash d0e9a33b2b61023464d36a3a72851b36, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Hashcons (hash e42a17d98bb235f470c701c099aea9fa, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Glob (hash cdd6a2aa157db33a4cb3b2767cc1c8b7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Getopt (hash 8ad104c0330bab43d0f2e37e20a28bcb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Generic_arg_trans_utils (hash edc1138d4ea1e060e57cccf7a74b12b6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Gappa (hash 1fe4b76ddd732e6ab35312a2db4cee1c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Filter_trigger (hash 12bf5ca9b7c9d3c405afde7173b19378, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extset (hash 57d0fb1fdf601a13e1e310f39c4c58e9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extmap (hash 8a3602c420f0800f98f9023f00ebaddf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Exthtbl (hash 68a96941b6a77deacc357a506e17471e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Expr (hash 60f72458c8a58502a512f02b4f9600b2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Exn_printer (hash 1e9f0ffeeb39f87d8c6b41b4f7e03037, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eval_match (hash c2803cea08d8dfcc312de782daa46754, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Env (hash 73b67432d218e62a818ca39f6e7ec94b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_twin (hash ee0033484eb7d29598b3ae874b4605e9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_tags_full (hash ba6150a4e7d0152a67f5ec8d5e3d83b6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_tags (hash d0d6fdfd7053bb20c94c4a3704a0da16, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_sort (hash 8183fc94c1a1a1fca620b94902fd75de, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_select (hash 0607accbf5820bab1b7065756b2d62d7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_guards_full (hash 7b08588dbbad6b4668c57c983f5b069c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_guards (hash 2a809d5f5336b09e4b74936ad89d2faf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding (hash 07dc2eb6dd4f48c36bf2f1a82b7f28ec, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_unknown_types (hash 21d2f16c08e1c71a5e73a87a72024f04, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_unknown_lsymbols (hash a8f6140290936ace3428b454fe5e7f7d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_symbol (hash 280da5bbc1d1142cfb33fa0cadec0be5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_literal (hash 180be2b1ca0101e99bdacb5f09f3f2d6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_let (hash b91bafa4c10c50796c745a5608c3f56f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_inductive (hash 985d6c5d5f48d4f3c13f40b2811c0430, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_if (hash 246c944408cb8f5238f07796d8bfcd1b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_epsilon (hash d3478d4a32b366aa53d797ab6d2d86e2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_definition (hash fe2c98884952ac62baf6dbc509155253, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_algebraic (hash f3ba22eed980c49f9e2fb50c04b23caf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dterm (hash 7e1aee84125d3def404cdd124cc9e2ac, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_parser (hash 043e1f3a47092ebdb4167461217f156f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_lexer (hash 6f1ee91b44ef5ac6be7dfce068a4ae88, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_ast (hash cd77dd32fe6e5383fa090099a8d98cfa, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver (hash e750ae8fbfaf1f0dc2cd781ca83b13b6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Discriminate (hash 993565563ebf83aa6a791ee947323be3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Diffmap (hash 63a5dee17a31aa905a110beb732bd6aa, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dexpr (hash b0db8a9ad2f2235f2e99ae3bf85b74b0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Detect_polymorphism (hash 42bdfbabf9c5811fa3f3b92868f1220d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Destruct (hash 74c11f6212b58989a3ae4066a76addc6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Decl (hash 0740b39fb2264341b115924555b423f0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Debug (hash 39682420bfb00e16d2da891ca8237b34, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cvc3 (hash 03bdd712690cd7ca21a9b0be2a4b44b3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cut (hash 30cc060ec1ffd01309763d3ba1d6e3b0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Coq (hash 26300e94629b6cf77ed054a842a1b7e0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Controller_itp (hash d247a982fe1d57cd8e637bf80fc0694b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Constant (hash 526abce974cae14e2fa5d73b4efe9243, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Congruence (hash 7f3effc1c7eddcafa324860b02ccd8c2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Config (hash 73bf67bd3e1cf32224183d91f4e45d06, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compute (hash eabb4802949ee7a811a9298d6dd7075e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compress (hash 4b9bdc3d31d753408ba0c3022ee99946, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compile (hash de439582b5e3576a4458cf917b9bcb01, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Coercion (hash 72143f604c95a4904ab13dad935b6f09, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cntexmp_printer (hash 45e4ced6e5ca740dc09b9fe28c49df07, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cmdline (hash aa9354cd7b696a30c3e4b35782aec751, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Close_epsilon (hash 6abe0d8a0856eece5300b5fd5e86e405, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Check_ce (hash c07e07ff4d908b97deca681c311921c2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Case (hash 96aea2ecfe0215cb14d600e1b7511007, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Call_provers (hash 3d69095aeab59e152c59eaafb566d578, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cakeml (hash 73809786803ec73c44e990b041565a81, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module C (hash d3c4254064ba80c77f8f53768572e704, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Big_real (hash 06dbfd2ebd25c4a8c5ae97ee96bb67e0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module BigInt (hash 752a0ce5bccf1022b28065edb35964fd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Autodetection (hash f849e782ed71eb28aa1ae83d06213394, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Args_wrapper (hash aa632a984ec2f65cdbffa193513156d7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Apply (hash f9ccf764a036c09591c4388486cd25f4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Alt_ergo (hash cab14cd6c74a993ebe5ee8efaaabc0d4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Abstraction (hash 930e5673f22dc785d3ef33932ab33124, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Abstract_quantifiers (hash 8878cdd4b4e63a218fada0b04af2b015, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] 6 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc
odoc_driver_voodoo: [DEBUG] 7 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/why3/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/why3
odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/lib/why3/why3.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/dynlink/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/str/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/unix/ -I /home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/menhirLib/20260209/doc/menhirLib/ -I /home/opam/odoc-out/u/1e40f790a26602f435e20e64f551bb98/camlzip/1.14/doc/zip/ -I /home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/why3 --enable-missing-root-warning --parent-id u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/why3 --warnings-tag why3
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/why3/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/why3/why3.odoc
odoc_driver_voodoo: [DEBUG] 9 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/page-index.odoc -o /home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/page-index.odocl -P why3:/home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc -L why3:/home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/why3 --enable-missing-root-warning --warnings-tags why3
odoc_driver_voodoo: [DEBUG] 10 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/why3/page-index.odoc -o /home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/why3/page-index.odocl -L why3:/home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/why3 --enable-missing-root-warning --warnings-tags why3
odoc_driver_voodoo: [DEBUG] 11 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/why3/why3.odoc -o /home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/why3/why3.odocl -P why3:/home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc -L dynlink:/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/dynlink/ -L menhirLib:/home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/menhirLib/20260209/doc/menhirLib/ -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/stdlib/ -L str:/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/str/ -L unix:/home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/unix/ -L why3:/home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/why3 -L zip:/home/opam/odoc-out/u/1e40f790a26602f435e20e64f551bb98/camlzip/1.14/doc/zip/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/dynlink/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/str/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.2.1/doc/unix/ -I /home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/menhirLib/20260209/doc/menhirLib/ -I /home/opam/odoc-out/u/1e40f790a26602f435e20e64f551bb98/camlzip/1.14/doc/zip/ -I /home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/why3 --current-package why3 --enable-missing-root-warning --warnings-tags why3
odoc_driver_voodoo: [DEBUG] 12 - Executing: /home/opam/doc-tools/bin/odoc count-occurrences /home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/why3 -o /home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 13 - Executing: sherlodoc js /home/opam/html/sherlodoc.js
odoc_driver_voodoo: [DEBUG] 14 - Executing: /home/opam/doc-tools/bin/odoc compile-index -o _index/why3/index.odoc-index --root /home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc --occurrences /home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 15 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate -o _index/why3/sidebar.odoc-sidebar _index/why3/index.odoc-index
odoc_driver_voodoo: [DEBUG] 16 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate --json -o /home/opam/html/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/sidebar.json _index/why3/index.odoc-index
odoc_driver_voodoo: [DEBUG] 17 - Executing: /home/opam/doc-tools/bin/odoc compile-index --json --simplified-json --wrap-json -o /home/opam/html/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/index.js --root /home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc --occurrences /home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 18 - Executing: sherlodoc index --format js _index/why3/index.odoc-index -o /home/opam/html/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/sherlodoc_db.js
odoc_driver_voodoo: [DEBUG] 19 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 20 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 21 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 22 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 23 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 24 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/8e5b095b124ae3a68fe7bac0ef8e151e/why3/1.7.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 25 - Executing: /home/opam/doc-tools/bin/odoc support-files -o /home/opam/html

=== STDERR ===

2026-06-24 21:28.19: OK: doc why3.1.7.2 (runc: 1.7s, disk: 151KB)
2026-06-24 21:28.19: Job succeeded