{"name":"python313Packages.leanclient","summary":"Python client for the Lean theorem prover LSP","description":"","homepage_url":"https://github.com/oOo0oOo/leanclient","license":"MIT","attribute_paths":["python313Packages.leanclient"],"releases":[{"version":"0.12.0","last_updated":"2026-09-13T01:58:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.leanclient","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.leanclient","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.leanclient","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.11.0","last_updated":"2026-07-08T21:13:06Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.leanclient","commit_hash":"389ed85304b281ca7f306cf8a1eb4378651ca44e","date":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/ca6dykjprmqsg4k5h39zyl5lpbg9s9aa-python3.13-leanclient-0.11.0","default":true},{"name":"dist","path":"/nix/store/ckzjh1c464pffprrk49ikamxy2dr8daz-python3.13-leanclient-0.11.0-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.leanclient","commit_hash":"389ed85304b281ca7f306cf8a1eb4378651ca44e","date":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/qn6rwrs72sxp888xjilbkx4yby1hdr31-python3.13-leanclient-0.11.0","default":true},{"name":"dist","path":"/nix/store/ih4k4amlnbsba3xgxra3sm7k0fbzsp5h-python3.13-leanclient-0.11.0-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.leanclient","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/fcy5fscng225kh5hh9nl20gh5qb6y7f1-python3.13-leanclient-0.11.0","default":true},{"name":"dist","path":"/nix/store/0l8gc14653l19dzjrdlv6jahqpyqd3x9-python3.13-leanclient-0.11.0-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.leanclient","commit_hash":"389ed85304b281ca7f306cf8a1eb4378651ca44e","date":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/532f4nhxz0icl7d9l2h68pvbbs4rlj6r-python3.13-leanclient-0.11.0","default":true},{"name":"dist","path":"/nix/store/9wjqm40wp4gwrgmjjld7ffs5nhkcsyw9-python3.13-leanclient-0.11.0-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.10.0","last_updated":"2026-05-21T08:15:18Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.leanclient","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.leanclient","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.leanclient","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.leanclient","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.9.4","last_updated":"2026-04-23T13:07:47Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.leanclient","commit_hash":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30","date":"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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.leanclient","commit_hash":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.leanclient","commit_hash":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.leanclient","commit_hash":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30","date":"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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false}]}