Versions Packages Information History Related Badges Report

Information for agda

Package names

  • Agda (2)
  • Q20479
  • agda (5)
  • agda-git

Versions

  • 2.5.1.r5471.51914041f
  • 2.5.99.20181017
  • 2.5.4.2 (2)
  • 2.5.4.1 (3)
  • 2.5.4
  • 2.5.3 (3)
  • 2.5.2 (6)
  • 2.5.1.2
  • 2.5.1.1 (2)
  • 2.5.1
  • 2.4.2.5 (3)
  • 2.4.2.4
  • 2.4.2.3
  • 2.4.2.2
  • 2.4.2.1
  • 2.4.2
  • 2.4.0.2 (2)
  • 2.4.0.1
  • 2.4.0
  • 2.3.2.2 (3)
  • 2.3.2.1
  • 2.3.2
  • 2.3.0.1
  • 2.3.0
  • 2.2.10
  • 2.2.8
  • 2.2.6
  • 2.2.4
  • 2.2.2
  • 2.2.0
  • 2.1.2
  • 2.1.0
  • 2.0.1
  • 2.0.0

Repositories

Categories

  • Development/Languages/Other
  • Unspecified
  • haskell
  • misc
  • sci-mathematics
  • universe/haskell

Licenses

  • BSD licenses
  • Expat
  • MIT
  • MIT AND BSD-3-Clause
  • MIT and BSD
  • Modified BSD
  • custom