{"name":"python311Packages.mathlibtools","summary":"Supporting tool for Lean's mathlib","description":"","homepage_url":"https://github.com/leanprover-community/mathlib-tools","license":"Apache-2.0","attribute_paths":["python311Packages.mathlibtools"],"releases":[{"version":"1.3.2","last_updated":"2024-12-03T12:40:06Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python311Packages.mathlibtools","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/xcx53mh61rdlslg7glfs7y1d2pn8xlpi-python3.11-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/zxlr3b41najmykk91jq6ga2ml41vh337-python3.11-mathlibtools-1.3.2-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python311Packages.mathlibtools","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/f9ih14b664d831g54v4i8g1xz21nlfj2-python3.11-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/cylyz947zj726yl568likdhwaldjmnqs-python3.11-mathlibtools-1.3.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python311Packages.mathlibtools","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/4pfbgnpd32pa7wzv81zmya6q5qq77qxs-python3.11-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/8w07p6y82k1hpk4pm79a0br5ff5mg3z6-python3.11-mathlibtools-1.3.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python311Packages.mathlibtools","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/0k0qq3g0hy8cjn6x7ri7fp7jhgbbwih2-python3.11-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/wamqk9ri0a6awr3c542bg0gqq9jzg1b2-python3.11-mathlibtools-1.3.2-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false}]}