{"name":"python37Packages.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":["python37Packages.mathlibtools"],"releases":[{"version":"1.0.0","last_updated":"2021-03-05T07:53:20Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python37Packages.mathlibtools","commit_hash":"f5f6dc053b1a0eca03c853dad710f3de070df24e","date":"2021-03-05T07:53:20Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","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":"python37Packages.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}]}