idris-ide-client vulnerabilities

A library for talking to the Idris IDE.

Latest version

0.1.5

First published

a year ago

Latest version published

3 months ago

Licenses detected

  • license: MIT >=0

No known vulnerabilities have been found for this package in Snyk's vulnerability database.

Versions
Version Published Licenses Direct Vulnerabilities
idris-ide-client 0.1.5 Latest 12 Feb, 2021 MIT
  • 0 H
  • 0 M
  • 0 L
idris-ide-client 0.1.4 20 Dec, 2020 MIT
  • 0 H
  • 0 M
  • 0 L
idris-ide-client 0.1.3 08 Jul, 2020 MIT
  • 0 H
  • 0 M
  • 0 L
idris-ide-client 0.1.2 23 Jun, 2020 MIT
  • 0 H
  • 0 M
  • 0 L
idris-ide-client 0.1.1 26 May, 2020 MIT
  • 0 H
  • 0 M
  • 0 L
idris-ide-client 0.1.0 26 May, 2020 MIT
  • 0 H
  • 0 M
  • 0 L