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