{"name":"python313Packages.leanclient","version":"0.9.4","summary":"Python client for the Lean theorem prover LSP","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30"},"attr_path":"python313Packages.leanclient"},"last_updated":"2026-04-23T13:07:47Z","outputs":[{"name":"out","path":"/nix/store/9l68rvw7a3h2zsaddbgqs7kmf4mkq14s-python3.13-leanclient-0.9.4","default":true},{"name":"dist","path":"/nix/store/lq96wkz78b6kz246sv5k4nxayam85786-python3.13-leanclient-0.9.4-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30"},"attr_path":"python313Packages.leanclient"},"last_updated":"2026-04-23T13:07:47Z","outputs":[{"name":"out","path":"/nix/store/gdap8i7lg904g6hjdyc07lmh9x0b7x2l-python3.13-leanclient-0.9.4","default":true},{"name":"dist","path":"/nix/store/m1pmil4h84rv7syrrg5s7534i6rplci4-python3.13-leanclient-0.9.4-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30"},"attr_path":"python313Packages.leanclient"},"last_updated":"2026-04-23T13:07:47Z","outputs":[{"name":"out","path":"/nix/store/akasw4s8v056nlvjj89saf26k911p3gr-python3.13-leanclient-0.9.4","default":true},{"name":"dist","path":"/nix/store/w3qxl1j7sry7jb4lx5jq7m3wa6axaa3s-python3.13-leanclient-0.9.4-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30"},"attr_path":"python313Packages.leanclient"},"last_updated":"2026-04-23T13:07:47Z","outputs":[{"name":"out","path":"/nix/store/ham56q3ip3kji34fayw0sa5mr6mdbr05-python3.13-leanclient-0.9.4","default":true},{"name":"dist","path":"/nix/store/z7jbj6aa1ydbylnkldhkw63i5nalnz3n-python3.13-leanclient-0.9.4-dist"}]}}}