{"name":"python39Packages.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":"python39Packages.mathlibtools"},"last_updated":"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"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80c24eeb9ff46aa99617844d0c4168659e35175f"},"attr_path":"python39Packages.mathlibtools"},"last_updated":"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"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80c24eeb9ff46aa99617844d0c4168659e35175f"},"attr_path":"python39Packages.mathlibtools"},"last_updated":"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80c24eeb9ff46aa99617844d0c4168659e35175f"},"attr_path":"python39Packages.mathlibtools"},"last_updated":"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"}]}}}