2026-06-23 09:31.54: New job: doc why3.1.5.1 (361833269661)
2026-06-23 09:31.54: Waiting for resource in pool day11-builds
2026-06-23 09:52.55: Got resource from pool day11-builds
2026-06-23 09:52.55: [profile full] doc why3.1.5.1
2026-06-23 09:52.55: doc why3.1.5.1 (361833269661)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
=== DEBUG: pre-voodoo image inventory ===
-- pkg markers (.odoc_pkg_marker) --
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/menhirCST/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/menhirGLR/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/menhirLib/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/menhirSdk/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/90ee9ad74481365032fcb168189227f3/menhir/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/dune/3.23.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/.odoc_pkg_marker
-- lib markers (.odoc_lib_marker) --
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/bigarray/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/dynlink/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamlbytecomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamlcommon/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamlmiddleend/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamloptcomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamltoplevel/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/odoc_info/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/str/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/threads/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/unix/.odoc_lib_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/menhirCST/20260209/doc/menhirCST/.odoc_lib_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/menhirGLR/20260209/doc/menhirGLR/.odoc_lib_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/menhirLib/20260209/doc/menhirLib/.odoc_lib_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/menhirSdk/20260209/doc/menhirSdk/.odoc_lib_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/num.core/.odoc_lib_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/num_top/.odoc_lib_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/nums/.odoc_lib_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/
=== END DEBUG ===
process_meta_file: prep/universes/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/lib/why3/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: why3, [6]

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

odoc_driver_voodoo: [DEBUG] Config.packages: 

process_meta_file: prep/universes/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/lib/why3/META
odoc_driver_voodoo: [DEBUG] prep/universes/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/lib/why3/why3,why3

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/lib/why3/

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

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/lib/why3/

odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/why3/plugins
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/lib/why3/plugins for package why3
odoc_driver_voodoo: [DEBUG] 4 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/lib/why3/plugins
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/why3/commands
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/lib/why3/commands for package why3
odoc_driver_voodoo: [DEBUG] 5 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/lib/why3/commands
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamltoplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/bigarray/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamloptcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/dynlink/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamlmiddleend/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/odoc_info/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamlcommon/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamlbytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-base-compiler/4.14.4/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/num.core/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/nums/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/num_top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/aec01b41b8b325468cac7a997a943c08/dune/3.23.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/79700a9ee710cccfdb8a6150da04cac8/menhirSdk/20260209/doc/menhirSdk/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/79700a9ee710cccfdb8a6150da04cac8/menhirSdk/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/79700a9ee710cccfdb8a6150da04cac8/menhirCST/20260209/doc/menhirCST/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/79700a9ee710cccfdb8a6150da04cac8/menhirCST/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/79700a9ee710cccfdb8a6150da04cac8/menhirLib/20260209/doc/menhirLib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/79700a9ee710cccfdb8a6150da04cac8/menhirLib/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/79700a9ee710cccfdb8a6150da04cac8/menhirGLR/20260209/doc/menhirGLR/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/79700a9ee710cccfdb8a6150da04cac8/menhirGLR/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/90ee9ad74481365032fcb168189227f3/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: 390 precompiled units, 1 other units
odoc_driver_voodoo: [DEBUG] Error during compilation of module Yices (hash 4fdfb93e28498150ab13d7dee4d839bc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Xml (hash 88077dcfc20db0fc4fd91e98846e136b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Wstdlib (hash b43ecace087bf5fec35e47b7d74dd33b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Whyconf (hash 508fd42c8a73909838b6a4e801139a29, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Why3printer (hash c0bca4ae1340b3c4b4af840cbdb0c5e4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Weakhtbl (hash d693d7b938a65f61db22313ff4673550, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Warning (hash 7a9fde116097a6ec4d2513d460f36f62, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Vector (hash 65d678d68d3915b759527062fc0fa990, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Vc (hash 18d2ff986a043498712e629eb2a2ea77, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Util (hash 44fcbb43824703390fb842c1159cfe31, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Unix_scheduler (hash 2786a01d0032e347f703a9f3efc0eb6e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typing (hash b9d6c5d47702a0796b2cdedf76b225cd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typeinv (hash e56461c1bcbf0d66ae2376611ba75fad, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ty (hash 266aab1ce1dec6452b1bb40974f880ef, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Trans (hash 8432fc6697c8abf7b45869092f58adc5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Theory (hash 8fb65debddecac2e66b1a6f171827dc9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Termcode (hash cad6211cb5ec3fcfdb6412151b20bf61, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Term (hash e3ff5f4a93e72b5ba762e9741aa8751b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Task (hash bf8316b59df228d94e22c6825f29660f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sysutil (hash aca8778b2958e350e35538d0694bbb25, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Subst (hash 218f2d603796f300df1ba71060822050, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strings (hash c84f43006b651102536b49ed94549feb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy_parser (hash 6fed6916a25b0ec65ab1b54d4ac9ddd3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy (hash 45dd1a4796c0d4c1c18edbe0b7d940aa, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Split_goal (hash a044dedc21a2f8df43d6f7eca795bdf9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2_model_parser (hash 7dd1c45ba2e167e2bf1c0fee66863bc7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2_model_defs (hash 2f9ce77596948d2c8c8b8554ac27ec4a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2 (hash 7cd496ea19fa79e44c1f19af8827ecd7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv1 (hash ad434b824e3abad9881f765a147fcc61, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smoke_detector (hash 1ba6599df6b1bdf031e6c7b44a484095, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify_formula (hash bc58e50e3d0950a54b0ded719c43b718, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify_array (hash f784ad652ebae2eca799c01622b2ab4a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify (hash c9f59ad0056a8c1065a2f696db12f7b5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sexp (hash c189d436de8c44efad61e82d81c72262, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Session_itp (hash 05f7a285cae8d468762dad24fc783a0b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Server_utils (hash fc4b48509d259b77c1c383e26fe44db4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Report (hash 91f37009b399070ba0e6bc1722075246, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Reflection (hash b7853d01ee7936d6258fae53d3b55ece, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Reduction_engine (hash 144661da97993e3e4a88f51ec48d5870, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Re (hash cde57f8ca71f692b545ed1c39ed6d0d7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rc (hash ee5d95d5ab928638bc21e836f48bcdd2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rac (hash 5462c44180f7c191b0d78dd61392a47f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pvs (hash c78cfa91896d6999d495b4f25e996757, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree_helpers (hash e8606b8833a2b27343f1eead664fbd66, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree (hash a40497b1719ad6fc29d140256c775e35, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prove_client (hash a53d087cc27453290e3c1c977423fe24, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prop_curry (hash 5b256e700f4b2ed5a70957533698ea96, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Printer (hash e96ee474e891e2e7d82e2177d6ae4549, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Print_tree (hash 3d8a5ccd183e5e7c8d98a6e48c5807ef, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pretty (hash 92866aefde32706125e9b6df97a60832, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prepare_for_counterexmp (hash bb78cfbf2eedd94b4e6f496a0d2a2b7f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pqueue (hash 2a67c37bf6cdf4cbd51b42c0692e8612, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pp (hash 67a7b20566ebb13e31c5c768328d03bd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pmodule (hash 737e99607d84e776eee4f85550228dff, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Plugin (hash c99b64a96f49d79a26cd606a344abe63, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp_core (hash 0ad7320024b5036b5c56f1ab397b8228, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp (hash 0567ee6210f41fe9cd9d93ac31a83b6e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdriver (hash a2bba2a330284003ac567b3bc09365a5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdecl (hash 8aeecc733ffd8da83d247a99ea07c792, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pattern (hash 5bc1709d75804a4e67d7be479d0e9d1e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser_tokens (hash b776b26f6b13cd95816cf8e846f0fa70, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser_messages (hash 9c46c3092148e96e7f489d77da030777, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser (hash cfe5d654a57f68ae42a42a01d719ad2e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Opt (hash ee1f793bfbcd11a1a0c3f8cc196add5a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ocaml (hash d0641bd680cde293e12bac04741b3931, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Number (hash 6990a9513b92309b42f8727e9de92bba, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mysexplib (hash 197687590f22df2810de9335f5b629bf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Model_parser (hash 213f22cde659ac2a4ffc59443272326d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlw_printer (hash 2b6e51cbdfbad54b85fcde25b682a302, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mltree (hash 0f7a177e606e6ea19148a6845eea46f1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlmpfr_wrapper (hash c5cc0bfc5921b373eb9b20c91fcd09b3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlinterp (hash a86e61739e043422b4b75f519b75d081, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ml_printer (hash 589be8de1c113cd64a62e66fd9033913, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mathematica (hash af29957e53f3b84e996217816f1457b8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Loc (hash d62abf0d4d2751580e0e045db4120024, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lists (hash 930e0c9fa98de3daa64175ab72513b64, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lift_epsilon (hash 89ae295e1745f709c780f239f5385343, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Libencoding (hash 8fa0e3837cd0ad09056b702c16c6e6cb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexlib (hash a6fcd1dc44e3a89a57baa521d5a51e9d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexer (hash 7a1b6762da8fe786cf7ca1e973f3a7f7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Keywords (hash 500a54108dcc1d67c1b1b1ef272169fb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_util (hash a185c70b68ef0bdd111cc22b3e52df96, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_parser (hash daf7518cc02db38c5b0a999c8769d5a6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_lexer (hash b8d526015c96e445c7e868bf8b28dfd1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_base (hash 7d475a12e5a0f8e75b4bcb5686213770, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ity (hash 8c880e322b904f282c51f755498a3f1a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_server (hash 6c3818d25881d65ef9a0f5527a089182, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_communication (hash e5c048e2050cb5201f8d77778a418cd4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Isabelle (hash a6d7bf5d0d0ad7543aeaf643928cde6c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Introduction (hash 6b7eaabf8f7310f5414cf34cfeb21c15, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Intro_vc_vars_counterexmp (hash 8519388d78e0bb261405b6033a0f2c78, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Intro_projections_counterexmp (hash ad0b182ba531e7399eacd111c8575441, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Instantiate_predicate (hash 764f86c86bb30d31a9b9d4057698be1b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Inlining (hash 259285e8994697619e28de34a2a30438, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Induction_pr (hash cc645ad7c9232c9b89c48cff6180ad0e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Induction (hash 1c8b551925585f89057bd797823be530, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ind_itp (hash d5d22d00187c2e17b5f031144fe6ba50, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ident (hash 488b547453414c6cf91079d5d00912c6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Hashcons (hash 69a89db1fd4d9640891e208ed9e3cbdb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Glob (hash e4f7ae5756d8583afb865ec96f582a3c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Getopt (hash bced5c26434c324881659faa593b1dc9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Generic_arg_trans_utils (hash 29d6057b44889c54e7a300d234edb826, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Gappa (hash 160b381364a005118c4a701321471bb7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Filter_trigger (hash 1de6d7480ec83a6278d2d72db4600759, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extset (hash e88ea3ac5fa9856a590450a848d81af1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extmap (hash 700894a8051e59d8a1fa3c1c912e906b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Exthtbl (hash 061acae10eeae3005cfbde53ebb95c2d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Expr (hash b95ea19e57a8b0749f6ba27a0327ded4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Exn_printer (hash 65f31b285ddac0d6de022d1d38c83f7c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eval_match (hash bf0acfaa2ad5fbd538a4bba9e0dd2295, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Env (hash 73dadf3a4e653f2053f3858a74d102ff, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_twin (hash a1e07a91ce8fc414b0143cb4a2fbaead, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_tags_full (hash 9dfe9589865f75d8c43e3f4ab1754d17, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_tags (hash c52f4dbd2623ae6973d004ef4ec3c367, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_sort (hash 56fca3faba15db257f264807e57a6313, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_select (hash 4c356683207ae7b2696aa392e7ade79a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_guards_full (hash 9b53432649f2a7bf0d4a682189fb3157, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_guards (hash e6523af12f1a1aa12be4fabe225c45f1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding (hash c62a55df7657d800b3fa48fd9218e24b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_unknown_types (hash 7c4c4c061880c711e1103ebf5eaa7977, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_unknown_lsymbols (hash b10626032a1140684943f9ff43751c93, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_symbol (hash f88e59d75f7e054db817f857885935cb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_literal (hash af655dd62011c06db3831e79058156f7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_let (hash 74869d486f75ab961f2da4b403c65de6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_inductive (hash d19dfae676e760b9042df6a0b21e5513, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_if (hash ec0f5e7f63ad1e85f676813cb8622fa2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_epsilon (hash 1198f7ee7c8da773a114d271536a9f34, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_definition (hash 156ed9d47d41445c5785bd09d1a7f19d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_algebraic (hash 6075cf38b50dcbd7b2d2bdcec680a817, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dynlink_wrapper (hash 39425815ab6143c180db5416586f1788, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dterm (hash e23efddc20e33069f1e54dcbf074a0ae, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_parser (hash 2bb7487d66da3c047c70f74c2bcbe9fd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_lexer (hash 1437d5ad44e20203a2db5d4267a14c8f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_ast (hash 0205565e6423505586a86fd4b049d1bf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver (hash 3b9c7235c1973ffa55017393bef23f3e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Discriminate (hash b12d4f4fd2491350f42058e2ca2ba3a3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Diffmap (hash dccb68d382791c739e4026e04da4ecb7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dexpr (hash 63ba75c03b770c31eaf5cb358d859848, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Detect_polymorphism (hash 3f692309b6dae8524d3e265f830bc08b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Destruct (hash d4ce5c04629a99a68b5324f057a8893c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Decl (hash a395e42cc2cefe3b126165ef1b218e12, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Debug (hash f3e2f3f5f86e315fdc430be12d995bbf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cvc3 (hash ec379924bce86babd5f514d2205bf5fd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cut (hash 5b75336a8223b9970e7dd45591854df5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Coq (hash 0eb8abcaadd3f8521e7348388550082e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Controller_itp (hash 12780df2b0b9d9930d39835874633ce6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Constant (hash b231d218f5adabccc2ee60be73dd3389, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Congruence (hash 586c0097d822cb22f55e46538e0a99f5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Config (hash a712ca99b5a4e85324646184d760ef77, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compute (hash 80ce696a90f310b6ea0bab7fee9f0d9c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compress (hash dd3772d4b5488713e0e14812863f4eb8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compile (hash 08b629df1c80515ee8c4f050d6c37d05, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Collect_data_model (hash 826175b33ac3fca984f96142d894478e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Coercion (hash da67efc2222824004ad68d3524f75aa9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cntexmp_printer (hash e3f96c929fe9ccafdea9b184202bad97, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cmdline (hash 030dc676b628aee2a44d782e9d6f6455, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Close_epsilon (hash f696af39a5bbd841888bba833eb624b1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Check_ce (hash 4d56983e9233c4210794e4147d327856, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Case (hash 60244c2eb2bf02c2d2229b90e84f351d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Call_provers (hash 122ada586c0d5e0d343ffaa8207885cf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cakeml (hash 0730b25d47bcd2e8fe760300bfa9ecbd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module C (hash 8447e3d03145d1674520f97ea6daab99, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Big_real (hash 88e3fd542236b83c25f4f7159911789e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module BigInt (hash b2b5d123598d0eabb282ba187cd4bf71, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Autodetection (hash b88b67ed214363b864b6662a2f6ecee0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Args_wrapper (hash 22bd05c3f1d79e0891b571abc5c67310, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Apply (hash 5fcfcf18bf45f1b2188b8f80d3e3698d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Alt_ergo (hash 765121d31561de884a886b8401002425, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Abstraction (hash d485870b5df5c7713e312a99ef013803, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Abstract_quantifiers (hash ef76035b63a6dbef4d8fa45d80f0a68f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] 6 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc
odoc_driver_voodoo: [DEBUG] 7 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/why3/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/why3
odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/lib/why3/why3.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/dynlink/ -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/str/ -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/unix/ -I /home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/menhirLib/20260209/doc/menhirLib/ -I /home/opam/odoc-out/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/why3 --enable-missing-root-warning --parent-id u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/why3 --warnings-tag why3
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/why3/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/why3/why3.odoc
odoc_driver_voodoo: [DEBUG] 9 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/page-index.odoc -o /home/opam/odoc-out/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/page-index.odocl -P why3:/home/opam/odoc-out/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc -L why3:/home/opam/odoc-out/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.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/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/why3/page-index.odoc -o /home/opam/odoc-out/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/why3/page-index.odocl -L why3:/home/opam/odoc-out/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.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/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/why3/why3.odoc -o /home/opam/odoc-out/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/why3/why3.odocl -P why3:/home/opam/odoc-out/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc -L dynlink:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/dynlink/ -L menhirLib:/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/menhirLib/20260209/doc/menhirLib/ -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -L str:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/str/ -L unix:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/unix/ -L why3:/home/opam/odoc-out/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/why3 -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/dynlink/ -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/str/ -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/unix/ -I /home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/menhirLib/20260209/doc/menhirLib/ -I /home/opam/odoc-out/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/why3 --current-package why3 --enable-missing-root-warning --warnings-tags why3
odoc_driver_voodoo: [DEBUG] 12 - Executing: /home/opam/doc-tools/bin/odoc count-occurrences /home/opam/odoc-out/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/why3 -o /home/opam/odoc-out/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.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/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc --occurrences /home/opam/odoc-out/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.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/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.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/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/index.js --root /home/opam/odoc-out/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc --occurrences /home/opam/odoc-out/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 18 - Executing: sherlodoc index --format js _index/why3/index.odoc-index -o /home/opam/html/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/sherlodoc_db.js
odoc_driver_voodoo: [DEBUG] 19 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.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/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.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/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.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/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.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/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.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/u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.1/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/b9cf450bada4d0f6a4d8650c08fd1bf4/why3/1.5.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 09:53.00: OK: doc why3.1.5.1 (runc: 2.6s, disk: 142KB)
2026-06-23 09:53.00: Job succeeded