{"name":"python38Packages.mathlibtools","summary":"leanproject is a supporting tool for Lean's mathlib","description":"","homepage_url":"https://github.com/leanprover-community/mathlib-tools","license":"Apache-2.0","attribute_paths":["python38Packages.mathlibtools"],"releases":[{"version":"1.1.0","last_updated":"2022-01-05T17:39:22Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python38Packages.mathlibtools","commit_hash":"defafc9a220440180a34f923be9772d9c89a8197","date":"2022-01-05T17:39:22Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python38Packages.mathlibtools","commit_hash":"defafc9a220440180a34f923be9772d9c89a8197","date":"2022-01-05T17:39:22Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python38Packages.mathlibtools","commit_hash":"defafc9a220440180a34f923be9772d9c89a8197","date":"2022-01-05T17:39:22Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.0.0","last_updated":"2021-10-22T02:15:45Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python38Packages.mathlibtools","commit_hash":"718895c14907b60069520b6394b4dbb6e3aa9c33","date":"2021-10-22T02:15:45Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python38Packages.mathlibtools","commit_hash":"718895c14907b60069520b6394b4dbb6e3aa9c33","date":"2021-10-22T02:15:45Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python38Packages.mathlibtools","commit_hash":"718895c14907b60069520b6394b4dbb6e3aa9c33","date":"2021-10-22T02:15:45Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.0.10","last_updated":"2020-12-03T09:26:35Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python38Packages.mathlibtools","commit_hash":"5e6da1e9acf9d2dc885bd66496ee35bc5686de48","date":"2020-12-03T09:26:35Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}