haskell-language-server: 0.6.0rc -> 0.6.0
This commit is contained in:
parent
bf29c147c3
commit
13f96d5d65
@ -12,11 +12,11 @@
|
|||||||
}:
|
}:
|
||||||
mkDerivation {
|
mkDerivation {
|
||||||
pname = "haskell-language-server";
|
pname = "haskell-language-server";
|
||||||
version = "0.5.1.0";
|
version = "0.6.0.0";
|
||||||
src = fetchgit {
|
src = fetchgit {
|
||||||
url = "https://github.com/haskell/haskell-language-server.git";
|
url = "https://github.com/haskell/haskell-language-server.git";
|
||||||
sha256 = "1w15p988a5h11fcp25lllaj7j78f35gzg5bixy1vs7ld0p6jj7n9";
|
sha256 = "027fq6752024wzzq9izsilm5lkq9gmpxf82rixbimbijw0yk4pwj";
|
||||||
rev = "8682517e9ff92caa35e727e28445896f97c61e8d";
|
rev = "372a12e797069dc3ac4fa33dcaabe3b992999d7c";
|
||||||
fetchSubmodules = true;
|
fetchSubmodules = true;
|
||||||
};
|
};
|
||||||
isLibrary = true;
|
isLibrary = true;
|
||||||
|
@ -10,8 +10,8 @@ mkDerivation {
|
|||||||
version = "0.1.0.0";
|
version = "0.1.0.0";
|
||||||
src = fetchgit {
|
src = fetchgit {
|
||||||
url = "https://github.com/haskell/haskell-language-server.git";
|
url = "https://github.com/haskell/haskell-language-server.git";
|
||||||
sha256 = "1w15p988a5h11fcp25lllaj7j78f35gzg5bixy1vs7ld0p6jj7n9";
|
sha256 = "027fq6752024wzzq9izsilm5lkq9gmpxf82rixbimbijw0yk4pwj";
|
||||||
rev = "8682517e9ff92caa35e727e28445896f97c61e8d";
|
rev = "372a12e797069dc3ac4fa33dcaabe3b992999d7c";
|
||||||
fetchSubmodules = true;
|
fetchSubmodules = true;
|
||||||
};
|
};
|
||||||
postUnpack = "sourceRoot+=/plugins/hls-hlint-plugin; echo source root reset to $sourceRoot";
|
postUnpack = "sourceRoot+=/plugins/hls-hlint-plugin; echo source root reset to $sourceRoot";
|
||||||
|
@ -10,8 +10,8 @@ mkDerivation {
|
|||||||
version = "0.5.1.0";
|
version = "0.5.1.0";
|
||||||
src = fetchgit {
|
src = fetchgit {
|
||||||
url = "https://github.com/haskell/haskell-language-server.git";
|
url = "https://github.com/haskell/haskell-language-server.git";
|
||||||
sha256 = "1w15p988a5h11fcp25lllaj7j78f35gzg5bixy1vs7ld0p6jj7n9";
|
sha256 = "027fq6752024wzzq9izsilm5lkq9gmpxf82rixbimbijw0yk4pwj";
|
||||||
rev = "8682517e9ff92caa35e727e28445896f97c61e8d";
|
rev = "372a12e797069dc3ac4fa33dcaabe3b992999d7c";
|
||||||
fetchSubmodules = true;
|
fetchSubmodules = true;
|
||||||
};
|
};
|
||||||
postUnpack = "sourceRoot+=/plugins/tactics; echo source root reset to $sourceRoot";
|
postUnpack = "sourceRoot+=/plugins/tactics; echo source root reset to $sourceRoot";
|
||||||
|
Loading…
x
Reference in New Issue
Block a user