{"name":"python310Packages.mathlibtools","version":"1.3.2","summary":"Supporting tool for Lean's mathlib","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fd04bea4cbf76f86f244b9e2549fca066db8ddff"},"attr_path":"python310Packages.mathlibtools"},"last_updated":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/lmq826wqi11cffzhfv3plhmjxn35yirv-python3.10-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/jhg8jq456a2msnv8985i1d8p00vllabq-python3.10-mathlibtools-1.3.2-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fd04bea4cbf76f86f244b9e2549fca066db8ddff"},"attr_path":"python310Packages.mathlibtools"},"last_updated":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/8f3v2gg1d2d7fm4g46zly9afcwqp3xsr-python3.10-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/2iy5ccjbngzsvzz82734jmz9g46hx3lm-python3.10-mathlibtools-1.3.2-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fd04bea4cbf76f86f244b9e2549fca066db8ddff"},"attr_path":"python310Packages.mathlibtools"},"last_updated":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/a5mk8h6a8i84a8zgqm6w4bkxd5w82iin-python3.10-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/7xgk04qwj053dr84wipyymadr8lm5004-python3.10-mathlibtools-1.3.2-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fd04bea4cbf76f86f244b9e2549fca066db8ddff"},"attr_path":"python310Packages.mathlibtools"},"last_updated":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/2xpkz8ppgpihlxwy6wwv5v8n1rakzgz4-python3.10-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/6zzdv5bwy6cmq8p2yrjaw8vfd90a9dw4-python3.10-mathlibtools-1.3.2-dist"}]}}}