trying to install a package for Coq proof assistant, I have already had to jump through a couple hoops with it not playing nicely with Windows and am trying to install it on WSL. I get the following error running make install:
install: cannot change permissions of ‘/snap/coq-prover/34/coq-platform/lib/coq//user-contrib/LF/’: No such file or directory(LF is the name of the package I'm trying to install.)I've tried sudo make install, no dice.
I have Coq version 8.18 compiled with OCaml 4.14.1. I have WSL version 2.3.26 on Windows 10 running Ubuntu 24.04.1 LTS.