{"name":"python310Packages.mathlibtools","version":"1.3.1","summary":"Supporting tool for Lean's mathlib","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80c24eeb9ff46aa99617844d0c4168659e35175f"},"attr_path":"python310Packages.mathlibtools"},"last_updated":"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"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80c24eeb9ff46aa99617844d0c4168659e35175f"},"attr_path":"python310Packages.mathlibtools"},"last_updated":"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"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80c24eeb9ff46aa99617844d0c4168659e35175f"},"attr_path":"python310Packages.mathlibtools"},"last_updated":"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80c24eeb9ff46aa99617844d0c4168659e35175f"},"attr_path":"python310Packages.mathlibtools"},"last_updated":"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"}]}}}