Stream: VsCoq devs & users

Topic: Dependabot alerts


view this post on Zulip 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.

view this post on Zulip 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: Jan 30 2023 at 18:04 UTC