emacs-idris-mode: upgrade to 0.9.15
This commit is contained in:
parent
02c37c1027
commit
8913f14a5f
@ -3,11 +3,11 @@
|
||||
stdenv.mkDerivation rec {
|
||||
name = "${pname}-${version}";
|
||||
pname = "idris-mode";
|
||||
version = "0.9.14";
|
||||
version = "0.9.15";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/idris-hackers/${pname}/archive/${version}.tar.gz";
|
||||
sha256 = "1qlkbf14mcibp6h5r84fp5xdjspyaw1xdmnkmaxbypwjhhjg4s83";
|
||||
sha256 = "0ag7qqsv64rifk9ncdxv4gyylfbw6c8y2wq610l4pabqv2qrlh9r";
|
||||
};
|
||||
|
||||
buildInputs = [ emacs ];
|
||||
|
Loading…
x
Reference in New Issue
Block a user