agda
dependently typed functional programming language

general

source
agda (source, haskell)
version
2.3.2.2-1
maint
Debian Haskell Group (a), Iain Lane (u), Kiwamu Okabe (u)
arch
any all
std-ver
3.9.4
VCS
Git (browse)

versions ... ...pool

oldstable
save 2.2.6-7
stable
save 2.3.0.1-2
testing
save 2.3.2.2-1
unstable
save 2.3.2.2-1

todo

problems

  • There were override disparities found in suite unstable:
    • agda-mode: Override says misc - optional, .deb says misc - extra

news RSS

bugs

all bug history graph
3
RC
0
I&N
1
M&W
2
F&P
0

ubuntu ubuntu ...

patch-tracker ...

oldstable
2.2.6-7
stable
2.3.0.1-2
testing
2.3.2.2-1
unstable
2.3.2.2-1