2026-06-23 17:48.41: New job: doc why3.1.8.1 (d3e93cf4b094)
2026-06-23 17:48.41: Waiting for resource in pool day11-builds
2026-06-23 19:35.49: Got resource from pool day11-builds
2026-06-23 19:35.49: [profile full] doc why3.1.8.1
2026-06-23 19:35.49: doc why3.1.8.1 (d3e93cf4b094)
=== 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.1/
=== END DEBUG ===
process_meta_file: prep/universes/3061bdb9a40040d57cf28a0b081dceee/why3/1.8.1/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.1/doc/why3/odoc-config.sexp
prep/universes/3061bdb9a40040d57cf28a0b081dceee/why3/1.8.1/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.1/lib/why3/META
odoc_driver_voodoo: [DEBUG] prep/universes/3061bdb9a40040d57cf28a0b081dceee/why3/1.8.1/lib/why3/why3,why3

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

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

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/3061bdb9a40040d57cf28a0b081dceee/why3/1.8.1/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.1/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.1/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.1/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.1/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 cb6805ff408867f571f7eae350407322, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Wstdlib (hash 4851365c59660f7533e3f05b26831322, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Whyconf (hash 2518dd65f03e406e1d85813f68553edf, 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 d10d35d26b9ab4922977cc948c6b537a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Vector (hash 6889a380d6943219982221c7206b40f7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Vc (hash bfd5c9b797dbae285acba537092fa84c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Util (hash cd89e8c3ba284e4e263201e984086236, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Unix_scheduler (hash fe4b95d0e8b11d737af274dbed8e9101, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typing (hash 99ec1df9c03b50cf9e388f0e8fc19150, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typeinv (hash 4e2f9b8d48e71d3c5f82bc46786374aa, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ty (hash 6231fc56b1419aaea5ceea7a6d7c5e82, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Trans (hash 90232daede336ab76b852d2e7a1b71be, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Theory (hash 8ae578dfbecbe6a4500b2b03a89bfccc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Termcode (hash 49f96e4eb712cbde5aa32739e8f20754, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Term (hash 4b96a4c3731a087b406ff41d765762ae, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Task (hash 2619588b7ac626fcbd23e48eec4bc6f5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sysutil (hash b9fca874d2a7044765f5c3516efef9ab, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Subst (hash 0a7569f69d4377025887d9e4d731bc3c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strings (hash 2bb3c014f18812a4385faf6b1304265c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy_parser (hash c65e41b8c85cbddaf1e626db65138ace, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy (hash 49d044c94795a05f1101e39065df8bc5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Split_goal (hash a59d2b6590202e34fef263bdd21d692c, 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 717168fe7b45f33bdada8f5af791c5a9, 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 1ea9d0b16e293971565ee2b6b274d55b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify_formula (hash af3361197df072d8a2a50f6676acc864, 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 33c0d38c748bd4ec3273c575fe518c80, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sexp (hash 91ce5d64b59d6918491472449f759010, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Session_itp (hash 82752f54c540a64a07dccf08804b9298, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Server_utils (hash 566a30cdf5dce86134080936f4adbf0c, 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 35633e624d43f6192be067022eb127d3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Reduction_engine (hash 4347beaafdd0485f6a6530b04e47e02f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Re (hash 36748d3160587d3cbf985e2154d6c9ea, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rc (hash dc85c0439a03df1f11c7842aa5eb7fb9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rac (hash c064476591fe7a72c23555d442d54ed2, 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 06e3cfefc92712fd5c19edc1af648830, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree (hash 347a280640f73017316e39281b2d01b2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prove_client (hash 3efcad6e81c35977957b542cf25dc837, 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 e192e707ce78942df74f6f65b7f2feeb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Print_tree (hash 5cf8de0e121b4357436be1144a977d1e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pretty (hash fcd7dcc233c6b7be47f039c8cc45fbb4, 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 151a09fd10da85436cdca19fea214dee, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pp (hash 49746cd48750abece11b372af063d429, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pmodule (hash f0c782dddfbaf9e72d71e7bceacd78b6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Plugin (hash ecd5b04b71d3e4ad312c52c939f15e16, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp_core (hash fd7aa2633a84b849f41cb6426197bb6f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp (hash f4640bda7ee70eda572df832238f07e0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdriver (hash 65b23a48c95bb76f2a752167afe21915, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdecl (hash 04aa536b57e9192c020673d92b5aa8e6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pattern (hash 2b189f909a182e9ecd69a2668baf761b, 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 7ec52f88ff314f4fe1064f65d28f349b, 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 657c0057ebd6b5619fd1ddacc7914574, 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 54f0cb0901a2cc1ab8c4da625085146a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mysexplib (hash d8bab0f362db84a9a7b42d6becd954c1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Model_parser (hash 1a8dad776b8784bfe264af710dff9256, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlw_printer (hash c0864823b2c2323dda2180775d121a26, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mltree (hash 656beaeff8e52c4c1e852fdc37784dc5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlmpfr_wrapper (hash 2214a9fd57bde7541eb9a309f2ad26ae, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlinterp (hash 4b146f7a9bb37dbe7e34336719fe2e5d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ml_printer (hash c0764f1e5abefc8229b37e3547363d57, 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 b210a856507c25eb47f3e34d45b229e7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lists (hash 5025a276ee183d2cac4f09a6b9eda978, 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 2f32ce23dc48a8f36585d7423ed8a3d8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexlib (hash 63d1558b6ebc4b3cb6619307037a0801, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexer (hash fff32e33149a72efbf60c3dbc13e4682, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Keywords (hash c2f4a5b25b988d2c3aa8fcea2c61b678, 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 70831ff3f9a12c41ca7ac8de305e19ee, 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 3b4f08a19ead56e8f6bc24d3eb17a82d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_base (hash 6e49d2d5408f893f4e68b142d81ef9db, 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 b4a18ee69b2a7e59f0aadb7b1a5ce915, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_server (hash 89557e7e58b808d2b3792e2ef8bc30a6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_communication (hash 17f830a1345a40c144c984e6875d664a, 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 348dab13c00d21bc10bcd67d043f6682, 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 04dfe5b6fe4458235a3811e6321259d6, 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 255eb1ec61fe46bd038be643759ad1f9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ident (hash e77726d8fbe8b85f62971560949f9366, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Hcpt (hash 24dac60554aae96f89f9fb9122070c4a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Hashcons (hash a7da917929749df6907e86ed386a28a4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Glob (hash 77ca860b1fd57b85f185cc3456aa33c9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Getopt (hash a7f1d462590841e4c76bebb5145b3e44, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Generic_arg_trans_utils (hash 7c7a8b73499d0f3d436d58588a1b44de, 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 683ae0c32feccab5a45047136f18d7fc, 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 529da00c17934a9e5b0c8c6bc36ea2df, 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 316e18ec8353219b3f37e62e55499813, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Exn_printer (hash cb129e91f72e1482fee45af50578c1f2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eval_match (hash 879ece35e00930ab23dd50cfe05010bb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Env (hash e95f5dbbef8ac1441437ce7f4680e7d2, 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 b18fb22c17cbc8ff2b25679944fa82a2, 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 bf24db2e040079eff810042c83992e6a, 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 a648acf9b38ed83a433e3a573f67a81e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_let (hash 7b62b9588b37b47ad3844bcc9ef4f9fc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_inductive (hash c77146d8a2d27f4aadf72b47624fddc8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_if (hash 9e063bce39fda744a72f0af4d91f4ed3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_epsilon (hash d2cdf5b042edfc2f577e832c148e7be8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_definition (hash 99313945167068bb7a68a1a7e4c637bb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_algebraic (hash 46d57f5c6da483f7b053c41f3572c6ae, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dterm (hash aaf7b6f6875fd1d68e84b650fb98c16d, 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 3075aa39f0958becab6d0153864a3064, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_ast (hash 071af2e66b130f85ad0d04c7a0d71648, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver (hash 2a897ae05ccc9f984660985869c5faa6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Discriminate (hash d58016bbd2f868e1310c37028a26a5ad, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Diffmap (hash ab6fde6827cb50d116cd8be5d5aedfd1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dexpr (hash 3bebfce1791f4e6c3d438bb2209588e2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Detect_polymorphism (hash 6160463e45e58bd87900b2cebbff9286, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Destruct (hash 3e32dc3f83f23d7cc842d514375ff064, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Decl (hash 2ed5f67a63ef45f63351f74902f5bd51, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Debug (hash 6293916234b61727da95f7f799b230cc, 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 e0932a5dd3766f4e47f32e25e2d448c6, 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 1dd074c4540763ea2705b09fb6b56b5f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Constant (hash d01099a9c4650d8f99e6376205f6e65c, 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 8ad6ece348dd1a961057dc1ffb827ec7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compute (hash fcc8b306fb5b19b5696a159b86a61736, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compress (hash 24ee73e88003801a82b469b9cac35678, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compile (hash 5112dfa066e07203a80bb6d33074991f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Coercion (hash 5f629a58ccdce60a5d28a44693652678, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cntexmp_printer (hash 875c815aab71f66e4d9bd0b7fff56535, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cmdline (hash c9876f2cbda04e0eccb5f8d7d768340d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Close_epsilon (hash 7b68f23d5b5e8167b9e694a5eba9d2a8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Check_ce (hash 7773a39b847cfe708d7b2bb650378dc0, 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 eb20581d90f3f703b68f256475ef1cd0, 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 77954b2dc7887cdbb1b4878e3e9de614, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module BigInt (hash 0199c25a61d493736b7f415ecff6f011, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Autodetection (hash e0f0c54f25e5bd031c5bdf95461ce1af, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Args_wrapper (hash 6bb8db52a6f268a928a966f66ee247b9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Apply (hash 3a939f873bd1e3a183e9a0f5a02cb5ea, 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 bf8a4454d52f0c605c3c73fcdc8cb9ad, 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.1/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/why3/1.8.1/doc
odoc_driver_voodoo: [DEBUG] 7 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/why3/1.8.1/doc/why3/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/why3/1.8.1/doc/why3
odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/3061bdb9a40040d57cf28a0b081dceee/why3/1.8.1/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.1/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.1/doc/why3 --warnings-tag why3
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/why3/1.8.1/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/why3/1.8.1/doc/why3/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/why3/1.8.1/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.1/doc/page-index.odoc -o /home/opam/odoc-out/p/why3/1.8.1/doc/page-index.odocl -P why3:/home/opam/odoc-out/p/why3/1.8.1/doc -L why3:/home/opam/odoc-out/p/why3/1.8.1/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.1/doc/why3/page-index.odoc -o /home/opam/odoc-out/p/why3/1.8.1/doc/why3/page-index.odocl -L why3:/home/opam/odoc-out/p/why3/1.8.1/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.1/doc/why3/why3.odoc -o /home/opam/odoc-out/p/why3/1.8.1/doc/why3/why3.odocl -P why3:/home/opam/odoc-out/p/why3/1.8.1/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.1/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.1/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.1/doc/why3 -o /home/opam/odoc-out/p/why3/1.8.1/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.1/doc --occurrences /home/opam/odoc-out/p/why3/1.8.1/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.1/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.1/doc/index.js --root /home/opam/odoc-out/p/why3/1.8.1/doc --occurrences /home/opam/odoc-out/p/why3/1.8.1/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.1/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.1/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.8.1/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.1/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.8.1/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.1/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.8.1/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.1/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.8.1/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.1/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.8.1/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.1/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri p/why3/1.8.1/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:35.56: OK: doc why3.1.8.1 (runc: 1.6s, disk: 121KB)
2026-06-23 19:35.56: Job succeeded