From acdc9370f5bceb1f8fdadc0b096cb6b6e888125f Mon Sep 17 00:00:00 2001
From: Eric Seidel <gridaphobe@gmail.com>
Date: Wed, 2 Sep 2015 12:13:57 -0700
Subject: [PATCH] emacs-packages: idris-mode 0.9.18 -> 0.9.19

---
 pkgs/top-level/emacs-packages.nix | 17 +++++++++++++++--
 1 file changed, 15 insertions(+), 2 deletions(-)

diff --git a/pkgs/top-level/emacs-packages.nix b/pkgs/top-level/emacs-packages.nix
index 4e03c300448f..6ec01551aed6 100644
--- a/pkgs/top-level/emacs-packages.nix
+++ b/pkgs/top-level/emacs-packages.nix
@@ -828,13 +828,14 @@ let self = _self // overrides;
 
   idris-mode = melpaBuild rec {
     pname   = "idris-mode";
-    version = "0.9.18";
+    version = "0.9.19";
     src = fetchFromGitHub {
       owner  = "idris-hackers";
       repo   = "idris-mode";
       rev    = version;
-      sha256 = "11dw2ydlqhqx569wrp56w11rhgvm6mb6mzq2cwsv2vfyjvvawyxg";
+      sha256 = "0iwgbaq2797k1f7ql86i2pjfa67cha4s2v0mgmrd0qcgqkxsdq92";
     };
+    packageRequires = [ prop-menu ];
     meta = { license = gpl3Plus; };
   };
 
@@ -1105,6 +1106,18 @@ let self = _self // overrides;
     meta = { license = gpl3Plus; };
   };
 
+  prop-menu = melpaBuild rec {
+    pname   = "prop-menu";
+    version = "0.1.2";
+    src = fetchFromGitHub {
+      owner  = "david-christiansen";
+      repo   = "${pname}-el";
+      rev    = version;
+      sha256 = "18ap2liz5r5a8ja2zz9182fnfm47jnsbyblpq859zks356k37iwc";
+    };
+    meta = { license = gpl3Plus; };
+  };
+
   rainbow-delimiters = melpaBuild rec {
     pname = "rainbow-delimiters";
     version = "2.1.1";