{"name":"rocqPackages.vsrocq-language-server","version":"2.4.3","summary":"Language server for the vsrocq vscode/codium extension","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b47ad65d73ab65ded9ab408fe558866d71defee8"},"attr_path":"rocqPackages.vsrocq-language-server"},"last_updated":"2026-08-18T11:35:56Z","outputs":[{"name":"out","path":"/nix/store/fhnn2b94b6jzn60rwqyr7hvamyds5i13-ocaml4.14.4-vsrocq-language-server-2.4.3","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b47ad65d73ab65ded9ab408fe558866d71defee8"},"attr_path":"rocqPackages.vsrocq-language-server"},"last_updated":"2026-08-18T11:35:56Z","outputs":[{"name":"out","path":"/nix/store/27v3h3qwnmnpfnn21z057f34irg4wiim-ocaml4.14.4-vsrocq-language-server-2.4.3","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"rocqPackages.vsrocq-language-server"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/57x8gd26k25haa7r5qcy3xsxw4dj6r5n-ocaml4.14.4-vsrocq-language-server-2.4.3","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b47ad65d73ab65ded9ab408fe558866d71defee8"},"attr_path":"rocqPackages.vsrocq-language-server"},"last_updated":"2026-08-18T11:35:56Z","outputs":[{"name":"out","path":"/nix/store/ibp5djiqz4r0x0wwn194ydv9rvvhi5ia-ocaml4.14.4-vsrocq-language-server-2.4.3","default":true}]}}}