{"name":"python313Packages.leanclient","version":"0.10.0","summary":"Python client for the Lean theorem prover LSP","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2"},"attr_path":"python313Packages.leanclient"},"last_updated":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/kjl2h1mff7z1dcm0f4pl6ams8z0g8vf9-python3.13-leanclient-0.10.0","default":true},{"name":"dist","path":"/nix/store/2m5azpljswqlyvw9zjqxnavcxffdcrd8-python3.13-leanclient-0.10.0-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2"},"attr_path":"python313Packages.leanclient"},"last_updated":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/yb4mk4xmglhsq4g3zhx904g1y0779bw6-python3.13-leanclient-0.10.0","default":true},{"name":"dist","path":"/nix/store/2r9kji4m7273psfxj9js3c3gj23nmpac-python3.13-leanclient-0.10.0-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2"},"attr_path":"python313Packages.leanclient"},"last_updated":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/n5anv6g86harsvndgq32430kc3n4k03c-python3.13-leanclient-0.10.0","default":true},{"name":"dist","path":"/nix/store/hac8xxvyzmjxcyyr7v4i8jpa9j9am7w7-python3.13-leanclient-0.10.0-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2"},"attr_path":"python313Packages.leanclient"},"last_updated":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/yazh875rvh88i49p247nfx56s6shz3pc-python3.13-leanclient-0.10.0","default":true},{"name":"dist","path":"/nix/store/kzspbayypxn8g6s601wc65mdkdk33p16-python3.13-leanclient-0.10.0-dist"}]}}}