diff options
author | Mathijs Kwik <mathijs@bluescreen303.nl> | 2014-06-12 19:23:48 +0200 |
---|---|---|
committer | Mathijs Kwik <mathijs@bluescreen303.nl> | 2014-06-16 22:43:51 +0200 |
commit | ff995adb0d9a253bdd20f04e5c7805263f2d2b4f (patch) | |
tree | 240e7b589fc8f4edcbda3ec3f03570866cf0e9a1 | |
parent | 8d708ba35ab63d59e4b8b8be854968bb856e24c6 (diff) |
emacs-idris-mode: upgrade to 0.9.13.1
-rw-r--r-- | pkgs/applications/editors/emacs-modes/idris/default.nix | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/pkgs/applications/editors/emacs-modes/idris/default.nix b/pkgs/applications/editors/emacs-modes/idris/default.nix index 8671a926f6773..614a370305109 100644 --- a/pkgs/applications/editors/emacs-modes/idris/default.nix +++ b/pkgs/applications/editors/emacs-modes/idris/default.nix @@ -1,12 +1,13 @@ -{ stdenv, fetchgit, emacs }: +{ stdenv, fetchurl, emacs }: stdenv.mkDerivation rec { - name = "idris-mode-20140405"; + name = "${pname}-${version}"; + pname = "idris-mode"; + version = "0.9.13.1"; - src = fetchgit { - url = https://github.com/idris-hackers/idris-mode.git; - rev = "2e2d18fb757da4b42940ebe2a57d7a117175489f"; - sha256 = "d4b52c6c43c038c94a7464cd9c849cd40c01696c440da8b057c00a9be22f9ac0"; + src = fetchurl { + url = "https://github.com/idris-hackers/${pname}/archive/${version}.tar.gz"; + sha256 = "0ymjbkwsq7qra691wyldw91xcdgrbx3468vvrha5jj92v7nwb8wx"; }; buildInputs = [ emacs ]; |