Anton Trunov (Sep 08 2020 at 11:16): Anton Trunov (Sep 08 2020 at 11:16):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.
Maxime Dénès (Oct 15 2020 at 12:40):@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: Jun 04 2023 at 23:30 UTC