{"name":"rocqPackages.vsrocq-language-server","summary":"Language server for the vsrocq vscode/codium extension","description":"","homepage_url":"https://github.com/rocq-prover/vsrocq","license":"MIT","attribute_paths":["rocqPackages.vsrocq-language-server"],"releases":[{"version":"2.4.3","last_updated":"2026-08-14T15:04:01Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"rocqPackages.vsrocq-language-server","commit_hash":"8be7bd0c83f12e2e3bbba07c9044d6fed9e66f7f","date":"2026-08-14T15:04:01Z","outputs":[{"name":"out","path":"/nix/store/fhnn2b94b6jzn60rwqyr7hvamyds5i13-ocaml4.14.4-vsrocq-language-server-2.4.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"rocqPackages.vsrocq-language-server","commit_hash":"8be7bd0c83f12e2e3bbba07c9044d6fed9e66f7f","date":"2026-08-14T15:04:01Z","outputs":[{"name":"out","path":"/nix/store/27v3h3qwnmnpfnn21z057f34irg4wiim-ocaml4.14.4-vsrocq-language-server-2.4.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"rocqPackages.vsrocq-language-server","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/57x8gd26k25haa7r5qcy3xsxw4dj6r5n-ocaml4.14.4-vsrocq-language-server-2.4.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"rocqPackages.vsrocq-language-server","commit_hash":"8be7bd0c83f12e2e3bbba07c9044d6fed9e66f7f","date":"2026-08-14T15:04:01Z","outputs":[{"name":"out","path":"/nix/store/ibp5djiqz4r0x0wwn194ydv9rvvhi5ia-ocaml4.14.4-vsrocq-language-server-2.4.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.3.4","last_updated":"2026-05-21T08:15:18Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"rocqPackages.vsrocq-language-server","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/90mywf6fza2nc5nwcs56p8d585zn2j7l-ocaml4.14.3-vsrocq-language-server-2.3.4","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"rocqPackages.vsrocq-language-server","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/vh4zm9g5g2wxq4g6v6mag9nvzvmkjikh-ocaml4.14.3-vsrocq-language-server-2.3.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"rocqPackages.vsrocq-language-server","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/2n3jpxb7hbvcf3aig2586d4af6gybm1l-ocaml4.14.3-vsrocq-language-server-2.3.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"rocqPackages.vsrocq-language-server","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/f5cc3q1ylsk7rsrglbgs6rfhrdl4ni2i-ocaml4.14.3-vsrocq-language-server-2.3.4","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.3.3","last_updated":"2026-01-26T09:54:05Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"rocqPackages.vsrocq-language-server","commit_hash":"5b265bda51b42a2a85af0a543c3e57b778b01b7d","date":"2026-01-26T09:54:05Z","outputs":[{"name":"out","path":"/nix/store/jn730mk70zf61si8jd0q94sa7v9mi954-ocaml4.14.2-vsrocq-language-server-2.3.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"rocqPackages.vsrocq-language-server","commit_hash":"5b265bda51b42a2a85af0a543c3e57b778b01b7d","date":"2026-01-26T09:54:05Z","outputs":[{"name":"out","path":"/nix/store/96hx738vgrsj1ha8akjij24rqmcgnq5i-ocaml4.14.2-vsrocq-language-server-2.3.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"rocqPackages.vsrocq-language-server","commit_hash":"5b265bda51b42a2a85af0a543c3e57b778b01b7d","date":"2026-01-26T09:54:05Z","outputs":[{"name":"out","path":"/nix/store/xqif0zxjk1l497y8wdn98bbqk7yxsmj0-ocaml4.14.2-vsrocq-language-server-2.3.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"rocqPackages.vsrocq-language-server","commit_hash":"5b265bda51b42a2a85af0a543c3e57b778b01b7d","date":"2026-01-26T09:54:05Z","outputs":[{"name":"out","path":"/nix/store/q3aix9rh83jmqkn0zwz364fw0bsiccgk-ocaml4.14.2-vsrocq-language-server-2.3.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}