odoc
odoc copied to clipboard
Failed to build docs for camlp5
An exception is being raised in odoc_driver:
odoc_driver_voodoo: [DEBUG] Found cmi_only_lib in dir: /home/opam/.opam/4.08/lib/camlp5
odoc_driver_voodoo: internal error, uncaught exception:
Invalid_argument("\"/home/opam/.opam/4.08/lib/camlp5\": invalid segment")
see https://sage.caelum.ci.dev/job/2025-05-16/215045-voodoo-do-713959