| Repository |
Package name |
Version |
Category |
Maintainer(s) |
Arch
community |
agda |
2.6.2 |
- |
- |
Arch Linux 32 i686
community |
agda |
2.6.1.2 |
- |
- |
Arch Linux 32 pentium4
community |
agda |
2.6.2 |
- |
- |
|
AUR |
agda-bin-git |
2.6.2.98d4eb0 |
- |
lightquantum@aur |
|
AUR |
agda-git |
2.5.1.r8151.g4108da695 |
- |
johngowers@aur |
Debian 8
jessie/main |
agda |
2.4.0.2 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org, kiwamu@debian.or.jp, laney@debian.org |
Debian 9
stretch/main |
agda |
2.5.1.1 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org, kiwamu@debian.or.jp, laney@debian.org, spwhitton@spwhitton.name |
Debian 10
buster/main |
agda |
2.5.4.1 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org |
Debian 11
bullseye/main |
agda |
2.6.1 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org |
Debian 12
bookworm/main |
agda |
2.6.1 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org |
Debian Unstable
sid/main |
agda |
2.6.1 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org |
Deepin
main |
agda |
2.5.4.1 |
- |
pkg-haskell-maintainers@lists.alioth.debian.org |
Devuan 1.0
jessie/main |
agda |
2.4.0.2 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org, kiwamu@debian.or.jp, laney@debian.org |
Devuan 2.0
ascii/main |
agda |
2.5.1.1 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org, kiwamu@debian.or.jp, laney@debian.org, spwhitton@spwhitton.name |
Devuan 3.0
beowulf/main |
agda |
2.5.4.1 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org |
Devuan 4.0
chimaera/main |
agda |
2.6.1 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org |
Devuan Unstable
unstable/main |
agda |
2.6.1 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org |
|
DPorts |
math/hs-Agda |
2.6.2 |
math |
haskell@freebsd.org |
|
EPEL 6 |
ghc-Agda |
2.3.0.1 |
Unspecified |
- |
|
EPEL 7 |
Agda |
2.3.2.2 |
Unspecified |
- |
Fedora 26
release |
Agda |
2.5.2 |
Unspecified |
- |
Fedora 27
release |
Agda |
2.5.2 |
Unspecified |
- |
Fedora 27
updates |
Agda |
2.5.2 |
Unspecified |
- |
Fedora 28
release |
Agda |
2.5.3 |
Unspecified |
- |
Fedora 29
release |
Agda |
2.5.3 |
Unspecified |
- |
Fedora 30
release |
Agda |
2.5.4.2 |
Unspecified |
- |
Fedora 31
release |
Agda |
2.6.0.1 |
Unspecified |
- |
Fedora 32
updates |
Agda |
2.6.0.1 |
Unspecified |
- |
Fedora 32
release |
Agda |
2.6.0.1 |
Unspecified |
- |
Fedora 33
release |
Agda |
2.6.1 |
Unspecified |
- |
Fedora 34
release |
Agda |
2.6.1 |
Unspecified |
- |
Fedora 35
release |
Agda |
2.6.2 |
Unspecified |
- |
Fedora 36
development |
Agda |
2.6.2.1 |
Unspecified |
- |
Fedora Rawhide
development |
Agda |
2.6.2.1 |
Unspecified |
- |
|
FreeBSD Ports |
math/hs-Agda |
2.6.2 |
math |
haskell@freebsd.org |
Funtoo 1.4
science-kit |
sci-mathematics/agda |
2.5.2 |
sci-mathematics |
sci-mathematics@gentoo.org, haskell@gentoo.org |
Funtoo 1.4
science-kit |
sci-mathematics/agda |
2.4.2.5 |
sci-mathematics |
sci-mathematics@gentoo.org, haskell@gentoo.org |
|
Gentoo |
sci-mathematics/agda |
2.6.1.2 |
sci-mathematics |
haskell@gentoo.org |
|
GNU Guix |
agda |
2.6.2.1 |
- |
- |
|
Hackage |
Agda |
2.6.2.2 |
Dependent types |
- |
|
Homebrew |
agda |
2.6.2.2 |
- |
- |
Kali Linux Rolling
main |
agda |
2.6.1 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org |
|
LiGurOS stable |
sci-mathematics/agda |
2.6.1.2 |
sci-mathematics |
haskell@gentoo.org |
|
LiGurOS develop |
sci-mathematics/agda |
2.6.1.2 |
sci-mathematics |
haskell@gentoo.org |
Manjaro Stable
community |
agda |
2.6.2 |
- |
- |
Manjaro Testing
community |
agda |
2.6.2 |
- |
- |
Manjaro Unstable
community |
agda |
2.6.2 |
- |
- |
|
nixpkgs stable 21.05 |
Agda |
2.6.1.3 |
haskellPackages |
ab@fmap.me, programming@manuelbaerenz.de |
|
nixpkgs stable 21.11 |
Agda |
2.6.2 |
haskellPackages |
ab@fmap.me, programming@manuelbaerenz.de |
|
nixpkgs unstable |
Agda |
2.6.2.2 |
haskellPackages |
ab@fmap.me, programming@manuelbaerenz.de |
openSUSE Leap 15.0
main/oss |
Agda |
2.5.2 |
Development/Languages/Other |
- |
Parabola
community |
agda |
2.6.2 |
- |
- |
Pardus 17
main |
agda |
2.5.1.1 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org, kiwamu@debian.or.jp, laney@debian.org, spwhitton@spwhitton.name |
Pardus 19
main |
agda |
2.5.4.1 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org |
Pardus 21
main |
agda |
2.6.1 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org |
Parrot
parrot/main |
agda |
2.6.1 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org |
Parrot
parrot-updates/main |
agda |
2.6.1 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org |
|
PureOS Amber |
agda |
2.5.4.1 |
misc |
pkg-haskell-maintainers@lists.alioth.debian.org |
|
PureOS landing |
agda |
2.6.1 |
misc |
pkg-haskell-maintainers@lists.alioth.debian.org |
Raspbian Oldstable
main |
agda |
2.5.4.1 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org |
Raspbian Stable
main |
agda |
2.6.1 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org |
Raspbian Testing
main |
agda |
2.6.1 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org |
|
Stackage LTS Haskell |
Agda |
2.6.2.2 |
- |
- |
|
Stackage Nightly |
Agda |
2.6.2.2 |
- |
- |
Trisquel 6.0
toutatis/main |
agda |
2.3.0.1 |
universe/haskell |
pkg-haskell-maintainers@lists.alioth.debian.org, laney@debian.org |
Trisquel 6.0
toutatis/main |
agda-bin |
2.3.0.1 |
universe/haskell |
pkg-haskell-maintainers@lists.alioth.debian.org, laney@debian.org |
Trisquel 7.0
belenos/main |
agda |
2.3.2.2 |
universe/haskell |
pkg-haskell-maintainers@lists.alioth.debian.org, kiwamu@debian.or.jp, laney@debian.org |
Trisquel 8.0
flidas/main |
agda |
2.4.2.5 |
universe/haskell |
pkg-haskell-maintainers@lists.alioth.debian.org, kiwamu@debian.or.jp, laney@debian.org |
Trisquel 9.0
etiona/main |
agda |
2.5.3 |
universe/haskell |
pkg-haskell-maintainers@lists.alioth.debian.org, kiwamu@debian.or.jp, laney@debian.org |
Trisquel 10.0
nabia/main |
agda |
2.6.0.1 |
universe/haskell |
ubuntu-devel-discuss@lists.ubuntu.com |
Ubuntu 14.04
trusty/universe |
agda |
2.3.2.2 |
universe/haskell |
pkg-haskell-maintainers@lists.alioth.debian.org, kiwamu@debian.or.jp, laney@debian.org |
Ubuntu 16.04
xenial/universe |
agda |
2.4.2.5 |
universe/haskell |
pkg-haskell-maintainers@lists.alioth.debian.org, kiwamu@debian.or.jp, laney@debian.org |
Ubuntu 18.04
bionic/universe |
agda |
2.5.3 |
universe/haskell |
pkg-haskell-maintainers@lists.alioth.debian.org, kiwamu@debian.or.jp, laney@debian.org |
Ubuntu 20.04
focal/universe |
agda |
2.6.0.1 |
universe/haskell |
ubuntu-devel-discuss@lists.ubuntu.com |
Ubuntu 21.04
hirsute/universe |
agda |
2.6.1 |
universe/haskell |
ubuntu-devel-discuss@lists.ubuntu.com |
Ubuntu 21.10
impish/universe |
agda |
2.6.1 |
universe/haskell |
ubuntu-devel-discuss@lists.ubuntu.com |
Ubuntu 22.04
jammy/universe |
agda |
2.6.1 |
universe/haskell |
ubuntu-devel-discuss@lists.ubuntu.com |
|
Wikidata |
Agda |
2.6.2 |
- |
- |