{"name":"python313Packages.mathlibtools","summary":"Supporting tool for Lean's mathlib","description":"","homepage_url":"https://github.com/leanprover-community/mathlib-tools","license":"Apache-2.0","attribute_paths":["python313Packages.mathlibtools"],"releases":[{"version":"1.3.2","last_updated":"2025-07-28T17:09:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.mathlibtools","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/6nvikhp3l3zgd3p88xwv96s259n12hh0-python3.13-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/iwgqjjql0f39i1mrragrzn5ydmg0iv9k-python3.13-mathlibtools-1.3.2-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.mathlibtools","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/9bqlg4n4j3q6ir91qfvr737m47a9ka38-python3.13-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/ifcdbvq1q6y16pzrd726jl5frky484wf-python3.13-mathlibtools-1.3.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.mathlibtools","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/zda9k3kbhghzqdp20x4pxqhzi41yjzcs-python3.13-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/8zkwn0sfviikbay6zpnw00rm943qgf7y-python3.13-mathlibtools-1.3.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.mathlibtools","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/ixihbq57zn043v4nq65wlk2nk2f0qrp9-python3.13-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/ijviqky0my0lsr9k4r43r03a53r6bxak-python3.13-mathlibtools-1.3.2-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false}]}