{"name":"python312Packages.mathlibtools","summary":"Supporting tool for Lean's mathlib","description":"","homepage_url":"https://github.com/leanprover-community/mathlib-tools","license":"Apache-2.0","attribute_paths":["python312Packages.mathlibtools"],"releases":[{"version":"1.3.2","last_updated":"2025-07-28T17:09:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.mathlibtools","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/xrcwn00s0jp02bwkfziv3n394p2xym01-python3.12-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/p5l9jd4786r4hn9q9m15kb6qirpb63n3-python3.12-mathlibtools-1.3.2-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.mathlibtools","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/hn97y7ds53wiszj1vxvlsirrw66x9zqk-python3.12-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/204c7kx4bcp6q0s1k0rbbbc7qj4bvhb6-python3.12-mathlibtools-1.3.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.mathlibtools","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/97qs17bxk14s3v154hh9n8d3mcjbw29a-python3.12-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/j72n7axxls7b37gv34l40l5f8hhny4nx-python3.12-mathlibtools-1.3.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.mathlibtools","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/madvyypk3k498n5f83mbck5r90wka8bx-python3.12-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/2g3mdma8g2hdhk52ldlzx25a8zzsh5q2-python3.12-mathlibtools-1.3.2-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false}]}