2026-06-16 20:42.10: New job: doc fstar.2026.03.24 (e7af0b6aeb03)
2026-06-16 20:42.10: Waiting for resource in pool day11-builds
2026-06-16 21:00.57: Got resource from pool day11-builds
2026-06-16 21:00.57: [profile full] doc fstar.2026.03.24
2026-06-16 21:00.57: doc fstar.2026.03.24 (e7af0b6aeb03)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
=== DEBUG: pre-voodoo image inventory ===
-- pkg markers (.odoc_pkg_marker) --
/home/opam/odoc-out/p/memtrace/0.2.3/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/mtime/2.1.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/num/1.6/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/pprint/20230830/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/process/0.2.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/seq/base/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/stdint/0.7.2/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/zarith/1.14/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0f63ff5342cdc86164c71f6122513c4e/sedlex/3.7/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/dune/3.23.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlbuild/0.16.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/camlp-streams/5.0.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/cppo/1.8.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirCST/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirGLR/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirLib/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirSdk/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/ppx_derivers/1.2.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/sexplib0/v0.17.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/stdlib-shims/0.3.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/yojson/3.0.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/6f01382a4f96978149c3c2b2ca48f722/menhir/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/80665c1194f325d50bf39ab247a48471/base-bytes/base/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/8573c6c12658ffc8bd0496a75af930c7/topkg/1.1.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/b567a3066f3a8b9757453942ee72dd87/gen/1.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/be967ac504aa3e33c1efb8bb94d2f4a1/ppx_deriving_yojson/3.10.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/d24a17ac97e731012f0731f76319e4fc/batteries/3.10.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/.odoc_pkg_marker
-- lib markers (.odoc_lib_marker) --
/home/opam/odoc-out/p/memtrace/0.2.3/doc/memtrace/.odoc_lib_marker
/home/opam/odoc-out/p/mtime/2.1.0/doc/mtime.clock/.odoc_lib_marker
/home/opam/odoc-out/p/mtime/2.1.0/doc/mtime/.odoc_lib_marker
/home/opam/odoc-out/p/num/1.6/doc/num.core/.odoc_lib_marker
/home/opam/odoc-out/p/num/1.6/doc/num_top/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/compiler-libs.bytecomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/compiler-libs.common/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/compiler-libs.optcomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/compiler-libs.toplevel/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/dynlink/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/odoc_info/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/runtime_events/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/str/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/threads/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/unix/.odoc_lib_marker
/home/opam/odoc-out/p/pprint/20230830/doc/pprint/.odoc_lib_marker
/home/opam/odoc-out/p/process/0.2.1/doc/process/.odoc_lib_marker
/home/opam/odoc-out/p/stdint/0.7.2/doc/stdint/.odoc_lib_marker
/home/opam/odoc-out/p/zarith/1.14/doc/zarith/.odoc_lib_marker
/home/opam/odoc-out/u/0f63ff5342cdc86164c71f6122513c4e/sedlex/3.7/doc/sedlex.utils/.odoc_lib_marker
/home/opam/odoc-out/u/0f63ff5342cdc86164c71f6122513c4e/sedlex/3.7/doc/sedlex/.odoc_lib_marker
/home/opam/odoc-out/u/0f63ff5342cdc86164c71f6122513c4e/sedlex/3.7/doc/sedlex_ppx/.odoc_lib_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlbuild/0.16.1/doc/ocamlbuild/.odoc_lib_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
/home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving.api/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_create/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_enum/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_eq/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_fold/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_iter/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_make/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_map/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_ord/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_show/.odoc_lib_marker
/home/opam/odoc-out/u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_std/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/camlp-streams/5.0.1/doc/camlp-streams/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirCST/20260209/doc/menhirCST/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirGLR/20260209/doc/menhirGLR/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirLib/20260209/doc/menhirLib/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/menhirSdk/20260209/doc/menhirSdk/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.bytecomp/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.common/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.optcomp/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.shadow/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.toplevel/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/ppx_derivers/1.2.1/doc/ppx_derivers/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/sexplib0/v0.17.0/doc/sexplib0/.odoc_lib_marker
/home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/yojson/3.0.0/doc/yojson/.odoc_lib_marker
/home/opam/odoc-out/u/8573c6c12658ffc8bd0496a75af930c7/topkg/1.1.1/doc/topkg/.odoc_lib_marker
/home/opam/odoc-out/u/b567a3066f3a8b9757453942ee72dd87/gen/1.1/doc/gen/.odoc_lib_marker
/home/opam/odoc-out/u/be967ac504aa3e33c1efb8bb94d2f4a1/ppx_deriving_yojson/3.10.0/doc/ppx_deriving_yojson.runtime/.odoc_lib_marker
/home/opam/odoc-out/u/be967ac504aa3e33c1efb8bb94d2f4a1/ppx_deriving_yojson/3.10.0/doc/ppx_deriving_yojson/.odoc_lib_marker
/home/opam/odoc-out/u/d24a17ac97e731012f0731f76319e4fc/batteries/3.10.0/doc/batteries.top/.odoc_lib_marker
/home/opam/odoc-out/u/d24a17ac97e731012f0731f76319e4fc/batteries/3.10.0/doc/batteries.unthreaded/.odoc_lib_marker
/home/opam/odoc-out/u/d24a17ac97e731012f0731f76319e4fc/batteries/3.10.0/doc/batteries/.odoc_lib_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.ast/.odoc_lib_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.astlib/.odoc_lib_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.metaquot_lifters/.odoc_lib_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.print_diff/.odoc_lib_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.runner/.odoc_lib_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.runner_as_ppx/.odoc_lib_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.stdppx/.odoc_lib_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.traverse_builtins/.odoc_lib_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib/.odoc_lib_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib_metaquot/.odoc_lib_marker
/home/opam/odoc-out/u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib_traverse/.odoc_lib_marker
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/
=== END DEBUG ===
process_meta_file: prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/META
odoc_driver_voodoo: [DEBUG] Found cmi_only_lib in dir: compiler
odoc_driver_voodoo: [DEBUG] Found cmi_only_lib in dir: pluginlib
odoc_driver_voodoo: [DEBUG] all_lib_deps: fstar, [1], fstar.compiler, [16],
                            fstar.lib, [8], fstar.pluginlib, [17]

odoc_driver_voodoo: [DEBUG] No config file found: prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/doc/fstar/odoc-config.sexp
prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/doc/fstar/odoc-config.sexp: No such file or directory

odoc_driver_voodoo: [DEBUG] Config.packages: 

process_meta_file: prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/META
odoc_driver_voodoo: [DEBUG] prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fstar,fstar.lib

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ for package fstar
odoc_driver_voodoo: [DEBUG] 0 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/
odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/compiler

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/compiler for package fstar
odoc_driver_voodoo: [DEBUG] 1 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/compiler
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [INFO] No entry for 'prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/compiler/fstarcompiler' in libname_of_archive
odoc_driver_voodoo: [INFO] Unable to determine library of archive fstarcompiler: Ignoring.
odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib for package fstar
odoc_driver_voodoo: [DEBUG] 2 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Algebra_CommMonoid.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Algebra_CommMonoid.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Algebra_CommMonoid.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Algebra_CommMonoid.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Algebra_CommMonoid
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Algebra_CommMonoid_Equiv.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Algebra_CommMonoid_Equiv.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Algebra_CommMonoid_Equiv.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Algebra_CommMonoid_Equiv.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Algebra_CommMonoid_Equiv
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Algebra_CommMonoid_Fold.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Algebra_CommMonoid_Fold.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Algebra_CommMonoid_Fold.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Algebra_CommMonoid_Fold.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Algebra_CommMonoid_Fold
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Algebra_CommMonoid_Fold_Nested.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Algebra_CommMonoid_Fold_Nested.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Algebra_CommMonoid_Fold_Nested.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Algebra_CommMonoid_Fold_Nested.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Algebra_CommMonoid_Fold_Nested
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Algebra_Monoid.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Algebra_Monoid.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Algebra_Monoid.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Algebra_Monoid.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Algebra_Monoid
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_All.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_All.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_All.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_All.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_All
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Array.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Array.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Array.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Array.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Array
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Axiomatic_Array.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Axiomatic_Array.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Axiomatic_Array.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Axiomatic_Array.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Axiomatic_Array
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_BV.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_BV.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_BV.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_BV.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_BV
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_BigOps.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_BigOps.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_BigOps.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_BigOps.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_BigOps
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Bijection.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Bijection.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Bijection.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Bijection.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Bijection
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_BitVector.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_BitVector.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_BitVector.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_BitVector.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_BitVector
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Buffer.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Buffer.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Buffer.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Buffer.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Buffer
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Bytes.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Bytes.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Bytes.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Bytes.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Bytes
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Calc.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Calc.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Calc.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Calc.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Calc
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Cardinality_Cantor.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Cardinality_Cantor.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Cardinality_Cantor.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Cardinality_Cantor.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Cardinality_Cantor
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Cardinality_Universes.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Cardinality_Universes.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Cardinality_Universes.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Cardinality_Universes.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Cardinality_Universes
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Char.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Char.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Char.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Char.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Char
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Class_Add.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Class_Add.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Class_Add.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Class_Add.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Class_Add
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Class_Eq.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Class_Eq.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Class_Eq.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Class_Eq.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Class_Eq
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Class_Eq_Raw.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Class_Eq_Raw.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Class_Eq_Raw.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Class_Eq_Raw.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Class_Eq_Raw
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Class_Ord_Raw.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Class_Ord_Raw.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Class_Ord_Raw.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Class_Ord_Raw.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Class_Ord_Raw
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Class_Printable.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Class_Printable.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Class_Printable.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Class_Printable.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Class_Printable
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Class_TotalOrder_Raw.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Class_TotalOrder_Raw.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Class_TotalOrder_Raw.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Class_TotalOrder_Raw.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Class_TotalOrder_Raw
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Classical.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Classical.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Classical.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Classical.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Classical
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Classical_Sugar.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Classical_Sugar.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Classical_Sugar.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Classical_Sugar.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Classical_Sugar
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_CommonST.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_CommonST.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_CommonST.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_CommonST.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_CommonST
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_ConstantTime_Integers.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_ConstantTime_Integers.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_ConstantTime_Integers.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_ConstantTime_Integers.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_ConstantTime_Integers
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Crypto.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Crypto.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Crypto.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Crypto.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Crypto
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_DependentMap.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_DependentMap.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_DependentMap.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_DependentMap.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_DependentMap
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Endianness.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Endianness.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Endianness.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Endianness.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Endianness
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_ErasedLogic.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_ErasedLogic.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_ErasedLogic.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_ErasedLogic.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_ErasedLogic
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Error.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Error.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Error.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Error.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Error
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Exception.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Exception.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Exception.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Exception.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Exception
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Exn.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Exn.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Exn.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Exn.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Exn
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_ExtractAs.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_ExtractAs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_ExtractAs.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_ExtractAs.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_ExtractAs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Fin.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Fin.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Fin.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Fin.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Fin
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_FiniteMap_Ambient.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_FiniteMap_Ambient.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_FiniteMap_Ambient.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_FiniteMap_Ambient.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_FiniteMap_Ambient
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_FiniteMap_Base.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_FiniteMap_Base.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_FiniteMap_Base.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_FiniteMap_Base.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_FiniteMap_Base
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_FiniteSet_Ambient.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_FiniteSet_Ambient.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_FiniteSet_Ambient.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_FiniteSet_Ambient.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_FiniteSet_Ambient
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_FiniteSet_Base.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_FiniteSet_Base.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_FiniteSet_Base.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_FiniteSet_Base.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_FiniteSet_Base
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Float.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Float.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Float.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Float.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Float
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_FunctionalExtensionality.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_FunctionalExtensionality.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_FunctionalExtensionality.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_FunctionalExtensionality.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_FunctionalExtensionality
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_FunctionalQueue.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_FunctionalQueue.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_FunctionalQueue.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_FunctionalQueue.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_FunctionalQueue
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Functions.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Functions.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Functions.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Functions.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Functions
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_GSet.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_GSet.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_GSet.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_GSet.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_GSet
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_GhostSet.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_GhostSet.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_GhostSet.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_GhostSet.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_GhostSet
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Heap.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Heap.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Heap.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Heap.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Heap
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_HyperStack.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_HyperStack.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_HyperStack.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_HyperStack.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_HyperStack
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_HyperStack_ST.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_HyperStack_ST.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_HyperStack_ST.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_HyperStack_ST.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_HyperStack_ST
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_IFC.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_IFC.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_IFC.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_IFC.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_IFC
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_IO.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_IO.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_IO.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_IO.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_IO
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_ImmutableArray.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_ImmutableArray.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_ImmutableArray.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_ImmutableArray.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_ImmutableArray
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_ImmutableArray_Base.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_ImmutableArray_Base.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_ImmutableArray_Base.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_ImmutableArray_Base.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_ImmutableArray_Base
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_IndefiniteDescription.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_IndefiniteDescription.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_IndefiniteDescription.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_IndefiniteDescription.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_IndefiniteDescription
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Int.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Int.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Int.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Int.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Int
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Int128.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Int128.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Int128.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Int128.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Int128
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Int16.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Int16.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Int16.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Int16.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Int16
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Int32.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Int32.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Int32.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Int32.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Int32
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Int64.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Int64.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Int64.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Int64.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Int64
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Int8.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Int8.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Int8.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Int8.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Int8
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Int_Cast.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Int_Cast.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Int_Cast.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Int_Cast.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Int_Cast
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Int_Cast_Full.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Int_Cast_Full.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Int_Cast_Full.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Int_Cast_Full.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Int_Cast_Full
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_IntegerIntervals.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_IntegerIntervals.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_IntegerIntervals.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_IntegerIntervals.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_IntegerIntervals
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Integers.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Integers.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Integers.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Integers.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Integers
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_LexicographicOrdering.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_LexicographicOrdering.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_LexicographicOrdering.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_LexicographicOrdering.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_LexicographicOrdering
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_List.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_List.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_List.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_List.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_List
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_List_Pure_Base.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_List_Pure_Base.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_List_Pure_Base.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_List_Pure_Base.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_List_Pure_Base
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_List_Tot_Base.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_List_Tot_Base.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_List_Tot_Base.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_List_Tot_Base.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_List_Tot_Base
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_List_Tot_Properties.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_List_Tot_Properties.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_List_Tot_Properties.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_List_Tot_Properties.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_List_Tot_Properties
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_MRef.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_MRef.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_MRef.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_MRef.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_MRef
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Map.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Map.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Map.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Map.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Map
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_MarkovsPrinciple.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_MarkovsPrinciple.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_MarkovsPrinciple.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_MarkovsPrinciple.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_MarkovsPrinciple
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Math_Euclid.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Math_Euclid.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Math_Euclid.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Math_Euclid.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Math_Euclid
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Math_Fermat.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Math_Fermat.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Math_Fermat.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Math_Fermat.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Math_Fermat
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Math_Lemmas.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Math_Lemmas.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Math_Lemmas.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Math_Lemmas.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Math_Lemmas
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Math_Lib.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Math_Lib.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Math_Lib.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Math_Lib.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Math_Lib
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Matrix.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Matrix.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Matrix.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Matrix.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Matrix
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Modifies.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Modifies.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Modifies.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Modifies.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Modifies
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Monotonic_DependentMap.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Monotonic_DependentMap.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Monotonic_DependentMap.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Monotonic_DependentMap.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Monotonic_DependentMap
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Monotonic_Heap.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Monotonic_Heap.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Monotonic_Heap.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Monotonic_Heap.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Monotonic_Heap
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Monotonic_HyperHeap.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Monotonic_HyperHeap.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Monotonic_HyperHeap.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Monotonic_HyperHeap.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Monotonic_HyperHeap
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Monotonic_HyperStack.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Monotonic_HyperStack.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Monotonic_HyperStack.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Monotonic_HyperStack.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Monotonic_HyperStack
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Monotonic_Map.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Monotonic_Map.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Monotonic_Map.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Monotonic_Map.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Monotonic_Map
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Monotonic_Pure.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Monotonic_Pure.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Monotonic_Pure.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Monotonic_Pure.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Monotonic_Pure
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Monotonic_Seq.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Monotonic_Seq.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Monotonic_Seq.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Monotonic_Seq.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Monotonic_Seq
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Monotonic_Witnessed.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Monotonic_Witnessed.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Monotonic_Witnessed.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Monotonic_Witnessed.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Monotonic_Witnessed
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Mul.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Mul.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Mul.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Mul.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Mul
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_NormSteps.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_NormSteps.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_NormSteps.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_NormSteps.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_NormSteps
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Option.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Option.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Option.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Option.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Option
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_OrdMap.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_OrdMap.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_OrdMap.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_OrdMap.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_OrdMap
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_OrdMapProps.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_OrdMapProps.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_OrdMapProps.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_OrdMapProps.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_OrdMapProps
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_OrdSet.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_OrdSet.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_OrdSet.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_OrdSet.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_OrdSet
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_OrdSetProps.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_OrdSetProps.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_OrdSetProps.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_OrdSetProps.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_OrdSetProps
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Order.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Order.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Order.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Order.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Order
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_PCM.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_PCM.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_PCM.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_PCM.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_PCM
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Parse.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Parse.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Parse.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Parse.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Parse
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_PartialMap.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_PartialMap.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_PartialMap.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_PartialMap.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_PartialMap
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Pervasives.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Pervasives.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Pervasives.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Pervasives.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Pervasives
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Pervasives_Native.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Pervasives_Native.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Pervasives_Native.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Pervasives_Native.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Pervasives_Native
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Pointer.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Pointer.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Pointer.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Pointer.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Pointer
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Pointer_Base.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Pointer_Base.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Pointer_Base.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Pointer_Base.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Pointer_Base
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Pprint.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Pprint.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Pprint.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Pprint.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Pprint
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_PredicateExtensionality.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_PredicateExtensionality.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_PredicateExtensionality.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_PredicateExtensionality.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_PredicateExtensionality
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Preorder.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Preorder.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Preorder.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Preorder.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Preorder
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_PropositionalExtensionality.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_PropositionalExtensionality.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_PropositionalExtensionality.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_PropositionalExtensionality.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_PropositionalExtensionality
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_PtrdiffT.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_PtrdiffT.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_PtrdiffT.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_PtrdiffT.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_PtrdiffT
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Pure_BreakVC.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Pure_BreakVC.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Pure_BreakVC.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Pure_BreakVC.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Pure_BreakVC
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_RBMap.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_RBMap.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_RBMap.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_RBMap.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_RBMap
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_RBSet.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_RBSet.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_RBSet.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_RBSet.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_RBSet
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Ref.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Ref.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Ref.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Ref.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Ref
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_RefinementExtensionality.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_RefinementExtensionality.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_RefinementExtensionality.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_RefinementExtensionality.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_RefinementExtensionality
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_ReflexiveTransitiveClosure.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_ReflexiveTransitiveClosure.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_ReflexiveTransitiveClosure.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_ReflexiveTransitiveClosure.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_ReflexiveTransitiveClosure
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Relational_Comp.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Relational_Comp.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Relational_Comp.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Relational_Comp.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Relational_Comp
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Relational_Relational.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Relational_Relational.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Relational_Relational.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Relational_Relational.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Relational_Relational
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_ST.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_ST.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_ST.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_ST.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_ST
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Seq.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Seq.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Seq.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Seq.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Seq
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Seq_Base.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Seq_Base.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Seq_Base.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Seq_Base.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Seq_Base
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Seq_Equiv.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Seq_Equiv.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Seq_Equiv.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Seq_Equiv.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Seq_Equiv
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Seq_Permutation.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Seq_Permutation.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Seq_Permutation.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Seq_Permutation.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Seq_Permutation
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Seq_Properties.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Seq_Properties.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Seq_Properties.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Seq_Properties.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Seq_Properties
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Seq_Sorted.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Seq_Sorted.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Seq_Sorted.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Seq_Sorted.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Seq_Sorted
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Sequence.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Sequence.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Sequence.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Sequence.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Sequence
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Sequence_Ambient.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Sequence_Ambient.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Sequence_Ambient.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Sequence_Ambient.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Sequence_Ambient
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Sequence_Base.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Sequence_Base.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Sequence_Base.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Sequence_Base.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Sequence_Base
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Sequence_Permutation.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Sequence_Permutation.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Sequence_Permutation.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Sequence_Permutation.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Sequence_Permutation
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Sequence_Seq.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Sequence_Seq.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Sequence_Seq.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Sequence_Seq.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Sequence_Seq
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Sequence_Util.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Sequence_Util.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Sequence_Util.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Sequence_Util.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Sequence_Util
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Set.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Set.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Set.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Set.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Set
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_SizeT.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_SizeT.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_SizeT.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_SizeT.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_SizeT
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Squash.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Squash.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Squash.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Squash.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Squash
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_SquashProperties.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_SquashProperties.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_SquashProperties.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_SquashProperties.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_SquashProperties
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_String.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_String.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_String.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_String.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_String
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_StrongExcludedMiddle.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_StrongExcludedMiddle.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_StrongExcludedMiddle.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_StrongExcludedMiddle.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_StrongExcludedMiddle
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_TwoLevelHeap.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_TwoLevelHeap.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_TwoLevelHeap.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_TwoLevelHeap.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_TwoLevelHeap
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_UInt.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_UInt.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_UInt.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_UInt.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_UInt
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_UInt128.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_UInt128.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_UInt128.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_UInt128.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_UInt128
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_UInt16.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_UInt16.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_UInt16.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_UInt16.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_UInt16
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_UInt32.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_UInt32.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_UInt32.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_UInt32.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_UInt32
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_UInt64.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_UInt64.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_UInt64.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_UInt64.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_UInt64
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_UInt8.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_UInt8.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_UInt8.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_UInt8.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_UInt8
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Universe.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Universe.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Universe.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Universe.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Universe
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Universe_PCM.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Universe_PCM.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Universe_PCM.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Universe_PCM.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Universe_PCM
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_WellFounded.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_WellFounded.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_WellFounded.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_WellFounded.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_WellFounded
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_WellFoundedRelation.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_WellFoundedRelation.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_WellFoundedRelation.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_WellFoundedRelation.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_WellFoundedRelation
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_WellFounded_Util.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_WellFounded_Util.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_WellFounded_Util.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_WellFounded_Util.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_WellFounded_Util
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Witnessed_Core.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Witnessed_Core.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/fStar_Witnessed_Core.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/FStar_Witnessed_Core.cmt)
odoc_driver_voodoo: [INFO] No files for module: FStar_Witnessed_Core
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_Buffer.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_Buffer.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_Buffer.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_Buffer.cmt)
odoc_driver_voodoo: [INFO] No files for module: LowStar_Buffer
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_BufferCompat.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_BufferCompat.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_BufferCompat.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_BufferCompat.cmt)
odoc_driver_voodoo: [INFO] No files for module: LowStar_BufferCompat
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_BufferOps.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_BufferOps.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_BufferOps.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_BufferOps.cmt)
odoc_driver_voodoo: [INFO] No files for module: LowStar_BufferOps
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_BufferView.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_BufferView.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_BufferView.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_BufferView.cmt)
odoc_driver_voodoo: [INFO] No files for module: LowStar_BufferView
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_BufferView_Down.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_BufferView_Down.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_BufferView_Down.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_BufferView_Down.cmt)
odoc_driver_voodoo: [INFO] No files for module: LowStar_BufferView_Down
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_BufferView_Up.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_BufferView_Up.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_BufferView_Up.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_BufferView_Up.cmt)
odoc_driver_voodoo: [INFO] No files for module: LowStar_BufferView_Up
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_Comment.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_Comment.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_Comment.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_Comment.cmt)
odoc_driver_voodoo: [INFO] No files for module: LowStar_Comment
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_ConstBuffer.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_ConstBuffer.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_ConstBuffer.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_ConstBuffer.cmt)
odoc_driver_voodoo: [INFO] No files for module: LowStar_ConstBuffer
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_Endianness.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_Endianness.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_Endianness.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_Endianness.cmt)
odoc_driver_voodoo: [INFO] No files for module: LowStar_Endianness
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_ImmutableBuffer.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_ImmutableBuffer.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_ImmutableBuffer.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_ImmutableBuffer.cmt)
odoc_driver_voodoo: [INFO] No files for module: LowStar_ImmutableBuffer
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_Modifies.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_Modifies.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_Modifies.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_Modifies.cmt)
odoc_driver_voodoo: [INFO] No files for module: LowStar_Modifies
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_ModifiesPat.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_ModifiesPat.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_ModifiesPat.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_ModifiesPat.cmt)
odoc_driver_voodoo: [INFO] No files for module: LowStar_ModifiesPat
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_Monotonic_Buffer.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_Monotonic_Buffer.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_Monotonic_Buffer.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_Monotonic_Buffer.cmt)
odoc_driver_voodoo: [INFO] No files for module: LowStar_Monotonic_Buffer
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_PrefixFreezableBuffer.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_PrefixFreezableBuffer.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_PrefixFreezableBuffer.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_PrefixFreezableBuffer.cmt)
odoc_driver_voodoo: [INFO] No files for module: LowStar_PrefixFreezableBuffer
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_RVector.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_RVector.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_RVector.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_RVector.cmt)
odoc_driver_voodoo: [INFO] No files for module: LowStar_RVector
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_Regional.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_Regional.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_Regional.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_Regional.cmt)
odoc_driver_voodoo: [INFO] No files for module: LowStar_Regional
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_Regional_Instances.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_Regional_Instances.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_Regional_Instances.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_Regional_Instances.cmt)
odoc_driver_voodoo: [INFO] No files for module: LowStar_Regional_Instances
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_ToFStarBuffer.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_ToFStarBuffer.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_ToFStarBuffer.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_ToFStarBuffer.cmt)
odoc_driver_voodoo: [INFO] No files for module: LowStar_ToFStarBuffer
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_UninitializedBuffer.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_UninitializedBuffer.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_UninitializedBuffer.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_UninitializedBuffer.cmt)
odoc_driver_voodoo: [INFO] No files for module: LowStar_UninitializedBuffer
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_Vector.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_Vector.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/lowStar_Vector.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/LowStar_Vector.cmt)
odoc_driver_voodoo: [INFO] No files for module: LowStar_Vector
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/prims.cmti (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/Prims.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/prims.cmt (then prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/Prims.cmt)
odoc_driver_voodoo: [INFO] No files for module: Prims
odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/pluginlib

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/pluginlib for package fstar
odoc_driver_voodoo: [DEBUG] 3 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/pluginlib
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [INFO] No entry for 'prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/pluginlib/fstar_pluginlib' in libname_of_archive
odoc_driver_voodoo: [INFO] Unable to determine library of archive fstar_pluginlib: Ignoring.
odoc_driver_voodoo: [DEBUG] libdirs_without_meta: prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib/ml/plugin,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib/ml/app/ints,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib/ml/app-extra,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib/ml/app,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib/ml,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib/legacy,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib/experimental,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib.checked,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/pluginlib/ulib.pluginml,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/pluginlib/plugin,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/pluginlib/app/ints,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/pluginlib/app-extra,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/pluginlib/app,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/pluginlib,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/ulib.ml,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/app/ints,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/app-extra,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/app,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/typechecker,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/tosyntax,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/tools,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/tests,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/tactics,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/syntax/print,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/syntax,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/smtencoding,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/reflection,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/prettyprint,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/parser,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/ml,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/interactive,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/fstar,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/extraction,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/data,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/class,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/basic,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src.checked,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/compiler/ml,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/compiler/fstarc.ml,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/compiler/app/ints,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/compiler/app,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/compiler,
                            prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib

odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/ulib/ml/plugin
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib/ml/plugin for package fstar
odoc_driver_voodoo: [DEBUG] 4 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib/ml/plugin
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/ulib/ml/app/ints
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib/ml/app/ints for package fstar
odoc_driver_voodoo: [DEBUG] 5 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib/ml/app/ints
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/ulib/ml/app-extra
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib/ml/app-extra for package fstar
odoc_driver_voodoo: [DEBUG] 6 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib/ml/app-extra
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/ulib/ml/app
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib/ml/app for package fstar
odoc_driver_voodoo: [DEBUG] 7 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib/ml/app
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/ulib/ml
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib/ml for package fstar
odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib/ml
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/ulib/legacy
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib/legacy for package fstar
odoc_driver_voodoo: [DEBUG] 9 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib/legacy
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/ulib/experimental
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib/experimental for package fstar
odoc_driver_voodoo: [DEBUG] 10 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib/experimental
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/ulib.checked
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib.checked for package fstar
odoc_driver_voodoo: [DEBUG] 11 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib.checked
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/ulib
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib for package fstar
odoc_driver_voodoo: [DEBUG] 12 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/ulib
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/pluginlib/ulib.pluginml
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/pluginlib/ulib.pluginml for package fstar
odoc_driver_voodoo: [DEBUG] 13 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/pluginlib/ulib.pluginml
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/pluginlib/plugin
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/pluginlib/plugin for package fstar
odoc_driver_voodoo: [DEBUG] 14 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/pluginlib/plugin
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/pluginlib/app/ints
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/pluginlib/app/ints for package fstar
odoc_driver_voodoo: [DEBUG] 15 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/pluginlib/app/ints
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/pluginlib/app-extra
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/pluginlib/app-extra for package fstar
odoc_driver_voodoo: [DEBUG] 16 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/pluginlib/app-extra
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/pluginlib/app
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/pluginlib/app for package fstar
odoc_driver_voodoo: [DEBUG] 17 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/pluginlib/app
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/pluginlib
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/pluginlib for package fstar
odoc_driver_voodoo: [DEBUG] 18 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/pluginlib
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [INFO] No entry for 'prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/pluginlib/fstar_pluginlib' in libname_of_archive
odoc_driver_voodoo: [INFO] Unable to determine library of archive fstar_pluginlib: Ignoring.
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/lib/ulib.ml
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/ulib.ml for package fstar
odoc_driver_voodoo: [DEBUG] 19 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/ulib.ml
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/lib/app/ints
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/app/ints for package fstar
odoc_driver_voodoo: [DEBUG] 20 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/app/ints
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/lib/app-extra
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/app-extra for package fstar
odoc_driver_voodoo: [DEBUG] 21 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/app-extra
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/lib/app
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/app for package fstar
odoc_driver_voodoo: [DEBUG] 22 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/lib/app
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/fstarc/src/typechecker
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/typechecker for package fstar
odoc_driver_voodoo: [DEBUG] 23 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/typechecker
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/fstarc/src/tosyntax
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/tosyntax for package fstar
odoc_driver_voodoo: [DEBUG] 24 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/tosyntax
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/fstarc/src/tools
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/tools for package fstar
odoc_driver_voodoo: [DEBUG] 25 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/tools
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/fstarc/src/tests
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/tests for package fstar
odoc_driver_voodoo: [DEBUG] 26 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/tests
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/fstarc/src/tactics
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/tactics for package fstar
odoc_driver_voodoo: [DEBUG] 27 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/tactics
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/fstarc/src/syntax/print
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/syntax/print for package fstar
odoc_driver_voodoo: [DEBUG] 28 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/syntax/print
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/fstarc/src/syntax
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/syntax for package fstar
odoc_driver_voodoo: [DEBUG] 29 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/syntax
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/fstarc/src/smtencoding
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/smtencoding for package fstar
odoc_driver_voodoo: [DEBUG] 30 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/smtencoding
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/fstarc/src/reflection
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/reflection for package fstar
odoc_driver_voodoo: [DEBUG] 31 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/reflection
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/fstarc/src/prettyprint
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/prettyprint for package fstar
odoc_driver_voodoo: [DEBUG] 32 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/prettyprint
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/fstarc/src/parser
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/parser for package fstar
odoc_driver_voodoo: [DEBUG] 33 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/parser
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/fstarc/src/ml
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/ml for package fstar
odoc_driver_voodoo: [DEBUG] 34 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/ml
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/fstarc/src/interactive
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/interactive for package fstar
odoc_driver_voodoo: [DEBUG] 35 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/interactive
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/fstarc/src/fstar
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/fstar for package fstar
odoc_driver_voodoo: [DEBUG] 36 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/fstar
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/fstarc/src/extraction
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/extraction for package fstar
odoc_driver_voodoo: [DEBUG] 37 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/extraction
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/fstarc/src/data
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/data for package fstar
odoc_driver_voodoo: [DEBUG] 38 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/data
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/fstarc/src/class
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/class for package fstar
odoc_driver_voodoo: [DEBUG] 39 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/class
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/fstarc/src/basic
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/basic for package fstar
odoc_driver_voodoo: [DEBUG] 40 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src/basic
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/fstarc/src.checked
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src.checked for package fstar
odoc_driver_voodoo: [DEBUG] 41 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src.checked
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/fstarc/src
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src for package fstar
odoc_driver_voodoo: [DEBUG] 42 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc/src
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/fstarc
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc for package fstar
odoc_driver_voodoo: [DEBUG] 43 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/fstarc
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/compiler/ml
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/compiler/ml for package fstar
odoc_driver_voodoo: [DEBUG] 44 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/compiler/ml
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/compiler/fstarc.ml
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/compiler/fstarc.ml for package fstar
odoc_driver_voodoo: [DEBUG] 45 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/compiler/fstarc.ml
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/compiler/app/ints
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/compiler/app/ints for package fstar
odoc_driver_voodoo: [DEBUG] 46 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/compiler/app/ints
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/compiler/app
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/compiler/app for package fstar
odoc_driver_voodoo: [DEBUG] 47 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/compiler/app
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar/compiler
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/compiler for package fstar
odoc_driver_voodoo: [DEBUG] 48 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/compiler
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [INFO] No entry for 'prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar/compiler/fstarcompiler' in libname_of_archive
odoc_driver_voodoo: [INFO] Unable to determine library of archive fstarcompiler: Ignoring.
odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/fstar
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar for package fstar
odoc_driver_voodoo: [DEBUG] 49 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/aaf7886b98541ad80699ad347ff09bcc/fstar/2026.03.24/lib/fstar
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/stdlib-shims/0.3.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/menhirSdk/20260209/doc/menhirSdk/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/menhirSdk/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/menhirLib/20260209/doc/menhirLib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/menhirLib/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/ppx_derivers/1.2.1/doc/ppx_derivers/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/ppx_derivers/1.2.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/cppo/1.8.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/sexplib0/v0.17.0/doc/sexplib0/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/sexplib0/v0.17.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/yojson/3.0.0/doc/yojson/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/yojson/3.0.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/menhirGLR/20260209/doc/menhirGLR/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/menhirGLR/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/menhirCST/20260209/doc/menhirCST/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/menhirCST/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.common/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.toplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.optcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.shadow/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.bytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/ocaml-compiler-libs/v0.17.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/camlp-streams/5.0.1/doc/camlp-streams/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/camlp-streams/5.0.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/b567a3066f3a8b9757453942ee72dd87/gen/1.1/doc/gen/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/b567a3066f3a8b9757453942ee72dd87/gen/1.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.astlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.print_diff/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.ast/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.metaquot_lifters/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib_traverse/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib_metaquot/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.runner/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.runner_as_ppx/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.stdppx/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/ppxlib.traverse_builtins/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/d404c8ecf7518a91adfec42a9123bb6d/ppxlib/0.38.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/128a9098365655e3c58e2079337fb081/dune/3.23.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/128a9098365655e3c58e2079337fb081/ocamlbuild/0.16.1/doc/ocamlbuild/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/128a9098365655e3c58e2079337fb081/ocamlbuild/0.16.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d24a17ac97e731012f0731f76319e4fc/batteries/3.10.0/doc/batteries.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d24a17ac97e731012f0731f76319e4fc/batteries/3.10.0/doc/batteries/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/d24a17ac97e731012f0731f76319e4fc/batteries/3.10.0/doc/batteries.unthreaded/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/d24a17ac97e731012f0731f76319e4fc/batteries/3.10.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/8573c6c12658ffc8bd0496a75af930c7/topkg/1.1.1/doc/topkg/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/8573c6c12658ffc8bd0496a75af930c7/topkg/1.1.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/80665c1194f325d50bf39ab247a48471/base-bytes/base/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_make/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving.api/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_eq/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_std/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_iter/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_show/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_map/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_create/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_enum/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_ord/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/ppx_deriving_fold/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/139b60c2720a2efb48ec2712ef45d978/ppx_deriving/6.1.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0f63ff5342cdc86164c71f6122513c4e/sedlex/3.7/doc/sedlex/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0f63ff5342cdc86164c71f6122513c4e/sedlex/3.7/doc/sedlex.utils/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0f63ff5342cdc86164c71f6122513c4e/sedlex/3.7/doc/sedlex_ppx/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0f63ff5342cdc86164c71f6122513c4e/sedlex/3.7/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/6f01382a4f96978149c3c2b2ca48f722/menhir/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/be967ac504aa3e33c1efb8bb94d2f4a1/ppx_deriving_yojson/3.10.0/doc/ppx_deriving_yojson.runtime/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/be967ac504aa3e33c1efb8bb94d2f4a1/ppx_deriving_yojson/3.10.0/doc/ppx_deriving_yojson/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/be967ac504aa3e33c1efb8bb94d2f4a1/ppx_deriving_yojson/3.10.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/process/0.2.1/doc/process/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/process/0.2.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/zarith/1.14/doc/zarith/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/zarith/1.14/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/dynlink/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/compiler-libs.toplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/odoc_info/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/compiler-libs.common/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/compiler-libs.bytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/compiler-libs.optcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/runtime_events/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-compiler/5.4.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/seq/base/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/num/1.6/doc/num.core/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/num/1.6/doc/num_top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/num/1.6/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/mtime/2.1.0/doc/mtime.clock/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/mtime/2.1.0/doc/mtime/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/mtime/2.1.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/stdint/0.7.2/doc/stdint/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/stdint/0.7.2/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/memtrace/0.2.3/doc/memtrace/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/memtrace/0.2.3/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/pprint/20230830/doc/pprint/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/pprint/20230830/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 712 precompiled units, 0 other units
odoc_driver_voodoo: [DEBUG] 50 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/fstar/2026.03.24/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/fstar/2026.03.24/doc
odoc_driver_voodoo: [DEBUG] 51 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/fstar/2026.03.24/doc/fstar.lib/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/fstar/2026.03.24/doc/fstar.lib
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/fstar/2026.03.24/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/fstar/2026.03.24/doc/fstar.lib/page-index.odoc
odoc_driver_voodoo: [DEBUG] 52 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/fstar/2026.03.24/doc/page-index.odoc -o /home/opam/odoc-out/p/fstar/2026.03.24/doc/page-index.odocl -P fstar:/home/opam/odoc-out/p/fstar/2026.03.24/doc -L fstar.lib:/home/opam/odoc-out/p/fstar/2026.03.24/doc/fstar.lib --enable-missing-root-warning --warnings-tags fstar
odoc_driver_voodoo: [DEBUG] 53 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/fstar/2026.03.24/doc/fstar.lib/page-index.odoc -o /home/opam/odoc-out/p/fstar/2026.03.24/doc/fstar.lib/page-index.odocl -L fstar.lib:/home/opam/odoc-out/p/fstar/2026.03.24/doc/fstar.lib --enable-missing-root-warning --warnings-tags fstar
odoc_driver_voodoo: [DEBUG] 54 - Executing: /home/opam/doc-tools/bin/odoc count-occurrences /home/opam/odoc-out/p/fstar/2026.03.24/doc/fstar.lib -o /home/opam/odoc-out/p/fstar/2026.03.24/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 55 - Executing: sherlodoc js /home/opam/html/sherlodoc.js
odoc_driver_voodoo: [DEBUG] 56 - Executing: /home/opam/doc-tools/bin/odoc compile-index -o _index/fstar/index.odoc-index --root /home/opam/odoc-out/p/fstar/2026.03.24/doc --occurrences /home/opam/odoc-out/p/fstar/2026.03.24/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 57 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate -o _index/fstar/sidebar.odoc-sidebar _index/fstar/index.odoc-index
odoc_driver_voodoo: [DEBUG] 58 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate --json -o /home/opam/html/p/fstar/2026.03.24/doc/sidebar.json _index/fstar/index.odoc-index
odoc_driver_voodoo: [DEBUG] 59 - Executing: /home/opam/doc-tools/bin/odoc compile-index --json --simplified-json --wrap-json -o /home/opam/html/p/fstar/2026.03.24/doc/index.js --root /home/opam/odoc-out/p/fstar/2026.03.24/doc --occurrences /home/opam/odoc-out/p/fstar/2026.03.24/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 60 - Executing: sherlodoc index --format js _index/fstar/index.odoc-index -o /home/opam/html/p/fstar/2026.03.24/doc/sherlodoc_db.js
odoc_driver_voodoo: [DEBUG] 61 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/fstar/2026.03.24/doc/page-index.odocl --sidebar _index/fstar/sidebar.odoc-sidebar --search-uri p/fstar/2026.03.24/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 62 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/fstar/2026.03.24/doc/fstar.lib/page-index.odocl --sidebar _index/fstar/sidebar.odoc-sidebar --search-uri p/fstar/2026.03.24/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 63 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/fstar/2026.03.24/doc/page-index.odocl --sidebar _index/fstar/sidebar.odoc-sidebar --search-uri p/fstar/2026.03.24/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 64 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/fstar/2026.03.24/doc/fstar.lib/page-index.odocl --sidebar _index/fstar/sidebar.odoc-sidebar --search-uri p/fstar/2026.03.24/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 65 - Executing: /home/opam/doc-tools/bin/odoc support-files -o /home/opam/html

=== STDERR ===

2026-06-16 21:01.04: OK: doc fstar.2026.03.24 (runc: 3.6s, disk: 156KB)
2026-06-16 21:01.04: Job succeeded