ocaml-docs-ci

Build:
2026-06-23 17:48.41: New job: doc why3.1.8.0 (61f770a8b72c)
2026-06-23 17:48.41: Waiting for resource in pool day11-builds
2026-06-23 19:35.54: Got resource from pool day11-builds
2026-06-23 19:35.54: [profile full] doc why3.1.8.0
2026-06-23 19:35.54: doc why3.1.8.0 (61f770a8b72c)
=== 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/0ed051c525b603a51c1e2c6dd6ae88e4/zarith/1.14/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/3674738569529ee6294f168455bd48ff/dune/3.23.1/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/0ed051c525b603a51c1e2c6dd6ae88e4/zarith/1.14/doc/zarith/.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/3061bdb9a40040d57cf28a0b081dceee/why3/1.8.0/
=== END DEBUG ===
process_meta_file: prep/universes/3061bdb9a40040d57cf28a0b081dceee/why3/1.8.0/lib/why3/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: why3, [6]

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

odoc_driver_voodoo: [DEBUG] Config.packages: 

process_meta_file: prep/universes/3061bdb9a40040d57cf28a0b081dceee/why3/1.8.0/lib/why3/META
odoc_driver_voodoo: [DEBUG] prep/universes/3061bdb9a40040d57cf28a0b081dceee/why3/1.8.0/lib/why3/why3,why3

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/3061bdb9a40040d57cf28a0b081dceee/why3/1.8.0/lib/why3/

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

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/3061bdb9a40040d57cf28a0b081dceee/why3/1.8.0/lib/why3/

odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/why3/plugins
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/3061bdb9a40040d57cf28a0b081dceee/why3/1.8.0/lib/why3/plugins for package why3
odoc_driver_voodoo: [DEBUG] 4 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/3061bdb9a40040d57cf28a0b081dceee/why3/1.8.0/lib/why3/plugins
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/why3/commands
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/3061bdb9a40040d57cf28a0b081dceee/why3/1.8.0/lib/why3/commands for package why3
odoc_driver_voodoo: [DEBUG] 5 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/3061bdb9a40040d57cf28a0b081dceee/why3/1.8.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/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] Found lib marker: u/0ed051c525b603a51c1e2c6dd6ae88e4/zarith/1.14/doc/zarith/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0ed051c525b603a51c1e2c6dd6ae88e4/zarith/1.14/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 411 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 31e224ba9f38371445eb1230e597fa50, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Wstdlib (hash eaf950a2db8d2fc0d9417c6c6cc35616, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Whyconf (hash b70cd3dfe72f2fd15bc986c7fe88633b, 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 79f4896c564afd900577750af347d994, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Util (hash 27cec8c8db3bf3e880b9c458b7c48a21, 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 ab6073dbe7122ba06ec3f1440b2281b3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typeinv (hash 6042809283dc77826c4adeda16a5c0b4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ty (hash 1ac44ddc6b54108f3b0252dd49868177, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Trans (hash 97c8327ed1d743925c6f828eaca0d394, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Theory (hash 42bd4171a99c088b51a4ed1d5b0818fd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Termcode (hash b922344a7fddd5a5eeb3808f25ee74a4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Term (hash 569d1b77ec4e611e8f06a347544ec99e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Task (hash 7acbe62fc3e548debced999495de5b0b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sysutil (hash 754e4f23aabee7f26306705eee69c83e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Subst (hash 09457d89c12294ce5058a20c6cd6161b, 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 6a665160a3a91edcd007e281bb3a53e2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy (hash cb0878013906de85ca12add0f7eeebca, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Split_goal (hash 4d63bea91b7b17d1d73bfe0d2f1771cb, 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 2c56c2160ee1919104be3d47271454d2, 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 43ee7e08abc5ec089e1516d3a6954729, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify_formula (hash ac36d5618cd3303debbcab96a7d9f0db, 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_parser (hash aff40ecad98289d6d2c44d14d44277c8, 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 51128a3563fbdb41ae2d922ca53203e6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Server_utils (hash 247957cb7079844abd28b7ae72e462a1, 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 4be61c230d0af4ad0f5f580a0321f85a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Reduction_engine (hash b359ffb5858dd52b5cb022b9c342a202, 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 68e87d9816cf0d751e28dda18bf4f106, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rac (hash 1cae14a8bea8c59bc2c3c42431b3cdc9, 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 80ffccf199c618427cca56715aafd2ca, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree (hash 3f597d2773c94bc176fcb8b3a2b06db8, 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 1aa32ad7333a12efe7ca2fa67abe7919, 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 36fd611972bb1d88ff78cf60f6c0e589, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prepare_for_counterexmp (hash 83f2ead1737f4c74cf3ed14711d57668, 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 2abd0276e2dd2729bbbe5cc9adbb0258, 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 06f6ac362d03fd2a1c403c83869ef8a4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp (hash 1d89ef1f1e972a487e8620bcc4ec7018, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdriver (hash 0c689d493356e49d261ec65937d8c257, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdecl (hash a4a96096f9307ec9566abac2c7b7dfeb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pattern (hash e3fb96fe663a11cebd97beba1507a47a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser_tokens (hash 3f47591269fd23e3ba9c317ef743f311, 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 324d274f356b201beaacd79388e6b291, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Opt (hash ab931a8befd9dd710e164c8aec6bb957, 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 e7f9e9545b7c3dfd0e5aec5988ddedfb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mysexplib (hash fdbcb1da2575dc82b8d4a4f3858d7c99, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Model_parser (hash d564d49497b936333c03ca436868de40, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlw_printer (hash b55f7ab1bd9d9650e3c7dc4340cb00aa, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mltree (hash 4e26d0fd6eedd52a469dcd994226a8f8, 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 8d3df3cdea62337523680c846765f161, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ml_printer (hash 00764bf6d66f8f08208acdbf36d278e4, 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 301922b3c872109148c181659fb5c91b, 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 b3e370ced47180661624222311ba82ef, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexlib (hash 075a33a6d6796a409c6bb1046aab9b92, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexer (hash fac815b3ba23d9efee5981dcdbd280d3, 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 Java (hash d1cee02c2c3fad67a7661689306933b8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ity (hash c94a1e5c8eab1db128fff1bcb0e3a7c5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_server (hash 47649f06f54bec664d11325955756857, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_communication (hash a1e8c8f9d749e484a7ffb2aa6d19c06a, 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 023e19b5494083665afaf3e41d91cffa, 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 cb21cb9bdc4e0e04fdc0a94090451e82, 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 eae7b2aa0eaca094284a98b9fd844f5b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ident (hash 03ebe7491a32626230555833352e353d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Hcpt (hash 1dd8c2ae8f655510216d6976b5f3b08d, 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 adb77ede3160f54a9ec3cb860a15cd56, 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 e3fdca7f02b5f2bbf40b55b03b1c650b, 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 266c46dbcb1f60e362954b29f5c497a6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extmap (hash 01354ad84726c78984edc4a52966229d, 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 Extensional (hash 11df83df67edc87b86ea950da85cea17, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Expr (hash 0d5d25587385a7eb8f4aba3233295ae2, 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 eafe8a3a780eae6a809a29035ee03c0b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Env (hash 0101ac5084be3a5d9cd601f5249b4184, 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 da23313f3bddbdf7c824d3a67fdd34f0, 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 a66efb10c90b1252d4e2b7c99c3e1008, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_let (hash 11277bd239e2d57c19f5e80607b93feb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_inductive (hash 33aac842ef35ea33882fe432ad389024, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_if (hash fcdb90508bac4ca0df9434dd7b1eb167, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_epsilon (hash a1a9b1f0fd980fd6efd9f7880f30da91, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_definition (hash f7dbcc846411ef708370addde33c74a2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_algebraic (hash b15d3424851fcd8128779aa1cee69e50, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dterm (hash 3adcbabbb5d53c84447bef28ac6f8bf4, 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 7ae017f2e8b85866a8454dc198ddf388, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_ast (hash b3973e3025c742ba8f1d76a1f2cb6999, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver (hash 070c934cd72aee49b38e919d2f8bcfbf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Discriminate (hash 7a737e69cb54ddba88eb557cac47fe45, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Diffmap (hash 46461c4abd10a30587d3137d02cc0f0c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dexpr (hash be17fa74cc601be896b0561d12321256, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Detect_polymorphism (hash 76bcc5b343bb9bb7196d0ec2b985d4a7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Destruct (hash e50162b7d4b5e56a5c3e9b747d584fdc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Decl (hash 96644d94700185b363dd44c562ca238e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Debug (hash 410d2cac9b4cc9022deb24f43d2bd78b, 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 ec68da1c2db8b2f31244118b012c6196, 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 7fc898ca28114ea6805a06d96351aa1f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Constant (hash 5d5378d7e1dddcfec6e81c3d58a24996, 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 a5b062f237fd6d9c4fc7c5542fd246b0, 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 4bf6b7be0dfb5915cbe533d2cb711d61, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Coercion (hash 16cc3242a9eb8ff532842a2ed4452c8f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cntexmp_printer (hash 56c5d3a2c35c982b6288f09be07a3406, 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 503ef369a4663ae5088ed9458c8d9288, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Check_ce (hash f49d1f0e1275007e412e90ffdc33ec03, 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 4c657c3b9358a9a5945fa5cf0617abb0, 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 99d69eb416828480d4d1d202739d84a9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Autodetection (hash fb91770670cb167fe9187a3770efa5c2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Args_wrapper (hash 5c0130659b7eda78b02b74f8a3bd8262, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Apply (hash 5ed30888c77e3cc8a5e64e9c4cdc201c, 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 bfb45961d48b95225f8d43b3fed5b642, 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/p/why3/1.8.0/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/why3/1.8.0/doc
odoc_driver_voodoo: [DEBUG] 7 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/why3/1.8.0/doc/why3/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/why3/1.8.0/doc/why3
odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/3061bdb9a40040d57cf28a0b081dceee/why3/1.8.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/p/why3/1.8.0/doc/why3 -I /home/opam/odoc-out/u/0ed051c525b603a51c1e2c6dd6ae88e4/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/menhirLib/20260209/doc/menhirLib/ --enable-missing-root-warning --parent-id p/why3/1.8.0/doc/why3 --warnings-tag why3
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/why3/1.8.0/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/why3/1.8.0/doc/why3/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/why3/1.8.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.8.0/doc/page-index.odoc -o /home/opam/odoc-out/p/why3/1.8.0/doc/page-index.odocl -P why3:/home/opam/odoc-out/p/why3/1.8.0/doc -L why3:/home/opam/odoc-out/p/why3/1.8.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.8.0/doc/why3/page-index.odoc -o /home/opam/odoc-out/p/why3/1.8.0/doc/why3/page-index.odocl -L why3:/home/opam/odoc-out/p/why3/1.8.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.8.0/doc/why3/why3.odoc -o /home/opam/odoc-out/p/why3/1.8.0/doc/why3/why3.odocl -P why3:/home/opam/odoc-out/p/why3/1.8.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/p/why3/1.8.0/doc/why3 -L zarith:/home/opam/odoc-out/u/0ed051c525b603a51c1e2c6dd6ae88e4/zarith/1.14/doc/zarith/ -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/p/why3/1.8.0/doc/why3 -I /home/opam/odoc-out/u/0ed051c525b603a51c1e2c6dd6ae88e4/zarith/1.14/doc/zarith/ -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/p/why3/1.8.0/doc/why3 -o /home/opam/odoc-out/p/why3/1.8.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.8.0/doc --occurrences /home/opam/odoc-out/p/why3/1.8.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.8.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.8.0/doc/index.js --root /home/opam/odoc-out/p/why3/1.8.0/doc --occurrences /home/opam/odoc-out/p/why3/1.8.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.8.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.8.0/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.8.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.8.0/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.8.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.8.0/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.8.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.8.0/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.8.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.8.0/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.8.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.8.0/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.8.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 19:36.00: OK: doc why3.1.8.0 (runc: 2.1s, disk: 121KB)
2026-06-23 19:36.00: Job succeeded