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

rocqPackages.vsrocq-language-server 2.3.4

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

Pin this version

$ devbox add rocqPackages.vsrocq-language-server@2.3.4
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit4a29d733e8a7d5b824c3d8c958a946a9867b3eb2 
$ nix shell github:NixOS/nixpkgs/4a29d733e8a7d5b824c3d8c958a946a9867b3eb2#rocqPackages.vsrocq-language-server

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 rocqPackages.vsrocq-language-server 4a29d733e8a7
out
/nix/store/90mywf6fza2nc5nwcs56p8d585zn2j7l-ocaml4.14.3-vsrocq-language-server-2.3.4
aarch64-linux
Linux · arm64		 rocqPackages.vsrocq-language-server 4a29d733e8a7
out
/nix/store/vh4zm9g5g2wxq4g6v6mag9nvzvmkjikh-ocaml4.14.3-vsrocq-language-server-2.3.4
x86_64-darwin
macOS · x86-64		 rocqPackages.vsrocq-language-server 4a29d733e8a7
out
/nix/store/2n3jpxb7hbvcf3aig2586d4af6gybm1l-ocaml4.14.3-vsrocq-language-server-2.3.4
x86_64-linux
Linux · x86-64		 rocqPackages.vsrocq-language-server 4a29d733e8a7
out
/nix/store/f5cc3q1ylsk7rsrglbgs6rfhrdl4ni2i-ocaml4.14.3-vsrocq-language-server-2.3.4
← newer: 2.4.3 all 3 releases older: 2.3.3 →

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