Versions Packages Information History Related Badges Report

Packages for agda

65 package(s) known

Arch
community

agda

2.6.0.1 (2.6.0.1-33)

agda-git

2.6.0.r0.g16eb89fb0 (2.6.0.r0.g16eb89fb0-1)
Deepin
main

agda

2.5.3 (2.5.3-5)

agda

2.5.4.1 (2.5.4.1-3)
Devuan Unstable
unstable/main

agda

2.6.0.1 (2.6.0.1-1)

math/hs-Agda

2.6.0.1

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
development

Agda

2.6.0.1 (2.6.0.1-19.fc31)

Agda

2.6.0.1 (2.6.0.1-19.fc31)

math/hs-Agda

2.6.0.1
Funtoo 1.3
science-kit

sci-mathematics/agda

2.5.2 (2.5.2-r1)
Funtoo 1.3
science-kit

sci-mathematics/agda

2.4.2.5 (2.4.2.5-r2)
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-r1)

sci-mathematics/agda

2.5.2 (2.5.2-r2)

sci-mathematics/agda

2.4.2.5 (2.4.2.5-r2)

agda

2.6.0.1

Agda

2.6.0.1

agda

2.6.0.1
Hyperbola
community

agda

2.5.2 (2.5.2-11)

agda

2.6.0.1 (2.6.0.1-1)

agda

2.6.0.1
Manjaro Stable
community

agda

2.6.0.1 (2.6.0.1-24)
Manjaro Testing
community

agda

2.6.0.1 (2.6.0.1-28)

agda

2.6.0.1 (2.6.0.1-28)

Agda

2.6.0.1

Agda

2.6.0.1

Agda

2.5.2 (2.5.2-lp150.1.17)
Parabola
community

agda

2.6.0.1 (2.6.0.1-33)
Parrot
main

agda

2.6.0.1 (2.6.0.1-1)

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)

agda

2.6.0.1 (2.6.0.1-1)
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)
Ubuntu 20.04 Proposed
focal-proposed/universe

agda

2.6.0.1 (2.6.0.1-1build3)

Agda

2.6.0.1