Versions Packages Information History Related Badges Report

Packages for agda

62 package(s) known

Arch
community

agda

2.6.1.2 (2.6.1.2-10)

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.5.4.1 (2.5.4.1-3)
Devuan Unstable
unstable/main

agda

2.6.1 (2.6.1-1)

math/hs-Agda

2.6.1 (2.6.1_5)

ghc-Agda

2.3.0.1 (2.3.0.1-9.el6)

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
release

Agda

2.6.0.1 (2.6.0.1-21.fc32)
Fedora 32
updates

Agda

2.6.0.1 (2.6.0.1-23.fc32)
Fedora 33
release

Agda

2.6.1 (2.6.1-28.fc33)

Agda

2.6.1 (2.6.1-29.fc34)

math/hs-Agda

2.6.1 (2.6.1_5)
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.5.2 (2.5.2-r2)

agda

2.6.0.1

Agda

2.6.1.2

agda

2.6.1
Hyperbola
community

agda

2.5.2 (2.5.2-11)

sci-mathematics/agda

2.5.2 (2.5.2-r2)

sci-mathematics/agda

2.5.2 (2.5.2-r2)

agda

2.6.1
Manjaro Stable
community

agda

2.6.1.2 (2.6.1.2-9)
Manjaro Testing
community

agda

2.6.1.2 (2.6.1.2-10)

agda

2.6.1.2 (2.6.1.2-10)

Agda

2.6.1

Agda

2.6.1.2

Agda

2.5.2 (2.5.2-lp150.1.17)
Parabola
community

agda

2.6.1.2 (2.6.1.2-10)

agda

2.5.4.1 (2.5.4.1-3)

agda

2.6.0.1 (2.6.0.1-1)

agda

2.5.4.1 (2.5.4.1-3)
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)

Agda

2.6.1.1