Hi, @Maxime Dénès, I just noticed Dependabot has an announcement about potential security vulnerabilities in VsCoq's dependencies. Here is the report https://github.com/coq-community/vscoq/network/alerts.
@Anton Trunov Thanks for pinging me. I updated some of the dependencies recently, but it seems that there are still some issues, I'll look into it.
Last updated: Jan 30 2023 at 18:04 UTC