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

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

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

odoc_driver_voodoo: [DEBUG] Config.packages: 

process_meta_file: prep/universes/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/lib/why3/META
odoc_driver_voodoo: [DEBUG] prep/universes/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/lib/why3/why3,why3

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/lib/why3/

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

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/lib/why3/

odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/why3/plugins
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/lib/why3/plugins for package why3
odoc_driver_voodoo: [DEBUG] 4 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/lib/why3/plugins
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/why3/commands
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/lib/why3/commands for package why3
odoc_driver_voodoo: [DEBUG] 5 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/lib/why3/commands
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamltoplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/bigarray/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamloptcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/dynlink/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamlmiddleend/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/odoc_info/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamlcommon/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamlbytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-base-compiler/4.14.4/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/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] Found lib marker: u/79700a9ee710cccfdb8a6150da04cac8/menhirSdk/20260209/doc/menhirSdk/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/79700a9ee710cccfdb8a6150da04cac8/menhirSdk/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/79700a9ee710cccfdb8a6150da04cac8/menhirCST/20260209/doc/menhirCST/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/79700a9ee710cccfdb8a6150da04cac8/menhirCST/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/79700a9ee710cccfdb8a6150da04cac8/menhirLib/20260209/doc/menhirLib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/79700a9ee710cccfdb8a6150da04cac8/menhirLib/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/79700a9ee710cccfdb8a6150da04cac8/menhirGLR/20260209/doc/menhirGLR/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/79700a9ee710cccfdb8a6150da04cac8/menhirGLR/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/90ee9ad74481365032fcb168189227f3/menhir/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/num.core/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/nums/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/num_top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/aec01b41b8b325468cac7a997a943c08/dune/3.23.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Library num not found
odoc_driver_voodoo: [DEBUG] Library num not found
odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 393 precompiled units, 1 other units
odoc_driver_voodoo: [DEBUG] Error during compilation of module Yices (hash 4fdfb93e28498150ab13d7dee4d839bc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Xml (hash 88077dcfc20db0fc4fd91e98846e136b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Wstdlib (hash 1678df23e037f1d0ada55527ee4af94b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Whyconf (hash 465f005cf05c5c9136de002a7812cde7, 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 8cf323a393063cc8ed62adf25dcd3431, 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 6ba4c07d9f722ae644552498736e81ce, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Util (hash bca3db6697b047c5ab3fcbe2808992c9, 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 c2d9f20b1796f8846a6fbdcb53aafff2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typeinv (hash 2b5f2b29b1540393dd5e2e7ec1d22358, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ty (hash 6a1dbbe656f3fb299701d84613d00abb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Trans (hash 09ce923aa3e709c1069ddb7d1a9be4af, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Theory (hash 24d3accea0b849c171f6be0dcf8ba3bc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Termcode (hash a3607bd3f432bef079cbb939385b502d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Term (hash b6fe4d33fee29463c097c9e84b2674c5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Task (hash 224bf56c93ac761e6fd4f3619c8f03b0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sysutil (hash a31255eb089d2edd66df10aaabe8f748, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Subst (hash 5369e97675320f84b269d055ea1e34e1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strings (hash b4b20484366b25c7f8eb90a835cfdd42, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy_parser (hash e77a8e5e45311bcbd61a7374ff50219b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Strategy (hash c07faefa2e1a8a53458e436e136e8676, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Split_goal (hash 533b2ceb8d794ff0745f52b0dd13428b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2_model_parser (hash 7dd1c45ba2e167e2bf1c0fee66863bc7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Smtv2_model_defs (hash 3933de877a65ec7a396021241a6ee616, 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 1e43056cc0fc31e33ce9518fec6af4bb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify_array (hash f784ad652ebae2eca799c01622b2ab4a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Simplify (hash c9f59ad0056a8c1065a2f696db12f7b5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sexp (hash c189d436de8c44efad61e82d81c72262, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Session_itp (hash 7089bc8247f677460e71eee1ebff1390, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Server_utils (hash 82a8ff42d9c0ab1135bc607ccb5ac82d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Report (hash 91f37009b399070ba0e6bc1722075246, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Remove_unused (hash 38a2979bd5f08e0c54abe6b2109c904a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Reflection (hash d05cf4888e2ead72dbbfbc6bc6a31bff, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Reduction_engine (hash ff92b7ba6a320edadb47464551468d90, 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 0070a7b90b55f790a0d4a520a566b483, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Rac (hash 30766409ec4c4a377bd374ec5add1ccd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pvs (hash c78cfa91896d6999d495b4f25e996757, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree_helpers (hash 9a910eac1010056b2d0cfeb4216b8d75, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ptree (hash 5d16a97656cd96dbf38c92e647cca023, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prove_client (hash 85da738c989eea5d37af430b53cad10f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Prop_curry (hash 5b256e700f4b2ed5a70957533698ea96, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Printer (hash 1e383a4167246bce44114211737a967d, 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 33845fc79defa0a814bbeb07fa0c2900, 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 e091c120a64604b57871e42350cc5495, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pmodule (hash f5ba710192dc9ccaebf23872d007c0df, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Plugin (hash 1eb3184869e74d1c9787d7b802deb820, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp_core (hash ec61c76c87c847aaa259e4be42132eac, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pinterp (hash a4bb70faabcd0da353b529414aeca785, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdriver (hash 15f71e0492a9966b0983ab6f95a5e164, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pdecl (hash 1d1c2f38afa639a9d485961ad0037f08, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Pattern (hash 6968ddd7c0e628b7e6b9b119fa274410, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser_tokens (hash 966c18ceefd28b8d6b5da1cfe09c21dd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser_messages (hash 9c46c3092148e96e7f489d77da030777, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parser (hash cfe5d654a57f68ae42a42a01d719ad2e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Opt (hash a17532118a1f2336cb60037bcb43dc2f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ocaml (hash d0641bd680cde293e12bac04741b3931, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Number (hash ddf5b245c5339475e24dc6aa8f96a6b3, 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 54fe0fad20f133777335caf709230a22, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlw_printer (hash 661a6723cbb9f4e6296585d81f08c45b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mltree (hash b3dae2db24cc6e55be0ad0f997013ddc, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlmpfr_wrapper (hash 69fca2c997425a2ba43fb15bb28f8628, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mlinterp (hash 8e9484b95d109087c6dbc0b081942bac, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ml_printer (hash 2b7c98a4ec0a8007dfbd8f3ef49313b2, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Mathematica (hash af29957e53f3b84e996217816f1457b8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Loc (hash ad52469742cb090fb0516061d46f7509, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lists (hash 8a7e35f1a714d4c9a80b433cf7c895d7, 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 5f03ba4ee214916c8f3417dbe2118832, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexlib (hash 1137ecdf9bbfa4ea0081ae29c24bc051, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lexer (hash 7a1b6762da8fe786cf7ca1e973f3a7f7, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Keywords (hash 500a54108dcc1d67c1b1b1ef272169fb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Keep_only_arithmetic (hash fe7b16c75bf240a95070daf72b911298, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_util (hash dee4773b80d5deedeb008551c6d48e6f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_parser (hash daf7518cc02db38c5b0a999c8769d5a6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_lexer (hash b8d526015c96e445c7e868bf8b28dfd1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Json_base (hash 7d475a12e5a0f8e75b4bcb5686213770, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ity (hash af5e7e4af85009e8f1ad12442b795050, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_server (hash 08541c9622fb43f92bac621bb7d53759, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Itp_communication (hash 361894801d2731c58884dc356f082d90, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Isabelle (hash a6d7bf5d0d0ad7543aeaf643928cde6c, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Introduction (hash 5dcd25743e8c3ae16736d65cd15e209f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Intro_vc_vars_counterexmp (hash 2f4c1f173ee6ad6c8328de1b78411025, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Intro_projections_counterexmp (hash 237547601b48bc474ff889035cfafe6a, 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 74b54f0e96b363d5ca6a9d2c545d5e6e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Induction_pr (hash cc645ad7c9232c9b89c48cff6180ad0e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Induction (hash 1c8b551925585f89057bd797823be530, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ind_itp (hash d5d22d00187c2e17b5f031144fe6ba50, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ident (hash 85bff1d81807a237d23d3d00c80ad4c1, 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 1ae0f2593d8f264323fb7364bb11bbff, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Getopt (hash d4980bccc74376554462c353a9ab5442, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Generic_arg_trans_utils (hash fab90a93fe96e6e165fc4649f6ba232d, 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 c1fb0bf5001b4ca60e0927fed3c46460, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Extmap (hash f90fc986fdcebe077b14a0751f09c33d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Exthtbl (hash 16a26ba376e0ed6b5ae21b9bfee15b29, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Expr (hash abbcf20c747e72374d3f63196337770d, 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 0147e704f859803fac0ab20587bdd892, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Env (hash e586037ee68b12909b69f4bb62da7cd6, 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 a93cc07f1ec9c5270922c0c307459771, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_guards_full (hash 9b53432649f2a7bf0d4a682189fb3157, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding_guards (hash e6523af12f1a1aa12be4fabe225c45f1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Encoding (hash c62a55df7657d800b3fa48fd9218e24b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_unknown_types (hash 7c4c4c061880c711e1103ebf5eaa7977, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_unknown_lsymbols (hash b10626032a1140684943f9ff43751c93, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_symbol (hash f88e59d75f7e054db817f857885935cb, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_literal (hash e7d712a8e9f268cdd0d78c8b2987531c, 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 6a3110b2026ed476c43c64bf86fe9662, 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 cff9162e76062fc59377c66eb5230f00, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Eliminate_algebraic (hash d1e1847d2b8e16913d812c6ac4f0c546, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dterm (hash a7eaecd5da85a7ad8e000db90d5faf5b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_parser (hash 2bb7487d66da3c047c70f74c2bcbe9fd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_lexer (hash e8a019ca9d74b79627a899874244ab0a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver_ast (hash 8d80b271e5066b4f5545730c42f0fec6, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Driver (hash 03a8f92d1a4b548f2b0f72af006485e9, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Discriminate (hash 07bc01c9676ad2a8a6c0a3b05839300b, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Diffmap (hash 4ddc6aa0a620a16538a15b8162b509b3, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Dexpr (hash 48f00678f1c35524a1bd049f00ea1a2e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Detect_polymorphism (hash cb90da02fbf0ce7f2f5e03e93cf0a584, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Destruct (hash e7a3e858882097823a6d543385b13f65, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Decl (hash bd8875274d11355eb040adaad61aa537, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Debug (hash 3da35f2a35b9c577a6c36506ecba8636, 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 3e5bad4361f67fffafa83dd80bde077c, 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 076541525c66e885b0e77b154c3046c1, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Constant (hash a0498e6a6b0ca2466d9a504ea10b7e70, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Congruence (hash 586c0097d822cb22f55e46538e0a99f5, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Config (hash a712ca99b5a4e85324646184d760ef77, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Compute (hash 48d2c6bc71734a8b84c13e52eec0fdb0, 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 Coercion (hash de7e2809ce1394eac773247fdf9c38d0, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cntexmp_printer (hash c74fe6503619ae52f140ad725d86b464, 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 7959f1709441aaafe8d2eb37e8ac6446, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Check_ce (hash bfd5d2447bca3eb697ff52679c305aef, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Case (hash 60244c2eb2bf02c2d2229b90e84f351d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Call_provers (hash a628910ec0c59688cc6ff956cc56d6be, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cakeml (hash 0730b25d47bcd2e8fe760300bfa9ecbd, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module C (hash 8447e3d03145d1674520f97ea6daab99, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Big_real (hash 88e3fd542236b83c25f4f7159911789e, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module BigInt (hash b1c0c499243205a7521f812581c779e8, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Autodetection (hash 6ad2978da0445df4635fd6384eb2d427, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Args_wrapper (hash 2ea76da70ff9867852be03a88e183f3a, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Apply (hash 884de3c01a081cef8d574f220c1cf1f0, 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 db6b0728959bdf74efb17210ef095c0d, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Abstract_quantifiers (hash ef76035b63a6dbef4d8fa45d80f0a68f, required by why3.cmt)
odoc_driver_voodoo: [DEBUG] 6 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc
odoc_driver_voodoo: [DEBUG] 7 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/why3/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/why3
odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/lib/why3/why3.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/dynlink/ -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/str/ -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/unix/ -I /home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/menhirLib/20260209/doc/menhirLib/ -I /home/opam/odoc-out/u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/why3 --enable-missing-root-warning --parent-id u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/why3 --warnings-tag why3
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/why3/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/why3/why3.odoc
odoc_driver_voodoo: [DEBUG] 9 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/page-index.odoc -o /home/opam/odoc-out/u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/page-index.odocl -P why3:/home/opam/odoc-out/u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc -L why3:/home/opam/odoc-out/u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/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/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/why3/page-index.odoc -o /home/opam/odoc-out/u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/why3/page-index.odocl -L why3:/home/opam/odoc-out/u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/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/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/why3/why3.odoc -o /home/opam/odoc-out/u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/why3/why3.odocl -P why3:/home/opam/odoc-out/u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc -L dynlink:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/dynlink/ -L menhirLib:/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/menhirLib/20260209/doc/menhirLib/ -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -L str:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/str/ -L unix:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/unix/ -L why3:/home/opam/odoc-out/u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/why3 -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/dynlink/ -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/str/ -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/unix/ -I /home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/menhirLib/20260209/doc/menhirLib/ -I /home/opam/odoc-out/u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/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/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/why3 -o /home/opam/odoc-out/u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/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/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc --occurrences /home/opam/odoc-out/u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/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/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/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/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/index.js --root /home/opam/odoc-out/u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc --occurrences /home/opam/odoc-out/u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 18 - Executing: sherlodoc index --format js _index/why3/index.odoc-index -o /home/opam/html/u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/sherlodoc_db.js
odoc_driver_voodoo: [DEBUG] 19 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/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/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/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/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/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/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/why3/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/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/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/page-index.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/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/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/why3/why3.odocl --sidebar _index/why3/sidebar.odoc-sidebar --search-uri u/d6e5adbca87263f5ace7f204f6932ca6/why3/1.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 25 - Executing: /home/opam/doc-tools/bin/odoc support-files -o /home/opam/html

=== STDERR ===

2026-06-23 09:53.00: OK: doc why3.1.6.0 (runc: 1.6s, disk: 141KB)
2026-06-23 09:53.00: Job succeeded