2026-06-16 20:10.54: New job: doc hacl-star-raw.0.2.2 (91dea797211e)
2026-06-16 20:10.54: Waiting for resource in pool day11-builds
2026-06-16 20:31.10: Got resource from pool day11-builds
2026-06-16 20:31.10: [profile full] doc hacl-star-raw.0.2.2
2026-06-16 20:31.10: doc hacl-star-raw.0.2.2 (91dea797211e)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
=== DEBUG: pre-voodoo image inventory ===
-- pkg markers (.odoc_pkg_marker) --
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/11df633a01061790bd969ac4679c8564/ctypes/0.17.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/13c1eac34bb4a57dbd3f6803318832b4/integers/0.8.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/79700a9ee710cccfdb8a6150da04cac8/stdlib-shims/0.3.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/dune/3.23.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/.odoc_pkg_marker
-- lib markers (.odoc_lib_marker) --
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/bigarray/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/dynlink/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamlbytecomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamlcommon/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamlmiddleend/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamloptcomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamltoplevel/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/odoc_info/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/str/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/threads/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/unix/.odoc_lib_marker
/home/opam/odoc-out/u/11df633a01061790bd969ac4679c8564/ctypes/0.17.1/doc/ctypes.foreign.base/.odoc_lib_marker
/home/opam/odoc-out/u/11df633a01061790bd969ac4679c8564/ctypes/0.17.1/doc/ctypes.foreign.threaded/.odoc_lib_marker
/home/opam/odoc-out/u/11df633a01061790bd969ac4679c8564/ctypes/0.17.1/doc/ctypes.foreign.unthreaded/.odoc_lib_marker
/home/opam/odoc-out/u/11df633a01061790bd969ac4679c8564/ctypes/0.17.1/doc/ctypes.stubs/.odoc_lib_marker
/home/opam/odoc-out/u/11df633a01061790bd969ac4679c8564/ctypes/0.17.1/doc/ctypes.top/.odoc_lib_marker
/home/opam/odoc-out/u/11df633a01061790bd969ac4679c8564/ctypes/0.17.1/doc/ctypes/.odoc_lib_marker
/home/opam/odoc-out/u/13c1eac34bb4a57dbd3f6803318832b4/integers/0.8.0/doc/integers.top/.odoc_lib_marker
/home/opam/odoc-out/u/13c1eac34bb4a57dbd3f6803318832b4/integers/0.8.0/doc/integers/.odoc_lib_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/
=== END DEBUG ===
process_meta_file: prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: hacl-star-raw, [2]

odoc_driver_voodoo: [DEBUG] No config file found: prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/doc/hacl-star-raw/odoc-config.sexp
prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/doc/hacl-star-raw/odoc-config.sexp: No such file or directory

odoc_driver_voodoo: [DEBUG] Config.packages: 

process_meta_file: prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/META
odoc_driver_voodoo: [DEBUG] prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/ocamlevercrypt,hacl-star-raw

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/ for package hacl-star-raw
odoc_driver_voodoo: [DEBUG] 0 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_AEAD_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_AEAD_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_AEAD_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_AEAD_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_AEAD_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_AEAD_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_AEAD_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_AEAD_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_AEAD_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_AEAD_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_AutoConfig2_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_AutoConfig2_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_AutoConfig2_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_AutoConfig2_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_AutoConfig2_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_AutoConfig2_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_AutoConfig2_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_AutoConfig2_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_AutoConfig2_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_AutoConfig2_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_CTR_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_CTR_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_CTR_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_CTR_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_CTR_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_CTR_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_CTR_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_CTR_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_CTR_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_CTR_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Chacha20Poly1305_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Chacha20Poly1305_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Chacha20Poly1305_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Chacha20Poly1305_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_Chacha20Poly1305_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Chacha20Poly1305_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Chacha20Poly1305_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Chacha20Poly1305_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Chacha20Poly1305_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_Chacha20Poly1305_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Cipher_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Cipher_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Cipher_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Cipher_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_Cipher_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Cipher_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Cipher_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Cipher_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Cipher_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_Cipher_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Curve25519_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Curve25519_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Curve25519_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Curve25519_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_Curve25519_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Curve25519_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Curve25519_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Curve25519_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Curve25519_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_Curve25519_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_DRBG_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_DRBG_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_DRBG_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_DRBG_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_DRBG_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_DRBG_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_DRBG_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_DRBG_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_DRBG_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_DRBG_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Ed25519_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Ed25519_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Ed25519_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Ed25519_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_Ed25519_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Ed25519_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Ed25519_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Ed25519_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Ed25519_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_Ed25519_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Error_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Error_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Error_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Error_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_Error_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Error_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Error_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Error_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Error_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_Error_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_HKDF_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_HKDF_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_HKDF_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_HKDF_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_HKDF_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_HKDF_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_HKDF_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_HKDF_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_HKDF_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_HKDF_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_HMAC_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_HMAC_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_HMAC_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_HMAC_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_HMAC_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_HMAC_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_HMAC_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_HMAC_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_HMAC_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_HMAC_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Hash_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Hash_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Hash_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Hash_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_Hash_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Hash_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Hash_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Hash_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Hash_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_Hash_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Poly1305_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Poly1305_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Poly1305_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Poly1305_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_Poly1305_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Poly1305_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Poly1305_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Poly1305_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Poly1305_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_Poly1305_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_StaticConfig_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_StaticConfig_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_StaticConfig_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_StaticConfig_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_StaticConfig_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_StaticConfig_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_StaticConfig_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_StaticConfig_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_StaticConfig_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_StaticConfig_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Vale_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Vale_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Vale_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Vale_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_Vale_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Vale_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Vale_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/everCrypt_Vale_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/EverCrypt_Vale_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: EverCrypt_Vale_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Blake2b_256_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Blake2b_256_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Blake2b_256_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Blake2b_256_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Blake2b_256_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Blake2b_256_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Blake2b_256_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Blake2b_256_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Blake2b_256_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Blake2b_256_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Blake2b_32_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Blake2b_32_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Blake2b_32_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Blake2b_32_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Blake2b_32_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Blake2b_32_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Blake2b_32_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Blake2b_32_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Blake2b_32_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Blake2b_32_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Blake2s_128_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Blake2s_128_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Blake2s_128_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Blake2s_128_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Blake2s_128_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Blake2s_128_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Blake2s_128_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Blake2s_128_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Blake2s_128_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Blake2s_128_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Blake2s_32_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Blake2s_32_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Blake2s_32_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Blake2s_32_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Blake2s_32_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Blake2s_32_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Blake2s_32_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Blake2s_32_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Blake2s_32_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Blake2s_32_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20Poly1305_128_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20Poly1305_128_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20Poly1305_128_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20Poly1305_128_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Chacha20Poly1305_128_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20Poly1305_128_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20Poly1305_128_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20Poly1305_128_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20Poly1305_128_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Chacha20Poly1305_128_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20Poly1305_256_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20Poly1305_256_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20Poly1305_256_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20Poly1305_256_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Chacha20Poly1305_256_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20Poly1305_256_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20Poly1305_256_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20Poly1305_256_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20Poly1305_256_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Chacha20Poly1305_256_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20Poly1305_32_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20Poly1305_32_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20Poly1305_32_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20Poly1305_32_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Chacha20Poly1305_32_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20Poly1305_32_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20Poly1305_32_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20Poly1305_32_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20Poly1305_32_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Chacha20Poly1305_32_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20_Vec128_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20_Vec128_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20_Vec128_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20_Vec128_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Chacha20_Vec128_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20_Vec128_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20_Vec128_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20_Vec128_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20_Vec128_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Chacha20_Vec128_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20_Vec256_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20_Vec256_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20_Vec256_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20_Vec256_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Chacha20_Vec256_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20_Vec256_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20_Vec256_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20_Vec256_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20_Vec256_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Chacha20_Vec256_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20_Vec32_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20_Vec32_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20_Vec32_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20_Vec32_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Chacha20_Vec32_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20_Vec32_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20_Vec32_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20_Vec32_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20_Vec32_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Chacha20_Vec32_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Chacha20_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Chacha20_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Chacha20_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Chacha20_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Curve25519_51_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Curve25519_51_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Curve25519_51_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Curve25519_51_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Curve25519_51_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Curve25519_51_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Curve25519_51_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Curve25519_51_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Curve25519_51_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Curve25519_51_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Curve25519_64_Slow_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Curve25519_64_Slow_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Curve25519_64_Slow_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Curve25519_64_Slow_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Curve25519_64_Slow_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Curve25519_64_Slow_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Curve25519_64_Slow_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Curve25519_64_Slow_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Curve25519_64_Slow_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Curve25519_64_Slow_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Curve25519_64_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Curve25519_64_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Curve25519_64_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Curve25519_64_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Curve25519_64_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Curve25519_64_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Curve25519_64_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Curve25519_64_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Curve25519_64_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Curve25519_64_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Ed25519_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Ed25519_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Ed25519_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Ed25519_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Ed25519_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Ed25519_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Ed25519_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Ed25519_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Ed25519_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Ed25519_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Frodo_KEM_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Frodo_KEM_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Frodo_KEM_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Frodo_KEM_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Frodo_KEM_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Frodo_KEM_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Frodo_KEM_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Frodo_KEM_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Frodo_KEM_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Frodo_KEM_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HKDF_Blake2b_256_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HKDF_Blake2b_256_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HKDF_Blake2b_256_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HKDF_Blake2b_256_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HKDF_Blake2b_256_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HKDF_Blake2b_256_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HKDF_Blake2b_256_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HKDF_Blake2b_256_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HKDF_Blake2b_256_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HKDF_Blake2b_256_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HKDF_Blake2s_128_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HKDF_Blake2s_128_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HKDF_Blake2s_128_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HKDF_Blake2s_128_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HKDF_Blake2s_128_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HKDF_Blake2s_128_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HKDF_Blake2s_128_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HKDF_Blake2s_128_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HKDF_Blake2s_128_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HKDF_Blake2s_128_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HKDF_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HKDF_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HKDF_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HKDF_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HKDF_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HKDF_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HKDF_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HKDF_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HKDF_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HKDF_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HMAC_Blake2b_256_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HMAC_Blake2b_256_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HMAC_Blake2b_256_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HMAC_Blake2b_256_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HMAC_Blake2b_256_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HMAC_Blake2b_256_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HMAC_Blake2b_256_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HMAC_Blake2b_256_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HMAC_Blake2b_256_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HMAC_Blake2b_256_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HMAC_Blake2s_128_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HMAC_Blake2s_128_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HMAC_Blake2s_128_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HMAC_Blake2s_128_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HMAC_Blake2s_128_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HMAC_Blake2s_128_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HMAC_Blake2s_128_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HMAC_Blake2s_128_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HMAC_Blake2s_128_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HMAC_Blake2s_128_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HMAC_DRBG_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HMAC_DRBG_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HMAC_DRBG_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HMAC_DRBG_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HMAC_DRBG_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HMAC_DRBG_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HMAC_DRBG_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HMAC_DRBG_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HMAC_DRBG_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HMAC_DRBG_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HMAC_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HMAC_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HMAC_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HMAC_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HMAC_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HMAC_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HMAC_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HMAC_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HMAC_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HMAC_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP128_SHA256_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP128_SHA256_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP128_SHA256_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP128_SHA256_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve51_CP128_SHA256_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP128_SHA256_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP128_SHA256_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP128_SHA256_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP128_SHA256_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve51_CP128_SHA256_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP128_SHA512_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP128_SHA512_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP128_SHA512_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP128_SHA512_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve51_CP128_SHA512_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP128_SHA512_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP128_SHA512_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP128_SHA512_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP128_SHA512_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve51_CP128_SHA512_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP256_SHA256_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP256_SHA256_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP256_SHA256_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP256_SHA256_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve51_CP256_SHA256_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP256_SHA256_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP256_SHA256_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP256_SHA256_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP256_SHA256_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve51_CP256_SHA256_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP256_SHA512_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP256_SHA512_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP256_SHA512_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP256_SHA512_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve51_CP256_SHA512_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP256_SHA512_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP256_SHA512_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP256_SHA512_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP256_SHA512_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve51_CP256_SHA512_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP32_SHA256_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP32_SHA256_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP32_SHA256_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP32_SHA256_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve51_CP32_SHA256_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP32_SHA256_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP32_SHA256_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP32_SHA256_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP32_SHA256_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve51_CP32_SHA256_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP32_SHA512_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP32_SHA512_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP32_SHA512_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP32_SHA512_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve51_CP32_SHA512_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP32_SHA512_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP32_SHA512_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve51_CP32_SHA512_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve51_CP32_SHA512_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve51_CP32_SHA512_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP128_SHA256_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP128_SHA256_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP128_SHA256_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP128_SHA256_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve64_CP128_SHA256_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP128_SHA256_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP128_SHA256_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP128_SHA256_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP128_SHA256_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve64_CP128_SHA256_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP128_SHA512_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP128_SHA512_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP128_SHA512_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP128_SHA512_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve64_CP128_SHA512_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP128_SHA512_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP128_SHA512_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP128_SHA512_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP128_SHA512_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve64_CP128_SHA512_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP256_SHA256_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP256_SHA256_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP256_SHA256_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP256_SHA256_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve64_CP256_SHA256_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP256_SHA256_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP256_SHA256_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP256_SHA256_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP256_SHA256_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve64_CP256_SHA256_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP256_SHA512_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP256_SHA512_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP256_SHA512_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP256_SHA512_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve64_CP256_SHA512_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP256_SHA512_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP256_SHA512_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP256_SHA512_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP256_SHA512_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve64_CP256_SHA512_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP32_SHA256_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP32_SHA256_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP32_SHA256_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP32_SHA256_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve64_CP32_SHA256_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP32_SHA256_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP32_SHA256_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP32_SHA256_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP32_SHA256_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve64_CP32_SHA256_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP32_SHA512_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP32_SHA512_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP32_SHA512_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP32_SHA512_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve64_CP32_SHA512_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP32_SHA512_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP32_SHA512_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_Curve64_CP32_SHA512_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_Curve64_CP32_SHA512_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_Curve64_CP32_SHA512_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_P256_CP128_SHA256_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_P256_CP128_SHA256_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_P256_CP128_SHA256_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_P256_CP128_SHA256_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_P256_CP128_SHA256_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_P256_CP128_SHA256_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_P256_CP128_SHA256_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_P256_CP128_SHA256_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_P256_CP128_SHA256_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_P256_CP128_SHA256_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_P256_CP256_SHA256_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_P256_CP256_SHA256_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_P256_CP256_SHA256_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_P256_CP256_SHA256_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_P256_CP256_SHA256_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_P256_CP256_SHA256_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_P256_CP256_SHA256_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_P256_CP256_SHA256_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_P256_CP256_SHA256_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_P256_CP256_SHA256_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_P256_CP32_SHA256_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_P256_CP32_SHA256_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_P256_CP32_SHA256_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_P256_CP32_SHA256_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_P256_CP32_SHA256_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_P256_CP32_SHA256_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_P256_CP32_SHA256_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_HPKE_P256_CP32_SHA256_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_HPKE_P256_CP32_SHA256_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_HPKE_P256_CP32_SHA256_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Hash_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Hash_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Hash_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Hash_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Hash_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Hash_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Hash_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Hash_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Hash_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Hash_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_IntTypes_Intrinsics_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_IntTypes_Intrinsics_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_IntTypes_Intrinsics_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_IntTypes_Intrinsics_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_IntTypes_Intrinsics_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_IntTypes_Intrinsics_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_IntTypes_Intrinsics_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_IntTypes_Intrinsics_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_IntTypes_Intrinsics_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_IntTypes_Intrinsics_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_NaCl_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_NaCl_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_NaCl_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_NaCl_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_NaCl_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_NaCl_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_NaCl_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_NaCl_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_NaCl_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_NaCl_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_P256_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_P256_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_P256_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_P256_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_P256_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_P256_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_P256_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_P256_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_P256_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_P256_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Poly1305_128_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Poly1305_128_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Poly1305_128_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Poly1305_128_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Poly1305_128_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Poly1305_128_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Poly1305_128_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Poly1305_128_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Poly1305_128_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Poly1305_128_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Poly1305_256_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Poly1305_256_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Poly1305_256_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Poly1305_256_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Poly1305_256_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Poly1305_256_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Poly1305_256_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Poly1305_256_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Poly1305_256_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Poly1305_256_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Poly1305_32_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Poly1305_32_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Poly1305_32_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Poly1305_32_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Poly1305_32_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Poly1305_32_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Poly1305_32_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Poly1305_32_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Poly1305_32_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Poly1305_32_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_SHA3_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_SHA3_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_SHA3_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_SHA3_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_SHA3_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_SHA3_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_SHA3_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_SHA3_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_SHA3_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_SHA3_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Salsa20_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Salsa20_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Salsa20_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Salsa20_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Salsa20_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Salsa20_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Salsa20_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Salsa20_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Salsa20_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Salsa20_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Spec_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Spec_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Spec_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Spec_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Spec_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Spec_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Spec_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Spec_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Spec_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Spec_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Streaming_Blake2_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Streaming_Blake2_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Streaming_Blake2_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Streaming_Blake2_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Streaming_Blake2_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Streaming_Blake2_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Streaming_Blake2_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Streaming_Blake2_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Streaming_Blake2_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Streaming_Blake2_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Streaming_Blake2b_256_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Streaming_Blake2b_256_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Streaming_Blake2b_256_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Streaming_Blake2b_256_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Streaming_Blake2b_256_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Streaming_Blake2b_256_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Streaming_Blake2b_256_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Streaming_Blake2b_256_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Streaming_Blake2b_256_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Streaming_Blake2b_256_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Streaming_Blake2s_128_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Streaming_Blake2s_128_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Streaming_Blake2s_128_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Streaming_Blake2s_128_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Streaming_Blake2s_128_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Streaming_Blake2s_128_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Streaming_Blake2s_128_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Streaming_Blake2s_128_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Streaming_Blake2s_128_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Streaming_Blake2s_128_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Streaming_Poly1305_32_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Streaming_Poly1305_32_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Streaming_Poly1305_32_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Streaming_Poly1305_32_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Streaming_Poly1305_32_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Streaming_Poly1305_32_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Streaming_Poly1305_32_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Streaming_Poly1305_32_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Streaming_Poly1305_32_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Streaming_Poly1305_32_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Streaming_SHA2_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Streaming_SHA2_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Streaming_SHA2_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Streaming_SHA2_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Streaming_SHA2_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Streaming_SHA2_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Streaming_SHA2_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/hacl_Streaming_SHA2_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Hacl_Streaming_SHA2_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Hacl_Streaming_SHA2_stubs
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/lib_RandomBuffer_System_bindings.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Lib_RandomBuffer_System_bindings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/lib_RandomBuffer_System_bindings.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Lib_RandomBuffer_System_bindings.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lib_RandomBuffer_System_bindings
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/lib_RandomBuffer_System_stubs.cmti (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Lib_RandomBuffer_System_stubs.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/lib_RandomBuffer_System_stubs.cmt (then prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/Lib_RandomBuffer_System_stubs.cmt)
odoc_driver_voodoo: [INFO] No files for module: Lib_RandomBuffer_System_stubs
odoc_driver_voodoo: [DEBUG] libdirs_without_meta: 

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/6e6028e32331c7a4b113b993d9cebcdd/hacl-star-raw/0.2.2/lib/hacl-star-raw/

odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamltoplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/bigarray/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamloptcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/dynlink/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamlmiddleend/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/odoc_info/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamlcommon/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamlbytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-base-compiler/4.14.4/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/aec01b41b8b325468cac7a997a943c08/ocamlfind/1.9.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/aec01b41b8b325468cac7a997a943c08/dune/3.23.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/79700a9ee710cccfdb8a6150da04cac8/stdlib-shims/0.3.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/13c1eac34bb4a57dbd3f6803318832b4/integers/0.8.0/doc/integers/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/13c1eac34bb4a57dbd3f6803318832b4/integers/0.8.0/doc/integers.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/13c1eac34bb4a57dbd3f6803318832b4/integers/0.8.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/11df633a01061790bd969ac4679c8564/ctypes/0.17.1/doc/ctypes.foreign.unthreaded/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/11df633a01061790bd969ac4679c8564/ctypes/0.17.1/doc/ctypes/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/11df633a01061790bd969ac4679c8564/ctypes/0.17.1/doc/ctypes.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/11df633a01061790bd969ac4679c8564/ctypes/0.17.1/doc/ctypes.foreign.base/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/11df633a01061790bd969ac4679c8564/ctypes/0.17.1/doc/ctypes.foreign.threaded/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/11df633a01061790bd969ac4679c8564/ctypes/0.17.1/doc/ctypes.stubs/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/11df633a01061790bd969ac4679c8564/ctypes/0.17.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 361 precompiled units, 0 other units
odoc_driver_voodoo: [DEBUG] 1 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/hacl-star-raw/0.2.2/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/hacl-star-raw/0.2.2/doc
odoc_driver_voodoo: [DEBUG] 2 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/hacl-star-raw/0.2.2/doc/hacl-star-raw/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/hacl-star-raw/0.2.2/doc/hacl-star-raw
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hacl-star-raw/0.2.2/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hacl-star-raw/0.2.2/doc/hacl-star-raw/page-index.odoc
odoc_driver_voodoo: [DEBUG] 3 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hacl-star-raw/0.2.2/doc/page-index.odoc -o /home/opam/odoc-out/p/hacl-star-raw/0.2.2/doc/page-index.odocl -P hacl-star-raw:/home/opam/odoc-out/p/hacl-star-raw/0.2.2/doc -L hacl-star-raw:/home/opam/odoc-out/p/hacl-star-raw/0.2.2/doc/hacl-star-raw --enable-missing-root-warning --warnings-tags hacl-star-raw
odoc_driver_voodoo: [DEBUG] 4 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hacl-star-raw/0.2.2/doc/hacl-star-raw/page-index.odoc -o /home/opam/odoc-out/p/hacl-star-raw/0.2.2/doc/hacl-star-raw/page-index.odocl -L hacl-star-raw:/home/opam/odoc-out/p/hacl-star-raw/0.2.2/doc/hacl-star-raw --enable-missing-root-warning --warnings-tags hacl-star-raw
odoc_driver_voodoo: [DEBUG] 5 - Executing: /home/opam/doc-tools/bin/odoc count-occurrences /home/opam/odoc-out/p/hacl-star-raw/0.2.2/doc/hacl-star-raw -o /home/opam/odoc-out/p/hacl-star-raw/0.2.2/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 6 - Executing: sherlodoc js /home/opam/html/sherlodoc.js
odoc_driver_voodoo: [DEBUG] 7 - Executing: /home/opam/doc-tools/bin/odoc compile-index -o _index/hacl-star-raw/index.odoc-index --root /home/opam/odoc-out/p/hacl-star-raw/0.2.2/doc --occurrences /home/opam/odoc-out/p/hacl-star-raw/0.2.2/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate -o _index/hacl-star-raw/sidebar.odoc-sidebar _index/hacl-star-raw/index.odoc-index
odoc_driver_voodoo: [DEBUG] 9 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate --json -o /home/opam/html/p/hacl-star-raw/0.2.2/doc/sidebar.json _index/hacl-star-raw/index.odoc-index
odoc_driver_voodoo: [DEBUG] 10 - Executing: /home/opam/doc-tools/bin/odoc compile-index --json --simplified-json --wrap-json -o /home/opam/html/p/hacl-star-raw/0.2.2/doc/index.js --root /home/opam/odoc-out/p/hacl-star-raw/0.2.2/doc --occurrences /home/opam/odoc-out/p/hacl-star-raw/0.2.2/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 11 - Executing: sherlodoc index --format js _index/hacl-star-raw/index.odoc-index -o /home/opam/html/p/hacl-star-raw/0.2.2/doc/sherlodoc_db.js
odoc_driver_voodoo: [DEBUG] 12 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hacl-star-raw/0.2.2/doc/page-index.odocl --sidebar _index/hacl-star-raw/sidebar.odoc-sidebar --search-uri p/hacl-star-raw/0.2.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 13 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hacl-star-raw/0.2.2/doc/hacl-star-raw/page-index.odocl --sidebar _index/hacl-star-raw/sidebar.odoc-sidebar --search-uri p/hacl-star-raw/0.2.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 14 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hacl-star-raw/0.2.2/doc/page-index.odocl --sidebar _index/hacl-star-raw/sidebar.odoc-sidebar --search-uri p/hacl-star-raw/0.2.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 15 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hacl-star-raw/0.2.2/doc/hacl-star-raw/page-index.odocl --sidebar _index/hacl-star-raw/sidebar.odoc-sidebar --search-uri p/hacl-star-raw/0.2.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 16 - Executing: /home/opam/doc-tools/bin/odoc support-files -o /home/opam/html

=== STDERR ===

2026-06-16 20:31.14: OK: doc hacl-star-raw.0.2.2 (runc: 0.6s, disk: 109KB)
2026-06-16 20:31.14: Job succeeded