all options
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Source: agda  ]

Package: agda-mode (2.5.4.1-3)

Links for agda-mode

Screenshot

Debian Resources:

Download Source Package agda:

Maintainer:

External Resources:

Similar packages:

transitional dummy package for elpa-agda2-mode

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

Packages providing agda-mode

elpa-agda2-mode
dependently typed functional programming language — emacs mode

Download agda-mode

Download for all available architectures
Architecture Package Size Installed Size Files
all 114.9 kB122.0 kB [list of files]