diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -1,13 +1,14 @@ +# Maintainer: Michał Wojdyła < micwoj9292 at gmail dot com # Contributor: Mort Yao <soi@mort.ninja> pkgname=emacs-idris-mode-git pkgver=20150609 -pkgrel=1 +pkgrel=2 pkgdesc="Major mode for editing Idris." arch=('any') url="https://github.com/idris-hackers/idris-mode" license=('GPL3') -depends=('emacs') +depends=('emacs' 'emacs-prop-menu') makedepends=('git') provides=('emacs-idris-mode') replaces=('emacs-idris-mode') |