Versions Packages Information History Related Badges Report

Packages for agda

77 package(s) known

Arch
community

agda

2.6.2.2 (2.6.2.2-32)

agda

2.6.1.2 (2.6.1.2-62.0)

agda

2.6.2 (2.6.2-1.0)

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)
Devuan 1.0
jessie/main

agda

2.4.0.2 (2.4.0.2-2)
Devuan 3.0
beowulf/main

agda

2.5.4.1 (2.5.4.1-3)
Devuan 4.0
chimaera/main

agda

2.6.1 (2.6.1-1)
Devuan Unstable
unstable/main

agda

2.6.2.2 (2.6.2.2-1)

math/hs-Agda

2.6.2 (2.6.2_1)

ghc-Agda

2.3.0.1 (2.3.0.1-9.el6)

Agda

2.3.2.2 (2.3.2.2-5.el7)

Agda

2.5.3 (2.5.3-14.el8)

Agda

2.6.2.2 (2.6.2.2-36.el9)
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)
Fedora 35
release

Agda

2.6.2 (2.6.2-32.fc35)
Fedora 36
release

Agda

2.6.2.1 (2.6.2.1-35.fc36)
Fedora 37
development

Agda

2.6.2.2 (2.6.2.2-37.fc37)
Fedora Rawhide
development

Agda

2.6.2.2 (2.6.2.2-37.fc37)

math/hs-Agda

2.6.2.2 (2.6.2.2_2)
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)

agda

2.6.2.1

Agda

2.6.2.2

agda

2.6.2.2
Manjaro Stable
community

agda

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

agda

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

agda

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

Agda

2.6.1.3

Agda

2.6.2.2

Agda

2.6.2.2

Agda

2.5.2 (2.5.2-lp150.1.17)
Parabola
community

agda

2.6.2.2 (2.6.2.2-31)

agda

2.5.4.1 (2.5.4.1-3)

agda

2.6.1 (2.6.1-1)
Parrot
parrot-updates/main

agda

2.6.1 (2.6.1-1)
Parrot
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)

Agda

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

Agda

2.6.2.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)
Trisquel 10.0
nabia/main

agda

2.6.0.1 (2.6.0.1-1build4)
Ubuntu 20.04
focal/universe

agda

2.6.0.1 (2.6.0.1-1build4)
Ubuntu 22.04
jammy/universe

agda

2.6.1 (2.6.1-1build2.1)

Agda

2.6.2.2