{"name":"mathlibtools","summary":"Supporting tool for Lean's mathlib","description":"","homepage_url":"https://github.com/leanprover-community/mathlib-tools","license":"Apache-2.0","attribute_paths":["mathlibtools"],"releases":[{"version":"1.3.2","last_updated":"2025-07-28T17:09:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"mathlibtools","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/6nvikhp3l3zgd3p88xwv96s259n12hh0-python3.13-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/iwgqjjql0f39i1mrragrzn5ydmg0iv9k-python3.13-mathlibtools-1.3.2-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"mathlibtools","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/9bqlg4n4j3q6ir91qfvr737m47a9ka38-python3.13-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/ifcdbvq1q6y16pzrd726jl5frky484wf-python3.13-mathlibtools-1.3.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"mathlibtools","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/zda9k3kbhghzqdp20x4pxqhzi41yjzcs-python3.13-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/8zkwn0sfviikbay6zpnw00rm943qgf7y-python3.13-mathlibtools-1.3.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"mathlibtools","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/ixihbq57zn043v4nq65wlk2nk2f0qrp9-python3.13-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/ijviqky0my0lsr9k4r43r03a53r6bxak-python3.13-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":"mathlibtools","commit_hash":"80c24eeb9ff46aa99617844d0c4168659e35175f","date":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/7dx7c4nlhw4q1jc5vm10zh4p6gwvl3xd-python3.10-mathlibtools-1.3.1","default":true},{"name":"dist","path":"/nix/store/22dxlcszgglg5r9l3lghfs0zpcf3zf3h-python3.10-mathlibtools-1.3.1-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"mathlibtools","commit_hash":"80c24eeb9ff46aa99617844d0c4168659e35175f","date":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/c31010lzfz10r23qf9m2xi36vp6ix06k-python3.10-mathlibtools-1.3.1","default":true},{"name":"dist","path":"/nix/store/f5ifkc1nw5jq2vibpnw2pn7m6kkpgzml-python3.10-mathlibtools-1.3.1-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"mathlibtools","commit_hash":"80c24eeb9ff46aa99617844d0c4168659e35175f","date":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/23vr6pl5wxzjhgg11wx6k6crl7wvhywd-python3.10-mathlibtools-1.3.1","default":true},{"name":"dist","path":"/nix/store/zqa91fds4yxmsxyhw84fizqy5prgzqkb-python3.10-mathlibtools-1.3.1-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"mathlibtools","commit_hash":"80c24eeb9ff46aa99617844d0c4168659e35175f","date":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/vajxw20h8721j55cha1a678psj7aah6x-python3.10-mathlibtools-1.3.1","default":true},{"name":"dist","path":"/nix/store/6gcq0ss1bcwbi9w8mbnvd9f1fggbm56x-python3.10-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":"mathlibtools","commit_hash":"55b3f68bda6d4f4dc6092eed0508063f154fa4fd","date":"2022-11-25T14:42:37Z","outputs":[{"name":"out","path":"/nix/store/yyybbnsfnraipjyxg0hn0vwl4h8cfxsm-python3.10-mathlibtools-1.1.2","default":true},{"name":"dist","path":"/nix/store/ibnp25ziy9b157szi8dm0prk2fp2v7w7-python3.10-mathlibtools-1.1.2-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"mathlibtools","commit_hash":"6b5019a48f876f3288efc626fa8b70ad0c64eb46","date":"2022-11-21T15:52:25Z","outputs":[{"name":"out","path":"/nix/store/m3dqqi6n43n0g6rgjfyzpwfxw1jlfxkm-python3.10-mathlibtools-1.1.2","default":true},{"name":"dist","path":"/nix/store/sdk1n4w8dm4d37pmi5mm236845rbz7y6-python3.10-mathlibtools-1.1.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"mathlibtools","commit_hash":"55b3f68bda6d4f4dc6092eed0508063f154fa4fd","date":"2022-11-25T14:42:37Z","outputs":[{"name":"out","path":"/nix/store/g5v47qbr74a90hyk78vg1jm03bmlbpvp-python3.10-mathlibtools-1.1.2","default":true},{"name":"dist","path":"/nix/store/289i6wlr8163cqch1kqpxszxnmchhw0w-python3.10-mathlibtools-1.1.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"mathlibtools","commit_hash":"6b5019a48f876f3288efc626fa8b70ad0c64eb46","date":"2022-11-21T15:52:25Z","outputs":[{"name":"out","path":"/nix/store/smzqk0nkd9fjf2nl9kf6vdmmvvwf9j30-python3.10-mathlibtools-1.1.2","default":true},{"name":"dist","path":"/nix/store/0vy8w1cmmh4lbib75g1kvyn4np3pbprx-python3.10-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":"mathlibtools","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/4cvr1cjs0prh45psk1vrh6grsvlm3j27-python3.10-mathlibtools-1.1.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"mathlibtools","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/cixz2vl76mjx24nf42a6a6n5xhwvr92c-python3.10-mathlibtools-1.1.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"mathlibtools","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/2iqbzjrqnx0cph67y7jmwmn6nha7kin6-python3.10-mathlibtools-1.1.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"mathlibtools","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/2klr3jd469zz0kxg78vhpxyw0114mvg2-python3.10-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":"mathlibtools","commit_hash":"3a641defd170a4ef25ce8c7c64cb13f91f867fca","date":"2022-02-15T04:21:50Z","outputs":[],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"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":"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":"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":"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":"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":"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":"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}]}