coq_nvim icon indicating copy to clipboard operation
coq_nvim copied to clipboard
verified publisher icon ms-jpq

Error occurs after Updating COQ to the latest version

Open anson-ryea opened this issue 4 years ago • 0 comments

I was receiving this message every time I start the neovim editor. I tried to run COQdeps, unfortunately, another error pops up. image image

anson-ryea avatar Jan 08 '22 11:01 anson-ryea