Repository |
Package name |
Version |
Category |
Maintainer(s) |
Arch extra |
agda |
2.6.3 |
- |
- |
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 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.2.2 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org |
Debian Unstable sid/main |
agda |
2.6.2.2 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org |
Deepin main |
agda |
2.5.4.1 |
- |
pkg-haskell-maintainers@lists.alioth.debian.org |
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.2.2 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org |
DPorts |
math/hs-Agda |
2.6.2.2 |
math |
haskell@freebsd.org |
EPEL 6 |
ghc-Agda |
2.3.0.1 |
Unspecified |
- |
EPEL 7 |
Agda |
2.3.2.2 |
Unspecified |
- |
EPEL 8 |
Agda |
2.5.3 |
Unspecified |
- |
EPEL 9 |
Agda |
2.6.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 release |
Agda |
2.6.0.1 |
Unspecified |
- |
Fedora 32 updates |
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 release |
Agda |
2.6.2.1 |
Unspecified |
- |
Fedora 37 release |
Agda |
2.6.2.2 |
Unspecified |
- |
Fedora 38 release |
Agda |
2.6.2.2 |
Unspecified |
- |
Fedora Rawhide development |
Agda |
2.6.2.2 |
Unspecified |
- |
FreeBSD Ports |
math/hs-Agda |
2.6.3 |
math |
haskell@freebsd.org |
GNU Guix |
agda |
2.6.2.2 |
- |
- |
Hackage |
Agda |
2.6.3 |
Dependent types |
- |
Homebrew |
agda |
2.6.3 |
- |
- |
Kali Linux Rolling main |
agda |
2.6.2.2 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org |
Manjaro Stable community |
agda |
2.6.3 |
- |
- |
Manjaro Testing community |
agda |
2.6.3 |
- |
- |
Manjaro Unstable extra |
agda |
2.6.3 |
- |
- |
nixpkgs stable 21.11 |
Agda |
2.6.2 |
haskellPackages |
ab@fmap.me, programming@manuelbaerenz.de |
nixpkgs stable 22.05 |
Agda |
2.6.2.2 |
haskellPackages |
ab@fmap.me, programming@manuelbaerenz.de |
nixpkgs stable 22.11 |
Agda |
2.6.2.2 |
haskellPackages |
ab@fmap.me, programming@manuelbaerenz.de |
nixpkgs unstable |
Agda |
2.6.3 |
haskellPackages |
ab@fmap.me, iblech@speicherleck.de, programming@manuelbaerenz.de |
openSUSE Leap 15.0 main/oss |
Agda |
2.5.2 |
Development/Languages/Other |
- |
Parabola extra |
agda |
2.6.3 |
- |
- |
Pardus 21 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 |
Parrot parrot/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.2.2 |
haskell |
pkg-haskell-maintainers@lists.alioth.debian.org |
Stackage LTS Haskell |
Agda |
2.6.2.2 |
- |
- |
Stackage Nightly |
Agda |
2.6.3 |
- |
- |
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 |
Trisquel 11.0 aramo/main |
agda |
2.6.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 22.04 jammy/universe |
agda |
2.6.1 |
universe/haskell |
ubuntu-devel-discuss@lists.ubuntu.com |
Ubuntu 22.10 kinetic/universe |
agda |
2.6.2.2 |
universe/haskell |
pkg-haskell-maintainers@lists.alioth.debian.org |
Ubuntu 23.04 lunar/universe |
agda |
2.6.2.2 |
universe/haskell |
pkg-haskell-maintainers@lists.alioth.debian.org |
Wikidata |
Agda |
2.6.3 |
- |
- |