Rodolphe Lepigre (Oct 16 2023 at 12:10): Rodolphe Lepigre (Oct 16 2023 at 12:10):I am playing around with (using coq 0.8) and I'm hitting errors like:
Error: path outside the workspace:
../../../../../../_opam/lib/coq/theories/ssr/ssreflect.vo from
Has anyone seen that before?
Rodolphe Lepigre (Oct 16 2023 at 12:24):Ah actually the problem was on my side: a stupid coqdep wrapper that I should not be using anymore.
Notification Bot (Oct 16 2023 at 12:24):Rodolphe Lepigre has marked this topic as resolved.
Last updated: Oct 13 2024 at 01:02 UTC