Open OrangeLightning219 opened 11 months ago
same error.
@OrangeLightning219 @LBdN
This issue is also (poorly titled) here https://github.com/ms-jpq/coq_nvim/issues/589
The solution is noted in there too, which is basically manually clone the repo with core.symlines=true. Which plugin managers don't do and also because you need admin rights (which is unfortunate for this workaround).
Since this workaround is not practical im currently using a different completer plugin until this is fixed. I think the solution is to remove the symlink stuff because that is too fancy for windows
Hi. I just installed coq and according to the instructions I'm running the COQdeps and COQnow commands. COQdeps worked fine but running COQnow throws this error (I'm using python 3.12):