{"name":"python39Packages.mathlibtools","summary":"Supporting tool for Lean's mathlib","description":"","homepage_url":"https://github.com/leanprover-community/mathlib-tools","license":"Apache-2.0","attribute_paths":["python39Packages.mathlibtools"],"releases":[{"version":"1.3.2","last_updated":"2023-01-13T10:34:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python39Packages.mathlibtools","commit_hash":"37b97ae3dd714de9a17923d004a2c5b5543dfa6d","date":"2023-01-13T10:34:48Z","outputs":[{"name":"out","path":"/nix/store/ywnlppz88dj92i3q72bdmkz17a5igxyy-python3.9-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/sf75jch4v7dwc9r47y7cs5bz1syq42rp-python3.9-mathlibtools-1.3.2-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python39Packages.mathlibtools","commit_hash":"37b97ae3dd714de9a17923d004a2c5b5543dfa6d","date":"2023-01-13T10:34:48Z","outputs":[{"name":"out","path":"/nix/store/mn4jfw4hq2vb4sawrwd99awjg7265vhx-python3.9-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/b2y9n9cqp7ac4xnypg017km96z2ihpd3-python3.9-mathlibtools-1.3.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python39Packages.mathlibtools","commit_hash":"37b97ae3dd714de9a17923d004a2c5b5543dfa6d","date":"2023-01-13T10:34:48Z","outputs":[{"name":"out","path":"/nix/store/ibi9bbi2aljv3xx5sp44iyc27p6zyj34-python3.9-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/jzzhi0zg5vpxvbr8q2ls0xh4g5c7jzxa-python3.9-mathlibtools-1.3.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python39Packages.mathlibtools","commit_hash":"37b97ae3dd714de9a17923d004a2c5b5543dfa6d","date":"2023-01-13T10:34:48Z","outputs":[{"name":"out","path":"/nix/store/7n3d1y78nccv23i6f5fwnfanz4b1crij-python3.9-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/jqxrk450v2sjabi04b4svrqv2gk47g7z-python3.9-mathlibtools-1.3.2-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"1.3.1","last_updated":"2022-12-17T09:19:40Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python39Packages.mathlibtools","commit_hash":"80c24eeb9ff46aa99617844d0c4168659e35175f","date":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/a7hacynp2p46af473hfbbg8wm654h0xv-python3.9-mathlibtools-1.3.1","default":true},{"name":"dist","path":"/nix/store/lzif3fk5h3b9hswg9sawaf1g9msy3c41-python3.9-mathlibtools-1.3.1-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python39Packages.mathlibtools","commit_hash":"80c24eeb9ff46aa99617844d0c4168659e35175f","date":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/hj0k96amczbzqf5pis5sqx54ikpa6xv8-python3.9-mathlibtools-1.3.1","default":true},{"name":"dist","path":"/nix/store/jjdx78cwlmc0y49byq9mfy6vb32wbpzs-python3.9-mathlibtools-1.3.1-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python39Packages.mathlibtools","commit_hash":"80c24eeb9ff46aa99617844d0c4168659e35175f","date":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/m975h8hjdax03fli678mgrxz37aq6x49-python3.9-mathlibtools-1.3.1","default":true},{"name":"dist","path":"/nix/store/wlhxnnkjkpnz7sv9y1abqizykp0m2y17-python3.9-mathlibtools-1.3.1-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python39Packages.mathlibtools","commit_hash":"80c24eeb9ff46aa99617844d0c4168659e35175f","date":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/16j6bd7kb3yjpwzcd6asvzxjmsz3dgmx-python3.9-mathlibtools-1.3.1","default":true},{"name":"dist","path":"/nix/store/wnvx1s5cdsmc2yd0pz85y07vvnfnin8m-python3.9-mathlibtools-1.3.1-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"1.1.2","last_updated":"2022-11-25T14:42:37Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python39Packages.mathlibtools","commit_hash":"55b3f68bda6d4f4dc6092eed0508063f154fa4fd","date":"2022-11-25T14:42:37Z","outputs":[{"name":"out","path":"/nix/store/r78z2y2kdhjvfjqm8p65j54w59ql6al6-python3.9-mathlibtools-1.1.2","default":true},{"name":"dist","path":"/nix/store/9g5gsh7mni17w5bm0zaf2vj7nrfz4a0n-python3.9-mathlibtools-1.1.2-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python39Packages.mathlibtools","commit_hash":"6b5019a48f876f3288efc626fa8b70ad0c64eb46","date":"2022-11-21T15:52:25Z","outputs":[{"name":"out","path":"/nix/store/6qczy62jin8ixgb1vb42cgnq2qv3njrl-python3.9-mathlibtools-1.1.2","default":true},{"name":"dist","path":"/nix/store/dmxhd7zdrn475iwgkzxmi0yhg9z0yp35-python3.9-mathlibtools-1.1.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python39Packages.mathlibtools","commit_hash":"55b3f68bda6d4f4dc6092eed0508063f154fa4fd","date":"2022-11-25T14:42:37Z","outputs":[{"name":"out","path":"/nix/store/j90hkab6lnwgdrs5mclb19xi31g55khg-python3.9-mathlibtools-1.1.2","default":true},{"name":"dist","path":"/nix/store/wxff372gsdmxsyxqlqqgp3a7zz9lrp4x-python3.9-mathlibtools-1.1.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python39Packages.mathlibtools","commit_hash":"6b5019a48f876f3288efc626fa8b70ad0c64eb46","date":"2022-11-21T15:52:25Z","outputs":[{"name":"out","path":"/nix/store/v79dj6fj71snqd0hglcpcnvixrca7zj7-python3.9-mathlibtools-1.1.2","default":true},{"name":"dist","path":"/nix/store/bc0py701jfvz30w6g6gxwi29bngkqina-python3.9-mathlibtools-1.1.2-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"1.1.1","last_updated":"2022-08-27T08:52:24Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python39Packages.mathlibtools","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/9p2gx5dbr9a54zkih2k3y2666c5mab4f-python3.9-mathlibtools-1.1.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python39Packages.mathlibtools","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/dciwp70ykwh213a1b1dxfv7a3iv8pdm3-python3.9-mathlibtools-1.1.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python39Packages.mathlibtools","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/djlvpwz8qrw7sdsv4y75zvd71yv95m7p-python3.9-mathlibtools-1.1.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python39Packages.mathlibtools","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/pd58hw36pfgpha996xx0i72hqnmj7s84-python3.9-mathlibtools-1.1.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.1.0","last_updated":"2022-02-15T04:21:50Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python39Packages.mathlibtools","commit_hash":"3a641defd170a4ef25ce8c7c64cb13f91f867fca","date":"2022-02-15T04:21:50Z","outputs":[],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python39Packages.mathlibtools","commit_hash":"98bb5b77c8c6666824a4c13d23befa1e07210ef1","date":"2022-02-09T15:24:27Z","outputs":[{"name":"out","path":"/nix/store/0qcpa3d3gcg5ms7prq1n559hkgsbaw94-python3.9-mathlibtools-1.1.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python39Packages.mathlibtools","commit_hash":"3a641defd170a4ef25ce8c7c64cb13f91f867fca","date":"2022-02-15T04:21:50Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python39Packages.mathlibtools","commit_hash":"3a641defd170a4ef25ce8c7c64cb13f91f867fca","date":"2022-02-15T04:21:50Z","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":"python39Packages.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":"python39Packages.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":"python39Packages.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":"python39Packages.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}]}