2026-06-24 21:06.52: New job: doc alt-ergo-free.2.2.0 (fab946f028b8)
2026-06-24 21:06.52: Waiting for resource in pool day11-builds
2026-06-24 21:35.02: Got resource from pool day11-builds
2026-06-24 21:35.02: [profile full] doc alt-ergo-free.2.2.0
2026-06-24 21:35.02: doc alt-ergo-free.2.2.0 (fab946f028b8)
=== 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/menhirLib/20211128/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/menhirSdk/20211128/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/970ccd097e67598f82150ba9962135cf/camlzip/1.14/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/cb6282d25159b7f1e2af58dbe1cc49d1/psmt2-frontend/0.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/f68bd1e8aa9066768f3ab23592700161/menhir/20211128/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/f9db74903569564a012148034ecf8f90/ocplib-simplex/0.4.1/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/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/970ccd097e67598f82150ba9962135cf/camlzip/1.14/doc/zip/.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
/home/opam/odoc-out/u/cb6282d25159b7f1e2af58dbe1cc49d1/psmt2-frontend/0.1/doc/psmt2-frontend/.odoc_lib_marker
/home/opam/odoc-out/u/f9db74903569564a012148034ecf8f90/ocplib-simplex/0.4.1/doc/ocplib-simplex/.odoc_lib_marker
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/
=== END DEBUG ===
process_meta_file: prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/lib/alt-ergo/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: alt-ergo, [6]

odoc_driver_voodoo: [DEBUG] No config file found: prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/doc/alt-ergo-free/odoc-config.sexp
prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/doc/alt-ergo-free/odoc-config.sexp: No such file or directory

odoc_driver_voodoo: [DEBUG] Config.packages: 

process_meta_file: prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/lib/alt-ergo/META
odoc_driver_voodoo: [DEBUG] prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/lib/alt-ergo/altErgoLib,alt-ergo

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/lib/alt-ergo/

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/lib/alt-ergo/ for package alt-ergo-free
odoc_driver_voodoo: [DEBUG] 0 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/lib/alt-ergo/
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/lib/alt-ergo/altErgoLib.cmti (then prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/lib/alt-ergo/AltErgoLib.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/lib/alt-ergo/altErgoLib.cmt (then prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/lib/alt-ergo/AltErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] 1 - Executing: ocamlobjinfo prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/lib/alt-ergo/altErgoLib.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/lib/alt-ergo/(none)
odoc_driver_voodoo: [DEBUG] No source found for module AltErgoLib
odoc_driver_voodoo: [DEBUG] 2 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/lib/alt-ergo/altErgoLib.cmt
odoc_driver_voodoo: [DEBUG] 3 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/lib/alt-ergo/altErgoLib.cmt
odoc_driver_voodoo: [DEBUG] libdirs_without_meta: prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/lib/alt-ergo/preludes,
                            prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/lib/alt-ergo/plugins

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/lib/alt-ergo/

odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/alt-ergo/preludes
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/lib/alt-ergo/preludes for package alt-ergo-free
odoc_driver_voodoo: [DEBUG] 4 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/lib/alt-ergo/preludes
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/alt-ergo/plugins
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/lib/alt-ergo/plugins for package alt-ergo-free
odoc_driver_voodoo: [DEBUG] 5 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/lib/alt-ergo/plugins
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/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 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/970ccd097e67598f82150ba9962135cf/camlzip/1.14/doc/zip/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/970ccd097e67598f82150ba9962135cf/camlzip/1.14/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/num.core/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/nums/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/num_top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/aec01b41b8b325468cac7a997a943c08/num/1.6/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/aec01b41b8b325468cac7a997a943c08/dune/3.23.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/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/f9db74903569564a012148034ecf8f90/ocplib-simplex/0.4.1/doc/ocplib-simplex/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/f9db74903569564a012148034ecf8f90/ocplib-simplex/0.4.1/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/cb6282d25159b7f1e2af58dbe1cc49d1/psmt2-frontend/0.1/doc/psmt2-frontend/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/cb6282d25159b7f1e2af58dbe1cc49d1/psmt2-frontend/0.1/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: 365 precompiled units, 1 other units
odoc_driver_voodoo: [DEBUG] Error during compilation of module ZarithNumbers (hash 1fffb7a075c7386ff072ae13f51f240d, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Why_parser (hash 033b6aa8ff624bb9428b50f6d7273062, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Why_lexer (hash 3d863253774a94c24e1c58da76db4a9a, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Version (hash f14e9ace9d9bf280fbdd97af25bdbc33, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Vec (hash b9d7483b7a323c7250c0e47fcbcd8150, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Util (hash c6f863f939a8ba9176f4c51dad58b479, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Use (hash a60a09d9c79cc8b9b7f7360c5848454f, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Uf (hash d028f0f8625648c5fdbf48831c818f8b, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typed (hash a9ad7f3b17e124d5be530366182fcbcc, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Typechecker (hash b560e4a4c2812b039fc01e6b97a7c57a, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ty (hash 770ae2d6d6dbfbbb9eda02b7afe3b497, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Triggers (hash 460c72608fb08b89301e1e8de69401a6, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Timers (hash 1ff7cf03e75d94e3d5cfc9ad3e366864, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Theory (hash b6fe546e4ecc062aae9923bc6a1e6927, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Term (hash c2781df2ce63b5e0d39cef8650e770f6, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Symbols (hash 8f37b968e52108a94897b15daf675031, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sum (hash 03a7060cf24d5fa7498eddd725a6958a, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sig (hash 40726b830f4a327647fa43233ee4c55b, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Satml_types (hash d9708a851001a6c5f128c52f9025b423, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Satml_frontend (hash e8f7178f4e99b3fbd453751c964904bd, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Satml (hash 20bdde8aa518edb2b535d8fa8c06862f, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sat_solver_sig (hash 229c932fd8746912b87e9c89245744c3, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Sat_solver (hash 716d08d97df5c72ee9d1247d8aa48bc7, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Records (hash efc2abe709967625cb484e1d873d49e4, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Psmt2_to_alt_ergo (hash 0e918f414f14102a3f837fbd5859dfab, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Profiling (hash 23d189fd1f0e5b5adca4d2a396a41ef1, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Polynome (hash e1c2669502bf531c1b4f46aabb150b8c, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parsers (hash 2302826adbec925973152a9ff1bd73d5, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parsed_interface (hash e6f5facbd4177eb4de0b9f425fa1d2b4, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Parsed (hash d02bd050e1d824e26ef4ba14a2329628, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Options (hash 0e69dfbfc6cf1c8b0df4c9aae23fbc78, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module NumsNumbers (hash d9b289a3674590d8519916ce60f48de8, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module NumbersInterface (hash 5e29d1c68c09ec3a207f31e7c50851f4, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Numbers (hash a27dd0d5543752e3b3c9e58e4bc93986, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module MyZip (hash 16a97620466267dc080cb984e6a297b8, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module MyUnix (hash 612ea806039fbfadf2001779223dadcd, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module MyDynlink (hash 10e177f22b1ebc56d8659a11fc418727, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Matching_types (hash cc5675ea056bbe065c0dc0877c1dd466, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Matching (hash 45f747fc7064da8ab7c2fac6653c6467, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Loc (hash 86dba596b292acb3a462afab81a76948, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Literal (hash eef8f12d008b9973aa520cb94c986c34, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Lists (hash 0e8278b82259801beb4edd71a066a71e, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ite (hash 6deb827dc3395db2a7772b2fdcafd3d9, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Intervals (hash 81b7d597a35abdfcd63a8ca2fb0cd2d1, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module IntervalCalculus (hash 273ee2f92ae3a550ccaa80600287075e, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Instances (hash d4edbb742d13b7ce0aa040759eed86c3, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Inequalities (hash 4d41977d3874c56ec28c3d31242eb4d3, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Iheap (hash 484b81edd14f835dbf5562c78d0c0ab6, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Hstring (hash 621789ed9d29a9d8a2daea4b79b70401, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Hconsing (hash c528f6195311ce39bfd0c4ff90676eb0, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Gc_debug (hash 7c592a2eba5122fc1e660799a66eb59a, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Fun_sat (hash 933fd0a85955861c298a0534954cdf2b, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Frontend (hash 067ea5dd0b3063d946905ae660dc7517, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Fpa_rounding (hash 46eb3428896e211174df5a1d520d2ce2, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Formula (hash 8e225e9feb7dadd2a79f1b14f3a4a781, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Explanation (hash 5786661a88e9e8533ff264abcf2ea986, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Exception (hash 25371fa94d02103851e3bdf99e021d3a, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Errors (hash 1622d16b6fc78b24fc3b3a17835fbd51, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Emap (hash 4773bb4224ee3a1a9d5638a040916453, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Config (hash 86738841734e1a144afd07c6d54a2a8e, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Commands (hash ac1e3e4aa01f9f00838560d0c128abe5, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Combine (hash f98dd3170371eebcba37cf5b87b32900, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Cnf (hash bc8fe6bcc5daf9e8116219500372ac6b, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ccx (hash 984e830142987be6f08159dc1579b9a2, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Bitv (hash 8839bdcf162f9f901752d0faa8ccd49f, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Arrays (hash 1507e3b0761edb250f78b420e2f4b8c1, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Arith (hash 98a68ac5d917552ca6ec93f80041c0da, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] Error during compilation of module Ac (hash ca245fd212206ae4323c8094a217a532, required by altErgoLib.cmt)
odoc_driver_voodoo: [DEBUG] 6 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/alt-ergo-free/2.2.0/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/alt-ergo-free/2.2.0/doc
odoc_driver_voodoo: [DEBUG] 7 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/alt-ergo-free/2.2.0/doc/alt-ergo/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/alt-ergo-free/2.2.0/doc/alt-ergo
odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/6df1500279c095814cd68fc287d8c15b/alt-ergo-free/2.2.0/lib/alt-ergo/altErgoLib.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/alt-ergo-free/2.2.0/doc/alt-ergo -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/u/970ccd097e67598f82150ba9962135cf/camlzip/1.14/doc/zip/ -I /home/opam/odoc-out/u/b1187d97b02e6fedfd7a4bbaf43d6652/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/cb6282d25159b7f1e2af58dbe1cc49d1/psmt2-frontend/0.1/doc/psmt2-frontend/ -I /home/opam/odoc-out/u/f9db74903569564a012148034ecf8f90/ocplib-simplex/0.4.1/doc/ocplib-simplex/ --enable-missing-root-warning --parent-id p/alt-ergo-free/2.2.0/doc/alt-ergo --warnings-tag alt-ergo-free
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/alt-ergo-free/2.2.0/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/alt-ergo-free/2.2.0/doc/alt-ergo/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/alt-ergo-free/2.2.0/doc/alt-ergo/altErgoLib.odoc
odoc_driver_voodoo: [DEBUG] 9 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/alt-ergo-free/2.2.0/doc/page-index.odoc -o /home/opam/odoc-out/p/alt-ergo-free/2.2.0/doc/page-index.odocl -P alt-ergo-free:/home/opam/odoc-out/p/alt-ergo-free/2.2.0/doc -L alt-ergo:/home/opam/odoc-out/p/alt-ergo-free/2.2.0/doc/alt-ergo --enable-missing-root-warning --warnings-tags alt-ergo-free
odoc_driver_voodoo: [DEBUG] 10 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/alt-ergo-free/2.2.0/doc/alt-ergo/page-index.odoc -o /home/opam/odoc-out/p/alt-ergo-free/2.2.0/doc/alt-ergo/page-index.odocl -L alt-ergo:/home/opam/odoc-out/p/alt-ergo-free/2.2.0/doc/alt-ergo --enable-missing-root-warning --warnings-tags alt-ergo-free
odoc_driver_voodoo: [DEBUG] 11 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/alt-ergo-free/2.2.0/doc/alt-ergo/altErgoLib.odoc -o /home/opam/odoc-out/p/alt-ergo-free/2.2.0/doc/alt-ergo/altErgoLib.odocl -P alt-ergo-free:/home/opam/odoc-out/p/alt-ergo-free/2.2.0/doc -L alt-ergo:/home/opam/odoc-out/p/alt-ergo-free/2.2.0/doc/alt-ergo -L ocplib-simplex:/home/opam/odoc-out/u/f9db74903569564a012148034ecf8f90/ocplib-simplex/0.4.1/doc/ocplib-simplex/ -L psmt2-frontend:/home/opam/odoc-out/u/cb6282d25159b7f1e2af58dbe1cc49d1/psmt2-frontend/0.1/doc/psmt2-frontend/ -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -L zarith:/home/opam/odoc-out/u/b1187d97b02e6fedfd7a4bbaf43d6652/zarith/1.14/doc/zarith/ -L zip:/home/opam/odoc-out/u/970ccd097e67598f82150ba9962135cf/camlzip/1.14/doc/zip/ -I /home/opam/odoc-out/p/alt-ergo-free/2.2.0/doc/alt-ergo -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/u/970ccd097e67598f82150ba9962135cf/camlzip/1.14/doc/zip/ -I /home/opam/odoc-out/u/b1187d97b02e6fedfd7a4bbaf43d6652/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/cb6282d25159b7f1e2af58dbe1cc49d1/psmt2-frontend/0.1/doc/psmt2-frontend/ -I /home/opam/odoc-out/u/f9db74903569564a012148034ecf8f90/ocplib-simplex/0.4.1/doc/ocplib-simplex/ --current-package alt-ergo-free --enable-missing-root-warning --warnings-tags alt-ergo-free
odoc_driver_voodoo: [DEBUG] 12 - Executing: /home/opam/doc-tools/bin/odoc count-occurrences /home/opam/odoc-out/p/alt-ergo-free/2.2.0/doc/alt-ergo -o /home/opam/odoc-out/p/alt-ergo-free/2.2.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/alt-ergo-free/index.odoc-index --root /home/opam/odoc-out/p/alt-ergo-free/2.2.0/doc --occurrences /home/opam/odoc-out/p/alt-ergo-free/2.2.0/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 15 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate -o _index/alt-ergo-free/sidebar.odoc-sidebar _index/alt-ergo-free/index.odoc-index
odoc_driver_voodoo: [DEBUG] 16 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate --json -o /home/opam/html/p/alt-ergo-free/2.2.0/doc/sidebar.json _index/alt-ergo-free/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/p/alt-ergo-free/2.2.0/doc/index.js --root /home/opam/odoc-out/p/alt-ergo-free/2.2.0/doc --occurrences /home/opam/odoc-out/p/alt-ergo-free/2.2.0/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 18 - Executing: sherlodoc index --format js _index/alt-ergo-free/index.odoc-index -o /home/opam/html/p/alt-ergo-free/2.2.0/doc/sherlodoc_db.js
odoc_driver_voodoo: [DEBUG] 19 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/alt-ergo-free/2.2.0/doc/page-index.odocl --sidebar _index/alt-ergo-free/sidebar.odoc-sidebar --search-uri p/alt-ergo-free/2.2.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/p/alt-ergo-free/2.2.0/doc/alt-ergo/page-index.odocl --sidebar _index/alt-ergo-free/sidebar.odoc-sidebar --search-uri p/alt-ergo-free/2.2.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/p/alt-ergo-free/2.2.0/doc/alt-ergo/altErgoLib.odocl --sidebar _index/alt-ergo-free/sidebar.odoc-sidebar --search-uri p/alt-ergo-free/2.2.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/p/alt-ergo-free/2.2.0/doc/page-index.odocl --sidebar _index/alt-ergo-free/sidebar.odoc-sidebar --search-uri p/alt-ergo-free/2.2.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/p/alt-ergo-free/2.2.0/doc/alt-ergo/page-index.odocl --sidebar _index/alt-ergo-free/sidebar.odoc-sidebar --search-uri p/alt-ergo-free/2.2.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/p/alt-ergo-free/2.2.0/doc/alt-ergo/altErgoLib.odocl --sidebar _index/alt-ergo-free/sidebar.odoc-sidebar --search-uri p/alt-ergo-free/2.2.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-24 21:35.07: OK: doc alt-ergo-free.2.2.0 (runc: 1.6s, disk: 82KB)
2026-06-24 21:35.07: Job succeeded