2026-06-23 09:57.28: New job: doc why3.1.6.0 (0d75c7059af8)
2026-06-23 09:57.28: Waiting for resource in pool day11-builds
2026-06-23 10:16.01: Got resource from pool day11-builds
2026-06-23 10:16.01: [profile full] doc why3.1.6.0
2026-06-23 10:16.01: doc why3.1.6.0 (0d75c7059af8)
=== 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/bd2bcad1e72d168131cbd3294050ab88/why3/1.6.0/
=== END DEBUG ===
process_meta_file: prep/universes/bd2bcad1e72d168131cbd3294050ab88/why3/1.6.0/lib/why3/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: why3, [7]

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

odoc_driver_voodoo: [DEBUG] Config.packages: 

process_meta_file: prep/universes/bd2bcad1e72d168131cbd3294050ab88/why3/1.6.0/lib/why3/META
odoc_driver_voodoo: [DEBUG] prep/universes/bd2bcad1e72d168131cbd3294050ab88/why3/1.6.0/lib/why3/why3,why3

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/bd2bcad1e72d168131cbd3294050ab88/why3/1.6.0/lib/why3/

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

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/bd2bcad1e72d168131cbd3294050ab88/why3/1.6.0/lib/why3/

odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/why3/plugins
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/bd2bcad1e72d168131cbd3294050ab88/why3/1.6.0/lib/why3/plugins for package why3
odoc_driver_voodoo: [DEBUG] 4 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/bd2bcad1e72d168131cbd3294050ab88/why3/1.6.0/lib/why3/plugins
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/why3/commands
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/bd2bcad1e72d168131cbd3294050ab88/why3/1.6.0/lib/why3/commands for package why3
odoc_driver_voodoo: [DEBUG] 5 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/bd2bcad1e72d168131cbd3294050ab88/why3/1.6.0/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/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/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/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 pkg marker: u/0ea083d7d1d91040bc73fc33dbcd7e15/cppo/1.8.0/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/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/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 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/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/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/4282b635665ec77d87fd8bd942a78f82/menhir/20260209/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/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/83fd175edba241d20d9c232b823a0283/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/83fd175edba241d20d9c232b823a0283/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/83fd175edba241d20d9c232b823a0283/ocamlfind/1.9.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/83fd175edba241d20d9c232b823a0283/num/1.6/doc/num.core/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/83fd175edba241d20d9c232b823a0283/num/1.6/doc/num_top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/83fd175edba241d20d9c232b823a0283/num/1.6/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/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/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 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 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 83c5b805c0ce973f44eeff1c509803ab, 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 63648ae5eac734c2b72df2abdb03c188, 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 2ee3abdb5005bb67101967bc77ae1141, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Util (hash 3d510f32708499874edade6c1e4f33fc, 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 8fe290be1b5511480622b14ac83661a3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typeinv (hash f2ee81113f9065287d50517acbaaabbd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ty (hash 3588abd0701b3837aca84f30595f8485, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Trans (hash 3779f29229a5c8456a66adfebd662961, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Theory (hash d38a65802e982636365e9612222b0e62, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Termcode (hash 4a9fbb4db539eb98a5e4e27a0753af80, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Term (hash b0d947868fbc09a9b2809c80d9ffc7c6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Task (hash e4fda85e2b5bf88b8fcbabcba7104ae8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sysutil (hash 8ce81ee6a6158035f720a917ee062df5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Subst (hash 0d2e46f872a123b6605cdb83415c56a5, 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 eeb71f46ab5155285a394b4f6f7af8e8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy (hash bbbcde3055a0472262fd7b6d51c98335, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Split_goal (hash 34a7d445a010e0acf28b2d841aa2de3b, 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 5a7467e598b21350f7e238e47092338f, 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 e7031c5593954462821996fc9b982257, 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 (hash 32aff1d8fd2019faca92fd167a412384, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Session_itp (hash 4de096ff876a377b7f632f51d0dc8181, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Server_utils (hash f78970874b020c193f26586772c339c4, 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 7f769d781519b1416667c343a917b7ff, 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 bf92fd5d62718e938bf267553659a23b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rac (hash 2b470c40656aee9d212b56f754aa3240, 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 a09a0f270d486d4976e5a9d2870015ef, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree (hash cc593726d8d30bab0eddc02d9efaf545, 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 dee3e8d254242ba13e54d94714fa9443, 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 82121ca7c9bd45403dfe8965712d981f, 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 9fd9e239aab21f3d009fef7226d30503, 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 8bbd9378d0ee78ce4727255398b5f94a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp (hash 55203638a349fb0145769cf8f29e856c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdriver (hash 6bde4d7b33695fcfdf0b12e13efbdd8c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdecl (hash 6e65fd0c031b94b91119e8191863fefe, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pattern (hash 40060b4c7fef4314afdd6aa6cdb20e49, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser_tokens (hash 0a8b6665c6f6044341e45494f06c17ef, 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 de7d7afc89eb0e5b361a902c3f1cf8f9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Opt (hash 20668a62ef818421f65e92ef110305e9, 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 da556e60ecc7553d8a3ca10890a07874, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mysexplib (hash 9721e7fdad9136edebb078e831d6c0c8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Model_parser (hash 53e80e7f8a768550cfe618c55002bc7a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlw_printer (hash d507cfb9ecb50b87ccae215358c72879, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mltree (hash 9daeaae6051c2d6a791be75d0cfdaf44, 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 e047025b66a93e686877a24ac4389ee9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ml_printer (hash 0a2e247f303745f9cd6f56db944603c9, 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 6ced0cedb67046802bf1b4114a296b7d, 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 a70982161083ab386f4fe861ee2c04e2, 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 1b1e6fd198e12facb4b15205f3f4350e, 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 18a44970192648218be7c547867112a0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_server (hash 6a6b49e930b0f5159e9d11f36f6de116, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_communication (hash 0b0c8b7cdd3dcab467dd9c437c75a8d9, 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 e835dfaec438938a60b3cede896dbd6c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Intro_vc_vars_counterexmp (hash 1c942087fe20a32d3237bfd4416d0557, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Intro_projections_counterexmp (hash dbd6f7fb0098a69c7d7e4ad131903893, 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 7b2e910dd0f2ffbb3a579a95f99c183a, 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 079018c0e140018371612ff4220f63cc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ident (hash dcd2773aef50a167754b9522a65a3806, 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 eabbe9aaccf0cdbc92cc08e550d8d4a6, 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 ea7a75b89e0cfc1727b954fe8bdd2d6b, 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 b7c6380b3a589719804fac04784947d2, 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 3b078763a28f4a25e053f018c2e7b00e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Env (hash 77e675d1720660a57f1deadfd864cac6, 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 b349e4685b7d93bcf6cddac3c7080f6a, 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 8cca6283086d4862ea653276827e6e43, 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 5f1a6f53a5438303d7256b29a49cbbb8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_algebraic (hash c599f7e847c46a3533dc7d7d91f142ea, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dterm (hash 3e5ca1edf940ded551612e4aabb33f6a, 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 8e026bd1af3117da1cf114b0707aab88, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_ast (hash c23d869256a78c90b91814ebfcfc8174, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver (hash c267f1d8a223e881e45c2dd315ebee22, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Discriminate (hash 0562c0673fc0b4800a1779afcf46adad, 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 d81d186a740247bdbf1c9713cd7e39a6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Detect_polymorphism (hash 68e3d5b3bc73f3b67b226d8127e4a90a, 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 4dad1f8f18d9414079d53db0c1fcdb3a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Debug (hash d5acc3fa71280d75c7cd1a2bed046184, 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 bfec96a130473a6206595d15475e63ed, 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 5d0619ab05ce5f5ffcb8bf032a02722f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Constant (hash b0df52ef2a8bc41c39684c4b2d000035, 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 4d478ce7611f42a4a3523b155664e7b5, 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 912828ce37c031f6d46813b3ee2f16d8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Coercion (hash c02d02594c65da90257bb43d56e79094, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cntexmp_printer (hash ae4d8e4344aa9dea5559a942162fbe29, 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 eec5a8a6324198ea316b8a21058e9d53, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Check_ce (hash 85c485d5b8c9d17178b21921421144fd, 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 dd965e9ccb72e1d28cd1f6f0f682db30, 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 0c1fc7ca7f7224436d95eb32692126ef, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Autodetection (hash e16f017b21e2b95127108744cdb211d0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Args_wrapper (hash ca6d6e7c8a31b15ba954c0b9b6875c12, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Apply (hash 2b3656e5ef07149b472aeab1c9236fda, 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 7144e624744a579d1fb02ed2fcd8da26, 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/p/why3/1.6.0/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/why3/1.6.0/doc
odoc_driver_voodoo: [DEBUG] 7 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/why3/1.6.0/doc/why3/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/why3/1.6.0/doc/why3
odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/bd2bcad1e72d168131cbd3294050ab88/why3/1.6.0/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/p/why3/1.6.0/doc/why3 -I /home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/menhirLib/20260209/doc/menhirLib/ -I /home/opam/odoc-out/u/1e40f790a26602f435e20e64f551bb98/camlzip/1.14/doc/zip/ --enable-missing-root-warning --parent-id p/why3/1.6.0/doc/why3 --warnings-tag why3
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/why3/1.6.0/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/why3/1.6.0/doc/why3/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/why3/1.6.0/doc/why3/why3.odoc
odoc_driver_voodoo: [DEBUG] 9 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/why3/1.6.0/doc/page-index.odoc -o /home/opam/odoc-out/p/why3/1.6.0/doc/page-index.odocl -P why3:/home/opam/odoc-out/p/why3/1.6.0/doc -L why3:/home/opam/odoc-out/p/why3/1.6.0/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.6.0/doc/why3/page-index.odoc -o /home/opam/odoc-out/p/why3/1.6.0/doc/why3/page-index.odocl -L why3:/home/opam/odoc-out/p/why3/1.6.0/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.6.0/doc/why3/why3.odoc -o /home/opam/odoc-out/p/why3/1.6.0/doc/why3/why3.odocl -P why3:/home/opam/odoc-out/p/why3/1.6.0/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/p/why3/1.6.0/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/p/why3/1.6.0/doc/why3 -I /home/opam/odoc-out/u/0ea083d7d1d91040bc73fc33dbcd7e15/menhirLib/20260209/doc/menhirLib/ -I /home/opam/odoc-out/u/1e40f790a26602f435e20e64f551bb98/camlzip/1.14/doc/zip/ --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.6.0/doc/why3 -o /home/opam/odoc-out/p/why3/1.6.0/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.6.0/doc --occurrences /home/opam/odoc-out/p/why3/1.6.0/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.6.0/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.6.0/doc/index.js --root /home/opam/odoc-out/p/why3/1.6.0/doc --occurrences /home/opam/odoc-out/p/why3/1.6.0/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.6.0/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.6.0/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.6.0/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.6.0/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.6.0/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.6.0/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.6.0/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.6.0/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.6.0/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.6.0/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.6.0/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.6.0/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.6.0/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-23 10:16.29: OK: doc why3.1.6.0 (runc: 1.6s, disk: 132KB)
2026-06-23 10:16.29: Job succeeded