agda packages - Repology

71 package(s) known

Arch
^extra

agda

2.6.3 (2.6.3-22)

Summary:
A dependently typed functional programming language and proof assistant
License:
- custom
Link(s):

Arch Linux 32 i686
^extra

agda

2.6.1.2 (2.6.1.2-62.0)

Summary:
A dependently typed functional programming language and proof assistant
License:
- custom
Link(s):
- Package page^ok
- Upstream homepage^{ok, no IPv6}

Arch Linux 32 pentium4
^extra

agda

2.6.2 (2.6.2-1.0)

Summary:
A dependently typed functional programming language and proof assistant
License:
- custom
Link(s):
- Package page^ok
- Upstream homepage^{ok, no IPv6}

AUR

agda-bin-git

2.6.2.98d4eb0 (2.6.2.98d4eb0-1)

Summary:
A dependently typed functional programming language and proof assistant: development version
Maintainer:
- lightquantum@aur
License:
- custom
Link(s):

AUR

agda-git

2.5.1.r8151.g4108da695 (2.5.1.r8151.g4108da695-1)

Summary:
A dependently typed functional programming language and proof assistant: development version
Maintainer:
- johngowers@aur
License:
- custom
Link(s):

Debian 10
^buster/main

agda

2.5.4.1 (2.5.4.1-3)

Maintainer:
- pkg-haskell-maintainers@lists.alioth.debian.org
Category:
- haskell
Link(s):

Debian 11
^{bullseye/main}

agda

2.6.1 (2.6.1-1)

Maintainer:
- pkg-haskell-maintainers@lists.alioth.debian.org
Category:
- haskell
Link(s):

Debian 12
^{bookworm/main}

agda

2.6.2.2 (2.6.2.2-1.1)

Maintainer:
- pkg-haskell-maintainers@lists.alioth.debian.org
Category:
- haskell
Link(s):

Debian 13
^trixie/main

agda

2.6.2.2 (2.6.2.2-1.1)

Maintainer:
- pkg-haskell-maintainers@lists.alioth.debian.org
Category:
- haskell
Link(s):

Debian Unstable
^sid/main

agda

2.6.2.2 (2.6.2.2-1.1)

Maintainer:
- pkg-haskell-maintainers@lists.alioth.debian.org
Category:
- haskell
Link(s):

Deepin
^main

agda

2.5.4.1 (2.5.4.1-3)

Maintainer:
- pkg-haskell-maintainers@lists.alioth.debian.org
Link(s):
- Upstream homepage^{redir, no IPv6}

Devuan 3.0
^beowulf/main

agda

2.5.4.1 (2.5.4.1-3)

Maintainer:
- pkg-haskell-maintainers@lists.alioth.debian.org
Category:
- haskell
Link(s):
- Upstream homepage^{redir, no IPv6}

Devuan 4.0
^{chimaera/main}

agda

2.6.1 (2.6.1-1)

Maintainer:
- pkg-haskell-maintainers@lists.alioth.debian.org
Category:
- haskell
Link(s):
- Upstream homepage^{ok, no IPv6}

Devuan Unstable
^{unstable/main}

agda

2.6.2.2 (2.6.2.2-1.1)

Maintainer:
- pkg-haskell-maintainers@lists.alioth.debian.org
Category:
- haskell
Link(s):
- Upstream homepage^{ok, no IPv6}

EPEL 6

ghc-Agda

2.3.0.1 (2.3.0.1-9.el6)

Summary:
A dependently typed functional programming language and proof assistant
Category:
- Unspecified
License:
- MIT and BSD
Link(s):
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

EPEL 7

Agda

2.3.2.2 (2.3.2.2-5.el7)

Summary:
A dependently typed functional programming language and proof assistant
Category:
- Unspecified
License:
- MIT and BSD
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

EPEL 8

Agda

2.5.3 (2.5.3-14.el8)

Summary:
A dependently typed functional programming language and proof assistant
Category:
- Unspecified
License:
- MIT and BSD
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

EPEL 9

Agda

2.6.2.2 (2.6.2.2-36.el9)

Summary:
A dependently typed functional programming language and proof assistant
Category:
- Unspecified
License:
- MIT and BSD
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 26
^release

Agda

2.5.2 (2.5.2-5.fc26.1)

Summary:
A dependently typed functional programming language and proof assistant
Category:
- Unspecified
License:
- MIT and BSD
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 27
^updates

Agda

2.5.2 (2.5.2-9.fc27)

Summary:
A dependently typed functional programming language and proof assistant
Category:
- Unspecified
License:
- MIT and BSD
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 27
^release

Agda

2.5.2 (2.5.2-7.fc27.1)

Summary:
A dependently typed functional programming language and proof assistant
Category:
- Unspecified
License:
- MIT and BSD
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 28
^release

Agda

2.5.3 (2.5.3-12.fc28)

Summary:
A dependently typed functional programming language and proof assistant
Category:
- Unspecified
License:
- MIT and BSD
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 29
^release

Agda

2.5.3 (2.5.3-14.fc29)

Summary:
A dependently typed functional programming language and proof assistant
Category:
- Unspecified
License:
- MIT and BSD
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 30
^release

Agda

2.5.4.2 (2.5.4.2-17.fc30)

Summary:
A dependently typed functional programming language and proof assistant
Category:
- Unspecified
License:
- MIT and BSD
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 31
^release

Agda

2.6.0.1 (2.6.0.1-19.fc31)

Summary:
A dependently typed functional programming language and proof assistant
Category:
- Unspecified
License:
- MIT and BSD
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 32
^release

Agda

2.6.0.1 (2.6.0.1-21.fc32)

Summary:
A dependently typed functional programming language and proof assistant
Category:
- Unspecified
License:
- MIT and BSD
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 32
^updates

Agda

2.6.0.1 (2.6.0.1-24.fc32)

Summary:
A dependently typed functional programming language and proof assistant
Category:
- Unspecified
License:
- MIT and BSD
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 33
^release

Agda

2.6.1 (2.6.1-28.fc33)

Summary:
A dependently typed functional programming language and proof assistant
Category:
- Unspecified
License:
- MIT and BSD
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 34
^release

Agda

2.6.1 (2.6.1-30.fc34)

Summary:
A dependently typed functional programming language and proof assistant
Category:
- Unspecified
License:
- MIT and BSD
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 35
^release

Agda

2.6.2 (2.6.2-32.fc35)

Summary:
A dependently typed functional programming language and proof assistant
Category:
- Unspecified
License:
- MIT and BSD
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 36
^release

Agda

2.6.2.1 (2.6.2.1-35.fc36)

Summary:
A dependently typed functional programming language and proof assistant
Category:
- Unspecified
License:
- MIT and BSD
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 37
^release

Agda

2.6.2.2 (2.6.2.2-37.fc37)

Summary:
A dependently typed functional programming language and proof assistant
Category:
- Unspecified
License:
- MIT and BSD
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 38
^release

Agda

2.6.2.2 (2.6.2.2-38.fc38)

Summary:
A dependently typed functional programming language and proof assistant
Category:
- Unspecified
License:
- MIT and BSD-3-Clause
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 39
^development

Agda

2.6.3 (2.6.3-40.fc39)

Summary:
A dependently typed functional programming language and proof assistant
Category:
- Unspecified
License:
- MIT and BSD-3-Clause
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora Rawhide
^development

Agda

2.6.3 (2.6.3-40.fc39)

Summary:
A dependently typed functional programming language and proof assistant
Category:
- Unspecified
License:
- MIT and BSD-3-Clause
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

FreeBSD Ports

math/hs-Agda

2.6.3 (2.6.3_1)

Summary:
Dependently typed functional programming language and proof assistant
Maintainer:
- haskell@freebsd.org
Category:
- math
Link(s):

GNU Guix

agda

2.6.3

Summary:
Dependently typed functional programming language and proof assistant
Link(s):

Hackage

Agda

2.6.3

Summary:
A dependently typed functional programming language and proof assistant
Category:
- Dependent types
License:
- OtherLicense
Link(s):

Homebrew

agda

HEAD

Summary:
Dependently typed functional programming language
Link(s):

Homebrew

agda

2.6.3

Summary:
Dependently typed functional programming language
Link(s):

Kali Linux Rolling
^main

agda

2.6.2.2 (2.6.2.2-1.1)

Maintainer:
- pkg-haskell-maintainers@lists.alioth.debian.org
Category:
- haskell
Link(s):
- Upstream homepage^{ok, no IPv6}

Manjaro Stable
^extra

agda

2.6.3 (2.6.3-19)

Summary:
A dependently typed functional programming language and proof assistant
License:
- custom
Link(s):
- Upstream homepage^{ok, no IPv6}

Manjaro Testing
^extra

agda

2.6.3 (2.6.3-22)

Summary:
A dependently typed functional programming language and proof assistant
License:
- custom
Link(s):
- Upstream homepage^{ok, no IPv6}

Manjaro Unstable
^extra

agda

2.6.3 (2.6.3-22)

Summary:
A dependently typed functional programming language and proof assistant
License:
- custom
Link(s):
- Upstream homepage^{ok, no IPv6}

nixpkgs stable 21.11

Agda

2.6.2

Summary:
A dependently typed functional programming language and proof assistant
Maintainers:
- ab@fmap.me
- programming@manuelbaerenz.de
Category:
- haskellPackages
License:
- unknown
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

nixpkgs stable 22.05

Agda

2.6.2.2

Summary:
A dependently typed functional programming language and proof assistant
Maintainers:
- ab@fmap.me
- programming@manuelbaerenz.de
Category:
- haskellPackages
License:
- unknown
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

nixpkgs stable 22.11

Agda

2.6.2.2

Summary:
A dependently typed functional programming language and proof assistant
Maintainers:
- ab@fmap.me
- programming@manuelbaerenz.de
Category:
- haskellPackages
License:
- unknown
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

nixpkgs stable 23.05

Agda

2.6.3

Summary:
A dependently typed functional programming language and proof assistant
Maintainers:
Category:
- haskellPackages
License:
- unknown
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

nixpkgs unstable

Agda

2.6.3

Summary:
A dependently typed functional programming language and proof assistant
Maintainers:
Category:
- haskellPackages
License:
- unknown
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

openSUSE Leap 15.0
^main/oss

Agda

2.5.2 (2.5.2-lp150.1.17)

Summary:
A dependently typed functional programming language and proof assistant
Category:
- Development/Languages/Other
License:
- MIT AND BSD-3-Clause
Link(s):

Parabola
^extra

agda

2.6.3 (2.6.3-22)

Summary:
A dependently typed functional programming language and proof assistant
License:
- custom
Link(s):
- Package page^ok
- Upstream homepage^{ok, no IPv6}

Pardus 21
^main

agda

2.6.1 (2.6.1-1)

Maintainer:
- pkg-haskell-maintainers@lists.alioth.debian.org
Category:
- haskell
Link(s):
- Upstream homepage^{ok, no IPv6}

Parrot
^parrot/main

agda

2.6.1 (2.6.1-1)

Maintainer:
- pkg-haskell-maintainers@lists.alioth.debian.org
Category:
- haskell
Link(s):
- Upstream homepage^{ok, no IPv6}

Parrot
^{parrot-updates/main}

agda

2.6.1 (2.6.1-1)

Maintainer:
- pkg-haskell-maintainers@lists.alioth.debian.org
Category:
- haskell
Link(s):
- Upstream homepage^{ok, no IPv6}

PureOS Amber

agda

2.5.4.1 (2.5.4.1-3)

Maintainer:
- pkg-haskell-maintainers@lists.alioth.debian.org
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

PureOS landing

agda

2.6.2.2 (2.6.2.2-1.1)

Maintainer:
- pkg-haskell-maintainers@lists.alioth.debian.org
Category:
- misc
Link(s):
- Upstream homepage^{ok, no IPv6}

Raspbian Oldstable
^main

agda

2.6.1 (2.6.1-1)

Maintainer:
- pkg-haskell-maintainers@lists.alioth.debian.org
Category:
- haskell
Link(s):
- Upstream homepage^{ok, no IPv6}

Raspbian Stable
^main

agda

2.6.2.2 (2.6.2.2-1.1)

Maintainer:
- pkg-haskell-maintainers@lists.alioth.debian.org
Category:
- haskell
Link(s):
- Upstream homepage^{ok, no IPv6}

Raspbian Testing
^main

agda

2.6.2.2 (2.6.2.2-1.1)

Maintainer:
- pkg-haskell-maintainers@lists.alioth.debian.org
Category:
- haskell
Link(s):
- Upstream homepage^{ok, no IPv6}

Stackage LTS Haskell

Agda

2.6.3

Summary:
A dependently typed functional programming language and proof assistant
Link(s):
- Project page^{ok, no IPv6}

Stackage Nightly

Agda

2.6.3

Summary:
A dependently typed functional programming language and proof assistant
Link(s):
- Project page^{ok, no IPv6}

Trisquel 10.0
^nabia/main

agda

2.6.0.1 (2.6.0.1-1build4)

Maintainer:
- ubuntu-devel-discuss@lists.ubuntu.com
Category:
- universe/haskell
Link(s):
- Package page^ok
- Upstream homepage^{redir, no IPv6}

Trisquel 11.0
^aramo/main

agda

2.6.1 (2.6.1-1build2.1)

Maintainer:
- ubuntu-devel-discuss@lists.ubuntu.com
Category:
- universe/haskell
Link(s):
- Package page^ok
- Upstream homepage^{ok, no IPv6}

Ubuntu 14.04
^{trusty/universe}

agda

2.3.2.2 (2.3.2.2-1)

Ubuntu 16.04
^{xenial/universe}

agda

2.4.2.5 (2.4.2.5-1build1)

Ubuntu 18.04
^{bionic/universe}

agda

2.5.3 (2.5.3-3build1)

Ubuntu 20.04
^{focal/universe}

agda

2.6.0.1 (2.6.0.1-1build4)

Maintainer:
- ubuntu-devel-discuss@lists.ubuntu.com
Category:
- universe/haskell
Link(s):

Ubuntu 22.04
^{jammy/universe}

agda

2.6.1 (2.6.1-1build2.1)

Maintainer:
- ubuntu-devel-discuss@lists.ubuntu.com
Category:
- universe/haskell
Link(s):

Ubuntu 23.04
^{lunar/universe}

agda

2.6.2.2 (2.6.2.2-1.1build1)

Maintainer:
- pkg-haskell-maintainers@lists.alioth.debian.org
Category:
- universe/haskell
Link(s):

Ubuntu 23.10
^{mantic/universe}

agda

2.6.2.2 (2.6.2.2-1.1build1)

Maintainer:
- pkg-haskell-maintainers@lists.alioth.debian.org
Category:
- universe/haskell
Link(s):

Wikidata

Agda

2.6.3

Summary:
dependently typed, purely functional programming language and proof assistant
License:
- BSD licenses
Link(s):

Packages for agda

agda

agda

agda

agda-bin-git

agda-git

agda

agda

agda

agda

agda

agda

agda

agda

agda

ghc-Agda

Agda

Agda

Agda

Agda

Agda

Agda

Agda

Agda

Agda

Agda

Agda

Agda

Agda

Agda

Agda

Agda

Agda

Agda

Agda

Agda

math/hs-Agda

agda

Agda

agda

agda

agda

agda

agda

agda

Agda

Agda

Agda

Agda

Agda

Agda

agda

agda

agda

agda

agda

agda

agda

agda

agda

Agda

Agda

agda

agda

agda

agda

agda

agda

agda

agda

agda

Agda