Homepage

lean-language-server vulnerabilities

Language Server Protocol server for Lean 3

< Back for full overview of lean-language-server vulnerabilities

Package versions

27 VERSIONS IN TOTAL
versionpublisheddirect vulnerabilities
3.4.017 Jul, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
3.3.123 Jun, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
3.3.023 Jun, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
3.2.020 Apr, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
3.1.116 Aug, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
3.1.016 Aug, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
3.0.016 Aug, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
2.0.424 Jun, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
2.0.324 Jun, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
2.0.224 Jun, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
2.0.13 Nov, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
2.0.021 Sep, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.5.024 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.4.010 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.3.29 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.3.18 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.3.08 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.2.134 Feb, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.2.1215 Feb, 2018
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.2.1130 Jun, 2017
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L

Automatically find and fix vulnerabilities affecting your projects. Snyk scans for vulnerabilities and provides fixes for free.

Get started free