2026-09-06 20:45.22: New job: doc hedgehog.0.1 (c09e7890f916)
2026-09-06 20:45.22: Waiting for resource in pool day11-builds
2026-09-06 21:15.20: Got resource from pool day11-builds
2026-09-06 21:15.20: [profile full] doc hedgehog.0.1
2026-09-06 21:15.20: doc hedgehog.0.1 (c09e7890f916)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
=== DEBUG: pre-voodoo image inventory ===
-- pkg markers (.odoc_pkg_marker) --
/home/opam/odoc-out/p/backoff/0.1.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/p/dune/3.24.2/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/17dab8c59fe47dca3b79b5c0a9847d02/multicore-magic/2.3.2/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/789953d198c6a9962c9965a653a31577/thread-table/1.0.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/f2a390c01c7fbd7b2831cedb590a1f92/saturn/1.0.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/fb6e6c709ef6309f0e63f469fa9a8b7d/domain-local-await/1.0.1/doc/.odoc_pkg_marker
-- lib markers (.odoc_lib_marker) --
/home/opam/odoc-out/p/backoff/0.1.1/doc/backoff/.odoc_lib_marker
/home/opam/odoc-out/u/17dab8c59fe47dca3b79b5c0a9847d02/multicore-magic/2.3.2/doc/multicore-magic/.odoc_lib_marker
/home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/.odoc_lib_marker
/home/opam/odoc-out/u/789953d198c6a9962c9965a653a31577/thread-table/1.0.0/doc/thread-table/.odoc_lib_marker
/home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/compiler-libs.bytecomp/.odoc_lib_marker
/home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/compiler-libs.common/.odoc_lib_marker
/home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/compiler-libs.optcomp/.odoc_lib_marker
/home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/compiler-libs.toplevel/.odoc_lib_marker
/home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/dynlink/.odoc_lib_marker
/home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/odoc_info/.odoc_lib_marker
/home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/runtime_events/.odoc_lib_marker
/home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/.odoc_lib_marker
/home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/str/.odoc_lib_marker
/home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/threads/.odoc_lib_marker
/home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/unix/.odoc_lib_marker
/home/opam/odoc-out/u/f2a390c01c7fbd7b2831cedb590a1f92/saturn/1.0.0/doc/saturn/.odoc_lib_marker
/home/opam/odoc-out/u/fb6e6c709ef6309f0e63f469fa9a8b7d/domain-local-await/1.0.1/doc/domain-local-await/.odoc_lib_marker
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/
=== END DEBUG ===
process_meta_file: prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: hedgehog, [2]

odoc_driver_voodoo: [DEBUG] Found odoc page: doc/hedgehog/odoc-pages/tutorial.mld
odoc_driver_voodoo: [DEBUG] Found odoc page: doc/hedgehog/odoc-pages/state-testing.mld
odoc_driver_voodoo: [DEBUG] Found odoc page: doc/hedgehog/odoc-pages/resources.mld
odoc_driver_voodoo: [DEBUG] Found odoc page: doc/hedgehog/odoc-pages/motivation.mld
odoc_driver_voodoo: [DEBUG] Found odoc page: doc/hedgehog/odoc-pages/getting-started.mld
odoc_driver_voodoo: [DEBUG] Found odoc page: doc/hedgehog/odoc-pages/alternatives.mld
odoc_driver_voodoo: [DEBUG] Found odoc page: doc/hedgehog/odoc-pages/README.mld
odoc_driver_voodoo: [DEBUG] Found other doc: doc/hedgehog/odoc-config.sexp
odoc_driver_voodoo: [DEBUG] Found other doc: doc/hedgehog/README.mld
odoc_driver_voodoo: [DEBUG] Found other doc: doc/hedgehog/README.md
odoc_driver_voodoo: [DEBUG] Found other doc: doc/hedgehog/CHANGES.md
odoc_driver_voodoo: [DEBUG] Config file: prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/doc/hedgehog/odoc-config.sexp

odoc_driver_voodoo: [DEBUG] Config.packages: odoc

process_meta_file: prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/META
odoc_driver_voodoo: [DEBUG] prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog,hedgehog

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/ for package hedgehog
odoc_driver_voodoo: [DEBUG] 0 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [DEBUG] Checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog.cmti (then prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/Hedgehog.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog.cmt (then prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/Hedgehog.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__.cmti (then prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/Hedgehog__.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__.cmt (then prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/Hedgehog__.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Diff.cmti (then prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/Hedgehog__Diff.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Diff.cmt (then prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/Hedgehog__Diff.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Gen.cmti (then prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/Hedgehog__Gen.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Gen.cmt (then prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/Hedgehog__Gen.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Property.cmti (then prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/Hedgehog__Property.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Property.cmt (then prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/Hedgehog__Property.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Range.cmti (then prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/Hedgehog__Range.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Range.cmt (then prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/Hedgehog__Range.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Seed.cmti (then prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/Hedgehog__Seed.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Seed.cmt (then prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/Hedgehog__Seed.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Shrink.cmti (then prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/Hedgehog__Shrink.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Shrink.cmt (then prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/Hedgehog__Shrink.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Stm.cmti (then prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/Hedgehog__Stm.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Stm.cmt (then prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/Hedgehog__Stm.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Tree.cmti (then prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/Hedgehog__Tree.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Tree.cmt (then prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/Hedgehog__Tree.cmt)
odoc_driver_voodoo: [DEBUG] 1 - Executing: ocamlobjinfo prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog.cmt
odoc_driver_voodoo: [DEBUG] 2 - Executing: ocamlobjinfo prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__.cmt
odoc_driver_voodoo: [DEBUG] 3 - Executing: ocamlobjinfo prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Diff.cmt
odoc_driver_voodoo: [DEBUG] 4 - Executing: ocamlobjinfo prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Gen.cmt
odoc_driver_voodoo: [DEBUG] 5 - Executing: ocamlobjinfo prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Property.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog.ml for Hedgehog
odoc_driver_voodoo: [DEBUG] 6 - Executing: ocamlobjinfo prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Range.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/diff.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/diff.ml for Hedgehog__Diff
odoc_driver_voodoo: [DEBUG] 7 - Executing: ocamlobjinfo prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Seed.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__.ml-gen
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__.ml for Hedgehog__
odoc_driver_voodoo: [DEBUG] 8 - Executing: ocamlobjinfo prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Shrink.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/gen.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/gen.ml for Hedgehog__Gen
odoc_driver_voodoo: [DEBUG] 9 - Executing: ocamlobjinfo prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Stm.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/seed.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/seed.ml for Hedgehog__Seed
odoc_driver_voodoo: [DEBUG] 10 - Executing: ocamlobjinfo prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Tree.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/range.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/range.ml for Hedgehog__Range
odoc_driver_voodoo: [DEBUG] 11 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/property.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/property.ml for Hedgehog__Property
odoc_driver_voodoo: [DEBUG] 12 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Diff.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/shrink.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/shrink.ml for Hedgehog__Shrink
odoc_driver_voodoo: [DEBUG] 13 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/stm.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/stm.ml for Hedgehog__Stm
odoc_driver_voodoo: [DEBUG] 14 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Gen.cmt
odoc_driver_voodoo: [DEBUG] 15 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Seed.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/tree.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/tree.ml for Hedgehog__Tree
odoc_driver_voodoo: [DEBUG] 16 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Range.cmt
odoc_driver_voodoo: [DEBUG] 17 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Property.cmt
odoc_driver_voodoo: [DEBUG] 18 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Shrink.cmt
odoc_driver_voodoo: [DEBUG] 19 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Stm.cmt
odoc_driver_voodoo: [DEBUG] 20 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog.cmt
odoc_driver_voodoo: [DEBUG] 21 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Tree.cmt
odoc_driver_voodoo: [DEBUG] 22 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__.cmt
odoc_driver_voodoo: [DEBUG] 23 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Diff.cmti
odoc_driver_voodoo: [DEBUG] 24 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Seed.cmti
odoc_driver_voodoo: [DEBUG] 25 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Gen.cmti
odoc_driver_voodoo: [DEBUG] 26 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Range.cmti
odoc_driver_voodoo: [DEBUG] 27 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Shrink.cmti
odoc_driver_voodoo: [DEBUG] 28 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Stm.cmti
odoc_driver_voodoo: [DEBUG] 29 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Property.cmti
odoc_driver_voodoo: [DEBUG] 30 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Tree.cmti
odoc_driver_voodoo: [DEBUG] libdirs_without_meta: 

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/

odoc_driver_voodoo: [DEBUG] Found pkg marker: p/dune/3.24.2/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/backoff/0.1.1/doc/backoff/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/backoff/0.1.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/compiler-libs.optcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/compiler-libs.toplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/compiler-libs.common/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/compiler-libs.bytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/dynlink/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/runtime_events/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/odoc_info/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/17dab8c59fe47dca3b79b5c0a9847d02/multicore-magic/2.3.2/doc/multicore-magic/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/17dab8c59fe47dca3b79b5c0a9847d02/multicore-magic/2.3.2/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/fb6e6c709ef6309f0e63f469fa9a8b7d/domain-local-await/1.0.1/doc/domain-local-await/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/fb6e6c709ef6309f0e63f469fa9a8b7d/domain-local-await/1.0.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/789953d198c6a9962c9965a653a31577/thread-table/1.0.0/doc/thread-table/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/789953d198c6a9962c9965a653a31577/thread-table/1.0.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/f2a390c01c7fbd7b2831cedb590a1f92/saturn/1.0.0/doc/saturn/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/f2a390c01c7fbd7b2831cedb590a1f92/saturn/1.0.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Package 'odoc' not found
odoc_driver_voodoo: [DEBUG] Package 'odoc' not found
odoc_driver_voodoo: [DEBUG] Skipping non-markdown doc file prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/doc/hedgehog/odoc-config.sexp
odoc_driver_voodoo: [DEBUG] Skipping non-markdown doc file prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/doc/hedgehog/README.mld
odoc_driver_voodoo: [DEBUG] Package 'odoc' not found
odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 419 precompiled units, 10 other units
odoc_driver_voodoo: [DEBUG] 31 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/hedgehog/0.1/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc
odoc_driver_voodoo: [DEBUG] 32 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/hedgehog/0.1/doc/src/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc/src
odoc_driver_voodoo: [DEBUG] 33 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/doc/hedgehog/odoc-pages/tutorial.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc
odoc_driver_voodoo: [DEBUG] 34 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/doc/hedgehog/odoc-pages/state-testing.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc
odoc_driver_voodoo: [DEBUG] 35 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/doc/hedgehog/odoc-pages/resources.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc
odoc_driver_voodoo: [DEBUG] 36 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/doc/hedgehog/odoc-pages/motivation.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc
odoc_driver_voodoo: [DEBUG] 37 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/doc/hedgehog/odoc-pages/getting-started.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc
odoc_driver_voodoo: [DEBUG] 38 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/doc/hedgehog/odoc-pages/alternatives.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc
odoc_driver_voodoo: [DEBUG] 39 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/doc/hedgehog/odoc-pages/README.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc
odoc_driver_voodoo: [DEBUG] 40 - Executing: /home/opam/doc-tools/bin/odoc-md prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/doc/hedgehog/README.md --output-dir /home/opam/odoc-out --parent-id p/hedgehog/0.1/doc
odoc_driver_voodoo: [DEBUG] 41 - Executing: /home/opam/doc-tools/bin/odoc-md prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/doc/hedgehog/CHANGES.md --output-dir /home/opam/odoc-out --parent-id p/hedgehog/0.1/doc
odoc_driver_voodoo: [DEBUG] 42 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/hedgehog/0.1/doc/hedgehog/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc/hedgehog
odoc_driver_voodoo: [DEBUG] 43 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc/hedgehog --warnings-tag hedgehog
odoc_driver_voodoo: [DEBUG] 44 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc/hedgehog --source-id p/hedgehog/0.1/doc/src/hedgehog/hedgehog.ml
odoc_driver_voodoo: [DEBUG] 45 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc/hedgehog --source-id p/hedgehog/0.1/doc/src/hedgehog/hedgehog__.ml
odoc_driver_voodoo: [DEBUG] 46 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Diff.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc/hedgehog --source-id p/hedgehog/0.1/doc/src/hedgehog/diff.ml
odoc_driver_voodoo: [DEBUG] 47 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Gen.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc/hedgehog --source-id p/hedgehog/0.1/doc/src/hedgehog/gen.ml
odoc_driver_voodoo: [DEBUG] 48 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Property.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc/hedgehog --source-id p/hedgehog/0.1/doc/src/hedgehog/property.ml
odoc_driver_voodoo: [DEBUG] 49 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Range.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc/hedgehog --source-id p/hedgehog/0.1/doc/src/hedgehog/range.ml
odoc_driver_voodoo: [DEBUG] 50 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Seed.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc/hedgehog --source-id p/hedgehog/0.1/doc/src/hedgehog/seed.ml
odoc_driver_voodoo: [DEBUG] 51 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Shrink.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc/hedgehog --source-id p/hedgehog/0.1/doc/src/hedgehog/shrink.ml
odoc_driver_voodoo: [DEBUG] 52 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Stm.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc/hedgehog --source-id p/hedgehog/0.1/doc/src/hedgehog/stm.ml
odoc_driver_voodoo: [DEBUG] 53 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Tree.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc/hedgehog --source-id p/hedgehog/0.1/doc/src/hedgehog/tree.ml
odoc_driver_voodoo: [DEBUG] 54 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc/hedgehog --warnings-tag hedgehog
odoc_driver_voodoo: [DEBUG] 55 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Diff.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc/hedgehog --warnings-tag hedgehog
odoc_driver_voodoo: [DEBUG] 56 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Tree.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc/hedgehog --warnings-tag hedgehog
odoc_driver_voodoo: [DEBUG] 57 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Seed.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc/hedgehog --warnings-tag hedgehog
odoc_driver_voodoo: [DEBUG] 58 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Range.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc/hedgehog --warnings-tag hedgehog
odoc_driver_voodoo: [DEBUG] 59 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Shrink.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc/hedgehog --warnings-tag hedgehog
odoc_driver_voodoo: [DEBUG] 60 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Gen.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc/hedgehog --warnings-tag hedgehog
odoc_driver_voodoo: [DEBUG] 61 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Property.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc/hedgehog --warnings-tag hedgehog
odoc_driver_voodoo: [DEBUG] 62 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__Stm.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --enable-missing-root-warning --parent-id p/hedgehog/0.1/doc/hedgehog --warnings-tag hedgehog
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hedgehog/0.1/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hedgehog/0.1/doc/src/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hedgehog/0.1/doc/page-tutorial.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hedgehog/0.1/doc/page-state-testing.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hedgehog/0.1/doc/page-resources.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hedgehog/0.1/doc/page-motivation.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hedgehog/0.1/doc/page-getting-started.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hedgehog/0.1/doc/page-alternatives.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hedgehog/0.1/doc/page-README.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hedgehog/0.1/doc/page-README.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hedgehog/0.1/doc/page-CHANGES.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/hedgehog.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/hedgehog__.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/hedgehog__Diff.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Diff.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/hedgehog__Gen.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Gen.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/hedgehog__Property.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Property.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/hedgehog__Range.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Range.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/hedgehog__Seed.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Seed.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/hedgehog__Shrink.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Shrink.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/hedgehog__Stm.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Stm.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/hedgehog__Tree.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Tree.odoc
odoc_driver_voodoo: [DEBUG] 63 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hedgehog/0.1/doc/page-index.odoc -o /home/opam/odoc-out/p/hedgehog/0.1/doc/page-index.odocl -P hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc -L hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog --enable-missing-root-warning --warnings-tags hedgehog
odoc_driver_voodoo: [DEBUG] 64 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hedgehog/0.1/doc/src/page-index.odoc -o /home/opam/odoc-out/p/hedgehog/0.1/doc/src/page-index.odocl --enable-missing-root-warning --warnings-tags hedgehog
odoc_driver_voodoo: [DEBUG] 65 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hedgehog/0.1/doc/page-tutorial.odoc -o /home/opam/odoc-out/p/hedgehog/0.1/doc/page-tutorial.odocl -P hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc -L hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog --current-package hedgehog --enable-missing-root-warning --warnings-tags hedgehog
odoc_driver_voodoo: [DEBUG] 66 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hedgehog/0.1/doc/page-state-testing.odoc -o /home/opam/odoc-out/p/hedgehog/0.1/doc/page-state-testing.odocl -P hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc -L hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog --current-package hedgehog --enable-missing-root-warning --warnings-tags hedgehog
odoc_driver_voodoo: [DEBUG] 67 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hedgehog/0.1/doc/page-resources.odoc -o /home/opam/odoc-out/p/hedgehog/0.1/doc/page-resources.odocl -P hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc -L hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog --current-package hedgehog --enable-missing-root-warning --warnings-tags hedgehog
odoc_driver_voodoo: [DEBUG] 68 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hedgehog/0.1/doc/page-motivation.odoc -o /home/opam/odoc-out/p/hedgehog/0.1/doc/page-motivation.odocl -P hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc -L hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog --current-package hedgehog --enable-missing-root-warning --warnings-tags hedgehog
odoc_driver_voodoo: [DEBUG] 69 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hedgehog/0.1/doc/page-getting-started.odoc -o /home/opam/odoc-out/p/hedgehog/0.1/doc/page-getting-started.odocl -P hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc -L hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog --current-package hedgehog --enable-missing-root-warning --warnings-tags hedgehog
odoc_driver_voodoo: [DEBUG] 70 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hedgehog/0.1/doc/page-alternatives.odoc -o /home/opam/odoc-out/p/hedgehog/0.1/doc/page-alternatives.odocl -P hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc -L hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog --current-package hedgehog --enable-missing-root-warning --warnings-tags hedgehog
odoc_driver_voodoo: [DEBUG] 71 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hedgehog/0.1/doc/page-README.odoc -o /home/opam/odoc-out/p/hedgehog/0.1/doc/page-README.odocl -P hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc -L hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog --current-package hedgehog --enable-missing-root-warning --warnings-tags hedgehog
odoc_driver_voodoo: [DEBUG] 72 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hedgehog/0.1/doc/page-README.odoc -o /home/opam/odoc-out/p/hedgehog/0.1/doc/page-README.odocl -P hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc -L hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog --current-package hedgehog --enable-missing-root-warning --warnings-tags hedgehog
odoc_driver_voodoo: [DEBUG] 73 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hedgehog/0.1/doc/page-CHANGES.odoc -o /home/opam/odoc-out/p/hedgehog/0.1/doc/page-CHANGES.odocl -P hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc -L hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog --current-package hedgehog --enable-missing-root-warning --warnings-tags hedgehog
odoc_driver_voodoo: [DEBUG] 74 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/page-index.odoc -o /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/page-index.odocl -L hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog --enable-missing-root-warning --warnings-tags hedgehog
odoc_driver_voodoo: [DEBUG] 75 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/hedgehog.odoc -o /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/hedgehog.odocl -P hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc -L domainslib:/home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -L hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -L stdlib:/home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --current-package hedgehog --enable-missing-root-warning --warnings-tags hedgehog
odoc_driver_voodoo: [DEBUG] 76 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog.odoc -o /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog.odocl -P hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc -L domainslib:/home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -L hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -L stdlib:/home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --current-package hedgehog --enable-missing-root-warning --warnings-tags hedgehog
odoc_driver_voodoo: [DEBUG] 77 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__.odoc -o /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__.odocl -P hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc -L domainslib:/home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -L hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -L stdlib:/home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --current-package hedgehog --enable-missing-root-warning --warnings-tags hedgehog
odoc_driver_voodoo: [DEBUG] 78 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Diff.odoc -o /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Diff.odocl -P hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc -L domainslib:/home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -L hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -L stdlib:/home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --current-package hedgehog --enable-missing-root-warning --warnings-tags hedgehog
odoc_driver_voodoo: [DEBUG] 79 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Gen.odoc -o /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Gen.odocl -P hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc -L domainslib:/home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -L hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -L stdlib:/home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --current-package hedgehog --enable-missing-root-warning --warnings-tags hedgehog
odoc_driver_voodoo: [DEBUG] 80 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Property.odoc -o /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Property.odocl -P hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc -L domainslib:/home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -L hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -L stdlib:/home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --current-package hedgehog --enable-missing-root-warning --warnings-tags hedgehog
odoc_driver_voodoo: [DEBUG] 81 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Range.odoc -o /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Range.odocl -P hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc -L domainslib:/home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -L hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -L stdlib:/home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --current-package hedgehog --enable-missing-root-warning --warnings-tags hedgehog
odoc_driver_voodoo: [DEBUG] 82 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Seed.odoc -o /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Seed.odocl -P hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc -L domainslib:/home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -L hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -L stdlib:/home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --current-package hedgehog --enable-missing-root-warning --warnings-tags hedgehog
odoc_driver_voodoo: [DEBUG] 83 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Shrink.odoc -o /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Shrink.odocl -P hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc -L domainslib:/home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -L hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -L stdlib:/home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --current-package hedgehog --enable-missing-root-warning --warnings-tags hedgehog
odoc_driver_voodoo: [DEBUG] 84 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Stm.odoc -o /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Stm.odocl -P hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc -L domainslib:/home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -L hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -L stdlib:/home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --current-package hedgehog --enable-missing-root-warning --warnings-tags hedgehog
odoc_driver_voodoo: [DEBUG] 85 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Tree.odoc -o /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Tree.odocl -P hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc -L domainslib:/home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -L hedgehog:/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -L stdlib:/home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ -I /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -I /home/opam/odoc-out/u/2155cad544f71ce4e8c745cc09b39133/domainslib/0.5.2/doc/domainslib/ -I /home/opam/odoc-out/u/ea9089df81180202d64c20ebcdfe5c35/ocaml-compiler/5.5.1/doc/stdlib/ --current-package hedgehog --enable-missing-root-warning --warnings-tags hedgehog
odoc_driver_voodoo: [DEBUG] 86 - Executing: /home/opam/doc-tools/bin/odoc count-occurrences /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog -o /home/opam/odoc-out/p/hedgehog/0.1/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 87 - Executing: sherlodoc js /home/opam/html/sherlodoc.js
odoc_driver_voodoo: [DEBUG] 88 - Executing: /home/opam/doc-tools/bin/odoc compile-index -o _index/hedgehog/index.odoc-index --root /home/opam/odoc-out/p/hedgehog/0.1/doc --occurrences /home/opam/odoc-out/p/hedgehog/0.1/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 89 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate -o _index/hedgehog/sidebar.odoc-sidebar _index/hedgehog/index.odoc-index
odoc_driver_voodoo: [DEBUG] 90 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate --json -o /home/opam/html/p/hedgehog/0.1/doc/sidebar.json _index/hedgehog/index.odoc-index
odoc_driver_voodoo: [DEBUG] 91 - Executing: /home/opam/doc-tools/bin/odoc compile-index --json --simplified-json --wrap-json -o /home/opam/html/p/hedgehog/0.1/doc/index.js --root /home/opam/odoc-out/p/hedgehog/0.1/doc --occurrences /home/opam/odoc-out/p/hedgehog/0.1/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 92 - Executing: sherlodoc index --format js _index/hedgehog/index.odoc-index -o /home/opam/html/p/hedgehog/0.1/doc/sherlodoc_db.js
odoc_driver_voodoo: [DEBUG] 93 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/page-index.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 94 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/src/page-index.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 95 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/page-tutorial.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 96 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/page-state-testing.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 97 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/page-resources.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 98 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/page-motivation.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 99 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/page-getting-started.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 100 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/page-alternatives.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 101 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/page-README.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 102 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/page-README.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 103 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/page-CHANGES.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 104 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/page-index.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 105 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/hedgehog.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 106 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog.ml --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 107 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__.ml --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 108 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Diff.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/diff.ml --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 109 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Gen.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/gen.ml --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 110 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Property.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/property.ml --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 111 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Range.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/range.ml --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 112 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Seed.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/seed.ml --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 113 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Shrink.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/shrink.ml --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 114 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Stm.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/stm.ml --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 115 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Tree.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/tree.ml --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 116 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/page-index.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 117 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/page-tutorial.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 118 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/src/page-index.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 119 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/page-state-testing.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 120 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/page-getting-started.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 121 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/page-motivation.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 122 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/page-resources.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 123 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/page-README.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 124 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/page-alternatives.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 125 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/page-README.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 126 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/page-CHANGES.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 127 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/page-index.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 128 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog.ml --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 129 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/hedgehog__.ml --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 130 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Diff.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/diff.ml --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 131 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Gen.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/gen.ml --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 132 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/hedgehog.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 133 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Range.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/range.ml --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 134 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Seed.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/seed.ml --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 135 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Property.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/property.ml --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 136 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Shrink.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/shrink.ml --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 137 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Stm.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/stm.ml --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 138 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/impl-hedgehog__Tree.odocl --sidebar _index/hedgehog/sidebar.odoc-sidebar prep/universes/7157da0e88eee563a32a81b53701b507/hedgehog/0.1/lib/hedgehog/tree.ml --search-uri p/hedgehog/0.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 139 - Executing: /home/opam/doc-tools/bin/odoc support-files -o /home/opam/html
/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/hedgehog.odoc: File "lib/range.mli", line 5, characters 40-49:
/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/hedgehog.odoc: Warning: Reference to 'origin' is ambiguous. Please specify its kind: field-origin, val-origin.
/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/hedgehog.odoc: File "lib/range.mli", line 76, characters 9-23:
/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/hedgehog.odoc: Warning: Reference to 'exponential' is ambiguous. Please specify its kind: section-exponential, val-exponential.
/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/hedgehog.odoc: File "lib/range.mli", line 46, characters 9-18:
/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/hedgehog.odoc: Warning: Reference to 'linear' is ambiguous. Please specify its kind: section-linear, val-linear.
/home/opam/odoc-out/p/hedgehog/0.1/doc/hedgehog/hedgehog.odoc: 

=== STDERR ===

2026-09-06 21:15.24: OK: doc hedgehog.0.1 (runc: 3.2s, disk: 1994KB)
2026-09-06 21:15.24: Job succeeded