Agda

Latest version: v2.6.4.3

Versions

Has known vulnerabilities

  • 2.6.4.3
  • 2.6.4.1
  • 2.6.4
  • 2.6.3.post1
  • 2.6.3