90 package(s) known

Repository	Package name	Version	Category	Maintainer(s)
Arch ^community	agda	2.6.0.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.5.4.1	haskell	pkg-haskell-maintainers@lists.alioth.debian.org
Debian Unstable ^main	agda	2.5.4.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 Unstable ^{unstable/main}	agda	2.5.4.1	haskell	pkg-haskell-maintainers@lists.alioth.debian.org
DPorts	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 ^updates	Agda	2.5.2	Unspecified	-
Fedora 27 ^release	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 Rawhide	Agda	2.5.4.2	Unspecified	-
FreeBSD Ports	hs-Agda	2.6.0.1	math	haskell@freebsd.org
Funtoo 1.3 ^science-kit	agda	2.5.2	sci-mathematics	sci-mathematics@gentoo.org, haskell@gentoo.org
Funtoo 1.3 ^science-kit	agda	2.4.2.5	sci-mathematics	sci-mathematics@gentoo.org, haskell@gentoo.org
Gentoo	agda	2.5.2	sci-mathematics	sci-mathematics@gentoo.org, haskell@gentoo.org
Gentoo	agda	2.4.2.5	sci-mathematics	sci-mathematics@gentoo.org, haskell@gentoo.org
Hackage	Agda	2.6.0.1	Dependent types	ulfn@chalmers.se
Homebrew	agda	2.6.0.1	-	-
Hyperbola ^community	agda	2.5.2	-	-
Kali Linux Rolling ^main	agda	2.5.4.1	haskell	pkg-haskell-maintainers@lists.alioth.debian.org
Linuxbrew	agda	2.6.0.1	-	-
Manjaro Stable ^community	agda	2.6.0.1	-	-
Manjaro Testing ^community	agda	2.6.0.1	-	-
Manjaro Unstable ^community	agda	2.6.0.1	-	-
nixpkgs stable	Agda	2.5.4.2	haskellPackages	ab@fmap.me
nixpkgs unstable	Agda	2.6.0.1	haskellPackages	ab@fmap.me
openSUSE Leap 15.0 ^main/oss	Agda	2.5.2	Development/Languages/Other	-
Parabola ^community	agda	2.6.0.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.5.4.1	haskell	pkg-haskell-maintainers@lists.alioth.debian.org
PureOS green	agda	2.5.4.1	misc	pkg-haskell-maintainers@lists.alioth.debian.org
PureOS landing	agda	2.5.4.1	misc	pkg-haskell-maintainers@lists.alioth.debian.org
Raspbian Oldstable ^main	agda	2.4.0.2	haskell	pkg-haskell-maintainers@lists.alioth.debian.org, kiwamu@debian.or.jp, laney@debian.org
Raspbian Stable ^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 Testing ^main	agda	2.5.4.1	haskell	pkg-haskell-maintainers@lists.alioth.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 6.0 ^{toutatis/main}	agda	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-bin	2.3.0.1	universe/haskell	pkg-haskell-maintainers@lists.alioth.debian.org, 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 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 18.10 ^{cosmic/universe}	agda	2.5.3	universe/haskell	pkg-haskell-maintainers@lists.alioth.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.5.4.1	universe/haskell	pkg-haskell-maintainers@lists.alioth.debian.org
Wikidata	Agda	2.6.0.1	-	-
Wikidata	Agda	2.6.0	-	-
Wikidata	Agda	2.5.4.2	-	-
Wikidata	Agda	2.5.4.1	-	-
Wikidata	Agda	2.5.4	-	-
Wikidata	Agda	2.5.3	-	-
Wikidata	Agda	2.5.2	-	-
Wikidata	Agda	2.5.1.2	-	-
Wikidata	Agda	2.5.1.1	-	-
Wikidata	Agda	2.5.1	-	-
Wikidata	Agda	2.4.2.5	-	-
Wikidata	Agda	2.4.2.4	-	-
Wikidata	Agda	2.4.2.3	-	-
Wikidata	Agda	2.4.2.2	-	-
Wikidata	Agda	2.4.2.1	-	-
Wikidata	Agda	2.4.2	-	-
Wikidata	Agda	2.4.0.2	-	-
Wikidata	Agda	2.4.0.1	-	-
Wikidata	Agda	2.4.0	-	-
Wikidata	Agda	2.3.2.2	-	-
Wikidata	Agda	2.3.2.1	-	-
Wikidata	Agda	2.3.2	-	-
Wikidata	Agda	2.3.0	-	-
Wikidata	Agda	2.2.10	-	-
Wikidata	Agda	2.2.8	-	-
Wikidata	Agda	2.2.6	-	-
Wikidata	Agda	2.2.4	-	-
Wikidata	Agda	2.2.2	-	-
Wikidata	Agda	2.2.0	-	-
Wikidata	Agda	2.1.2	-	-
Wikidata	Agda	2.1.0	-	-
Wikidata	Agda	2.0.1	-	-
Wikidata	Agda	2.0.0	-	-

Absent in repositories

Adélie Linux current
AIX Open Source Packages
Alpine Linux Edge
ALT Sisyphus
antiX-16
antiX-17
AOSC
Arch Testing
Astra Orel Stable
Astra Orel Current
BlackArch
Buckaroo
BunsenLabs Hydrogen
BunsenLabs Hydrogen/Jessie Backports
BunsenLabs Helium
BunsenLabs Helium/Stretch Backports
Calculate
CentOS 6
CentOS 7
Chocolatey
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
DistroWatch.com
ELRepo el7
ELRepo el7 Testing
Entware
Exherbo
F-Droid
freshcode.club
Gentoo overlay Pentoo
GetDeb Xenial
GetDeb Xenial Testing
GetDeb Yakkety
GetDeb Yakkety Testing
GetDeb Zesty
GetDeb Zesty Testing
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
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
LuaRocks
MacPorts
Maemo Fremantle
Mageia 6
Mageia 7
Mageia Cauldron
MELPA
Mer Core latest_aarch64
MSYS2 mingw
MSYS2 msys2
MX Linux MX-15
MX Linux MX-15 Testing
MX Linux MX-16
MX Linux Stretch
MX Linux Stretch Testing
Npackd Stable
Npackd Stable64
Npackd Unstable
OpenBSD Ports
OpenIndiana packages
OpenMandriva 3.x
OpenMandriva 4.x

OpenMandriva Cooker
OpenPKG
openSUSE Leap 42.3
openSUSE Leap 15.1
openSUSE Tumbleweed
openSUSE Education Tumbleweed
openSUSE Emulators Tumbleweed
openSUSE Games Tumbleweed
openSUSE Graphics Tumbleweed
openSUSE Multimedia:Apps Tumbleweed
openSUSE Multimedia:Libs Tumbleweed
openSUSE Network Tumbleweed
openSUSE Science Tumbleweed
openSUSE Security Tumbleweed
OpenWrt 18.06.01 x86
OS4Depot
PackMan openSUSE Leap 42.3
PackMan openSUSE Leap 15.0
PackMan openSUSE Leap 15.1
PackMan openSUSE Tumbleweed
PackMan SLE 12
PackMan SLE 15
Parabola Testing
PCLinuxOS
Pisi Linux
Pisi Linux Contrib
pkgsrc current
PlayDeb Xenial
PlayDeb Xenial Testing
PlayDeb Yakkety
PlayDeb Yakkety Testing
PlayDeb Zesty
PlayDeb Zesty Testing
PLD Linux
Ravenports
ReactOS rapps
Rosa 2014.1
Rosa 2016.1
Rosa Server 6.9
Rosa Server 7.3
Rosa Server 7.5
RPM Fusion EL 6
RPM Fusion EL 7
RPM Fusion Fedora 28
RPM Fusion Fedora 29
RPM Fusion Fedora 30
RPM Fusion Fedora Rawhide
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
Stackage LTS Haskell
Stackage Nightly
SteamOS alchemist
SteamOS alchemist beta
SteamOS brewmaster
SteamOS brewmaster beta
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 18.10 Backports
Ubuntu 19.04 Backports
Ubuntu 19.04 Proposed
Ubuntu 19.10 Backports
Ubuntu 19.10 Proposed
UnitedRPMs Fedora 28
UnitedRPMs Fedora 29
UnitedRPMs Fedora 30
UnitedRPMs Fedora 31
Vcpkg
Void Linux x86_64
Whonix
Whonix Developers
YACP

Versions for agda

Absent in repositories