1 files changed, 2 insertions, 1 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