2026-06-16 19:50.19: New job: doc why3.1.4.1 (a4f55822a35c)
2026-06-16 19:50.19: Waiting for resource in pool day11-builds
2026-06-16 20:12.00: Got resource from pool day11-builds
2026-06-16 20:12.00: [profile full] doc why3.1.4.1
2026-06-16 20:12.00: doc why3.1.4.1 (a4f55822a35c)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
=== DEBUG: pre-voodoo image inventory ===
-- pkg markers (.odoc_pkg_marker) --
/home/opam/odoc-out/p/camlzip/1.07/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/menhirLib/20211128/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/menhirSdk/20211128/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
/home/opam/odoc-out/u/b1187d97b02e6fedfd7a4bbaf43d6652/zarith/1.14/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/f68bd1e8aa9066768f3ab23592700161/menhir/20211128/doc/.odoc_pkg_marker
-- lib markers (.odoc_lib_marker) --
/home/opam/odoc-out/p/camlzip/1.07/doc/camlzip/.odoc_lib_marker
/home/opam/odoc-out/p/camlzip/1.07/doc/zip/.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/menhirLib/20211128/doc/menhirLib/.odoc_lib_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/menhirSdk/20211128/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
/home/opam/odoc-out/u/b1187d97b02e6fedfd7a4bbaf43d6652/zarith/1.14/doc/zarith/.odoc_lib_marker
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/
=== END DEBUG ===
process_meta_file: prep/universes/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/lib/why3/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: why3, [7]

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

odoc_driver_voodoo: [DEBUG] Config.packages: 

process_meta_file: prep/universes/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/lib/why3/META
odoc_driver_voodoo: [DEBUG] prep/universes/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/lib/why3/why3,why3

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/lib/why3/

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

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/lib/why3/

odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/why3/plugins
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/lib/why3/plugins for package why3
odoc_driver_voodoo: [DEBUG] 4 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/lib/why3/plugins
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/why3/commands
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/lib/why3/commands for package why3
odoc_driver_voodoo: [DEBUG] 5 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.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: p/camlzip/1.07/doc/camlzip/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/camlzip/1.07/doc/zip/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/camlzip/1.07/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/79700a9ee710cccfdb8a6150da04cac8/menhirSdk/20211128/doc/menhirSdk/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/79700a9ee710cccfdb8a6150da04cac8/menhirSdk/20211128/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/79700a9ee710cccfdb8a6150da04cac8/menhirLib/20211128/doc/menhirLib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/79700a9ee710cccfdb8a6150da04cac8/menhirLib/20211128/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/f68bd1e8aa9066768f3ab23592700161/menhir/20211128/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/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/b1187d97b02e6fedfd7a4bbaf43d6652/zarith/1.14/doc/zarith/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/b1187d97b02e6fedfd7a4bbaf43d6652/zarith/1.14/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: 360 precompiled units, 1 other units
odoc_driver_voodoo: [DEBUG] Error during compilation of module Yices (hash de61260b235a62d1204fc8449235ebf0, 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 7a19b551e4485c5ff1559403fc66583b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Whyconf (hash d0a68a6218182842727f23a9d10753d9, 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 df758e7d36db8b39958aba6748cc1037, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Util (hash d2b5452e2332b1649009a84b95c5f711, 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 8fb29e2e37bde265ac99717dff148862, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typeinv (hash 2d94488e488e9d43fb7faefbf1f59e1d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ty (hash df9637ae3a4bbb8db6e9fbaa936d8433, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Trans (hash b85b0bf48db6bfd6af7ce6f6ab9efa2a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Theory (hash d471ca885ba7713017472854ac6a6709, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Termcode (hash 42d4857adc01941d9b9b593c77174e77, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Term (hash 4eb5695e220b458481d6f9e632957efb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Task (hash 24de82d904cd6ee5142655f5c1867020, 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 51a1e8aa99f6b988707c543e0c2f2f36, 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 69badd83d3da513b78ef77c48b898df9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy (hash 8acf07e6a623e33481909aac69960d33, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Split_goal (hash a04ed2477190443b7ff7a97388fa89c3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2_model_parser (hash cb34969ebe1098e63179ac4a3d2d80b7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2_model_defs (hash ebdb54cc0deb2d3ad639fe48009e6805, 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 c1189bcbcf2e483e56ec2f57d3d22f0f, 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 33ea8649229d3dc80ffab98170cee8b0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Session_itp (hash f4626c011cdf557598d9345ac802d703, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Server_utils (hash 1fcaf033770aa158b7d0a8217ca9b334, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Report (hash 2ddeba191b71012af9227ab4441d9c3c, 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 fc42a380c1a2c58991c45fc4f3a819c6, 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 Pvs (hash 5ffd090a697e66ca1b8cc5d05e264c03, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree_helpers (hash 6d5660dae7f0901aae736f18d103ce55, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree (hash 134cc8f2378d1db51d1cebc8e0db572f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prove_client (hash 308f7f651097d07560f71e9cdfa013a9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prop_curry (hash cdf48194a67a1240a30c3dc94d8ea467, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Printer (hash 952f9714326a81bcfac4e46041d5ee9b, 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 4c3fb3d20cc28b9daabec59cfa076008, 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 93f034b5a3c36d6142029e60b4cf788e, 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 (hash 55893de3cdf7591da8164157e7d3fd1b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdriver (hash bc130e2c58fdedd9684367c736fc228c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdecl (hash ff886d1554683fd0f7c149517e69acf8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pattern (hash 6447c7b41f1c92beb5c62c0e3f183a08, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser_messages (hash b8815357c06dc9f23b46a9d6a3d2b03f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser (hash cc8dff2347e068fefbbc743e20b767bb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Opt (hash cb6cc4d2bcb0fcc7fa1bde738d090ff8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ocaml (hash 5fba124415cbe109bbe9b4aa67e112ba, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Number (hash 253ade00382dad91c000f806521bab71, 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 1d63d69107248896d716ef37c5fd7337, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlw_printer (hash c53a4659b30030372cf42c4068bc7d43, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mltree (hash 87e267e401a7220680faf2be953c6571, 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 103120214d42bf9391d75b51e743ace5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ml_printer (hash a03f6cf8f09f7542717ef63a4268e3b5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mathematica (hash 9cb3852ae6c100e5dad0105b84fa25e1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Matching (hash e94846ea479ed62a03c6b79e1b03ad56, 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 c8fc6d77e4554a54aa28470d7efa2585, 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 e192554fefba3056adac8bb0815432a3, 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 Json_util (hash 3c9e137396a6ef2a06150c201368aaa1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_parser (hash 38a5f28a3ec426f0cfa99c46326ce99e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_lexer (hash 2f25f4fd17060302d3625b1756e02cbf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_base (hash e2d230a41c7c056f1c34e4bbe14fc540, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ity (hash 00c70ea8a3da4b51c1c8fd12fa4d855f, 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 94bacde7e070a22025d5b486042e7fed, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Isabelle (hash 8c361ef9f0c37ea9bf778715a3dd0853, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Introduction (hash 3e2699570effa3393c1b450f60e68282, 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 be8ab217740b4e38d816752d75df31d9, 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 06ff7a0c7e6a3e5f3bc6d83e85dd6244, 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 36574205204219d87acc0b0cc7319813, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ident (hash b86e0e24cea0a99eba5e8d12c8b33bc3, 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 489300376e254581a8f63e1abaeff1fe, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Getopt (hash 1648127adbcd7783d59658f952931ec1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Generic_arg_trans_utils (hash fb4d6a07a53ed24e6992b9436e5a29f6, 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 c478d95f19d6aa91dda59740c7d2306a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extmap (hash e30ccba760837cf2913a28e40f7b88d3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Exthtbl (hash 990ff16562973c8f744634d622e0d4a9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Expr (hash 50be26b51e7d86de187424b8d48d281f, 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 3e8112f47f60ebab7245307e8114a586, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Env (hash a8e8755cf1e880f8231b53400dd3b71a, 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 c4a63f5093eb814511be04d798ff2234, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_unknown_lsymbols (hash a861a36c937cf96cc029ec4625bf7d54, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_symbol (hash c05e3e170919575f139f6bea4555ed51, 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 017eaf14fba9a0ff6382e627ccacf781, 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 4567d3a8026f9edef74720e0c1d71c7d, 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 ba82fffc10388c035c733c3600c2f438, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dterm (hash dadf7154966b292a6b2d8ab1c73bff7f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_parser (hash 1b70033c6da97fd726d51eac80bf4f26, 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 4e111fb01e7ce3eb8ca331a1a035f3c0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver (hash 63c29c816de7976a2176ef21adb685b2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Discriminate (hash 4e28ba95ad9c49ae1198a8672e37c784, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Diffmap (hash dc7dc665f9e2c27c0c934a3d5577c5b1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dexpr (hash 87ddf260caed9e3c0a9edf7ef81cb8be, 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 49aa898e8e7e47adf92e0cd6f8e54a6e, 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 4f8329271c838bb96565cd2a728f5094, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Counterexample (hash 271f5b0e6f0724fef1fea2f8e9984c7c, 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 b3752d5189aafefa66dfefbc405d08e5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Constant (hash 4c6cf1ff3fa2b7460a1280e9a39fa2c8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Congruence (hash da26e6f4a60f8d05940f4e33e941c4cc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Config (hash 21ac354b65d7509c705c755a19a31fb5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compute (hash 5498af6318bccfba8e440619321a3ecb, 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 f124badf9ea1db984a813b84c2e57c89, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Collect_data_model (hash 39bb04268d4e7a9274b06ee9ebcc9a05, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Coercion (hash 1486d1c82d85b5b40026e081ddd16a43, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cntexmp_printer (hash 2283b3280d05530418e508a866bc6df7, 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 7d20d59ef36517b0e8d5232e29e861d8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Case (hash 099f8c322ebd28e054d2e3c83e59cf04, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Call_provers (hash 662e3410afe21cf16cb636fa4bbf2613, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cakeml (hash e10ad438d6b8930b82b7000fb3dd8f00, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module C (hash cec9ff25f44ae625350717375ddcd52e, 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 fe48bc5197f1dec8989b9286eee1d2cf, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Autodetection (hash 81f424b4fdb6073627bd23aeb7584d91, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Args_wrapper (hash e3508808b45b135305b99a83e406508f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Apply (hash 00e6e5d08bf102319202458bfbfde91e, 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 4e4d2e852d1cf433c246a06c9a200113, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Abstract_quantifiers (hash 39f1ead1ff836ed29cd5f62ec740f58e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] 6 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc
odoc_driver_voodoo: [DEBUG] 7 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/why3/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/why3
odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/lib/why3/why3.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/camlzip/1.07/doc/zip/ -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/20211128/doc/menhirLib/ -I /home/opam/odoc-out/u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/why3 --enable-missing-root-warning --parent-id u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/why3 --warnings-tag why3
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/why3/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/why3/why3.odoc
odoc_driver_voodoo: [DEBUG] 9 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/page-index.odoc -o /home/opam/odoc-out/u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/page-index.odocl -P why3:/home/opam/odoc-out/u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc -L why3:/home/opam/odoc-out/u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.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/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/why3/page-index.odoc -o /home/opam/odoc-out/u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/why3/page-index.odocl -L why3:/home/opam/odoc-out/u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.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/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/why3/why3.odoc -o /home/opam/odoc-out/u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/why3/why3.odocl -P why3:/home/opam/odoc-out/u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.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/20211128/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/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/why3 -L zip:/home/opam/odoc-out/p/camlzip/1.07/doc/zip/ -I /home/opam/odoc-out/p/camlzip/1.07/doc/zip/ -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/20211128/doc/menhirLib/ -I /home/opam/odoc-out/u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.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/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/why3 -o /home/opam/odoc-out/u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.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/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc --occurrences /home/opam/odoc-out/u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.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/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.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/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/index.js --root /home/opam/odoc-out/u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc --occurrences /home/opam/odoc-out/u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.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/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/sherlodoc_db.js
odoc_driver_voodoo: [DEBUG] 19 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.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/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.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/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.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/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.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/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.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/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.1/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/e9b3c5dceb3b764cf9655048f67ac212/why3/1.4.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-16 20:12.07: OK: doc why3.1.4.1 (runc: 1.2s, disk: 142KB)
2026-06-16 20:12.07: Job succeeded