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?
I can't reproduce your issue and I'm on VSCodium as well (I just tried uninstalling and reinstalling).
There is this related issue: https://github.com/coq-community/vscoq/issues/146
@Michael Soegtrop you may want to ping @Vincent Semeria (Gitter import) by email to claim his zulip account.
I think this is his account here, ping @Vincent Semeria
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
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.
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: Jan 30 2023 at 17:03 UTC