nixsearch / pkg / rocqPackages.vsrocq-language-server
rocqPackages.vsrocq-language-server
Language server for the vsrocq vscode/codium extension
version2.4.3
attributerocqPackages.vsrocq-language-server
rev
systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux
aarch64-darwin b47ad65d73ab65ded9ab408fe558866d71defee8 aarch64-linux b47ad65d73ab65ded9ab408fe558866d71defee8 x86_64-darwin 3d46470bb3030020f7e1361f33514854f5bfa86d x86_64-linux b47ad65d73ab65ded9ab408fe558866d71defee8 $ devbox add rocqPackages.vsrocq-language-server@2.4.3
$ nix shell github:NixOS/nixpkgs/b47ad65d73ab65ded9ab408fe558866d71defee8#rocqPackages.vsrocq-language-server # aarch64-darwin
$ nix shell github:NixOS/nixpkgs/b47ad65d73ab65ded9ab408fe558866d71defee8#rocqPackages.vsrocq-language-server # aarch64-linux
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#rocqPackages.vsrocq-language-server # x86_64-darwin
$ nix shell github:NixOS/nixpkgs/b47ad65d73ab65ded9ab408fe558866d71defee8#rocqPackages.vsrocq-language-server # x86_64-linux
JSON: /v2/resolve?name=rocqPackages.vsrocq-language-server&version=latest
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 2.4.3resolved | ✓ | ✓ | ✓ | ✓ | rocqPackages.vsrocq-language-server |
varies | ||
| 2.3.4 | ✓ | ✓ | ✓ | ✓ | rocqPackages.vsrocq-language-server |
4a29d733e8 | ||
| 2.3.3 | ✓ | ✓ | ✓ | ✓ | rocqPackages.vsrocq-language-server |
5b265bda51 |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.