{"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":"f45c6f04c2f013f004bf94e284e95d72898d9393"},"attr_path":"python313Packages.leanclient"},"last_updated":"2026-09-28T13:04:38Z","outputs":[{"name":"out","path":"/nix/store/jpwnfm042hwkhzw2pl5ab1sdxvrd97l6-python3.13-leanclient-0.12.0","default":true},{"name":"dist","path":"/nix/store/myw5gbxksp28nnwa1c16bsqds9lphlc8-python3.13-leanclient-0.12.0-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f45c6f04c2f013f004bf94e284e95d72898d9393"},"attr_path":"python313Packages.leanclient"},"last_updated":"2026-09-28T13:04:38Z","outputs":[{"name":"out","path":"/nix/store/l5ppcmjgdr5z2c1cv04sijpx1gdlx39p-python3.13-leanclient-0.12.0","default":true},{"name":"dist","path":"/nix/store/kkkvqr2cpj0asnw3cbqhygacpynjv95f-python3.13-leanclient-0.12.0-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f45c6f04c2f013f004bf94e284e95d72898d9393"},"attr_path":"python313Packages.leanclient"},"last_updated":"2026-09-28T13:04:38Z","outputs":[{"name":"out","path":"/nix/store/qv3cascz4jx0qjmyv03ym2dmwqdn3798-python3.13-leanclient-0.12.0","default":true},{"name":"dist","path":"/nix/store/109fbpgn4f22q3b6akwip4jx4c96ag6g-python3.13-leanclient-0.12.0-dist"}]}}}