2026-06-23 19:27.44: New job: doc bls12-381-gen.0.4.2 (d0eb4c1ab64a)
2026-06-23 19:27.44: Waiting for resource in pool day11-builds
2026-06-23 20:33.43: Got resource from pool day11-builds
2026-06-23 20:33.43: [profile full] doc bls12-381-gen.0.4.2
2026-06-23 20:33.43: doc bls12-381-gen.0.4.2 (d0eb4c1ab64a)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
=== DEBUG: pre-voodoo image inventory ===
-- pkg markers (.odoc_pkg_marker) --
/home/opam/odoc-out/p/dune/3.23.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/zarith/1.14/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/.odoc_pkg_marker
-- lib markers (.odoc_lib_marker) --
/home/opam/odoc-out/p/zarith/1.14/doc/zarith/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.bytecomp/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.common/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.optcomp/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.toplevel/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/dynlink/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/odoc_info/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/runtime_events/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/str/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/threads/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/unix/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
/home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/.odoc_lib_marker
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/
=== END DEBUG ===
process_meta_file: prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: bls12-381-gen, [3]

odoc_driver_voodoo: [DEBUG] No config file found: prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/doc/bls12-381-gen/odoc-config.sexp
prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/doc/bls12-381-gen/odoc-config.sexp: No such file or directory

odoc_driver_voodoo: [DEBUG] Config.packages: 

process_meta_file: prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/META
odoc_driver_voodoo: [DEBUG] prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen,bls12-381-gen

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/ for package bls12-381-gen
odoc_driver_voodoo: [DEBUG] 0 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [DEBUG] Checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen.cmti (then prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/Bls12_381_gen.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen.cmt (then prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/Bls12_381_gen.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Elliptic_curve_sig.cmti (then prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/Bls12_381_gen__Elliptic_curve_sig.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Elliptic_curve_sig.cmt (then prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/Bls12_381_gen__Elliptic_curve_sig.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Fq12.cmti (then prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/Bls12_381_gen__Fq12.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Fq12.cmt (then prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/Bls12_381_gen__Fq12.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Fr.cmti (then prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/Bls12_381_gen__Fr.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Fr.cmt (then prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/Bls12_381_gen__Fr.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__G1.cmti (then prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/Bls12_381_gen__G1.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__G1.cmt (then prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/Bls12_381_gen__G1.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__G2.cmti (then prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/Bls12_381_gen__G2.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__G2.cmt (then prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/Bls12_381_gen__G2.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Pairing.cmti (then prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/Bls12_381_gen__Pairing.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Pairing.cmt (then prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/Bls12_381_gen__Pairing.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__S.cmti (then prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/Bls12_381_gen__S.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__S.cmt (then prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/Bls12_381_gen__S.cmt)
odoc_driver_voodoo: [DEBUG] 1 - Executing: ocamlobjinfo prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen.cmt
odoc_driver_voodoo: [DEBUG] 2 - Executing: ocamlobjinfo prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Elliptic_curve_sig.cmt
odoc_driver_voodoo: [DEBUG] 3 - Executing: ocamlobjinfo prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Fq12.cmt
odoc_driver_voodoo: [DEBUG] 4 - Executing: ocamlobjinfo prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Fr.cmt
odoc_driver_voodoo: [DEBUG] 5 - Executing: ocamlobjinfo prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__G1.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen.ml-gen
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen.ml for Bls12_381_gen
odoc_driver_voodoo: [DEBUG] 6 - Executing: ocamlobjinfo prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__G2.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/elliptic_curve_sig.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/elliptic_curve_sig.ml for Bls12_381_gen__Elliptic_curve_sig
odoc_driver_voodoo: [DEBUG] 7 - Executing: ocamlobjinfo prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Pairing.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/fr.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/fr.ml for Bls12_381_gen__Fr
odoc_driver_voodoo: [DEBUG] 8 - Executing: ocamlobjinfo prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__S.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/fq12.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/fq12.ml for Bls12_381_gen__Fq12
odoc_driver_voodoo: [DEBUG] 9 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/g1.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/g1.ml for Bls12_381_gen__G1
odoc_driver_voodoo: [DEBUG] 10 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Elliptic_curve_sig.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/pairing.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/pairing.ml for Bls12_381_gen__Pairing
odoc_driver_voodoo: [DEBUG] 11 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Fr.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/g2.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/g2.ml for Bls12_381_gen__G2
odoc_driver_voodoo: [DEBUG] 12 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Fq12.cmt
odoc_driver_voodoo: [DEBUG] 13 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__G1.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/s.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/s.ml for Bls12_381_gen__S
odoc_driver_voodoo: [DEBUG] 14 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Pairing.cmt
odoc_driver_voodoo: [DEBUG] 15 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__G2.cmt
odoc_driver_voodoo: [DEBUG] 16 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen.cmt
odoc_driver_voodoo: [DEBUG] 17 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__S.cmt
odoc_driver_voodoo: [DEBUG] 18 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Elliptic_curve_sig.cmt
odoc_driver_voodoo: [DEBUG] 19 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Fr.cmt
odoc_driver_voodoo: [DEBUG] 20 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Fq12.cmt
odoc_driver_voodoo: [DEBUG] 21 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Pairing.cmt
odoc_driver_voodoo: [DEBUG] 22 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__G1.cmt
odoc_driver_voodoo: [DEBUG] 23 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__G2.cmt
odoc_driver_voodoo: [DEBUG] 24 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__S.cmt
odoc_driver_voodoo: [DEBUG] libdirs_without_meta: 

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/

odoc_driver_voodoo: [DEBUG] Found pkg marker: p/dune/3.23.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/zarith/1.14/doc/zarith/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/zarith/1.14/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocamlfind/1.9.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/dynlink/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.toplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/odoc_info/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.common/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.bytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/compiler-libs.optcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/runtime_events/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 380 precompiled units, 8 other units
odoc_driver_voodoo: [DEBUG] 25 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/bls12-381-gen/0.4.2/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/bls12-381-gen/0.4.2/doc
odoc_driver_voodoo: [DEBUG] 26 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/bls12-381-gen/0.4.2/doc/src/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/bls12-381-gen/0.4.2/doc/src
odoc_driver_voodoo: [DEBUG] 27 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/bls12-381-gen/0.4.2/doc/bls12-381-gen
odoc_driver_voodoo: [DEBUG] 28 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --enable-missing-root-warning --parent-id p/bls12-381-gen/0.4.2/doc/bls12-381-gen --warnings-tag bls12-381-gen
odoc_driver_voodoo: [DEBUG] 29 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --enable-missing-root-warning --parent-id p/bls12-381-gen/0.4.2/doc/bls12-381-gen --source-id p/bls12-381-gen/0.4.2/doc/src/bls12-381-gen/bls12_381_gen.ml
odoc_driver_voodoo: [DEBUG] 30 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Elliptic_curve_sig.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --enable-missing-root-warning --parent-id p/bls12-381-gen/0.4.2/doc/bls12-381-gen --source-id p/bls12-381-gen/0.4.2/doc/src/bls12-381-gen/elliptic_curve_sig.ml
odoc_driver_voodoo: [DEBUG] 31 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Fq12.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --enable-missing-root-warning --parent-id p/bls12-381-gen/0.4.2/doc/bls12-381-gen --source-id p/bls12-381-gen/0.4.2/doc/src/bls12-381-gen/fq12.ml
odoc_driver_voodoo: [DEBUG] 32 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Fr.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --enable-missing-root-warning --parent-id p/bls12-381-gen/0.4.2/doc/bls12-381-gen --source-id p/bls12-381-gen/0.4.2/doc/src/bls12-381-gen/fr.ml
odoc_driver_voodoo: [DEBUG] 33 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__G1.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --enable-missing-root-warning --parent-id p/bls12-381-gen/0.4.2/doc/bls12-381-gen --source-id p/bls12-381-gen/0.4.2/doc/src/bls12-381-gen/g1.ml
odoc_driver_voodoo: [DEBUG] 34 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__G2.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --enable-missing-root-warning --parent-id p/bls12-381-gen/0.4.2/doc/bls12-381-gen --source-id p/bls12-381-gen/0.4.2/doc/src/bls12-381-gen/g2.ml
odoc_driver_voodoo: [DEBUG] 35 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Pairing.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --enable-missing-root-warning --parent-id p/bls12-381-gen/0.4.2/doc/bls12-381-gen --source-id p/bls12-381-gen/0.4.2/doc/src/bls12-381-gen/pairing.ml
odoc_driver_voodoo: [DEBUG] 36 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__S.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --enable-missing-root-warning --parent-id p/bls12-381-gen/0.4.2/doc/bls12-381-gen --source-id p/bls12-381-gen/0.4.2/doc/src/bls12-381-gen/s.ml
odoc_driver_voodoo: [DEBUG] 37 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Elliptic_curve_sig.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --enable-missing-root-warning --parent-id p/bls12-381-gen/0.4.2/doc/bls12-381-gen --warnings-tag bls12-381-gen
odoc_driver_voodoo: [DEBUG] 38 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__S.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --enable-missing-root-warning --parent-id p/bls12-381-gen/0.4.2/doc/bls12-381-gen --warnings-tag bls12-381-gen
odoc_driver_voodoo: [DEBUG] 39 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Fq12.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --enable-missing-root-warning --parent-id p/bls12-381-gen/0.4.2/doc/bls12-381-gen --warnings-tag bls12-381-gen
odoc_driver_voodoo: [DEBUG] 40 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Fr.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --enable-missing-root-warning --parent-id p/bls12-381-gen/0.4.2/doc/bls12-381-gen --warnings-tag bls12-381-gen
odoc_driver_voodoo: [DEBUG] 41 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__G1.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --enable-missing-root-warning --parent-id p/bls12-381-gen/0.4.2/doc/bls12-381-gen --warnings-tag bls12-381-gen
odoc_driver_voodoo: [DEBUG] 42 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__G2.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --enable-missing-root-warning --parent-id p/bls12-381-gen/0.4.2/doc/bls12-381-gen --warnings-tag bls12-381-gen
odoc_driver_voodoo: [DEBUG] 43 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen__Pairing.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --enable-missing-root-warning --parent-id p/bls12-381-gen/0.4.2/doc/bls12-381-gen --warnings-tag bls12-381-gen
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/src/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/bls12_381_gen.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/bls12_381_gen__Elliptic_curve_sig.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__Elliptic_curve_sig.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/bls12_381_gen__Fq12.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__Fq12.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/bls12_381_gen__Fr.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__Fr.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/bls12_381_gen__G1.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__G1.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/bls12_381_gen__G2.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__G2.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/bls12_381_gen__Pairing.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__Pairing.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/bls12_381_gen__S.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__S.odoc
odoc_driver_voodoo: [DEBUG] 44 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/page-index.odoc -o /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/page-index.odocl -P bls12-381-gen:/home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc -L bls12-381-gen:/home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen --enable-missing-root-warning --warnings-tags bls12-381-gen
odoc_driver_voodoo: [DEBUG] 45 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/src/page-index.odoc -o /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/src/page-index.odocl --enable-missing-root-warning --warnings-tags bls12-381-gen
odoc_driver_voodoo: [DEBUG] 46 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/page-index.odoc -o /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/page-index.odocl -L bls12-381-gen:/home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen --enable-missing-root-warning --warnings-tags bls12-381-gen
odoc_driver_voodoo: [DEBUG] 47 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/bls12_381_gen.odoc -o /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/bls12_381_gen.odocl -P bls12-381-gen:/home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc -L bls12-381-gen:/home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -L ff-sig:/home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ -L stdlib:/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --current-package bls12-381-gen --enable-missing-root-warning --warnings-tags bls12-381-gen
odoc_driver_voodoo: [DEBUG] 48 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen.odoc -o /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen.odocl -P bls12-381-gen:/home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc -L bls12-381-gen:/home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -L ff-sig:/home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ -L stdlib:/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --current-package bls12-381-gen --enable-missing-root-warning --warnings-tags bls12-381-gen
odoc_driver_voodoo: [DEBUG] 49 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__Elliptic_curve_sig.odoc -o /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__Elliptic_curve_sig.odocl -P bls12-381-gen:/home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc -L bls12-381-gen:/home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -L ff-sig:/home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ -L stdlib:/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --current-package bls12-381-gen --enable-missing-root-warning --warnings-tags bls12-381-gen
odoc_driver_voodoo: [DEBUG] 50 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__Fq12.odoc -o /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__Fq12.odocl -P bls12-381-gen:/home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc -L bls12-381-gen:/home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -L ff-sig:/home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ -L stdlib:/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --current-package bls12-381-gen --enable-missing-root-warning --warnings-tags bls12-381-gen
odoc_driver_voodoo: [DEBUG] 51 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__Fr.odoc -o /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__Fr.odocl -P bls12-381-gen:/home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc -L bls12-381-gen:/home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -L ff-sig:/home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ -L stdlib:/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --current-package bls12-381-gen --enable-missing-root-warning --warnings-tags bls12-381-gen
odoc_driver_voodoo: [DEBUG] 52 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__G1.odoc -o /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__G1.odocl -P bls12-381-gen:/home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc -L bls12-381-gen:/home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -L ff-sig:/home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ -L stdlib:/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --current-package bls12-381-gen --enable-missing-root-warning --warnings-tags bls12-381-gen
odoc_driver_voodoo: [DEBUG] 53 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__G2.odoc -o /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__G2.odocl -P bls12-381-gen:/home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc -L bls12-381-gen:/home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -L ff-sig:/home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ -L stdlib:/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --current-package bls12-381-gen --enable-missing-root-warning --warnings-tags bls12-381-gen
odoc_driver_voodoo: [DEBUG] 54 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__Pairing.odoc -o /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__Pairing.odocl -P bls12-381-gen:/home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc -L bls12-381-gen:/home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -L ff-sig:/home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ -L stdlib:/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --current-package bls12-381-gen --enable-missing-root-warning --warnings-tags bls12-381-gen
odoc_driver_voodoo: [DEBUG] 55 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__S.odoc -o /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__S.odocl -P bls12-381-gen:/home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc -L bls12-381-gen:/home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -L ff-sig:/home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ -L stdlib:/home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -I /home/opam/odoc-out/p/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/5460826f2d32a7f8efde13f9a630a5ba/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/aa74d0dc91d7ef4c8a4358730c1c0c90/ff-sig/0.6.2/doc/ff-sig/ --current-package bls12-381-gen --enable-missing-root-warning --warnings-tags bls12-381-gen
odoc_driver_voodoo: [DEBUG] 56 - Executing: /home/opam/doc-tools/bin/odoc count-occurrences /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen -o /home/opam/odoc-out/p/bls12-381-gen/0.4.2/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 57 - Executing: sherlodoc js /home/opam/html/sherlodoc.js
odoc_driver_voodoo: [DEBUG] 58 - Executing: /home/opam/doc-tools/bin/odoc compile-index -o _index/bls12-381-gen/index.odoc-index --root /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc --occurrences /home/opam/odoc-out/p/bls12-381-gen/0.4.2/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 59 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate -o _index/bls12-381-gen/sidebar.odoc-sidebar _index/bls12-381-gen/index.odoc-index
odoc_driver_voodoo: [DEBUG] 60 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate --json -o /home/opam/html/p/bls12-381-gen/0.4.2/doc/sidebar.json _index/bls12-381-gen/index.odoc-index
odoc_driver_voodoo: [DEBUG] 61 - Executing: /home/opam/doc-tools/bin/odoc compile-index --json --simplified-json --wrap-json -o /home/opam/html/p/bls12-381-gen/0.4.2/doc/index.js --root /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc --occurrences /home/opam/odoc-out/p/bls12-381-gen/0.4.2/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 62 - Executing: sherlodoc index --format js _index/bls12-381-gen/index.odoc-index -o /home/opam/html/p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js
odoc_driver_voodoo: [DEBUG] 63 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/page-index.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 64 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/src/page-index.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 65 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/page-index.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 66 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/bls12_381_gen.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 67 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen.ml --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 68 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__Elliptic_curve_sig.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/elliptic_curve_sig.ml --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 69 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__Fq12.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/fq12.ml --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 70 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__Fr.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/fr.ml --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 71 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__G1.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/g1.ml --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 72 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__G2.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/g2.ml --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 73 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__Pairing.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/pairing.ml --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 74 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__S.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/s.ml --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 75 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/src/page-index.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 76 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/page-index.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 77 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/page-index.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 78 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__Elliptic_curve_sig.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/elliptic_curve_sig.ml --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 79 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/bls12_381_gen.ml --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 80 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__Fq12.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/fq12.ml --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 81 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__Fr.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/fr.ml --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 82 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__G1.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/g1.ml --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 83 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__G2.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/g2.ml --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 84 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__S.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/s.ml --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 85 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/impl-bls12_381_gen__Pairing.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar prep/universes/c0ddaecf4f6dbd4459858bafcf8be75a/bls12-381-gen/0.4.2/lib/bls12-381-gen/pairing.ml --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 86 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/bls12-381-gen/0.4.2/doc/bls12-381-gen/bls12_381_gen.odocl --sidebar _index/bls12-381-gen/sidebar.odoc-sidebar --search-uri p/bls12-381-gen/0.4.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 87 - Executing: /home/opam/doc-tools/bin/odoc support-files -o /home/opam/html

=== STDERR ===

2026-06-23 20:33.49: OK: doc bls12-381-gen.0.4.2 (runc: 3.2s, disk: 2353KB)
2026-06-23 20:33.49: Job succeeded