{"name":"rocqPackages.vsrocq-language-server","version":"2.3.3","summary":"Language server for the vsrocq vscode/codium extension","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5b265bda51b42a2a85af0a543c3e57b778b01b7d"},"attr_path":"rocqPackages.vsrocq-language-server"},"last_updated":"2026-01-26T09:54:05Z","outputs":[{"name":"out","path":"/nix/store/jn730mk70zf61si8jd0q94sa7v9mi954-ocaml4.14.2-vsrocq-language-server-2.3.3","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5b265bda51b42a2a85af0a543c3e57b778b01b7d"},"attr_path":"rocqPackages.vsrocq-language-server"},"last_updated":"2026-01-26T09:54:05Z","outputs":[{"name":"out","path":"/nix/store/96hx738vgrsj1ha8akjij24rqmcgnq5i-ocaml4.14.2-vsrocq-language-server-2.3.3","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5b265bda51b42a2a85af0a543c3e57b778b01b7d"},"attr_path":"rocqPackages.vsrocq-language-server"},"last_updated":"2026-01-26T09:54:05Z","outputs":[{"name":"out","path":"/nix/store/xqif0zxjk1l497y8wdn98bbqk7yxsmj0-ocaml4.14.2-vsrocq-language-server-2.3.3","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5b265bda51b42a2a85af0a543c3e57b778b01b7d"},"attr_path":"rocqPackages.vsrocq-language-server"},"last_updated":"2026-01-26T09:54:05Z","outputs":[{"name":"out","path":"/nix/store/q3aix9rh83jmqkn0zwz364fw0bsiccgk-ocaml4.14.2-vsrocq-language-server-2.3.3","default":true}]}}}