agda 2.8.0 maintained
A dependently typed functional programming language and proof assistant
- Name
agdaWithPackages-2.8.0- Package set
- top-level
- Homepage
- https://hackage.haskell.org/package/Agda
- License
- MIT
- Main program
agda- Source
- pkgs/development/haskell-modules/generic-builder.nix:1103
- Derivation
/nix/store/29l311lz2yp7p26vzabsxq1qkdh28x8d-agdaWithPackages-2.8.0.drv- Repology
- not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
- Also available as
agdaPackages.agda
Maintainers 3
| Handle | Name | Contact | Via |
|---|---|---|---|
| iblech | Ingo Blechschmidt | GitHub · iblech@speicherleck.de | listed on package |
| ncfavier | Naïm Favier | GitHub · n@monade.li · @ncfavier:matrix.org | listed on package |
| turion | Manuel Bärenz | GitHub · programming@manuelbaerenz.de | listed on package |
Dependencies 4
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| makeWrapper 26.05pre-git | nativeBuildInputs | 76,854 | unmaintained setup hook | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| haskellPackages.Agda 2.8.0 | other input | 25 | maintained outdated | |
| stdenvNoCC 26.05pre-git | other input | 93,950 | team-only |
Used by 8 directly, 12 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| agdaPackages.standard-library 2.3 | buildInputs | 4 | maintained | |
| agdaPackages._1lab 0-unstable-2025-07-01 | buildInputs | 0 | single | |
| agdaPackages.agda-prelude 0-unstable-2024-08-22 | buildInputs | 0 | maintained | |
| agdaPackages.agda2hs-base 1.4 | buildInputs | 0 | single | |
| agdaPackages.cubical 0.9 | buildInputs | 0 | maintained | |
| agdaPackages.cubical-mini 0.5-unstable-2025-06-13 | buildInputs | 0 | single | |
| agdaPackages.iowa-stdlib 1.5.0 | buildInputs | 0 | maintained broken | |
| vimPlugins.vim-agda 2022-09-16-unstable-2024-05-17 | other input | 0 | unmaintained |