agda
dependently typed functional programming language

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/agda

general

source
agda (source, haskell)
version
2.6.0.1-1
maint
Debian Haskell Group (a)
arch
any all
std-ver
4.4.0
VCS
Git (browse)

todo

problems

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

testing migration

  • This package is part of the ongoing testing transition known as auto-libffi. Please avoid uploads unrelated to this transition, they would likely delay it and require supplementary work from the release managers. On the other hand, if your package has problems preventing it to migrate to testing, please fix them as soon as possible. You can probably find supplementary information in the debian-release archives or in the corresponding release.debian.org bug.

news RSS

bugs

all bug history graph
6
RC
0
I&N
4
M&W
2
F&P
0
Ubu
1