2026-06-16 20:02.58: New job: doc why3.1.8.2 (e5a39525e29f)
2026-06-16 20:02.58: Waiting for resource in pool day11-builds
2026-06-16 20:20.52: Got resource from pool day11-builds
2026-06-16 20:20.52: [profile full] doc why3.1.8.2
2026-06-16 20:20.52: doc why3.1.8.2 (e5a39525e29f)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
=== DEBUG: pre-voodoo image inventory ===
-- pkg markers (.odoc_pkg_marker) --
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/zarith/1.14/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/dune/3.23.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirCST/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirGLR/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirLib/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirSdk/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/6f01382a4f96978149c3c2b2ca48f722/menhir/20260209/doc/.odoc_pkg_marker
-- lib markers (.odoc_lib_marker) --
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/compiler-libs.bytecomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/compiler-libs.common/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/compiler-libs.optcomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/compiler-libs.toplevel/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/dynlink/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/odoc_info/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/runtime_events/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/str/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/threads/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/unix/.odoc_lib_marker
/home/opam/odoc-out/p/zarith/1.14/doc/zarith/.odoc_lib_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirCST/20260209/doc/menhirCST/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirGLR/20260209/doc/menhirGLR/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirLib/20260209/doc/menhirLib/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirSdk/20260209/doc/menhirSdk/.odoc_lib_marker
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/
=== END DEBUG ===
process_meta_file: prep/universes/1beeb1b95aeb86c13ad026f5f3c927b9/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/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc/why3/odoc-config.sexp
prep/universes/1beeb1b95aeb86c13ad026f5f3c927b9/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/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/lib/why3/META
odoc_driver_voodoo: [DEBUG] prep/universes/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/lib/why3/why3,why3

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/lib/why3/

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

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/1beeb1b95aeb86c13ad026f5f3c927b9/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/1beeb1b95aeb86c13ad026f5f3c927b9/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/1beeb1b95aeb86c13ad026f5f3c927b9/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/1beeb1b95aeb86c13ad026f5f3c927b9/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/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/lib/why3/commands
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/menhirSdk/20260209/doc/menhirSdk/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/menhirSdk/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/menhirLib/20260209/doc/menhirLib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/menhirLib/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/menhirGLR/20260209/doc/menhirGLR/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/menhirGLR/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/menhirCST/20260209/doc/menhirCST/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/menhirCST/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/6f01382a4f96978149c3c2b2ca48f722/menhir/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/128a9098365655e3c58e2079337fb081/dune/3.23.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/dynlink/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/compiler-libs.toplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/odoc_info/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/compiler-libs.common/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/compiler-libs.bytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/compiler-libs.optcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/runtime_events/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-compiler/5.4.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] Fixing virtual libraries: 416 precompiled units, 1 other units
odoc_driver_voodoo: [DEBUG] Error during compilation of module Yices (hash 5ff60943af40d3ebc3d91bbf51604c98, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Xml (hash 984af8a216b3ceaa79b0effb36bf946c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Wstdlib (hash 888e11bafee5d88530c7a2cfd3c3827b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Whyconf (hash 230c5af66b8fd1d3a5642249315c006d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Why3printer (hash f8d2556117f547237ce3bbebdae0e74e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Weakhtbl (hash dd1e22f26942813496bddf7e5ecf0dd3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Vector (hash e71afb5f914957e1b906cb9d891d7546, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Vc (hash 60a494646ac621ce7c85d8bed07de9d1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Util (hash a18c1ad694ae9336f1957d5ab9dc264d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Unix_scheduler (hash 5b33c56a8ecbef7b8b012aac29496a8e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typing (hash 9801beca93be5dfc5c3e5a7281fe9181, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typeinv (hash 86b7ad91d60eb8488549e7e0297756f6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ty (hash 88d488c63cae255159bee32e81c32862, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Trans (hash b44760bbcfd00c33c029aa14143dfdf1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Theory (hash fe3b73cb232a6bf2d8748d6beb05c2d6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Termcode (hash 7528230ca02201b373ec688d14b4ba1a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Term (hash a8ebe2deaaad2016d96d5cbb1063c37a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Task (hash 9853c050dc72ad5719f809040a30addb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sysutil (hash b6060ff1b5cc06abad2b4f2839f6f4d4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Subst (hash 7be9440de7a9ca575e694f753dcf10c0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strings (hash f7eaea923d8f4d617bcfe6e962978f07, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy_parser (hash 8794da615aa3e0301396cec91544461d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy (hash 694f30e4990ed58c66f6a51305a92ba3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Split_goal (hash a3a2d927a904b700884f04d98a19b33b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2_model_parser (hash e781c2f172c19019679bcc0e95cc76bd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2_model_defs (hash a1a190762a5bc627f63937655d9cda24, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2 (hash a4538ec398ae315993e578fb7773ef38, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv1 (hash a6fad6cb061ff981b649b98d611c5518, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smoke_detector (hash 3c1116eed2686171b15b05ef7fbf53ef, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify_formula (hash 0358dda3bd0f81207e21bcb2adbad3b5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify_array (hash 4948dd8bfed444e87c6a883dfcf2ced0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify (hash 2eb125d27157f11841015a6b131faa59, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sexp_parser (hash f34a649fe668f9171c4e4c3e663e141d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sexp (hash b13f7f78b246b38627991ab58de17d36, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Session_itp (hash 4dc24644cb071c83fc69ebd8ff86d6cb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Server_utils (hash f41a324b394b36dda1e0e4c58788f12b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Report (hash b10ebdff352046bc4f01d8d42e5eaf33, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Remove_unused (hash 04c334ca58bfa639ed4c32f59428132d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Reflection (hash 691a6f0ec9140632c3853e2f07aa6cb2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Reduction_engine (hash 0861ee1a7810ecaaa3955bf3aee0ddbc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Re (hash 54467db36abb852cc1bc9b603a8794d3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rc (hash 44fb05f992404a18b6c99ed608ca5e82, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rac (hash 1e405b19653818519a149c23ac1497f2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pvs (hash 387ff27cb3c5f876d1f5af5766deda48, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree_helpers (hash 795fa8441b20f87e16b3455cb479e4dc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree (hash e1ac34bcd7763327f6f41871627278a6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prove_client (hash e913a813c351c1500f4072be1134add7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prop_curry (hash 0039bcac9038e4f6e3177e4ba328f70c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Printer (hash 423ebde03535ab449c1a7b43cae01f64, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Print_tree (hash c4c66cab145f78fa1b72f5a72f7329a0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pretty (hash 7393dc131b559443518b1beb4cf608bf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prepare_for_counterexmp (hash f7792bb3e632fdbdc156331633547491, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pqueue (hash 5816c1bba3af44c646abdde9e2cf6ad0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pp (hash 6790ce359b55a1d9918d3908dc167def, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pmodule (hash 6cad1bb997b0841274cbff8c3bbcccb9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Plugin (hash c19f074341da2f62b3350b3845dcaf31, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp_core (hash 4df0cd3579c01f6b72212885da58ebe6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp (hash ec1b14036f69f9a1fca0f2fca331c422, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdriver (hash c54dafae91182c808f687bb1edddca55, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdecl (hash c8dc8709824c573845edb5aa797b9771, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pattern (hash 02b2f4550c86a1de2f2d96c865702cf5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser_tokens (hash 489186b048d24661f83f6bb6257f6ea2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser_messages (hash d156b23a453faca8cc7309a81643a13b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser (hash aaab838f175613c47fd5586b3433bc7f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Opt (hash 9019fd04eab0a07f533c0b19d6fad70f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ocaml (hash 16febad9dd538edc4ccc7d3aa5a73e8c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Number (hash f5dc3a8a73689a86f2f1f492043c19ee, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mysexplib (hash 01c605004c70ce1472fb1056ab85fd8b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Model_parser (hash aad3f15906a7afd109926ffa9f124b8f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlw_printer (hash 9f416129cbaf40de578749c640d6bc79, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mltree (hash 0b5f334a89866b1210d96cf288b246e8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlmpfr_wrapper (hash fb12a61800315922266b5d63d7b63a17, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlinterp (hash 8914a4a56150a851b660886baf386dd3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ml_printer (hash c839a5bd76808f3e7748590f2839e0f0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mathematica (hash daf4736a95b5c5fc0132aacdac701eda, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Loc (hash 591b2b1cb9caf9eb1ccc2fae7ae7bec9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lists (hash 9ed546fc3333ba5f4be74c43579cba78, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lift_epsilon (hash b0c12119c919bb3d3d81e57c6d8f8c66, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Libencoding (hash 539a3c9bebda1cc0f32a4bd05e20785f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexlib (hash bd5c423d7d5392d5a9e6b7f1836df958, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexer (hash 813fb6e820d8ae23f82d90057b87404e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Keywords (hash c3b3396923b2dd30ccadfc888f1d5533, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Keep_only_arithmetic (hash 24290a1ebfe0e8a24782a41315fedec3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_util (hash ca7f084171ba41a981898b6151dca3c8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_parser (hash 06b5507e8d8871c8cf42281112b34e90, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_lexer (hash ee0b15dbc6adba23ad3b9d919df652e7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_base (hash 8bd981284c7c26b82734492e42e4e76e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Java (hash aa31f54fdc602c76efafc5dbfe51edcc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ity (hash d7aa7141ed2a6b28a7e7742fdf32a5b2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_server (hash 1936bf5f9826c6f7f09d76e62d97afe0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_communication (hash 60caa3ff0b9311e8784b12bfce0ac817, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Isabelle (hash bd246e2bbbed86dd52df77852d6d0056, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Introduction (hash 344b0f9beb876099b9b8e00871eab207, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Instantiate_predicate (hash 6636b808b28f572d856b722ff2ee0658, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Inlining (hash 599d88b71495fb612aa660c61585b6df, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Induction_pr (hash 2c66a942ecebcf4c28811db28aeac2b9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Induction (hash 1123527f8c43ae376d2a0e31500abba4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ind_itp (hash 505878ef6acec1092852dac86073ca50, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ident (hash 489dd0debb7ebd599d78adffb46e122e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Hcpt (hash 453e36ec86d881c5cae7aa846f68beeb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Hashcons (hash f3b8939a1afa34bd41640f2b8f7ae9da, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Glob (hash 059f3001697e28f1af0154539a825e33, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Getopt (hash 10c662aca8f672669366797e77d5fb7b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Generic_arg_trans_utils (hash bea6b738d837d86be580c19cfd8f0c33, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Gappa (hash 3838f459b930686f4fdd94cebddabc71, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Filter_trigger (hash 77dd0cb955d554f73b144b35c4390136, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extset (hash 3247a3e91d9d17cc19bd32039794a384, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extmap (hash fcd4ca2de5bc21e3e4d59fedd54e79f6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Exthtbl (hash c80e4fe43cb79d12c54b57e6e30916f9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extensional (hash 6cf33abdb0899570ff3feadfdefd6bcd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Expr (hash 379b8247910fc7ffcc5b840cdf88faf1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Exn_printer (hash 900c2f5d6790e6c312a9690c88e7b78e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eval_match (hash 37fcf2d86d5c5870dcbcbe47ca4cf63e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Env (hash 4e35565822b4bd0ffe1f10e0a7225616, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_twin (hash 26bc5c1029153d94bc71b0f7ad23ff5b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_tags_full (hash d2aeece511faa8b1ad317e59d1814110, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_tags (hash 705d52883c426a698e61831baba4ced3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_sort (hash 750b494cc3d65fb20ea7807434d60469, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_select (hash 6b0512d12e909956080308e70efd6a12, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_guards_full (hash 79c4dcfac5560cf60d8c125120c611ec, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_guards (hash 9b6cf57bf7542f5b54d3eaafba13bac2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding (hash 939545f08b607d8023b80292982c1853, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_unknown_types (hash 96ccaa3e18dc73e49679951819892692, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_unknown_lsymbols (hash 2c2e926a8a0ab1186c83ed42fb48a917, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_symbol (hash a1157b774ec1b05797585f68108826c0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_literal (hash b0e0f8ddfc72e28f7a7aa1c02ac16064, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_let (hash cea6f93ce7654af1091e4f1becc9df36, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_inductive (hash 2136f071023eb569878d8e058eefe55c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_if (hash b5c725ef166f36ac9b88c98653d9e0fc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_epsilon (hash 0f3fdd514beede785212659736df7ccd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_definition (hash 139590b810481390675c0f444ebae2f4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_algebraic (hash 9c1d5a6be1fc17d0d72687b50e5af1c8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dterm (hash 0914fc7992be5634a5f37be6b814d2d4, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_parser (hash 5a948cccf81057fd16da873dadde0f20, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_lexer (hash 85fcd8bb8e3e29b5eccacbcae30263f1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_ast (hash 4b217a92501fd894dea5970c1d127462, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver (hash 4cd505f884a5ad7b56015474feb36a0c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Discriminate (hash 37c91c1b979a597f495ba9f406de10a6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Diffmap (hash 6ff8d589ea0cd44cf08af2c80215e2e3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dexpr (hash 4a457c6db7e34ea3ea37185c7f79dde9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Detect_polymorphism (hash 6aaa85b5281e4a1ae73fdb24cb52ec04, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Destruct (hash 265aa1edc4a8dd6c090e77bde7760124, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Decl (hash c790dc7382b2f5dfd5852a4a239bb978, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Debug (hash 77095a36979b378a69721b57fe5080ab, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cvc3 (hash 80d5a4575d45a14fd0f481cc545483fc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cut (hash 764eddd6f127a24bc96941ce38b3c403, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Coq (hash 3008be944db912148c3429294a61f796, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Controller_itp (hash 7db06c21f37daf6c804e5001397b2427, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Constant (hash 3134af361c353bf7fa9a549ada2cc31d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Congruence (hash 9647184f506ea056154bb7ba8885ede7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Config (hash ae1297cdce62c444abeb072e1334ca9d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compute (hash 0e23817763c373c14091f59e4b36bfc7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compress (hash c37ebc1f44740d099649a028aa6a8695, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compile (hash ba9d8b364beaaa3f957d1df1a3044963, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Coercion (hash 08279b7f5cd394b6237e4e2eae0e3940, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cntexmp_printer (hash 5d19ba9e97e041ed83c03844cc45008c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cmdline (hash 6dffa94b8ccc137827294a365265c6f5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Close_epsilon (hash c1001a8c06a39aa7c1f5f784ce987e03, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Check_ce (hash 7394d778ddf29a44581d2dde14be3913, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Case (hash 7a462fd141c7d8311b64c6255d2bd1d2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Call_provers (hash 555c3ed09d3b82bd7e7398f0117b6e31, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cakeml (hash b7b2e06e9fb25d6de29e3a187b0311bd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module C (hash 95d005284120f24c49f592a80a6b24e6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Big_real (hash e5f476fd2e37d96887d8b3865be3373b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module BigInt (hash a6d8268964ebd6c5650cfac6d49908c7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Autodetection (hash 8d855636fc455dbe33bc0bac5806fb48, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Args_wrapper (hash 3fcd28b6484441007f35a25ed97d0650, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Apply (hash 6c339ad939f43af72b52f219c6f54ec8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Alt_ergo (hash 19fc59ad3a9e44011d7d66a3c729bde9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Abstraction (hash c48b47a01884e427d4795a4f1b306b4c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Abstract_quantifiers (hash ca22ed84f838fa72007659fbdd569ea0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] 6 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc
odoc_driver_voodoo: [DEBUG] 7 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc/why3/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc/why3
odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/lib/why3/why3.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/dynlink/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/str/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/unix/ -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirLib/20260209/doc/menhirLib/ -I /home/opam/odoc-out/u/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc/why3 --enable-missing-root-warning --parent-id u/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc/why3 --warnings-tag why3
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc/why3/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/1beeb1b95aeb86c13ad026f5f3c927b9/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/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc/page-index.odoc -o /home/opam/odoc-out/u/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc/page-index.odocl -P why3:/home/opam/odoc-out/u/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc -L why3:/home/opam/odoc-out/u/1beeb1b95aeb86c13ad026f5f3c927b9/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/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc/why3/page-index.odoc -o /home/opam/odoc-out/u/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc/why3/page-index.odocl -L why3:/home/opam/odoc-out/u/1beeb1b95aeb86c13ad026f5f3c927b9/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/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc/why3/why3.odoc -o /home/opam/odoc-out/u/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc/why3/why3.odocl -P why3:/home/opam/odoc-out/u/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc -L dynlink:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/dynlink/ -L menhirLib:/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirLib/20260209/doc/menhirLib/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -L str:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/str/ -L unix:/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/unix/ -L why3:/home/opam/odoc-out/u/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc/why3 -L zarith:/home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/dynlink/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/str/ -I /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/unix/ -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirLib/20260209/doc/menhirLib/ -I /home/opam/odoc-out/u/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/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/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc/why3 -o /home/opam/odoc-out/u/1beeb1b95aeb86c13ad026f5f3c927b9/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/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc --occurrences /home/opam/odoc-out/u/1beeb1b95aeb86c13ad026f5f3c927b9/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/1beeb1b95aeb86c13ad026f5f3c927b9/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/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc/index.js --root /home/opam/odoc-out/u/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc --occurrences /home/opam/odoc-out/u/1beeb1b95aeb86c13ad026f5f3c927b9/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/1beeb1b95aeb86c13ad026f5f3c927b9/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/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/1beeb1b95aeb86c13ad026f5f3c927b9/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/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/1beeb1b95aeb86c13ad026f5f3c927b9/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/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/1beeb1b95aeb86c13ad026f5f3c927b9/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/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/1beeb1b95aeb86c13ad026f5f3c927b9/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/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/1beeb1b95aeb86c13ad026f5f3c927b9/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/1beeb1b95aeb86c13ad026f5f3c927b9/why3/1.8.2/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/1beeb1b95aeb86c13ad026f5f3c927b9/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-16 20:20.59: OK: doc why3.1.8.2 (runc: 1.1s, disk: 140KB)
2026-06-16 20:20.59: Job succeeded