Versions Packages Information History Related Badges Report

Versions for agda

69 package(s) known

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 - -