Information for agda

Versions

• 2.6.2.98d4eb0
• 2.5.1.r8151.g4108da695
• HEAD
• 2.6.4.1 (2)
• 2.6.4 (5)
• 2.6.3 (4)
• 2.6.2.2 (3)
• 2.6.2.1
• 2.6.2 (3)
• 2.6.1.2
• 2.6.1 (2)
• 2.6.0.1 (2)
• 2.5.4.2
• 2.5.4.1
• 2.5.3 (2)
• 2.5.2 (2)
• 2.4.2.5
• 2.3.2.2 (2)
• 2.3.0.1

Package names

• Agda (4)
• agda (5)
• agda-bin-git
• agda-git
• ghc-Agda
• hs-Agda

Repositories

• Arch
• Arch Linux 32 i686
• Arch Linux 32 pentium4
• AUR
• Debian 10
• Debian 11
• Debian 12
• Debian Unstable
• Deepin
• Devuan 3.0
• Devuan 4.0
• Devuan Unstable
• EPEL 6
• EPEL 7
• EPEL 8
• EPEL 9
• Fedora 26
• Fedora 27
• Fedora 28
• Fedora 29
• Fedora 30
• Fedora 31
• Fedora 32
• Fedora 33
• Fedora 34
• Fedora 35
• Fedora 36
• Fedora 37
• Fedora 38
• Fedora 39
• Fedora Rawhide
• FreeBSD Ports
• GNU Guix
• Hackage
• Homebrew
• Manjaro Stable
• Manjaro Testing
• Manjaro Unstable
• nixpkgs stable 21.11
• nixpkgs stable 22.05
• nixpkgs stable 22.11
• nixpkgs stable 23.05
• nixpkgs unstable
• openSUSE Leap 15.0
• Parabola
• Pardus 21
• Parrot
• PureOS Amber
• PureOS landing
• Raspbian Oldstable
• Raspbian Stable
• Raspbian Testing
• Stackage LTS Haskell
• Stackage Nightly
• Trisquel 10.0
• Trisquel 11.0
• Ubuntu 14.04
• Ubuntu 16.04
• Ubuntu 18.04
• Ubuntu 20.04
• Ubuntu 22.04
• Ubuntu 23.04
• Ubuntu 23.10
• Wikidata

Categories

• Dependent types
• Development/Languages/Other
• Unspecified
• haskell
• haskellPackages
• math
• misc
• universe/haskell

Licenses

• BSD licenses
• MIT (2)
• MIT AND BSD-3-Clause (2)
• MIT and BSD
• MIT and BSD-3-Clause
• custom
• unknown

Summaries

• A dependently typed functional programming language and proof assistant (5)
• A dependently typed functional programming language and proof assistant: development version
• Dependently typed functional programming language
• Dependently typed functional programming language and proof assistant (2)
• dependently typed, purely functional programming language and proof assistant

Maintainers

• ab@fmap.me
• haskell@freebsd.org
• iblech@speicherleck.de
• johngowers@aur
• kiwamu@debian.or.jp
• laney@debian.org
• lightquantum@aur
• pkg-haskell-maintainers@lists.alioth.debian.org
• programming@manuelbaerenz.de
• ubuntu-devel-discuss@lists.ubuntu.com

• Group email

Homepage links

• http://hackage.haskell.org/package/Agda^{ok, no IPv6} (2)
• http://wiki.portal.chalmers.se/agda/^{redir, no IPv6} (2)
• https://hackage.haskell.org/package/Agda^{ok, no IPv6} (3)
• https://wiki.portal.chalmers.se/agda/^{ok, no IPv6} (6)
• https://wiki.portal.chalmers.se/agda/pmwiki.php^{ok, no IPv6}
• https://www.stackage.org/lts/package/Agda-2.6.4.1^{ok, no IPv6}
• https://www.stackage.org/nightly/package/Agda-2.6.4.1^{ok, no IPv6}

Issue tracker links

• https://github.com/agda/agda/issues^{ok, no IPv6}

Repository links

• https://github.com/agda/agda^{ok, no IPv6}
• https://github.com/agda/agda.git^{redir, no IPv6}

All package recipes

• https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=agda-bin-git^ok
• https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=agda-git^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:15.0:Update/Agda/Agda.spec?expand=1^ok
• https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/agda.scm#n45^ok
• https://github.com/Homebrew/homebrew-core/blob/master/Formula/agda.rb^{dead (see archive.org)}
• https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/development/haskell-modules/hackage-packages.nix#L824^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-21.11/pkgs/development/haskell-modules/hackage-packages.nix#L811^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.05/pkgs/development/haskell-modules/hackage-packages.nix#L817^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.11/pkgs/development/haskell-modules/hackage-packages.nix#L823^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-23.05/pkgs/development/haskell-modules/hackage-packages.nix#L822^{ok, no IPv6}
• https://gitlab.archlinux.org/archlinux/packaging/packages/agda/-/blob/main/PKGBUILD^ok
• https://src.fedoraproject.org/rpms/Agda/blob/epel7/f/Agda.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/Agda/blob/epel8/f/Agda.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/Agda/blob/epel9/f/Agda.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/Agda/blob/f26/f/Agda.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/Agda/blob/f27/f/Agda.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/Agda/blob/f28/f/Agda.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/Agda/blob/f29/f/Agda.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/Agda/blob/f30/f/Agda.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/Agda/blob/f31/f/Agda.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/Agda/blob/f32/f/Agda.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/Agda/blob/f33/f/Agda.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/Agda/blob/f34/f/Agda.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/Agda/blob/f35/f/Agda.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/Agda/blob/f36/f/Agda.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/Agda/blob/f37/f/Agda.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/Agda/blob/f38/f/Agda.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/Agda/blob/f39/f/Agda.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/Agda/blob/rawhide/f/Agda.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/ghc-Agda/blob/el6/f/ghc-Agda.spec^{ok, no IPv6}

Downloads

• https://github.com/agda/agda.git^{redir, no IPv6}
• https://hackage.haskell.org/package/Agda-2.6.4.1/Agda-2.6.4.1.tar.gz^{ok, no IPv6}

Build logs

• https://kojipkgs.fedoraproject.org/packages/Agda/2.3.2.2/5.el7/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/Agda/2.5.2/5.fc26.1/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/Agda/2.5.2/7.fc27.1/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/Agda/2.5.2/9.fc27/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/Agda/2.5.3/12.fc28/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/Agda/2.5.3/14.el8/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/Agda/2.5.3/14.fc29/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/Agda/2.5.4.2/17.fc30/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/Agda/2.6.0.1/19.fc31/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/Agda/2.6.0.1/21.fc32/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/Agda/2.6.0.1/24.fc32/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/Agda/2.6.1/28.fc33/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/Agda/2.6.1/30.fc34/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/Agda/2.6.2.1/35.fc36/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/Agda/2.6.2.2/36.el9/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/Agda/2.6.2.2/37.fc37/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/Agda/2.6.2.2/38.fc38/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/Agda/2.6.2/32.fc35/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/Agda/2.6.3/40.fc39/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/Agda/2.6.4/41.fc40/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/ghc-Agda/2.3.0.1/9.el6/data/logs/^{ok, no IPv6}