diff options
author | Pascal Wittmann <mail@pascal-wittmann.de> | 2015-05-31 15:51:01 +0200 |
---|---|---|
committer | Pascal Wittmann <mail@pascal-wittmann.de> | 2015-05-31 16:30:24 +0200 |
commit | 8d924455c1ae81d35cdb3ed885984a96c31e9637 (patch) | |
tree | bbbff7eb52737437cee814b2f3b57aafde334323 /pkgs | |
parent | e6ce11f0bd0eb5e9a65a83c7e7eea93fa06dcc3a (diff) |
idris-mode: update from 0.9.15 to 0.9.18
Diffstat (limited to 'pkgs')
-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 a631939b55c70..2e168b3abf7fc 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.15"; + version = "0.9.18"; src = fetchurl { url = "https://github.com/idris-hackers/${pname}/archive/${version}.tar.gz"; - sha256 = "0ag7qqsv64rifk9ncdxv4gyylfbw6c8y2wq610l4pabqv2qrlh9r"; + sha256 = "06rw5lrxqqnw0kni3x9jm73x352d1vb683d41v8x3yzqfa2sxmwg"; }; buildInputs = [ emacs ]; |