Search in specific suite: [hardy] [hardy-updates] [hardy-backports] [lucid] [lucid-updates] [lucid-backports] [natty] [natty-updates] [natty-backports] [oneiric] [oneiric-updates] [oneiric-backports] [precise] [precise-updates] [precise-backports] [quantal]
Limit search to a specific architecture: [i386] [amd64] [powerpc] [armel]
You have searched for packages that names contain agda-mode in all suites, all sections, and all architectures. Found 1 matching packages.
Exact hits
Package agda-mode
- lucid (misc):
the emacs mode for Agda [universe]
2.2.6-3: all - natty (misc):
the emacs mode for Agda [universe]
2.2.10-1~ubuntu1: all - oneiric (misc):
dependently typed functional programming language — emacs mode [universe]
2.2.10-3build1: all - precise (misc):
dependently typed functional programming language — emacs mode [universe]
2.3.0.1-1build2: all - quantal (misc):
dependently typed functional programming language — emacs mode [universe]
2.3.0.1-1build2: all