master · x86_64-linux · cf9005753f89 · generated 2026-10-08T00:45:57Z

haskellPackages.Agda 2.8.0 maintained outdated

A dependently typed functional programming language and proof assistant

Name
Agda-2.8.0
Package set
haskellPackages
Homepage
https://hackage.haskell.org/package/Agda
License
MIT
Main program
agda
Source
pkgs/development/haskell-modules/hackage-packages.nix:1562
Derivation
/nix/store/1gvaqxdm2psfjx553sgyal7xhgqdl5y1-Agda-2.8.0.drv
Repology
outdated, newest version is 2.8.0.2 · agda (as of 2026-10-08T00:43:59Z)

Maintainers 3

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

PackageAsMaintainersUsed by (transitive)Status
haskellPackages.STMonadTrans 0.4.8.1 propagatedBuildInputs
40 unmaintained
haskellPackages.aeson 2.2.4.1 propagatedBuildInputs
14,960 unmaintained outdated
haskellPackages.ansi-terminal 1.1.5 propagatedBuildInputs
23,125 unmaintained
haskellPackages.async 2.2.6 propagatedBuildInputs
18,138 unmaintained
haskellPackages.blaze-html 0.9.2.0 propagatedBuildInputs
10,140 unmaintained
haskellPackages.boxes 0.1.5 propagatedBuildInputs
97 unmaintained
haskellPackages.case-insensitive 1.2.1.0 propagatedBuildInputs
16,822 unmaintained
haskellPackages.data-hash 0.2.0.1 propagatedBuildInputs
45 unmaintained
haskellPackages.dlist 1.0 propagatedBuildInputs
15,802 unmaintained
haskellPackages.edit-distance 0.2.2.1 propagatedBuildInputs
142 unmaintained
haskellPackages.enummapset 0.7.3.0 propagatedBuildInputs
78 unmaintained
haskellPackages.equivalence 0.4.1.1 propagatedBuildInputs
28 unmaintained
haskellPackages.filelock 0.1.1.9 propagatedBuildInputs
116 unmaintained
haskellPackages.filemanip 0.3.6.3 propagatedBuildInputs
149 unmaintained
haskellPackages.generic-data 1.1.0.2 propagatedBuildInputs
136 unmaintained
haskellPackages.gitrev 1.3.1 propagatedBuildInputs
181 unmaintained
haskellPackages.hashable 1.5.1.0 propagatedBuildInputs
19,321 unmaintained
haskellPackages.monad-control 1.0.3.1 propagatedBuildInputs
12,014 unmaintained
haskellPackages.murmur-hash 0.1.0.11 propagatedBuildInputs
73 unmaintained
haskellPackages.nonempty-containers 0.3.5.0 propagatedBuildInputs
40 unmaintained outdated
haskellPackages.parallel 3.2.2.0 propagatedBuildInputs
13,329 unmaintained
haskellPackages.peano 0.1.1.0 propagatedBuildInputs
44 unmaintained
haskellPackages.pqueue 1.5.0.0 propagatedBuildInputs
83 unmaintained
haskellPackages.process-extras 0.7.4 propagatedBuildInputs
159 unmaintained
haskellPackages.regex-tdfa 1.3.2.5 propagatedBuildInputs
8,740 unmaintained outdated
haskellPackages.split 0.2.5 propagatedBuildInputs
12,846 unmaintained outdated
haskellPackages.strict 0.5.1 propagatedBuildInputs
16,661 unmaintained
haskellPackages.unordered-containers 0.2.20.1 propagatedBuildInputs
18,732 unmaintained
haskellPackages.uri-encode 1.5.0.7 propagatedBuildInputs
83 unmaintained
haskellPackages.vector 0.13.2.0 propagatedBuildInputs
19,736 unmaintained
haskellPackages.vector-hashtables 0.1.2.1 propagatedBuildInputs
ulysses4ever
 29 single
haskellPackages.zlib 0.7.1.1 propagatedBuildInputs
12,459 unmaintained
emacs 31.1 nativeBuildInputs
adisbladis, AndersonTorres, jian-lin, jwiegley, panchoh
 71 maintained
ghc 9.10.3 nativeBuildInputs
cdepillabout, guibou, maralorn, sternenseemann, wolfgangwalther
 27,259 maintained
haskellPackages.alex 3.5.4.2 nativeBuildInputs
9,232 unmaintained
haskellPackages.happy 2.1.7 nativeBuildInputs
13,413 unmaintained
removeReferencesTo nativeBuildInputs
51,801 unmaintained
bashNonInteractive 5.3p15 other input
andir, balsoft, infinisil, pyrox0
 102,175 maintained outdated
coreutils 9.11 other input
andir, balsoft, dasJ, mdaniels5757, pyrox0
 102,165 maintained outdated
glibcLocales 2.44 other input
55,219 unmaintained
stdenv 26.05pre-git other input
90,063 team-only

Used by 12 directly, 25 transitively

PackageAsMaintainersUsed by (transitive)Status
agda 2.8.0 other input
iblech, ncfavier, turion
 12 maintained
haskellPackages.agda-snippets 2.5.2 propagatedBuildInputs
1 unmaintained broken
haskellPackages.Agda-executable 2.3.0.1 buildInputs
0 unmaintained broken
haskellPackages.PandocAgda 2.3.3.0.2 propagatedBuildInputs
0 unmaintained broken
haskellPackages.agda-language-server 0.2.6.3.0 propagatedBuildInputs
0 unmaintained broken outdated
haskellPackages.agda-server 0.1.1 buildInputs
0 unmaintained
haskellPackages.agda-unused 0.3.0 propagatedBuildInputs
0 unmaintained broken
haskellPackages.agda2hs 1.4 buildInputs
ncfavier
 0 single
haskellPackages.agda2train 0.0.3.0 buildInputs
0 unmaintained broken
haskellPackages.blagda 0.1.0.1 propagatedBuildInputs
0 unmaintained broken
haskellPackages.hakyll-agda 0.1.13 propagatedBuildInputs
0 unmaintained broken
haskellPackages.proof-assistant-bot 0.2.2 propagatedBuildInputs
0 unmaintained broken