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

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: Jun 04 2023 at 23:30 UTC