mirror of
https://github.com/ilyakooo0/nixpkgs.git
synced 2024-12-25 04:12:44 +03:00
idris-mode: update from 0.9.15 to 0.9.18
This commit is contained in:
parent
e6ce11f0bd
commit
8d924455c1
@ -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 ];
|
||||
|
Loading…
Reference in New Issue
Block a user