/pkgs/development/coq-modules/vscoq-language-server/
../
default.nix