diff options
| author | Eric Seidel <gridaphobe@gmail.com> | 2015-08-14 12:27:27 -0700 |
|---|---|---|
| committer | Eric Seidel <gridaphobe@gmail.com> | 2015-08-14 12:33:35 -0700 |
| commit | 324c0f205a3f907add9e33fb04cb8c5a62424185 (patch) | |
| tree | d98627632dc02e348ea691ba1a6c1d5af9849a1d /pkgs/top-level | |
| parent | 167e54b25786efde22219583ea8468d63af62c16 (diff) | |
emacs-packages: idris-mode 0.9.15 -> 0.9.18
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/emacs-packages.nix | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/pkgs/top-level/emacs-packages.nix b/pkgs/top-level/emacs-packages.nix index 9f0978ffa1a43..0adddf3d5d031 100644 --- a/pkgs/top-level/emacs-packages.nix +++ b/pkgs/top-level/emacs-packages.nix @@ -827,14 +827,13 @@ let self = _self // overrides; idris-mode = melpaBuild rec { pname = "idris-mode"; - version = "0.9.15"; + version = "0.9.18"; src = fetchFromGitHub { owner = "idris-hackers"; repo = "idris-mode"; rev = version; - sha256 = "00pkgk1zxan89i8alsa2dpa9ls7imqk5zb1kbjwzrlbr0gk4smdb"; + sha256 = "11dw2ydlqhqx569wrp56w11rhgvm6mb6mzq2cwsv2vfyjvvawyxg"; }; - packageRequires = [ flycheck ]; meta = { license = gpl3Plus; }; }; |