diff options
author | Mathijs Kwik <mathijs@bluescreen303.nl> | 2014-07-21 11:24:40 +0200 |
---|---|---|
committer | Mathijs Kwik <mathijs@bluescreen303.nl> | 2014-08-25 13:56:52 +0200 |
commit | 3be7d4b4782430c4f9d7299944b39c6eb6881042 (patch) | |
tree | 6c712d86eb0f4cc45610a55198e11ef51053f467 | |
parent | e7b2e13ff4205ece1a4c5655c8bb101b694cb63b (diff) |
idris-mode: upgrade to 0.9.14
-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 28375dcb68df5..4e9d1cfd77cdd 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.13.1"; + version = "0.9.14"; src = fetchurl { url = "https://github.com/idris-hackers/${pname}/archive/${version}.tar.gz"; - sha256 = "0ymjbkwsq7qra691wyldw91xcdgrbx3468vvrha5jj92v7nwb8wx"; + sha256 = "1qlkbf14mcibp6h5r84fp5xdjspyaw1xdmnkmaxbypwjhhjg4s83"; }; buildInputs = [ emacs ]; |