2026-06-24 22:56.56: New job: doc hol_light.3.0.0 (c19100dbda87)
2026-06-24 22:56.56: Waiting for resource in pool day11-builds
2026-06-24 23:05.56: Got resource from pool day11-builds
2026-06-24 23:05.56: [profile full] doc hol_light.3.0.0
2026-06-24 23:05.56: doc hol_light.3.0.0 (c19100dbda87)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
=== DEBUG: pre-voodoo image inventory ===
-- pkg markers (.odoc_pkg_marker) --
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0311483dea05720f793bc277f8d2492b/astring/0.8.5/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0311483dea05720f793bc277f8d2492b/fmt/0.11.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0311483dea05720f793bc277f8d2492b/rresult/0.7.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0311483dea05720f793bc277f8d2492b/uutf/1.0.4/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/078c1aa56d24bee95b5a55c29fc095e3/dune-configurator/3.23.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/093ba5678b8d2f0392588afc00a05d3d/parsexp/v0.17.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0ed051c525b603a51c1e2c6dd6ae88e4/zarith/1.14/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/1a35c8315f8cf4e4c1560a77789bd05e/cstruct/6.2.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/272e5303aeccb40998ffd0e5ce296a5e/topkg/1.1.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/348a627562bf47afedcf2b2f143a764f/bos/0.3.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/3674738569529ee6294f168455bd48ff/dune/3.23.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/3674738569529ee6294f168455bd48ff/num/1.6/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/3674738569529ee6294f168455bd48ff/ocamlbuild/0.16.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/3674738569529ee6294f168455bd48ff/ocamlfind/1.9.8/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/3d7193d10eb1a4ae7c5d1a2ed8adc8be/camlp5-buildscripts/0.07/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/62d370361ca3fc4aaa128e89e95f758f/dune-compiledb/0.6.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/6cf8c6315a31ee90daf0af64bddf0f49/ezjsonm/1.3.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/7b31d1494c571b38e96ec52eb795e102/logs/0.10.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/82299807d4696a96e62ba9c9b7e41717/camlp5/8.03.06/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/85e2412c73ee80e8686c736943096785/jsonm/1.0.2/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/camlp-streams/5.0.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/csexp/1.5.2/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/ocamlgraph/2.2.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/re/1.14.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/sexplib0/v0.17.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/bf71295799a804855a88813606bd92d9/sexplib/v0.17.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/e1e1bc919383e82a91e54bca170df4b7/pcre2/8.0.4/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/e60824ff086530d2c7389144da6a96ce/ledit/2.08/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/e6311a929f6536962aa52fd62b891d11/hex/1.5.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/f0decade097fafb2341e3f210dbb5e7c/fpath/0.7.3/doc/.odoc_pkg_marker
-- lib markers (.odoc_lib_marker) --
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/compiler-libs.bytecomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/compiler-libs.common/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/compiler-libs.optcomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/compiler-libs.toplevel/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/dynlink/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/odoc_info/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/runtime_events/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/stdlib/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/str/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/threads/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.3.0/doc/unix/.odoc_lib_marker
/home/opam/odoc-out/u/0311483dea05720f793bc277f8d2492b/astring/0.8.5/doc/astring/.odoc_lib_marker
/home/opam/odoc-out/u/0311483dea05720f793bc277f8d2492b/fmt/0.11.0/doc/fmt.tty/.odoc_lib_marker
/home/opam/odoc-out/u/0311483dea05720f793bc277f8d2492b/fmt/0.11.0/doc/fmt/.odoc_lib_marker
/home/opam/odoc-out/u/0311483dea05720f793bc277f8d2492b/rresult/0.7.0/doc/rresult/.odoc_lib_marker
/home/opam/odoc-out/u/0311483dea05720f793bc277f8d2492b/uutf/1.0.4/doc/uutf/.odoc_lib_marker
/home/opam/odoc-out/u/078c1aa56d24bee95b5a55c29fc095e3/dune-configurator/3.23.1/doc/dune-configurator/.odoc_lib_marker
/home/opam/odoc-out/u/093ba5678b8d2f0392588afc00a05d3d/parsexp/v0.17.0/doc/parsexp/.odoc_lib_marker
/home/opam/odoc-out/u/0ed051c525b603a51c1e2c6dd6ae88e4/zarith/1.14/doc/zarith/.odoc_lib_marker
/home/opam/odoc-out/u/1a35c8315f8cf4e4c1560a77789bd05e/cstruct/6.2.0/doc/cstruct/.odoc_lib_marker
/home/opam/odoc-out/u/272e5303aeccb40998ffd0e5ce296a5e/topkg/1.1.1/doc/topkg/.odoc_lib_marker
/home/opam/odoc-out/u/348a627562bf47afedcf2b2f143a764f/bos/0.3.0/doc/bos.setup/.odoc_lib_marker
/home/opam/odoc-out/u/348a627562bf47afedcf2b2f143a764f/bos/0.3.0/doc/bos/.odoc_lib_marker
/home/opam/odoc-out/u/3674738569529ee6294f168455bd48ff/num/1.6/doc/num.core/.odoc_lib_marker
/home/opam/odoc-out/u/3674738569529ee6294f168455bd48ff/num/1.6/doc/num_top/.odoc_lib_marker
/home/opam/odoc-out/u/3674738569529ee6294f168455bd48ff/ocamlbuild/0.16.1/doc/ocamlbuild/.odoc_lib_marker
/home/opam/odoc-out/u/3674738569529ee6294f168455bd48ff/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
/home/opam/odoc-out/u/3674738569529ee6294f168455bd48ff/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
/home/opam/odoc-out/u/3674738569529ee6294f168455bd48ff/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
/home/opam/odoc-out/u/6cf8c6315a31ee90daf0af64bddf0f49/ezjsonm/1.3.0/doc/ezjsonm/.odoc_lib_marker
/home/opam/odoc-out/u/7b31d1494c571b38e96ec52eb795e102/logs/0.10.0/doc/logs.fmt/.odoc_lib_marker
/home/opam/odoc-out/u/7b31d1494c571b38e96ec52eb795e102/logs/0.10.0/doc/logs.threaded/.odoc_lib_marker
/home/opam/odoc-out/u/7b31d1494c571b38e96ec52eb795e102/logs/0.10.0/doc/logs/.odoc_lib_marker
/home/opam/odoc-out/u/82299807d4696a96e62ba9c9b7e41717/camlp5/8.03.06/doc/camlp5.gramlib/.odoc_lib_marker
/home/opam/odoc-out/u/85e2412c73ee80e8686c736943096785/jsonm/1.0.2/doc/jsonm/.odoc_lib_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/camlp-streams/5.0.1/doc/camlp-streams/.odoc_lib_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/csexp/1.5.2/doc/csexp/.odoc_lib_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/ocamlgraph/2.2.0/doc/ocamlgraph/.odoc_lib_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/re/1.14.0/doc/re.emacs/.odoc_lib_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/re/1.14.0/doc/re.glob/.odoc_lib_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/re/1.14.0/doc/re.pcre/.odoc_lib_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/re/1.14.0/doc/re.perl/.odoc_lib_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/re/1.14.0/doc/re.posix/.odoc_lib_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/re/1.14.0/doc/re.str/.odoc_lib_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/re/1.14.0/doc/re/.odoc_lib_marker
/home/opam/odoc-out/u/ad23e10c801633f910ae7582ae85d76e/sexplib0/v0.17.0/doc/sexplib0/.odoc_lib_marker
/home/opam/odoc-out/u/bf71295799a804855a88813606bd92d9/sexplib/v0.17.0/doc/sexplib.num/.odoc_lib_marker
/home/opam/odoc-out/u/bf71295799a804855a88813606bd92d9/sexplib/v0.17.0/doc/sexplib.unix/.odoc_lib_marker
/home/opam/odoc-out/u/bf71295799a804855a88813606bd92d9/sexplib/v0.17.0/doc/sexplib/.odoc_lib_marker
/home/opam/odoc-out/u/e1e1bc919383e82a91e54bca170df4b7/pcre2/8.0.4/doc/pcre2/.odoc_lib_marker
/home/opam/odoc-out/u/e6311a929f6536962aa52fd62b891d11/hex/1.5.0/doc/hex/.odoc_lib_marker
/home/opam/odoc-out/u/f0decade097fafb2341e3f210dbb5e7c/fpath/0.7.3/doc/fpath/.odoc_lib_marker
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/
=== END DEBUG ===
process_meta_file: prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: hol_light, [3]

odoc_driver_voodoo: [DEBUG] No config file found: prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/doc/hol_light/odoc-config.sexp
prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/doc/hol_light/odoc-config.sexp: No such file or directory

odoc_driver_voodoo: [DEBUG] Config.packages: 

process_meta_file: prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/META
odoc_driver_voodoo: [DEBUG] prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/hol_lib,hol_light

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/ for package hol_light
odoc_driver_voodoo: [DEBUG] 0 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/
odoc_driver_voodoo: [DEBUG] libdirs_without_meta: prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/update_database,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/pa_j,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/miz3/grammar,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/miz3/bin,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/miz3/Samples,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/miz3,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Unity,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Tutorial,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Rqe,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/RichterHilbertAxiomGeometry/miz3,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/RichterHilbertAxiomGeometry,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Quaternions,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/QBF,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Proofrecording/tools/src,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Proofrecording/tools,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Proofrecording/hol_light,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Proofrecording/diffs,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Proofrecording,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/ProofTrace,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Permutation,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Ntrie,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Multivariate,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Model,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Mizarlight,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Minisat/zc2mso,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Minisat,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Logic,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Library,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/LP_arith,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Jordan,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/IsabelleLight,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/IEEE,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Help,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Geometric_Algebra,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/GL,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Functionspaces,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/verifier,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/trig,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/tests/data,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/tests,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/taylor/theory,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/taylor,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/misc,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/list,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/lib/ssreflect,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/lib,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/informal,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/docs,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/arith,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Examples,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/EC,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Divstep,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Complex,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Cadical,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Boyer_Moore/testset,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Boyer_Moore,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Arithmetic,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/100,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/.github/workflows,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/.github,
                            prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light

odoc_driver_voodoo: [DEBUG] lib dirs: 

odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/update_database
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/update_database for package hol_light
odoc_driver_voodoo: [DEBUG] 1 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/update_database
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/pa_j
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/pa_j for package hol_light
odoc_driver_voodoo: [DEBUG] 2 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/pa_j
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/miz3/grammar
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/miz3/grammar for package hol_light
odoc_driver_voodoo: [DEBUG] 3 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/miz3/grammar
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/miz3/bin
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/miz3/bin for package hol_light
odoc_driver_voodoo: [DEBUG] 4 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/miz3/bin
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/miz3/Samples
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/miz3/Samples for package hol_light
odoc_driver_voodoo: [DEBUG] 5 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/miz3/Samples
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/miz3
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/miz3 for package hol_light
odoc_driver_voodoo: [DEBUG] 6 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/miz3
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Unity
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Unity for package hol_light
odoc_driver_voodoo: [DEBUG] 7 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Unity
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Tutorial
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Tutorial for package hol_light
odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Tutorial
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Rqe
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Rqe for package hol_light
odoc_driver_voodoo: [DEBUG] 9 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Rqe
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/RichterHilbertAxiomGeometry/miz3
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/RichterHilbertAxiomGeometry/miz3 for package hol_light
odoc_driver_voodoo: [DEBUG] 10 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/RichterHilbertAxiomGeometry/miz3
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/RichterHilbertAxiomGeometry
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/RichterHilbertAxiomGeometry for package hol_light
odoc_driver_voodoo: [DEBUG] 11 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/RichterHilbertAxiomGeometry
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Quaternions
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Quaternions for package hol_light
odoc_driver_voodoo: [DEBUG] 12 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Quaternions
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/QBF
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/QBF for package hol_light
odoc_driver_voodoo: [DEBUG] 13 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/QBF
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Proofrecording/tools/src
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Proofrecording/tools/src for package hol_light
odoc_driver_voodoo: [DEBUG] 14 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Proofrecording/tools/src
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Proofrecording/tools
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Proofrecording/tools for package hol_light
odoc_driver_voodoo: [DEBUG] 15 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Proofrecording/tools
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Proofrecording/hol_light
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Proofrecording/hol_light for package hol_light
odoc_driver_voodoo: [DEBUG] 16 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Proofrecording/hol_light
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Proofrecording/diffs
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Proofrecording/diffs for package hol_light
odoc_driver_voodoo: [DEBUG] 17 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Proofrecording/diffs
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Proofrecording
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Proofrecording for package hol_light
odoc_driver_voodoo: [DEBUG] 18 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Proofrecording
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/ProofTrace
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/ProofTrace for package hol_light
odoc_driver_voodoo: [DEBUG] 19 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/ProofTrace
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Permutation
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Permutation for package hol_light
odoc_driver_voodoo: [DEBUG] 20 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Permutation
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Ntrie
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Ntrie for package hol_light
odoc_driver_voodoo: [DEBUG] 21 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Ntrie
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Multivariate
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Multivariate for package hol_light
odoc_driver_voodoo: [DEBUG] 22 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Multivariate
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Model
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Model for package hol_light
odoc_driver_voodoo: [DEBUG] 23 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Model
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Mizarlight
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Mizarlight for package hol_light
odoc_driver_voodoo: [DEBUG] 24 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Mizarlight
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Minisat/zc2mso
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Minisat/zc2mso for package hol_light
odoc_driver_voodoo: [DEBUG] 25 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Minisat/zc2mso
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Minisat
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Minisat for package hol_light
odoc_driver_voodoo: [DEBUG] 26 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Minisat
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Logic
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Logic for package hol_light
odoc_driver_voodoo: [DEBUG] 27 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Logic
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Library
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Library for package hol_light
odoc_driver_voodoo: [DEBUG] 28 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Library
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/LP_arith
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/LP_arith for package hol_light
odoc_driver_voodoo: [DEBUG] 29 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/LP_arith
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Jordan
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Jordan for package hol_light
odoc_driver_voodoo: [DEBUG] 30 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Jordan
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/IsabelleLight
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/IsabelleLight for package hol_light
odoc_driver_voodoo: [DEBUG] 31 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/IsabelleLight
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/IEEE
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/IEEE for package hol_light
odoc_driver_voodoo: [DEBUG] 32 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/IEEE
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Help
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Help for package hol_light
odoc_driver_voodoo: [DEBUG] 33 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Help
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Geometric_Algebra
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Geometric_Algebra for package hol_light
odoc_driver_voodoo: [DEBUG] 34 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Geometric_Algebra
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/GL
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/GL for package hol_light
odoc_driver_voodoo: [DEBUG] 35 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/GL
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Functionspaces
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Functionspaces for package hol_light
odoc_driver_voodoo: [DEBUG] 36 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Functionspaces
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Formal_ineqs/verifier
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/verifier for package hol_light
odoc_driver_voodoo: [DEBUG] 37 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/verifier
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Formal_ineqs/trig
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/trig for package hol_light
odoc_driver_voodoo: [DEBUG] 38 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/trig
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Formal_ineqs/tests/data
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/tests/data for package hol_light
odoc_driver_voodoo: [DEBUG] 39 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/tests/data
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Formal_ineqs/tests
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/tests for package hol_light
odoc_driver_voodoo: [DEBUG] 40 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/tests
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Formal_ineqs/taylor/theory
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/taylor/theory for package hol_light
odoc_driver_voodoo: [DEBUG] 41 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/taylor/theory
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Formal_ineqs/taylor
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/taylor for package hol_light
odoc_driver_voodoo: [DEBUG] 42 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/taylor
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Formal_ineqs/misc
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/misc for package hol_light
odoc_driver_voodoo: [DEBUG] 43 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/misc
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Formal_ineqs/list
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/list for package hol_light
odoc_driver_voodoo: [DEBUG] 44 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/list
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Formal_ineqs/lib/ssreflect
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/lib/ssreflect for package hol_light
odoc_driver_voodoo: [DEBUG] 45 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/lib/ssreflect
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Formal_ineqs/lib
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/lib for package hol_light
odoc_driver_voodoo: [DEBUG] 46 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/lib
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Formal_ineqs/informal
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/informal for package hol_light
odoc_driver_voodoo: [DEBUG] 47 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/informal
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Formal_ineqs/docs
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/docs for package hol_light
odoc_driver_voodoo: [DEBUG] 48 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/docs
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Formal_ineqs/arith
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/arith for package hol_light
odoc_driver_voodoo: [DEBUG] 49 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs/arith
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Formal_ineqs
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs for package hol_light
odoc_driver_voodoo: [DEBUG] 50 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Formal_ineqs
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Examples
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Examples for package hol_light
odoc_driver_voodoo: [DEBUG] 51 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Examples
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/EC
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/EC for package hol_light
odoc_driver_voodoo: [DEBUG] 52 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/EC
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Divstep
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Divstep for package hol_light
odoc_driver_voodoo: [DEBUG] 53 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Divstep
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Complex
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Complex for package hol_light
odoc_driver_voodoo: [DEBUG] 54 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Complex
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Cadical
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Cadical for package hol_light
odoc_driver_voodoo: [DEBUG] 55 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Cadical
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Boyer_Moore/testset
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Boyer_Moore/testset for package hol_light
odoc_driver_voodoo: [DEBUG] 56 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Boyer_Moore/testset
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Boyer_Moore
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Boyer_Moore for package hol_light
odoc_driver_voodoo: [DEBUG] 57 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Boyer_Moore
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/Arithmetic
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Arithmetic for package hol_light
odoc_driver_voodoo: [DEBUG] 58 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/Arithmetic
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/100
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/100 for package hol_light
odoc_driver_voodoo: [DEBUG] 59 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/100
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/.github/workflows
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/.github/workflows for package hol_light
odoc_driver_voodoo: [DEBUG] 60 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/.github/workflows
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light/.github
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/.github for package hol_light
odoc_driver_voodoo: [DEBUG] 61 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light/.github
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/hol_light
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light for package hol_light
odoc_driver_voodoo: [DEBUG] 62 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6c3d67cd990f21f94a6b59f7d28ec0a3/hol_light/3.0.0/lib/hol_light
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/dynlink/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/compiler-libs.toplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/odoc_info/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/compiler-libs.common/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/compiler-libs.bytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/compiler-libs.optcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/runtime_events/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.3.0/doc/threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-compiler/5.3.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0311483dea05720f793bc277f8d2492b/rresult/0.7.0/doc/rresult/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0311483dea05720f793bc277f8d2492b/rresult/0.7.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0311483dea05720f793bc277f8d2492b/astring/0.8.5/doc/astring/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0311483dea05720f793bc277f8d2492b/astring/0.8.5/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0311483dea05720f793bc277f8d2492b/fmt/0.11.0/doc/fmt.tty/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0311483dea05720f793bc277f8d2492b/fmt/0.11.0/doc/fmt/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0311483dea05720f793bc277f8d2492b/fmt/0.11.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0311483dea05720f793bc277f8d2492b/uutf/1.0.4/doc/uutf/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0311483dea05720f793bc277f8d2492b/uutf/1.0.4/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/82299807d4696a96e62ba9c9b7e41717/camlp5/8.03.06/doc/camlp5.gramlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/82299807d4696a96e62ba9c9b7e41717/camlp5/8.03.06/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/e6311a929f6536962aa52fd62b891d11/hex/1.5.0/doc/hex/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/e6311a929f6536962aa52fd62b891d11/hex/1.5.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/f0decade097fafb2341e3f210dbb5e7c/fpath/0.7.3/doc/fpath/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/f0decade097fafb2341e3f210dbb5e7c/fpath/0.7.3/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/078c1aa56d24bee95b5a55c29fc095e3/dune-configurator/3.23.1/doc/dune-configurator/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/078c1aa56d24bee95b5a55c29fc095e3/dune-configurator/3.23.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/85e2412c73ee80e8686c736943096785/jsonm/1.0.2/doc/jsonm/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/85e2412c73ee80e8686c736943096785/jsonm/1.0.2/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ad23e10c801633f910ae7582ae85d76e/sexplib0/v0.17.0/doc/sexplib0/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/ad23e10c801633f910ae7582ae85d76e/sexplib0/v0.17.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ad23e10c801633f910ae7582ae85d76e/ocamlgraph/2.2.0/doc/ocamlgraph/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/ad23e10c801633f910ae7582ae85d76e/ocamlgraph/2.2.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ad23e10c801633f910ae7582ae85d76e/csexp/1.5.2/doc/csexp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/ad23e10c801633f910ae7582ae85d76e/csexp/1.5.2/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ad23e10c801633f910ae7582ae85d76e/camlp-streams/5.0.1/doc/camlp-streams/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/ad23e10c801633f910ae7582ae85d76e/camlp-streams/5.0.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ad23e10c801633f910ae7582ae85d76e/re/1.14.0/doc/re.str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ad23e10c801633f910ae7582ae85d76e/re/1.14.0/doc/re.posix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ad23e10c801633f910ae7582ae85d76e/re/1.14.0/doc/re/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ad23e10c801633f910ae7582ae85d76e/re/1.14.0/doc/re.pcre/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ad23e10c801633f910ae7582ae85d76e/re/1.14.0/doc/re.emacs/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ad23e10c801633f910ae7582ae85d76e/re/1.14.0/doc/re.perl/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ad23e10c801633f910ae7582ae85d76e/re/1.14.0/doc/re.glob/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/ad23e10c801633f910ae7582ae85d76e/re/1.14.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6cf8c6315a31ee90daf0af64bddf0f49/ezjsonm/1.3.0/doc/ezjsonm/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/6cf8c6315a31ee90daf0af64bddf0f49/ezjsonm/1.3.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/093ba5678b8d2f0392588afc00a05d3d/parsexp/v0.17.0/doc/parsexp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/093ba5678b8d2f0392588afc00a05d3d/parsexp/v0.17.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/62d370361ca3fc4aaa128e89e95f758f/dune-compiledb/0.6.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/3674738569529ee6294f168455bd48ff/ocamlbuild/0.16.1/doc/ocamlbuild/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/3674738569529ee6294f168455bd48ff/ocamlbuild/0.16.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/3674738569529ee6294f168455bd48ff/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/3674738569529ee6294f168455bd48ff/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/3674738569529ee6294f168455bd48ff/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/3674738569529ee6294f168455bd48ff/ocamlfind/1.9.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/3674738569529ee6294f168455bd48ff/dune/3.23.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/3674738569529ee6294f168455bd48ff/num/1.6/doc/num.core/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/3674738569529ee6294f168455bd48ff/num/1.6/doc/num_top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/3674738569529ee6294f168455bd48ff/num/1.6/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0ed051c525b603a51c1e2c6dd6ae88e4/zarith/1.14/doc/zarith/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0ed051c525b603a51c1e2c6dd6ae88e4/zarith/1.14/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/348a627562bf47afedcf2b2f143a764f/bos/0.3.0/doc/bos.setup/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/348a627562bf47afedcf2b2f143a764f/bos/0.3.0/doc/bos/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/348a627562bf47afedcf2b2f143a764f/bos/0.3.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/272e5303aeccb40998ffd0e5ce296a5e/topkg/1.1.1/doc/topkg/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/272e5303aeccb40998ffd0e5ce296a5e/topkg/1.1.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/e1e1bc919383e82a91e54bca170df4b7/pcre2/8.0.4/doc/pcre2/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/e1e1bc919383e82a91e54bca170df4b7/pcre2/8.0.4/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/bf71295799a804855a88813606bd92d9/sexplib/v0.17.0/doc/sexplib.num/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/bf71295799a804855a88813606bd92d9/sexplib/v0.17.0/doc/sexplib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/bf71295799a804855a88813606bd92d9/sexplib/v0.17.0/doc/sexplib.unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/bf71295799a804855a88813606bd92d9/sexplib/v0.17.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/1a35c8315f8cf4e4c1560a77789bd05e/cstruct/6.2.0/doc/cstruct/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/1a35c8315f8cf4e4c1560a77789bd05e/cstruct/6.2.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/7b31d1494c571b38e96ec52eb795e102/logs/0.10.0/doc/logs.fmt/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/7b31d1494c571b38e96ec52eb795e102/logs/0.10.0/doc/logs/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/7b31d1494c571b38e96ec52eb795e102/logs/0.10.0/doc/logs.threaded/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/7b31d1494c571b38e96ec52eb795e102/logs/0.10.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/3d7193d10eb1a4ae7c5d1a2ed8adc8be/camlp5-buildscripts/0.07/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/e60824ff086530d2c7389144da6a96ce/ledit/2.08/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 553 precompiled units, 0 other units
odoc_driver_voodoo: [DEBUG] 63 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/hol_light/3.0.0/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/hol_light/3.0.0/doc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hol_light/3.0.0/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] 64 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hol_light/3.0.0/doc/page-index.odoc -o /home/opam/odoc-out/p/hol_light/3.0.0/doc/page-index.odocl -P hol_light:/home/opam/odoc-out/p/hol_light/3.0.0/doc --enable-missing-root-warning --warnings-tags hol_light
odoc_driver_voodoo: [DEBUG] 65 - Executing: /home/opam/doc-tools/bin/odoc count-occurrences -o /home/opam/odoc-out/p/hol_light/3.0.0/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 66 - Executing: sherlodoc js /home/opam/html/sherlodoc.js
odoc_driver_voodoo: [DEBUG] 67 - Executing: /home/opam/doc-tools/bin/odoc compile-index -o _index/hol_light/index.odoc-index --root /home/opam/odoc-out/p/hol_light/3.0.0/doc --occurrences /home/opam/odoc-out/p/hol_light/3.0.0/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 68 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate -o _index/hol_light/sidebar.odoc-sidebar _index/hol_light/index.odoc-index
odoc_driver_voodoo: [DEBUG] 69 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate --json -o /home/opam/html/p/hol_light/3.0.0/doc/sidebar.json _index/hol_light/index.odoc-index
odoc_driver_voodoo: [DEBUG] 70 - Executing: /home/opam/doc-tools/bin/odoc compile-index --json --simplified-json --wrap-json -o /home/opam/html/p/hol_light/3.0.0/doc/index.js --root /home/opam/odoc-out/p/hol_light/3.0.0/doc --occurrences /home/opam/odoc-out/p/hol_light/3.0.0/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 71 - Executing: sherlodoc index --format js _index/hol_light/index.odoc-index -o /home/opam/html/p/hol_light/3.0.0/doc/sherlodoc_db.js
odoc_driver_voodoo: [DEBUG] 72 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hol_light/3.0.0/doc/page-index.odocl --sidebar _index/hol_light/sidebar.odoc-sidebar --search-uri p/hol_light/3.0.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 73 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hol_light/3.0.0/doc/page-index.odocl --sidebar _index/hol_light/sidebar.odoc-sidebar --search-uri p/hol_light/3.0.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 74 - Executing: /home/opam/doc-tools/bin/odoc support-files -o /home/opam/html

=== STDERR ===

2026-06-24 23:06.03: OK: doc hol_light.3.0.0 (runc: 2.1s, disk: 60KB)
2026-06-24 23:06.03: Job succeeded