2026-06-23 09:39.55: New job: doc why3.1.7.0 (036ace02d1a3)
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.7.0
2026-06-23 10:03.27: doc why3.1.7.0 (036ace02d1a3)
=== 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/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/0ed051c525b603a51c1e2c6dd6ae88e4/zarith/1.14/doc/zarith/.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/ddc3d0f1f6be2fc799c8effc00477bb1/why3/1.7.0/
=== END DEBUG ===
process_meta_file: prep/universes/ddc3d0f1f6be2fc799c8effc00477bb1/why3/1.7.0/lib/why3/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: why3, [6]

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

odoc_driver_voodoo: [DEBUG] Config.packages: 

process_meta_file: prep/universes/ddc3d0f1f6be2fc799c8effc00477bb1/why3/1.7.0/lib/why3/META
odoc_driver_voodoo: [DEBUG] prep/universes/ddc3d0f1f6be2fc799c8effc00477bb1/why3/1.7.0/lib/why3/why3,why3

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/ddc3d0f1f6be2fc799c8effc00477bb1/why3/1.7.0/lib/why3/

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

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/ddc3d0f1f6be2fc799c8effc00477bb1/why3/1.7.0/lib/why3/

odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/why3/plugins
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/ddc3d0f1f6be2fc799c8effc00477bb1/why3/1.7.0/lib/why3/plugins for package why3
odoc_driver_voodoo: [DEBUG] 4 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/ddc3d0f1f6be2fc799c8effc00477bb1/why3/1.7.0/lib/why3/plugins
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/why3/commands
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/ddc3d0f1f6be2fc799c8effc00477bb1/why3/1.7.0/lib/why3/commands for package why3
odoc_driver_voodoo: [DEBUG] 5 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/ddc3d0f1f6be2fc799c8effc00477bb1/why3/1.7.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 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] 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: 416 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 386d668f83d9af8e69eb9fcbb5cad2f4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Whyconf (hash 120d50cba88558da79ed9c5130aa1ecc, 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 a7d5116114076370214b39db6cc1d2d8, 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 7796748c071dacb0df2f79edc6e9e90f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typeinv (hash 154ce8fa0e758714b3ef6cbb85530f4a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ty (hash 9e5585474832828115e17d3fead652fe, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Trans (hash 088aa06d55f64fd42d24c8c8d887b6bf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Theory (hash 6bf4b022d3ac25642b8d691434094caf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Termcode (hash c227861b00ae2fb00c23cf5d44f5ebbe, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Term (hash 5f1ea64b161869a2e4175a860bfb7163, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Task (hash b27fe61d778c03cd223b81314987f5bc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sysutil (hash 743e14f7c85142cfade04d2b99419f0a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Subst (hash adeb2b43b665e300b581fbfa3373df35, 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 ceaeab9e6038df8e6cd95f166385cdf5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy (hash 2ee280ed902e8c36e1768c986b31abe9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Split_goal (hash 1edc9f88572c041300c4a61e9587261c, 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 0c4ae031ff901ada1617e74bb138a992, 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 e734f1c0205fdb6ac62e7488b72ad04a, 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 d1b4cf1750cef8305eb8707a025ab12a, 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 68fb38a74ce7c712d7096dc962bb0217, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Server_utils (hash c7d42ff9b8406bd7d8eb94ad331955de, 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 deb787938d7df70c79ab987411b3b15a, 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 45507bf423097592a9ab88decc462e82, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rac (hash 50958a5568fe05db0b0ee1436c5be491, 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 5382124c7b06f9e32d1e9db37735cebc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree (hash 4e1ab5c72f12b5778c15a1739d68ccb7, 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 ef20125072fbadf04b462f717f34cfa3, 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 af70ad16143f96ac6cbe0909ea142fc1, 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 545cb95d564a043f797585dca4532e2d, 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 7b92983264643ce25fbc374c3564f0e0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp (hash efaddfb02d81b3e1278a0cea57696cde, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdriver (hash 7423ec9a6740c6b1e9b74f48e06a981c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdecl (hash cf45cacc0ef8832c323ec446b3e78546, 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 a9ad8bb5231a4952cbb943cc0c771897, 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 21447ae2c98ddb889b8af0d110dd479b, 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 42e4e45a1cdcb052e1f44d9b85920430, 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 92c9784ae2b1ec1103291c1aa59c4969, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ml_printer (hash 0b818be59095097fa60252b5a99512cc, 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 f319a0af2e622abf00421b66752d48fb, 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 4a1e5412be6fbf506481f1179c7f838a, 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 7d66676c5ffc087d3c6cad7b7ebb68f6, 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 834ab35177007ab09e040bbd0df6943d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_server (hash f5fb58a0e1180e862b8a7e1d952218a4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_communication (hash fdc389ea445c87482f209c3e3a67f100, 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 cff873207969f8a616c56f8cf9b4b092, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Intro_vc_vars_counterexmp (hash 5dec3280c883a310253c68105049a7b6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Intro_projections_counterexmp (hash 9dcb992bc4464e62373c5b8b1053cd54, 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 4490244af4717adfe1a517a8d2badb84, 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 488646361cf66fa85998a0cd5c61646f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ident (hash b980a1a6093786b8ff323e336f1d3957, 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 f36c4ba28b74616d087f2bafaa02257c, 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 629741f1bd7e592b83f1fc3533700de8, 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 e36cbc64f7c4c7d82c18163795e091c9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Env (hash 7358b042a676bb84c846992573c8861b, 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 77d04474859a1c13c5e1bc28285c2ef4, 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 4730ca99e5458f0b679452c0ecd07a45, 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 185be4eaa6a8637fa16b82f9b56954fb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_algebraic (hash 178dc34a68157234a5378a9c7abac857, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dterm (hash 92d4fbbd1d05a983c736666c334dd48a, 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 7dcb43e652451724c2f604259d796210, 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 8985928df48127929a072581e4613d7c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Discriminate (hash 4026fe30d8ebc43ed8f9ec64301589f6, 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 6d103c0387a0b0b75521b56ef53aa0b9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Detect_polymorphism (hash 2ee5676a8451785701b996f7cf68591d, 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 3f7e08029e481f139763b864c115730e, 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 ce085aa295490be2a018116f76b6e577, 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 0a4956c0f4e5884d26ace0c926d998dc, 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 a09e0e898ecc4c711346d977b3a5bc47, 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 c12170ccc704d9104f8c83ef3c2f72b1, 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 2598705f39cd9dfb64ab9aaa20a3e768, 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 b69ef1b48b5701acd983d88977e15c64, 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 73ca9464924b85a5b02d52ea26cf7fcd, 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 c89ba95983b003720e163a871cfa6133, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Args_wrapper (hash 6ae83da2789547ade0f4b3b6bddafcd5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Apply (hash 9c9e8a577800e0cdf2dc5cd4cf27d31b, 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 34a266dcb3783441064df02196c8c8ca, 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.7.0/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/why3/1.7.0/doc
odoc_driver_voodoo: [DEBUG] 7 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/why3/1.7.0/doc/why3/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/why3/1.7.0/doc/why3
odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/ddc3d0f1f6be2fc799c8effc00477bb1/why3/1.7.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.7.0/doc/why3 -I /home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/menhirLib/20260209/doc/menhirLib/ --enable-missing-root-warning --parent-id p/why3/1.7.0/doc/why3 --warnings-tag why3
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/why3/1.7.0/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/why3/1.7.0/doc/why3/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/why3/1.7.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.7.0/doc/page-index.odoc -o /home/opam/odoc-out/p/why3/1.7.0/doc/page-index.odocl -P why3:/home/opam/odoc-out/p/why3/1.7.0/doc -L why3:/home/opam/odoc-out/p/why3/1.7.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.7.0/doc/why3/page-index.odoc -o /home/opam/odoc-out/p/why3/1.7.0/doc/why3/page-index.odocl -L why3:/home/opam/odoc-out/p/why3/1.7.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.7.0/doc/why3/why3.odoc -o /home/opam/odoc-out/p/why3/1.7.0/doc/why3/why3.odocl -P why3:/home/opam/odoc-out/p/why3/1.7.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.7.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/p/why3/1.7.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/p/why3/1.7.0/doc/why3 -o /home/opam/odoc-out/p/why3/1.7.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.7.0/doc --occurrences /home/opam/odoc-out/p/why3/1.7.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.7.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.7.0/doc/index.js --root /home/opam/odoc-out/p/why3/1.7.0/doc --occurrences /home/opam/odoc-out/p/why3/1.7.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.7.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.7.0/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.7.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.7.0/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.7.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.7.0/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.7.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.7.0/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.7.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.7.0/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.7.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.7.0/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.7.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.7.0 (runc: 1.6s, disk: 121KB)
2026-06-23 10:03.39: Job succeeded