2026-06-23 17:48.33: New job: doc why3.1.8.2 (4a1865d89859)
2026-06-23 17:48.33: Waiting for resource in pool day11-builds
2026-06-23 19:27.42: Got resource from pool day11-builds
2026-06-23 19:27.42: [profile full] doc why3.1.8.2
2026-06-23 19:27.42: doc why3.1.8.2 (4a1865d89859)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
=== DEBUG: pre-voodoo image inventory ===
-- pkg markers (.odoc_pkg_marker) --
/home/opam/odoc-out/p/dune/3.23.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/zarith/1.14/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/menhirCST/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/menhirGLR/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/menhirLib/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/menhirSdk/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/9fe92bdf452c573e3ccac18f030d7162/menhir/20260209/doc/.odoc_pkg_marker
-- lib markers (.odoc_lib_marker) --
/home/opam/odoc-out/p/zarith/1.14/doc/zarith/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.bytecomp/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.common/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.optcomp/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.toplevel/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/dynlink/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/odoc_info/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/runtime_events/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/str/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/threads/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/unix/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/menhirCST/20260209/doc/menhirCST/.odoc_lib_marker
/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/menhirGLR/20260209/doc/menhirGLR/.odoc_lib_marker
/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/menhirLib/20260209/doc/menhirLib/.odoc_lib_marker
/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/menhirSdk/20260209/doc/menhirSdk/.odoc_lib_marker
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/
=== END DEBUG ===
process_meta_file: prep/universes/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/lib/why3/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: why3, [6]

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

odoc_driver_voodoo: [DEBUG] Config.packages: 

process_meta_file: prep/universes/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/lib/why3/META
odoc_driver_voodoo: [DEBUG] prep/universes/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/lib/why3/why3,why3

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/lib/why3/

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

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/lib/why3/

odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/why3/plugins
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/lib/why3/plugins for package why3
odoc_driver_voodoo: [DEBUG] 4 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/lib/why3/plugins
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/why3/commands
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/lib/why3/commands for package why3
odoc_driver_voodoo: [DEBUG] 5 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/lib/why3/commands
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/dune/3.23.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/zarith/1.14/doc/zarith/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/zarith/1.14/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9dd8b2c487f0adbb2010a546bf835b72/menhirCST/20260209/doc/menhirCST/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/9dd8b2c487f0adbb2010a546bf835b72/menhirCST/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9dd8b2c487f0adbb2010a546bf835b72/menhirSdk/20260209/doc/menhirSdk/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/9dd8b2c487f0adbb2010a546bf835b72/menhirSdk/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9dd8b2c487f0adbb2010a546bf835b72/menhirLib/20260209/doc/menhirLib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/9dd8b2c487f0adbb2010a546bf835b72/menhirLib/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/9dd8b2c487f0adbb2010a546bf835b72/menhirGLR/20260209/doc/menhirGLR/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/9dd8b2c487f0adbb2010a546bf835b72/menhirGLR/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/dynlink/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.toplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/odoc_info/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.common/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.bytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.optcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/runtime_events/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/9fe92bdf452c573e3ccac18f030d7162/menhir/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 419 precompiled units, 1 other units
odoc_driver_voodoo: [DEBUG] Error during compilation of module Yices (hash ab53ad3c2a588fbb41a5da768756b303, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Xml (hash fcda8fb872893bcdc91352da80667907, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Wstdlib (hash cba231eb92f0ff96d45f991ae222f317, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Whyconf (hash 6facb9bace0e06af22d7c8ab26f40d91, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Why3printer (hash aa5ed864e3a92d96ce132d5b8504b4c8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Weakhtbl (hash 4576436af760e4fa5168e7244f6f32fb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Vector (hash 5b463f297289cbc28fc1ed83616617eb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Vc (hash efae1cf6f6ac5a4e4e64c271fd7b8d4d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Util (hash abda08441fe6aa40ffb43424ec2a9072, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Unix_scheduler (hash 85a57d753a8fe5bfe555d3c849dd5007, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typing (hash 67d2de8bb1265a292101ed69f9b2ddfd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typeinv (hash 95298cad8b515812569196872e17d8a0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ty (hash a7fdb51f4884d47b676a848190435a38, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Trans (hash 0a03b46c29fd413594d1fd8f2379a962, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Theory (hash a4ca43b13001ce76ebb1c5454b64e670, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Termcode (hash 895b3fe5b61e9a553dfc1fb3b7983250, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Term (hash 82e7869518e401eee36828caeb0b4932, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Task (hash d7f461d93d199573c748f79425639ef6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sysutil (hash 6e7280e47cd64d1e7c4a13ebbc20e837, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Subst (hash db7114944044bd5e12280ea0111abc74, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strings (hash 33e26fe2f2acc1f7c23614fbccdb1e52, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy_parser (hash 0eb3b240aa852148851c6a79b45128ea, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy (hash 5d2ce762ed7ed0711be47dc79363704b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Split_goal (hash 1a14035f45f3e779b353005738572042, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2_model_parser (hash cf5d3510f0a09c337a6375f8aec6e858, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2_model_defs (hash 6cf55d6a4db0c2fd7052ce76bc4fd251, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2 (hash faa961bc89c7e78bb5dbdc64ac846b92, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv1 (hash 4f2b48554748535d5f350820639ad9fc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smoke_detector (hash 4f9eb5e8056d53c4905e3b81092f841c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify_formula (hash bc43785cc47cafb7215b9795f4272312, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify_array (hash 461c01e6bdd1faf44dee6ab80378d181, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify (hash 540bd6a73ac71e61cb14ce64c7620b4d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sexp_parser (hash 9fcf9b70768e48c24788a73a705211ef, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sexp (hash f352a5ff5321bc0dfe9c9f42394e0d70, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Session_itp (hash 21b6bc3a8f25d5d9d778990e37c4153e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Server_utils (hash cc2d161f50e40e1c7fdca19868e3771e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Report (hash 6b7d03e68b7cff89fa86c0c3ad29d127, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Remove_unused (hash 574eb367527fc919001a003fc5172c30, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Reflection (hash c7a22237366737f2de902c248fe8413d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Reduction_engine (hash 8482108553609ad9b16764005b46f5c2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Re (hash 6b4aa1b5a8c54407c4c593d1bf66bc45, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rc (hash 35a2d67f6ad016bbb561cc58a4b6e7e3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rac (hash 870d36e52536eee474f6e08aa20386cb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pvs (hash fd99ba8734bd91a4021d16507605bdc4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree_helpers (hash 0203fede765de4c7f544d3ee9b607228, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree (hash 1e7a0863833b3e6b081b555b2c2b1505, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prove_client (hash 2886dfe6f892718ace8f355e5f54d289, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prop_curry (hash 127553ea2beef3a0df64e8fb73da1dfa, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Printer (hash 81ea34550bb2da61b6e5333999ad970e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Print_tree (hash 59068e5cd90971b970b726e0b80e0468, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pretty (hash 0427079cdbde54342ec9f9517d79ef59, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prepare_for_counterexmp (hash 7a0427232d5b70c0bfad61056ff3c4ab, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pqueue (hash 47781d28a886507cc1659a4180a123c2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pp (hash 648b75c7e02b64167cb47f4a9dd937e8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pmodule (hash e9b408ef74296edafac53dd63e207913, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Plugin (hash 57a9baaafa7ab4628fa1670b222a4d99, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp_core (hash 9afe0145298fefc921fcf03e0fba0462, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp (hash d7902c91f234d685ce8d0ee5b6cefa57, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdriver (hash 5f2c0817e084ba3c2151b7fcd143264d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdecl (hash e5cad920d9fc8c4bc4ab4fd012ffda3c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pattern (hash 91c283a7cffdfec3773879d08ee390c6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser_tokens (hash 9cda3351cce43936687a0587d0425eb5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser_messages (hash deba75d799c5a649ffa074a85cf343ad, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser (hash 7ebc7c17c4bbe217ecfaa530631dd412, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Opt (hash 27ffb26741f95dd00412fe9896ad716d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ocaml (hash 6f52d92bd02a38879d9c9566fd7a8cc0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Number (hash 96de81076c2d6a38f4e0156265374245, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mysexplib (hash ed1df00e6f638c826737a9796f0cb886, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Model_parser (hash a334bd1fd80712a861e830dface69059, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlw_printer (hash ec5cdee65444c1891351786b0ba4f9ef, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mltree (hash 0c81ffe004e0cdc1156e2b8b4c817fd9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlmpfr_wrapper (hash 56d53603f1d110d08f7c0cfb8b01ba6d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlinterp (hash f42aefe700ed6197b88f64d707a7f050, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ml_printer (hash f517888f5936b9bf91d3d28a32daa296, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mathematica (hash da8a293de375d31209667cc43a54ca6d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Loc (hash 2fc8003a8eff1e164b549b59471f4a2f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lists (hash f3d759c5853acdd596c2e174c7c58bc6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lift_epsilon (hash e054184e553f99424e9dcafd7169e4a1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Libencoding (hash 1c3b309cef6a038c8d07e1fd6247c2d3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexlib (hash 3678b3b9445c9e76fed314d5756efae2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexer (hash 76d5d168883bb5058653854f44f102a4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Keywords (hash 1c996d8462e49d6c7562b062ff621d65, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Keep_only_arithmetic (hash 37f1cab96a80b8ca0adc098e66252378, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_util (hash 002c1d74676b3f6e859a6a29e029a80d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_parser (hash 594d0e33a9667b0d948c59bb332ad5ec, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_lexer (hash 8a330b71b9ebf5319f9041a2e51deb5e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_base (hash 5b39f558a223dbffcbc6faa06918b68d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Java (hash e314dc6b21acfa7ab6f801b96d7f5314, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ity (hash 73a1cf7bc122c74a78b5139d39a80dce, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_server (hash 0e6eec91914f00a894868e97fb793923, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_communication (hash fd4e14ca1c80475d07dd8599ac13c8aa, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Isabelle (hash f24b68ebbc77ad70771e175fb66e5cd5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Introduction (hash dc9247c70f76d2d07819dc9289b497f7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Instantiate_predicate (hash 226738fe661014fecc81c88f8ebaec8a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Inlining (hash 432f529d2ae7ce65c586973951f21ea6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Induction_pr (hash 1535f9956a4c91ec964438f741addb64, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Induction (hash 0af4bc41a121ca6ec729065791bcf861, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ind_itp (hash f84a3f0c23df2d38f58f8fc5bb066084, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ident (hash dd4eea0564eff8d784086c70b1cdf0f1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Hcpt (hash eee676ee1c1b46def87d67d74a48dde5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Hashcons (hash 9279822388a7c414a7ea78eb4bfdf66a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Glob (hash 882e847cf32912d7a6f3a4a1f0ff33f1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Getopt (hash edaae1ad399706759b0f12c7007e5ca1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Generic_arg_trans_utils (hash aa26d6c20a95b58ad114a4833913d747, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Gappa (hash 1b9565bf5638871e4910499abc4f3b07, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Filter_trigger (hash 1d124fbfe0bdc59101498da28fead09b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extset (hash 756cedd9e2d77e7af50b8c7eda915f2a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extmap (hash ea7882b11c80649b8bb20b057b785a36, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Exthtbl (hash 4e9574d86b6601f4930fd318b4d42352, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extensional (hash 3778859e95166fafae8cb502ef1e4345, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Expr (hash 8822be92a71d5f96088d4649688fefe1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Exn_printer (hash 4aff1a98094a128490a0ec3a0821e7db, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eval_match (hash c6b8419774b4cbe214990b644c4e6021, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Env (hash 92428875670f5644413120c925bb312d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_twin (hash 2ad03c1b2879426441f84f900800f2cd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_tags_full (hash 12f93cc0112639c272c08b1eacc329cc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_tags (hash 595a008e0038ea7a4cdfec232779172c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_sort (hash fe0455150e643146a0d549bbfbeb0e66, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_select (hash 7da02590040bbda1511585ad91c8a8f0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_guards_full (hash e324878c722cd1f291fd0e58e113e0cf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_guards (hash 5b91cfa656a7ddcb2b8e61089e4aa4a1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding (hash 2c7301a79c1e95406b5a298a2eee1f15, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_unknown_types (hash ce320b529b0b9042f830fccd14f32fbf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_unknown_lsymbols (hash af22a95e6e9bbc800929da5ffcdc9bf5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_symbol (hash b1479e29475535ee21d4383ca8768206, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_literal (hash 5eaa1138edaf39fd1a9e992acdfba4f4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_let (hash 031bb1cb3f8a71d651c0f7e862101f31, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_inductive (hash ec6a971d434f41934befab3c9c566936, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_if (hash 5d141afd8227ab632dd447e2cf6f38bd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_epsilon (hash e379097ef61a9af6679a6a8bb4783b61, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_definition (hash a6df11a334570cebbef136c101fb3045, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_algebraic (hash 496854ac1161450cb77caeb6396f142f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dterm (hash f0fad2c58967c607d7368abe56e32b6d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_parser (hash 773d6138c7ad349681c9c63c59b70a82, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_lexer (hash 71815276079ea7c13f391028404dedaf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_ast (hash 104600898c17278b94f24c2e77662524, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver (hash a748b5309c1c83ebde72577163e220f8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Discriminate (hash 492814d240c753fdc5dd148bac2fd63b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Diffmap (hash 46b2e2106daa0bad196b90c3f66db29e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dexpr (hash 0d9086a9fd4f77b27b824dff12abbaa6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Detect_polymorphism (hash bc351f7421ece4572b18ffb692d08626, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Destruct (hash 74af7da934a94b046065faa6c0c0a44c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Decl (hash a5ec40f98b1ad2bf57aeea42c2d6df40, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Debug (hash 48488bb446fea3899a632a30d1a9e6a2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cvc3 (hash 814ce62d4c9b24d794daf346600f57fa, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cut (hash f9b38a19ca97c561e87efc2145e652d0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Coq (hash e3d577f2aef91bd2b083846a8fdd5807, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Controller_itp (hash 46a50d1032433d2a76f3cc0a76b7bb76, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Constant (hash f51364729ac6c8de91150f0c4e77d494, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Congruence (hash bb7d0dc9c1a24f81cb5a51b2d19b2f52, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Config (hash 3eb1d8591ba4d054c1e58e9a5eeff9d4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compute (hash a4e36206bd957bceeb0e33b6310c787c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compress (hash 993889e5e6b1bc25bbed82069c637cdf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compile (hash 028953456990ac79bc2358db2ef80e2d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Coercion (hash 19c603a492359decc36310f58144f98a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cntexmp_printer (hash e8cab0640c5ec5cddf01ba63caec4428, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cmdline (hash 61ee61fd7fcfbd25410e64b6d4daa768, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Close_epsilon (hash 90e8c4fd7d36c469d30f0f7d50591086, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Check_ce (hash c1c6818c8c7ffa0888f4a78efcd24e11, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Case (hash 794eeb9de50c04fa578bd8a14e2b6a2e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Call_provers (hash 50e67116c196343244a3a65937f54f3f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cakeml (hash caac1f539493f6ce594f6d56e5fcd82b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module C (hash 0b5010fd43183aeb5dabdd5243ee4b7e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Big_real (hash 9c9e2ab2a42d3ec45f68219925f5da72, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module BigInt (hash f311fe8928de795ca95142ba394f39a9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Autodetection (hash 059ccb328fb8dcc2f1f7746eefd8331d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Args_wrapper (hash 7fd21f3e40f19e8fff703c568e0dd580, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Apply (hash 52ec9bdcfd5097cd5b84b0f16bdb3da1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Alt_ergo (hash 6bec9d301426b5cf63d2690f03be95e7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Abstraction (hash 062b702f9c02a23fd1a162acdb97e72a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Abstract_quantifiers (hash e65766eb7b7ba122379ffc63131bff6c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] 6 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc
odoc_driver_voodoo: [DEBUG] 7 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/why3/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/why3
odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/lib/why3/why3.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/why3 -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/dynlink/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/str/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/unix/ -I /home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/menhirLib/20260209/doc/menhirLib/ --enable-missing-root-warning --parent-id u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/why3 --warnings-tag why3
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/why3/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/why3/why3.odoc
odoc_driver_voodoo: [DEBUG] 9 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/page-index.odoc -o /home/opam/odoc-out/u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/page-index.odocl -P why3:/home/opam/odoc-out/u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc -L why3:/home/opam/odoc-out/u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/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/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/why3/page-index.odoc -o /home/opam/odoc-out/u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/why3/page-index.odocl -L why3:/home/opam/odoc-out/u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/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/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/why3/why3.odoc -o /home/opam/odoc-out/u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/why3/why3.odocl -P why3:/home/opam/odoc-out/u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc -L dynlink:/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/dynlink/ -L menhirLib:/home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/menhirLib/20260209/doc/menhirLib/ -L stdlib:/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -L str:/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/str/ -L unix:/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/unix/ -L why3:/home/opam/odoc-out/u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/why3 -L zarith:/home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/why3 -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/dynlink/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/str/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/unix/ -I /home/opam/odoc-out/u/9dd8b2c487f0adbb2010a546bf835b72/menhirLib/20260209/doc/menhirLib/ --current-package why3 --enable-missing-root-warning --warnings-tags why3
odoc_driver_voodoo: [DEBUG] 12 - Executing: /home/opam/doc-tools/bin/odoc count-occurrences /home/opam/odoc-out/u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/why3 -o /home/opam/odoc-out/u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/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/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc --occurrences /home/opam/odoc-out/u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/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/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/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/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/index.js --root /home/opam/odoc-out/u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc --occurrences /home/opam/odoc-out/u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 18 - Executing: sherlodoc index --format js _index/why3/index.odoc-index -o /home/opam/html/u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/sherlodoc_db.js
odoc_driver_voodoo: [DEBUG] 19 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/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/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/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/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/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/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/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/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/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/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/0b25d6c826de02ea84af3861b9980110/why3/1.8.2/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:27.53: OK: doc why3.1.8.2 (runc: 2.6s, disk: 153KB)
2026-06-23 19:27.53: Job succeeded