Fabian Kunze (Jan 03 2022 at 10:53): Fabian Kunze (Jan 03 2022 at 10:53):The most recent version, now compatible with coq 8.15, is available on the marketplaces:
https://github.com/coq-community/vscoq#readme
Karl Palmskog (Jan 03 2022 at 10:55):since I'm not sure how many people actually read this stream, you might want to do a Discourse announcement (so people are aware they need to upgrade for 8.14, 8.15 and beyond)
Last updated: Jun 04 2023 at 23:30 UTC