Skip to content

Commit 8855a92

Browse files
committed
rnls: updated to 0.2.3.0 noci
1 parent 999bfbb commit 8855a92

File tree

2 files changed

+13
-9
lines changed

2 files changed

+13
-9
lines changed

modules/kernels/rust/language_server_rust_analyzer/rnls.nix

+9-5
Original file line numberDiff line numberDiff line change
@@ -18,30 +18,34 @@
1818
# myers-diff = ghc.callPackage ./myers-diff.nix {};
1919
# }
2020

21+
let
22+
version = import ./rnls-version.nix;
23+
in
24+
2125
# Fetch a static binary, only ~5MB
2226
stdenv.mkDerivation {
2327
pname = "rust-notebook-language-server";
24-
version = "0.2.2.0";
28+
inherit version;
2529

2630
src = {
2731
# HASHES_START
2832
"x86_64-linux" = fetchzip {
2933
url = "https://github.com/codedownio/rust-notebook-language-server/releases/download/v0.2.3.0/rust-notebook-language-server-0.2.3.0-x86_64-linux.tar.gz";
30-
sha256 = "";
34+
hash = "sha256-IaNP7VEmuYc6B3axhHN8/hfJPKKUtq1klgrjlZZqEVU=";
3135
};
3236
"x86_64-darwin" = fetchzip {
3337
url = "https://github.com/codedownio/rust-notebook-language-server/releases/download/v0.2.3.0/rust-notebook-language-server-0.2.3.0-x86_64-darwin.tar.gz";
34-
sha256 = "";
38+
hash = "sha256-fNIzPC5vaYtizFxBYCvyCGlDWozi5oAARBio3bGztBk=";
3539
};
3640
"aarch64-darwin" = fetchzip {
3741
url = "https://github.com/codedownio/rust-notebook-language-server/releases/download/v0.2.3.0/rust-notebook-language-server-0.2.3.0-aarch64-darwin.tar.gz";
38-
sha256 = "";
42+
hash = "sha256-KJrH2lmc7nFCTC4zxAJa9ntZW2kobZDUfcI4/yLYbqY=";
3943
};
4044
# HASHES_END
4145
}.${system};
4246

4347
installPhase = ''
4448
mkdir -p $out/bin
45-
cp rust-notebook-language-server-0.2.2.0-${system} $out/bin/rust-notebook-language-server
49+
cp rust-notebook-language-server-${version}-${system} $out/bin/rust-notebook-language-server
4650
'';
4751
}

modules/kernels/rust/language_server_rust_analyzer/rnls_update.sh

+4-4
Original file line numberDiff line numberDiff line change
@@ -12,10 +12,10 @@ NEW_HASHES=$(
1212
1313
echo >&2 "$URL -> $HASH"
1414
15-
echo " \"$system\" = fetchzip {"
16-
echo " url = \"$URL\";"
17-
echo " hash = \"$HASH\";"
18-
echo " });"
15+
echo " \"$system\" = fetchzip {"
16+
echo " url = \"$URL\";"
17+
echo " hash = \"$HASH\";"
18+
echo " };"
1919
done
2020
)
2121

0 commit comments

Comments
 (0)