Agda-2.6.2.2: src/data/emacs-mode/agda2-mode-pkg.el
(define-package "agda2-mode" "2.6.2.2" "interactive development for Agda, a dependently typed functional programming language" '((emacs "24.3") (annotation "1.0") (eri "1.0")))
(define-package "agda2-mode" "2.6.2.2" "interactive development for Agda, a dependently typed functional programming language" '((emacs "24.3") (annotation "1.0") (eri "1.0")))