2026-06-23 09:39.55: New job: doc why3.1.6.0 (4993017066a5)
2026-06-23 09:39.55: Waiting for resource in pool day11-builds
2026-06-23 10:03.27: Got resource from pool day11-builds
2026-06-23 10:03.27: [profile full] doc why3.1.6.0
2026-06-23 10:03.27: doc why3.1.6.0 (4993017066a5)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
=== DEBUG: pre-voodoo image inventory ===
-- pkg markers (.odoc_pkg_marker) --
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/3674738569529ee6294f168455bd48ff/dune/3.23.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/3674738569529ee6294f168455bd48ff/num/1.6/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/3674738569529ee6294f168455bd48ff/ocamlfind/1.9.8/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/57620106a0e7e69c25e12ccb610ed500/menhir/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/menhirCST/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/menhirGLR/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/menhirLib/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/menhirSdk/20260209/doc/.odoc_pkg_marker
-- lib markers (.odoc_lib_marker) --
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/compiler-libs.bytecomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/compiler-libs.common/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/compiler-libs.optcomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/compiler-libs.toplevel/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/dynlink/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/odoc_info/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/runtime_events/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/stdlib/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/str/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/threads/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/unix/.odoc_lib_marker
/home/opam/odoc-out/u/3674738569529ee6294f168455bd48ff/num/1.6/doc/num.core/.odoc_lib_marker
/home/opam/odoc-out/u/3674738569529ee6294f168455bd48ff/num/1.6/doc/num_top/.odoc_lib_marker
/home/opam/odoc-out/u/3674738569529ee6294f168455bd48ff/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
/home/opam/odoc-out/u/3674738569529ee6294f168455bd48ff/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
/home/opam/odoc-out/u/3674738569529ee6294f168455bd48ff/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/menhirCST/20260209/doc/menhirCST/.odoc_lib_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/menhirGLR/20260209/doc/menhirGLR/.odoc_lib_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/menhirLib/20260209/doc/menhirLib/.odoc_lib_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/menhirSdk/20260209/doc/menhirSdk/.odoc_lib_marker
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/
=== END DEBUG ===
process_meta_file: prep/universes/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/lib/why3/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: why3, [6]

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

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

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

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/7a0fa45d9eb778461996e5fa33a32043/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/7a0fa45d9eb778461996e5fa33a32043/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/7a0fa45d9eb778461996e5fa33a32043/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/7a0fa45d9eb778461996e5fa33a32043/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/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/lib/why3/commands
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/dynlink/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/compiler-libs.toplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/odoc_info/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/compiler-libs.common/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/compiler-libs.bytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/compiler-libs.optcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/runtime_events/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-compiler/5.3.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/3674738569529ee6294f168455bd48ff/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/3674738569529ee6294f168455bd48ff/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/3674738569529ee6294f168455bd48ff/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/3674738569529ee6294f168455bd48ff/ocamlfind/1.9.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/3674738569529ee6294f168455bd48ff/dune/3.23.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/3674738569529ee6294f168455bd48ff/num/1.6/doc/num.core/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/3674738569529ee6294f168455bd48ff/num/1.6/doc/num_top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/3674738569529ee6294f168455bd48ff/num/1.6/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ad23e10c801633f910ae7582ae85d76e/menhirLib/20260209/doc/menhirLib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/ad23e10c801633f910ae7582ae85d76e/menhirLib/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ad23e10c801633f910ae7582ae85d76e/menhirGLR/20260209/doc/menhirGLR/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/ad23e10c801633f910ae7582ae85d76e/menhirGLR/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ad23e10c801633f910ae7582ae85d76e/menhirSdk/20260209/doc/menhirSdk/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/ad23e10c801633f910ae7582ae85d76e/menhirSdk/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ad23e10c801633f910ae7582ae85d76e/menhirCST/20260209/doc/menhirCST/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/ad23e10c801633f910ae7582ae85d76e/menhirCST/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/57620106a0e7e69c25e12ccb610ed500/menhir/20260209/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: 413 precompiled units, 1 other units
odoc_driver_voodoo: [DEBUG] Error during compilation of module Yices (hash 9e3cb42a8e043c7f5686dc9ba1a75274, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Xml (hash 19632b7c157a9ef6ee778f0f57806fa9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Wstdlib (hash 386d668f83d9af8e69eb9fcbb5cad2f4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Whyconf (hash 5352afce11b116bfb30d8f0c3c40c01b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Why3printer (hash 3ead4b7364cdbdd1a793c713d8894f4c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Weakhtbl (hash 353015f718e47ddcb127a7158d2f611f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Vector (hash 885eebcdfbe04e4de863a2d70ec7d445, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Vc (hash a71c3cec5147946d26dcb05e0b7d5fd7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Util (hash bb57b534a101a419d128965d158bd83d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Unix_scheduler (hash 73b62e5cc817528d7006d0c940a31513, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typing (hash 0cdad7e12184b396711b9fa2d71fefec, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typeinv (hash 86b3fe33fbb2172954ad07751b4b8a69, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ty (hash cd9a79e4869fc089fdda258605150900, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Trans (hash 557a5bb153285e0a5b8edd1e86bb22b8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Theory (hash a4a4c5f139ee55c95050e97ddf8243ae, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Termcode (hash ddada8aedee7a2a7ea27cdb470b4ea4e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Term (hash 4075a118b5d43666d9c6131e05dd8432, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Task (hash ebf28b370301e81d3f0479a78f11fed5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sysutil (hash 94042663eaa8826181d4015380a475ce, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Subst (hash e2f4bb596ae043f5d9ed5234cc8975da, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strings (hash 98ae406bb6bf0b6faeb265dfaaa500a5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy_parser (hash 32dec7d59edd1796d3ad7efa1abcebc3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy (hash 52a806669b993b9be765e5e6ad1c8863, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Split_goal (hash fe556f7310f6049439f06d70d8d54ede, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2_model_parser (hash aa443dcd0a2156f13fa52ae1bfb372aa, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2_model_defs (hash b109a2f3ca4c70633fc4c4fc7abc1170, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2 (hash 4462a5cacdedc803bc678aa5483ac301, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv1 (hash 72eb710cfab3375031076788d9524262, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smoke_detector (hash 46e3c90c341918b54e75d2396f907e49, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify_formula (hash 338d4292c5a0a1b12b85b28aaa4399cc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify_array (hash c402c0bb6360b1f939bb92d335fcba2d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify (hash 39da8fb8506bca7a68b32807713b6dc6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sexp (hash 4e0f2c28887555a12a5780785bf4e2ce, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Session_itp (hash bb64d9302f4f0e816ea5ac0497d1d577, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Server_utils (hash b026e517d79c98643c567878c4a26b6b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Report (hash f517d3697d1d2d6ecdfbce049f12a350, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Remove_unused (hash 052cee0424261813c3fda18a2cd06766, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Reflection (hash 339f225238887ec6b7b15d6c68b4bd9a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Reduction_engine (hash 3084bc293ed478f6a3a848ce08f7026e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Re (hash 91769a74a872eb8ffba84be8a6dcbc26, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rc (hash a32d7864ab9f9eafbf1219813140f529, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rac (hash eb8093576a0f7921fad7ab444547834a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pvs (hash c963ba840e4b66dc4f563c679af1ef11, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree_helpers (hash 99e7cbce6a30701eef32853df92145a0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree (hash 2dc93b7f4be7e3393f82d1113ac41693, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prove_client (hash deffa07bee07573150aa481a0463e88a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prop_curry (hash b7fbeaa5c77d0438d4b992e7a19d5a1b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Printer (hash 92222fad880f62b0ff3dcbd1e932792b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Print_tree (hash 52ca8502a99013ff19ef03c78266e20d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pretty (hash 6b5440eeaf1dc51f7a9be0981f3cbe14, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prepare_for_counterexmp (hash 047d247c5f00270faa8eeb4329f653a2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pqueue (hash f038c2b13c4747f4af33ab181a059349, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pp (hash 4f11a700ffa8593b7b872ce7c65e2c1f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pmodule (hash c2eb6e6e05e684ba52498de39f1ea9f4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Plugin (hash f07db47a12a3cfaa6cbb40cad5128347, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp_core (hash 799f5a2e9ab91cf6ff39c189153c2af9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp (hash d92a7283802c2d79ac847f6e557acd48, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdriver (hash bfcd6e97aefc58c5757fa804c7a619e7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdecl (hash 715745309abdbf72a29545ea88abb7ae, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pattern (hash 0d0c099f84b502baaa7e7dc274f281f2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser_tokens (hash f4b9467c1ac48b539f5ad51c74c6f73b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser_messages (hash 53bfcd30872252ad30384575f286317b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser (hash fc7ebd31e9a29d56eaad9385d68eb235, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Opt (hash 90d4a621d7d4446b78a3489b31985946, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ocaml (hash fe4f140599132dcdcc7a5804ca3bb6c6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Number (hash fef210d293159c24e8cc35a7265893e1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mysexplib (hash f7ae234585770952ada49d71953e5f3b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Model_parser (hash 2da2252c7768b5cb12c9eef05621a791, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlw_printer (hash b1072deee4b97a0709a2aafd4c246a9b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mltree (hash dd4a56d5240d82519afe878d52861f2b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlmpfr_wrapper (hash 842c20b4f7ab1ff6b2f295626b99864e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlinterp (hash 3df50960a4245bdf0c320a31ed193fc0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ml_printer (hash 943f27fa23b220c6ccefc17caee3d851, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mathematica (hash 3243e10d67c7542be09ea7cbb77d2388, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Loc (hash ba02948e702f709e1a972206b3075e92, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lists (hash 48ebe9a25428d17735f421afd6fd17dc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lift_epsilon (hash fdb7bc86daeaf37e86be87a7614136af, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Libencoding (hash 43c5a1fd65acda817b4ce31e624d4716, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexlib (hash d6b8d39047a5f771cb1506d1220087e4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexer (hash 81c759e3251e1ea24e6caea17d591c72, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Keywords (hash 4b3c587572b88b4051cd5c930ccedc4e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Keep_only_arithmetic (hash 78a96369e0a1ede6f34cf506a0643470, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_util (hash 994466cf5333b7260ee6aa4db0c7374a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_parser (hash 41ea752224e9e2b565d774d1ff0c3f8c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_lexer (hash 8c39c1b5fe40f72176eb438d71489aa1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_base (hash afce611848a1043ee23e75ccb90aa7eb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ity (hash e9e4949ebaedb5ca6af87c09cd45327f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_server (hash 93575e53432b003c244826d63fab958d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_communication (hash 82bd81451a9e5d36ff931a109ce80f1a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Isabelle (hash dea6cba4c5bc1478f202d5af901def8d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Introduction (hash 3e75bb4f301bfe9d539d0450e46111b0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Intro_vc_vars_counterexmp (hash 825717830bdd36be00ba0eed2b99f914, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Intro_projections_counterexmp (hash 91747337954349946389e59b080b3c1d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Instantiate_predicate (hash 9744eec687941161ac1b5016e061533a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Inlining (hash 43700c253d3121d0d88b0820b0cbbfb3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Induction_pr (hash 40f62cf978e248a51bbc40567a80b512, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Induction (hash d16a4e57b97b59704654a0f1072b9239, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ind_itp (hash b82d90fd7ae34e25ceef39ecab6cb23e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ident (hash 9034b089a5fe80e42b5601ba5e9a412e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Hashcons (hash 5f746bad34e46e8fa3c59f7a78f71a05, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Glob (hash c0a1f30b0bbc4c64828f3f080de1546e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Getopt (hash 3c7822a3a88e93ab79896a0eef71e9a8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Generic_arg_trans_utils (hash 083f619787ad1c56cdc429a2b14e3206, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Gappa (hash be8223f2a40c7710b8a5af35f665455c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Filter_trigger (hash ab583a7be8cf97808f679fef650880c2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extset (hash 8dd7aa27cb973bb0a1c022829d840f5d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extmap (hash b26f3814d7d11d77dfa349af68303b2f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Exthtbl (hash 2318a7e9a79518571ff4056a1ad59cc0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Expr (hash 9c31c9306cd6598e6842aacd3b4d9eef, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Exn_printer (hash 4574ad7d3863089e8a0796e4e61f58a9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eval_match (hash 8e6f5cd94b5f9e2a8e79e260b05a60e5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Env (hash 6f59ba534265d9fe1d765afe6e5ef23a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_twin (hash 42418d0ad50ed04e90a936d9b75f0710, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_tags_full (hash 1b4298b65a855555e98421b3027c54c4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_tags (hash 33b6e62409383b9180219630a8ca840b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_sort (hash 906dba8b7f0c82e3e099755d686b7197, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_select (hash 473b8ac5550e60a575655043427ed865, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_guards_full (hash 07331295b041c20647a27eeaca6a0d75, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_guards (hash babc455bd70e11098393a0b98ac56ba2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding (hash 00679f89ed41de21d4182c98edbb11de, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_unknown_types (hash 9bbe3e91c6e4bec30e4ea8406933a262, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_unknown_lsymbols (hash 3a4a45992922e5275de1cc3e31731917, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_symbol (hash 2690d32064a1ff867c151d75810812e5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_literal (hash e999c1b5508000308912dfd58d6121b0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_let (hash c86ae1bf0a6083cadbf7a956e446fe68, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_inductive (hash 029b8724f42db5d97b3fac37d407b915, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_if (hash 96d2925daf77547bc0e316add8b21557, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_epsilon (hash 607ead7e6c9b388d4163837d2878dcf5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_definition (hash f4d0dd03b2bb3f858c7a0c0cf8387da1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_algebraic (hash f7fa3e7e171bd31db689aad9cdbf5f3e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dterm (hash 31fc9b3ec86e66697555475d734e9fed, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_parser (hash 3007a1185744c3f1361c91013cff96c0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_lexer (hash 63d764069a138d79ed19ffa7299e0313, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_ast (hash 533168022fb72b3af2e6e0f1f51fae7f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver (hash 0d4f263bdbf85f638d574f4320f1ffbd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Discriminate (hash 82ebfa7e786265443838bf95be906ce0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Diffmap (hash d86ef0eeb8f535bb3b15602b0f30391d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dexpr (hash 341cda17825a35d74f005e5d93860329, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Detect_polymorphism (hash fd93a595102e529ec494d5131fdd738d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Destruct (hash 8047d262b752b6664725ac8769367ffc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Decl (hash b3ec492ac056fc3e0e6f879e74be7f28, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Debug (hash 5c5bf4a9fe5641242016ef67b97bfa5f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cvc3 (hash c06f174db36dd29dcf47ada3c061fb83, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cut (hash ef1c18bf0b732a71b674841aca4465ba, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Coq (hash 5daad92ae7ab3b9ba7f5d7e86b7e1a3e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Controller_itp (hash 3f554bb5d705dbcc36b2a837e69bf8fe, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Constant (hash b751e8a313b797f07a8f7d7c5a80064b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Congruence (hash fb5ead56d8e2cc77bc54354075fc7e1c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Config (hash 99bccf5aed843642c9400a29c8b2926d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compute (hash 89c8983806f53fceee7b8e5bcefcc4ec, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compress (hash ee32a2f1e9384d3a869c9238009498dd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compile (hash 64cc3fcddc72e996c1028f46456d3da5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Coercion (hash 147482f6985e3524962076f11215347f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cntexmp_printer (hash acf45e1958a1997641fd305ed5d6f08e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cmdline (hash e4ebe58b042fbd51ebb1ededafbe4a32, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Close_epsilon (hash e398abff0b3293020dc24444e4b9d5c1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Check_ce (hash 1f28e1ac1858c0922b60ee2b29ceeb09, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Case (hash c3d5f4a6a94bf4d338f52a67951b098d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Call_provers (hash 3d68b3f88c1667629beece61e0ab7474, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cakeml (hash c3590ae69a0b4f9558bea04d878c7a7f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module C (hash dd61f7474f28023e68d35563c103b1d5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Big_real (hash 2fadf2d923379e19ce27c62c77c06b74, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module BigInt (hash b6c3a7c0b1796fac5b2c89f44aa86bea, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Autodetection (hash d6d8401c2f6c159d4f1bcd1e7763ce08, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Args_wrapper (hash 4e271c0a850ef71a09381b10d08312e1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Apply (hash e8296a3b3ed1bae09d4a2637d1fedc20, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Alt_ergo (hash 17aba2414737222b32f07c0738c2c2ef, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Abstraction (hash da08fa46a58e9107c7b67e37c0a9ea30, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Abstract_quantifiers (hash 0d4d2bf1cc0c2461bd70d2cfafd5c133, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] 6 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc
odoc_driver_voodoo: [DEBUG] 7 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc/why3/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc/why3
odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/lib/why3/why3.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/dynlink/ -I /home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/str/ -I /home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/unix/ -I /home/opam/odoc-out/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc/why3 -I /home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/menhirLib/20260209/doc/menhirLib/ --enable-missing-root-warning --parent-id u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc/why3 --warnings-tag why3
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc/why3/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/7a0fa45d9eb778461996e5fa33a32043/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/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc/page-index.odoc -o /home/opam/odoc-out/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc/page-index.odocl -P why3:/home/opam/odoc-out/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc -L why3:/home/opam/odoc-out/u/7a0fa45d9eb778461996e5fa33a32043/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/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc/why3/page-index.odoc -o /home/opam/odoc-out/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc/why3/page-index.odocl -L why3:/home/opam/odoc-out/u/7a0fa45d9eb778461996e5fa33a32043/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/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc/why3/why3.odoc -o /home/opam/odoc-out/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc/why3/why3.odocl -P why3:/home/opam/odoc-out/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc -L dynlink:/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/dynlink/ -L menhirLib:/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/menhirLib/20260209/doc/menhirLib/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/stdlib/ -L str:/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/str/ -L unix:/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/unix/ -L why3:/home/opam/odoc-out/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc/why3 -I /home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/dynlink/ -I /home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/str/ -I /home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/unix/ -I /home/opam/odoc-out/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc/why3 -I /home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/menhirLib/20260209/doc/menhirLib/ --current-package why3 --enable-missing-root-warning --warnings-tags why3
odoc_driver_voodoo: [DEBUG] 12 - Executing: /home/opam/doc-tools/bin/odoc count-occurrences /home/opam/odoc-out/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc/why3 -o /home/opam/odoc-out/u/7a0fa45d9eb778461996e5fa33a32043/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/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc --occurrences /home/opam/odoc-out/u/7a0fa45d9eb778461996e5fa33a32043/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/u/7a0fa45d9eb778461996e5fa33a32043/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/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc/index.js --root /home/opam/odoc-out/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc --occurrences /home/opam/odoc-out/u/7a0fa45d9eb778461996e5fa33a32043/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/u/7a0fa45d9eb778461996e5fa33a32043/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/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/7a0fa45d9eb778461996e5fa33a32043/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/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/7a0fa45d9eb778461996e5fa33a32043/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/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/7a0fa45d9eb778461996e5fa33a32043/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/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/7a0fa45d9eb778461996e5fa33a32043/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/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/7a0fa45d9eb778461996e5fa33a32043/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/u/7a0fa45d9eb778461996e5fa33a32043/why3/1.6.0/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/7a0fa45d9eb778461996e5fa33a32043/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:03.39: OK: doc why3.1.6.0 (runc: 1.6s, disk: 139KB)
2026-06-23 10:03.39: Job succeeded