65 package(s) known

Repository	Package name	Version	Category	Maintainer(s)
Arch ^community	agda	2.6.1	-	-
AUR	agda-git	2.6.0.r0.g16eb89fb0	-	johngowers@aur
Debian Oldstable ^{oldstable/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 Stable ^stable/main	agda	2.5.4.1	haskell	pkg-haskell-maintainers@lists.alioth.debian.org
Debian Testing ^testing/main	agda	2.6.0.1	haskell	pkg-haskell-maintainers@lists.alioth.debian.org
Debian Unstable ^main	agda	2.6.0.1	haskell	pkg-haskell-maintainers@lists.alioth.debian.org
Deepin ^main	agda	2.5.3	haskell	pkg-haskell-maintainers@lists.alioth.debian.org
Devuan 1.0 (Jessie) ^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) ^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) ^beowulf/main	agda	2.5.4.1	haskell	pkg-haskell-maintainers@lists.alioth.debian.org
Devuan 4.0 (Chimaera) ^{chimaera/main}	agda	2.6.0.1	haskell	pkg-haskell-maintainers@lists.alioth.debian.org
Devuan Unstable ^{unstable/main}	agda	2.6.0.1	haskell	pkg-haskell-maintainers@lists.alioth.debian.org
DPorts	math/hs-Agda	2.6.0.1	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 ^development	Agda	2.6.0.1	Unspecified	-
Fedora 32 ^development	Agda	2.6.0.1	Unspecified	-
Fedora Rawhide	Agda	2.6.0.1	Unspecified	-
FreeBSD Ports	math/hs-Agda	2.6.0.1	math	haskell@freebsd.org
Funtoo 1.3 ^science-kit	sci-mathematics/agda	2.5.2	sci-mathematics	sci-mathematics@gentoo.org, haskell@gentoo.org
Funtoo 1.3 ^science-kit	sci-mathematics/agda	2.4.2.5	sci-mathematics	sci-mathematics@gentoo.org, haskell@gentoo.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.5.2	sci-mathematics	sci-mathematics@gentoo.org, haskell@gentoo.org
Gentoo	sci-mathematics/agda	2.5.2	sci-mathematics	sci-mathematics@gentoo.org, haskell@gentoo.org
Gentoo	sci-mathematics/agda	2.4.2.5	sci-mathematics	sci-mathematics@gentoo.org, haskell@gentoo.org
GNU Guix	agda	2.6.0.1	-	-
Hackage	Agda	2.6.1	Dependent types	ulfn@chalmers.se
Homebrew	agda	2.6.1	-	-
Hyperbola ^community	agda	2.5.2	-	-
Kali Linux Rolling ^main	agda	2.6.0.1	haskell	pkg-haskell-maintainers@lists.alioth.debian.org
Linuxbrew	agda	2.6.1	-	-
Manjaro Stable ^community	agda	2.6.1	-	-
Manjaro Testing ^community	agda	2.6.1	-	-
Manjaro Unstable ^community	agda	2.6.1	-	-
nixpkgs stable	Agda	2.6.0.1	haskellPackages	ab@fmap.me
nixpkgs unstable	Agda	2.6.1	haskellPackages	ab@fmap.me
openSUSE Leap 15.0 ^main/oss	Agda	2.5.2	Development/Languages/Other	-
Parabola ^community	agda	2.6.1	-	-
Pardus ^main	agda	2.5.1.1	haskell	pkg-haskell-maintainers@lists.alioth.debian.org, kiwamu@debian.or.jp, laney@debian.org, spwhitton@spwhitton.name
Parrot ^main	agda	2.6.0.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.0.1	misc	pkg-haskell-maintainers@lists.alioth.debian.org
Raspbian Oldstable ^main	agda	2.5.1.1	haskell	pkg-haskell-maintainers@lists.alioth.debian.org, kiwamu@debian.or.jp, laney@debian.org, spwhitton@spwhitton.name
Raspbian Stable ^main	agda	2.5.4.1	haskell	pkg-haskell-maintainers@lists.alioth.debian.org
Raspbian Testing ^main	agda	2.6.0.1	haskell	pkg-haskell-maintainers@lists.alioth.debian.org
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
Ubuntu 12.04 ^{precise/universe}	agda	2.3.0.1	universe/haskell	pkg-haskell-maintainers@lists.alioth.debian.org, laney@debian.org
Ubuntu 12.04 ^{precise/universe}	agda-bin	2.3.0.1	universe/haskell	pkg-haskell-maintainers@lists.alioth.debian.org, laney@debian.org
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 19.04 ^{disco/universe}	agda	2.5.4.1	universe/haskell	pkg-haskell-maintainers@lists.alioth.debian.org
Ubuntu 19.10 ^{eoan/universe}	agda	2.6.0.1	universe/haskell	ubuntu-devel-discuss@lists.ubuntu.com
Ubuntu 20.04 ^{focal/universe}	agda	2.6.0.1	universe/haskell	ubuntu-devel-discuss@lists.ubuntu.com
Wikidata	Agda	2.6.1	-	-

Absent in repositories

Adélie Linux current
AIX Open Source Packages
Alpine Linux 3.8
Alpine Linux 3.9
Alpine Linux 3.10
Alpine Linux 3.11
Alpine Linux Edge
ALT Linux p9
ALT Sisyphus
Amazon Linux 1
Amazon Linux 2
antiX-16
antiX-17
antiX-19
AOSC
Arch Testing
Astra Orel Stable
Astra Orel Current
BlackArch
Buckaroo
BunsenLabs Hydrogen
BunsenLabs Hydrogen/Jessie Backports
BunsenLabs Helium
BunsenLabs Helium/Stretch Backports
Calculate
Carbs Linux
CentOS 6
CentOS 7
CentOS 8
Chakra
Chakra Staging
Chakra Testing
Chocolatey
ConanCenter
CPAN
MetaCPAN
CRAN
crates.io
CRUX 3.2
CRUX 3.3
CRUX 3.4
CRUX 3.5
Cygwin
Deb Multimedia Unstable
Debian Stable Backports
Debian Experimental
distri
DistroWatch.com
ELRepo el7
ELRepo el7 Testing
Entware
EPEL 8
Exherbo
F-Droid
freshcode.club

Gentoo overlay Pentoo
GNU Elpa
GoboLinux
HaikuPorts master
Homebrew Casks
Homebrew tap Brewsci/bio
HP-UX 11.31
just-install
KaOS
KaOS Build
KDE neon Dev Stable
KDE neon Dev Unstable
KDE neon Experimental
KDE neon User
KDE neon User LTS
KISS Linux Community
KISS Linux Main
Kwort 4.3.2
Kwort 4.3.3
Kwort 4.3.4
Libregamewiki
Linux Mint 17
Linux Mint 17.1
Linux Mint 17.2
Linux Mint 17.3
Linux Mint 18
Linux Mint 18.1
Linux Mint 18.2
Linux Mint 18.3
Linux Mint 19
Linux Mint 19.1
Linux Mint 19.2
Linux Mint 19.3
LuaRocks
MacPorts
Maemo Fremantle
Mageia 6
Mageia 7
Mageia Cauldron
MELPA
MSYS2 mingw
MSYS2 msys2
MX Linux MX-15
MX Linux MX-15 Testing
MX Linux MX-16
MX Linux MX-17
MX Linux MX-17 Testing
MX Linux MX-19
MX Linux MX-19 Testing
NeuroDebian data
NeuroDebian Debian 8
NeuroDebian Debian 9
NeuroDebian Debian 10
NeuroDebian Debian Unstable
NeuroDebian Ubuntu 14.04

NeuroDebian Ubuntu 16.04
NeuroDebian Ubuntu 18.04
NeuroDebian Ubuntu 19.04
Npackd Stable
Npackd Stable64
Npackd Unstable
OpenBSD Ports
OpenIndiana packages
OpenMandriva 3.0
OpenMandriva 4.0
OpenMandriva 4.1
OpenMandriva Rolling
OpenMandriva Cooker
OpenPKG
openSUSE Leap 42.3
openSUSE Leap 15.1
openSUSE Leap 15.2
openSUSE Tumbleweed
openSUSE Education Tumbleweed
openSUSE Emulators Tumbleweed
openSUSE Games Tumbleweed
openSUSE Graphics Tumbleweed
openSUSE Hardware:SDR Tumbleweed
openSUSE Multimedia:Apps Tumbleweed
openSUSE Multimedia:Libs Tumbleweed
openSUSE Network Tumbleweed
openSUSE Science Tumbleweed
openSUSE Security Tumbleweed
OpenWrt 17.01 x86_64
OpenWrt 18.06 x86_64
OpenWrt 19.07 x86_64
OS4Depot
PackMan openSUSE Leap 42.3
PackMan openSUSE Leap 15.0
PackMan openSUSE Leap 15.1
PackMan openSUSE Leap 15.2
PackMan openSUSE Tumbleweed
PackMan SLE 12
PackMan SLE 15
Parabola Testing
PCLinuxOS
Pisi Linux
Pisi Linux Contrib
pkgsrc current
PLD Linux
Ravenports
ReactOS rapps
Rosa 2014.1
Rosa 2016.1
Rosa 2019.0
Rosa 2019.1
Rosa Server 6.9
Rosa Server 7.3
Rosa Server 7.5

RPM Fusion EL 6
RPM Fusion EL 7
RPM Fusion EL 8
RPM Fusion Fedora 28
RPM Fusion Fedora 29
RPM Fusion Fedora 30
RPM Fusion Fedora 31
RPM Fusion Fedora Rawhide
RPM Sphere
RubyGems
Sabayon
Sabayon for-gentoo
Salix 14.2
Scientific Linux 7.x
Scoop
SlackBuilds
Slackware 14.2
Slackware current
Slackware64 14.2
Slackware64 current
Slackwarearm 14.2
Slackwarearm current
SliTaz Cooking
SliTaz Next
Solus
Sparky Stable
Sparky Testing
Stackage LTS Haskell
Stackage Nightly
T2 SDE
Tails stable
Tails devel
Termux
Trisquel 6.0 backports
Trisquel 7.0 backports
Trisquel 8.0 backports
Ubuntu 12.04 Backports
Ubuntu 14.04 Backports
Ubuntu 16.04 Backports
Ubuntu 18.04 Backports
Ubuntu 19.04 Backports
Ubuntu 19.04 Proposed
Ubuntu 19.10 Backports
Ubuntu 19.10 Proposed
Ubuntu 20.04 Proposed
UnitedRPMs Fedora 30
UnitedRPMs Fedora 31
UnitedRPMs Fedora 32
UnitedRPMs Fedora 33
Vcpkg
Void Linux x86_64
Whonix
Whonix Developers
YACP

Versions for agda

Absent in repositories