agda-mode - 2.5.4.1-3 main

agda-mode has been ELPAfied. See the elpa-agda2-mode package. This
transitional package is safe to remove.

Priority: optional
Section: misc
Suites: amber 
Maintainer: Debian Haskell Group <pkg-haskell-maintainers [꩜] lists.alioth.debian.org>
 
Homepage Source Package
 

Installed Size: 124.9 kB
Architectures: all 

 

Versions

2.5.4.1-3 all