dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

idris-mode: upgrade to current version

Browse Source
This commit is contained in:
Mathijs Kwik 2014-03-02 08:17:22 +01:00
parent 405ea01e67
commit d2dd22651d
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/applications/editors/emacs-modes/idris/default.nix
View File

@ -1,12 +1,12 @@
{ stdenv, fetchgit, emacs }: { stdenv, fetchgit, emacs }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "idris-mode-20140106"; name = "idris-mode-20140223";
src = fetchgit { src = fetchgit {
url = https://github.com/idris-hackers/idris-mode.git; url = https://github.com/idris-hackers/idris-mode.git;
rev = "47df65dd5b554c1d7cf70a07c3bd06d80867f870"; rev = "486470533e74c55192e92a1afa050475915ee1e7";
sha256 = "55df66d1bace134bea83f0547e01daf068fc96dc080cf88ea8945ddcb2d08ea4"; sha256 = "ff2e6bd8fbf421e8f2db0789d2ff56c5103775b911b99bab64e4652d332bad43";
}; };
buildInputs = [ emacs ]; buildInputs = [ emacs ];