agda2-mode-pkg.el

(define-package "agda2-mode" "2.7.0"
  "interactive development for Agda, a dependently typed functional programming language"
  '((emacs "24.3"))) ;; dep defs for `annotation.el` and `eri.el` are not required if they are packaged together