Stream: Coq users

Topic: Can't install vscoq-language-server

view this post on Zulip Guilhem (Sep 18 2023 at 20:50):

Hi, I don't know if this is the right place but when trying to install vscoq-language-server with opam I'm getting the following error : 

 $ opam install vscoq-language-server
[ERROR] No package named vscoq-language-server found.

Does anyone know how I can solve this issue ?

view this post on Zulip Paolo Giarrusso (Sep 18 2023 at 22:04):

https://coq.zulipchat.com/#narrow/stream/237662-VsCoq-devs-.26-users/topic/Installing.20the.20new.20vscoq/near/391690413

view this post on Zulip Guilhem (Sep 20 2023 at 22:35):

Thanks !

Last updated: Oct 13 2024 at 01:02 UTC