diff options
author | Mathijs Kwik <mathijs@bluescreen303.nl> | 2014-11-05 17:44:44 +0100 |
---|---|---|
committer | Mathijs Kwik <mathijs@bluescreen303.nl> | 2014-11-05 18:28:59 +0100 |
commit | 8913f14a5f925b7db05740e2032dd79ae9217809 (patch) | |
tree | 34437bc8bf6b12d92a4d30ca0cd14554db8335dc | |
parent | 02c37c1027213b439f9fed642696f281872ee704 (diff) |
emacs-idris-mode: upgrade to 0.9.15
-rw-r--r-- | pkgs/applications/editors/emacs-modes/idris/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/editors/emacs-modes/idris/default.nix b/pkgs/applications/editors/emacs-modes/idris/default.nix index 4e9d1cfd77cdd..a631939b55c70 100644 --- a/pkgs/applications/editors/emacs-modes/idris/default.nix +++ b/pkgs/applications/editors/emacs-modes/idris/default.nix @@ -3,11 +3,11 @@ stdenv.mkDerivation rec { name = "${pname}-${version}"; pname = "idris-mode"; - version = "0.9.14"; + version = "0.9.15"; src = fetchurl { url = "https://github.com/idris-hackers/${pname}/archive/${version}.tar.gz"; - sha256 = "1qlkbf14mcibp6h5r84fp5xdjspyaw1xdmnkmaxbypwjhhjg4s83"; + sha256 = "0ag7qqsv64rifk9ncdxv4gyylfbw6c8y2wq610l4pabqv2qrlh9r"; }; buildInputs = [ emacs ]; |