Versions Packages Information History Related Badges Report

Packages for agda

77 package(s) known

Arch
community

agda

2.6.2 (2.6.2-1)
Arch Testing
community-testing

agda

2.6.2 (2.6.2-22)

agda-bin-git

2.6.2.98d4eb0 (2.6.2.98d4eb0-1)

agda-git

2.5.1.r8151.g4108da695 (2.5.1.r8151.g4108da695-1)
Deepin
main

agda

2.5.4.1 (2.5.4.1-3)

agda

2.4.0.2 (2.4.0.2-2)

agda

2.5.4.1 (2.5.4.1-3)
Devuan 4.0 (Chimaera)
chimaera/main

agda

2.6.1 (2.6.1-1)
Devuan Unstable
unstable/main

agda

2.6.1 (2.6.1-1)

math/hs-Agda

2.6.1.3 (2.6.1.3_1)

ghc-Agda

2.3.0.1 (2.3.0.1-9.el6)
  • Summary:
    A dependently typed functional programming language and proof assistant
  • Category:
    • Unspecified
  • License:
    • MIT and BSD
  • Links(s):

Agda

2.3.2.2 (2.3.2.2-5.el7)
Fedora 26
release

Agda

2.5.2 (2.5.2-5.fc26.1)
Fedora 27
release

Agda

2.5.2 (2.5.2-7.fc27.1)
Fedora 27
updates

Agda

2.5.2 (2.5.2-9.fc27)
Fedora 28
release

Agda

2.5.3 (2.5.3-12.fc28)
Fedora 29
release

Agda

2.5.3 (2.5.3-14.fc29)
Fedora 30
release

Agda

2.5.4.2 (2.5.4.2-17.fc30)
Fedora 31
release

Agda

2.6.0.1 (2.6.0.1-19.fc31)
Fedora 32
updates

Agda

2.6.0.1 (2.6.0.1-24.fc32)
Fedora 32
release

Agda

2.6.0.1 (2.6.0.1-21.fc32)
Fedora 33
release

Agda

2.6.1 (2.6.1-28.fc33)
Fedora 34
release

Agda

2.6.1 (2.6.1-30.fc34)

Agda

2.6.2 (2.6.2-32.fc35)

math/hs-Agda

2.6.1.3 (2.6.1.3_1)
Funtoo 1.4
science-kit

sci-mathematics/agda

2.5.2 (2.5.2-r1)
Funtoo 1.4
science-kit

sci-mathematics/agda

2.4.2.5 (2.4.2.5-r2)

sci-mathematics/agda

2.6.1.2

agda

2.6.0.1

Agda

2.6.2

agda

2.6.2
Hyperbola
community

agda

2.5.2 (2.5.2-11)

agda

2.6.1 (2.6.1-1)

sci-mathematics/agda

2.6.1.2

sci-mathematics/agda

2.6.1.2

agda

2.6.2
Manjaro Stable
community

agda

2.6.2 (2.6.2-1)
  • Summary:
    A dependently typed functional programming language and proof assistant
  • License:
    • custom
  • Links(s):
Manjaro Testing
community

agda

2.6.2 (2.6.2-1)
  • Summary:
    A dependently typed functional programming language and proof assistant
  • License:
    • custom
  • Links(s):

agda

2.6.2 (2.6.2-1)
  • Summary:
    A dependently typed functional programming language and proof assistant
  • License:
    • custom
  • Links(s):

Agda

2.6.1.3

Agda

2.6.2

Agda

2.5.2 (2.5.2-lp150.1.17)
Parabola
community

agda

2.6.2 (2.6.2-1)

agda

2.5.4.1 (2.5.4.1-3)

agda

2.6.1 (2.6.1-1)
Parrot
main

agda

2.6.1 (2.6.1-1)

agda

2.5.4.1 (2.5.4.1-3)

agda

2.6.1 (2.6.1-1)

agda

2.5.4.1 (2.5.4.1-3)

agda

2.6.1 (2.6.1-1)

agda

2.6.1 (2.6.1-1)
  • Summary:
    A dependently typed functional programming language and proof assistant
  • Links(s):

Agda

2.6.2
  • Summary:
    A dependently typed functional programming language and proof assistant
  • Links(s):
Trisquel 6.0
toutatis/main

agda

2.3.0.1 (2.3.0.1-1build2)
Trisquel 6.0
toutatis/main

agda-bin

2.3.0.1 (2.3.0.1-1)
Trisquel 7.0
belenos/main

agda

2.3.2.2 (2.3.2.2-1)
Trisquel 8.0
flidas/main

agda

2.4.2.5 (2.4.2.5-1build1)
Trisquel 9.0
etiona/main

agda

2.5.3 (2.5.3-3build1)
Ubuntu 20.04
focal/universe

agda

2.6.0.1 (2.6.0.1-1build4)
Ubuntu 20.10
groovy/universe

agda

2.6.1 (2.6.1-1build1)
Ubuntu 21.04
hirsute/universe

agda

2.6.1 (2.6.1-1build2)
Ubuntu 21.10
impish/universe

agda

2.6.1 (2.6.1-1build2.1)

Agda

2.6.2