Michael Soegtrop (Jul 27 2020 at 08:34): Michael Soegtrop (Jul 27 2020 at 08:34):I had installed VSCoq since a while. @Vincent Semeria (Gitter import) also wanted to install it and told me he can't find it. I uninstalled it and tried to install it again but it is not found any more. Also ext:v does not yield results. We are both using VScodium (the unbranded variant). Can someone reproduce this?
Théo Zimmermann (Jul 27 2020 at 08:37):I can't reproduce your issue and I'm on VSCodium as well (I just tried uninstalling and reinstalling).
Théo Winterhalter (Jul 27 2020 at 09:01):There is this related issue: https://github.com/coq-community/vscoq/issues/146
Bas Spitters (Jul 27 2020 at 09:27):@Michael Soegtrop you may want to ping @Vincent Semeria (Gitter import) by email to claim his zulip account.
Karl Palmskog (Jul 27 2020 at 09:32):I think this is his account here, ping @Vincent Semeria
Vincent Semeria (Jul 27 2020 at 09:41):Thanks for pinging. vscoq is still not found in my codium. I installed in on Debian via the package in
deb https://gitlab.com/paulcarroty/vscodium-deb-rpm-repo/raw/repos/debs/ vscodium main
Enrico Tassi (Jul 27 2020 at 09:57):The issue https://github.com/coq-community/vscoq/issues/146 is not solved yet, so vscoq does not show up in the extension market. The quick fix is to enable the usual marketplace, I've just added a link to the issue. It is not about the OS or the packaging, the market switch is in vscodium 1.46 sources.
Vincent Semeria (Jul 27 2020 at 10:12):From what I understand there is Microsoft marketplace and a new codium market place, more open source and MIT licensed. I like the latter, how long is it until vscoq is available on it ?
Last updated: Jun 04 2023 at 22:30 UTC