summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO3
-rw-r--r--PKGBUILD5
2 files changed, 5 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index e7578e1794a6..22c6d67e963a 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,13 +1,14 @@
pkgbase = emacs-idris-mode-git
pkgdesc = Major mode for editing Idris.
pkgver = 20150609
- pkgrel = 1
+ pkgrel = 2
url = https://github.com/idris-hackers/idris-mode
install = emacs-idris-mode-git.install
arch = any
license = GPL3
makedepends = git
depends = emacs
+ depends = emacs-prop-menu
provides = emacs-idris-mode
replaces = emacs-idris-mode
source = git+https://github.com/idris-hackers/idris-mode
diff --git a/PKGBUILD b/PKGBUILD
index 23199410860b..bbd40550d149 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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')