Merge pull request #271169 from jmastr/update-ycmd

ycmd: unstable-2022-08-15 -> unstable-2023-11-06
This commit is contained in:
Emily Trau 2023-12-02 13:16:10 +11:00 committed by GitHub
commit 3ee54c174e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -9,15 +9,15 @@
stdenv.mkDerivation { stdenv.mkDerivation {
pname = "ycmd"; pname = "ycmd";
version = "unstable-2022-08-15"; version = "unstable-2023-11-06";
disabled = !python.isPy3k; disabled = !python.isPy3k;
# required for third_party directory creation # required for third_party directory creation
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "ycm-core"; owner = "ycm-core";
repo = "ycmd"; repo = "ycmd";
rev = "323d4b60f077bd07945f25a60c4584843ca851fb"; rev = "0607eed2bc211f88f82657b7781f4fe66579855b";
sha256 = "sha256-5IpXMQc3QIkKJkUrOPSRzciLvL1nhQw6wlP+pVnIucE="; hash = "sha256-SzEcMQ4lX7NL2/g9tuhA6CaZ8pX/DGs7Fla/gr+RcOU=";
fetchSubmodules = true; fetchSubmodules = true;
}; };