el-get/idris-mode.rcp at master - el-get - Gitea: Git with a cup of tea

gitback/el-get

mirror of https://github.com/dimitri/el-get.git synced 2024-09-29 04:58:53 +08:00

Mike McClurg 59f3f185e2 Add recipe for prop-menu, update idris-mode deps

Idris mode reqires prop-menu to be installed, but that package wasn't
availablein el-get. This commit adds a recipe for prop-menu, and updates
the idris-mode recipe to depend on prop-menu.

close #2300

2015-11-28 11:51:08 -05:00

8 lines

256 B

Plaintext

Raw Permalink Blame History

 (:name idris-mode
        :website "https://github.com/idris-hackers/idris-mode"
        :description "Major mode for the Idris language"
        :type github
        :depends (prop-menu)
        :pkgname "idris-hackers/idris-mode"
        :features idris-mode)