{"name":"python313Packages.leanclient","version":"0.12.0","summary":"Python client for the Lean theorem prover LSP","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b6c8664de9b6cc07fe5666a29f91884ba81197c4"},"attr_path":"python313Packages.leanclient"},"last_updated":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/hwz23r6w5n30r1g09sm8nsxcyaaf8070-python3.13-leanclient-0.12.0","default":true},{"name":"dist","path":"/nix/store/ybd3ngb3giz25pbmy77m9cjxxy162xry-python3.13-leanclient-0.12.0-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b6c8664de9b6cc07fe5666a29f91884ba81197c4"},"attr_path":"python313Packages.leanclient"},"last_updated":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/68cxdpidjlakp3pjaijd0ad57325nyk3-python3.13-leanclient-0.12.0","default":true},{"name":"dist","path":"/nix/store/j37mmfmqrr2cik2l05yj329ypnvdiqx1-python3.13-leanclient-0.12.0-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b6c8664de9b6cc07fe5666a29f91884ba81197c4"},"attr_path":"python313Packages.leanclient"},"last_updated":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/18zb9fggpcm4r44pr124rvy8yv7xlx86-python3.13-leanclient-0.12.0","default":true},{"name":"dist","path":"/nix/store/w98hdn3bal662aa9w7y0cjfn5hmhzdms-python3.13-leanclient-0.12.0-dist"}]}}}