nixsearch
nixsearch / pkg / rocqPackages.vsrocq-language-server / 2.3.3

rocqPackages.vsrocq-language-server 2.3.3

Language server for the vsrocq vscode/codium extension
Linux and macOS last changed

Pin this version

$ devbox add rocqPackages.vsrocq-language-server@2.3.3
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit5b265bda51b42a2a85af0a543c3e57b778b01b7d 
$ nix shell github:NixOS/nixpkgs/5b265bda51b42a2a85af0a543c3e57b778b01b7d#rocqPackages.vsrocq-language-server

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 rocqPackages.vsrocq-language-server 5b265bda51b4
out
/nix/store/jn730mk70zf61si8jd0q94sa7v9mi954-ocaml4.14.2-vsrocq-language-server-2.3.3
aarch64-linux
Linux · arm64		 rocqPackages.vsrocq-language-server 5b265bda51b4
out
/nix/store/96hx738vgrsj1ha8akjij24rqmcgnq5i-ocaml4.14.2-vsrocq-language-server-2.3.3
x86_64-darwin
macOS · x86-64		 rocqPackages.vsrocq-language-server 5b265bda51b4
out
/nix/store/xqif0zxjk1l497y8wdn98bbqk7yxsmj0-ocaml4.14.2-vsrocq-language-server-2.3.3
x86_64-linux
Linux · x86-64		 rocqPackages.vsrocq-language-server 5b265bda51b4
out
/nix/store/q3aix9rh83jmqkn0zwz364fw0bsiccgk-ocaml4.14.2-vsrocq-language-server-2.3.3
← newer: 2.3.4 all 3 releases

JSON: /v2/pkg?name=rocqPackages.vsrocq-language-server · /v2/resolve?name=rocqPackages.vsrocq-language-server&version=2.3.3