{"name":"python39Packages.mathlibtools","version":"1.1.2","summary":"Supporting tool for Lean's mathlib","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55b3f68bda6d4f4dc6092eed0508063f154fa4fd"},"attr_path":"python39Packages.mathlibtools"},"last_updated":"2022-11-25T14:42:37Z","outputs":[{"name":"out","path":"/nix/store/r78z2y2kdhjvfjqm8p65j54w59ql6al6-python3.9-mathlibtools-1.1.2","default":true},{"name":"dist","path":"/nix/store/9g5gsh7mni17w5bm0zaf2vj7nrfz4a0n-python3.9-mathlibtools-1.1.2-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6b5019a48f876f3288efc626fa8b70ad0c64eb46"},"attr_path":"python39Packages.mathlibtools"},"last_updated":"2022-11-21T15:52:25Z","outputs":[{"name":"out","path":"/nix/store/6qczy62jin8ixgb1vb42cgnq2qv3njrl-python3.9-mathlibtools-1.1.2","default":true},{"name":"dist","path":"/nix/store/dmxhd7zdrn475iwgkzxmi0yhg9z0yp35-python3.9-mathlibtools-1.1.2-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55b3f68bda6d4f4dc6092eed0508063f154fa4fd"},"attr_path":"python39Packages.mathlibtools"},"last_updated":"2022-11-25T14:42:37Z","outputs":[{"name":"out","path":"/nix/store/j90hkab6lnwgdrs5mclb19xi31g55khg-python3.9-mathlibtools-1.1.2","default":true},{"name":"dist","path":"/nix/store/wxff372gsdmxsyxqlqqgp3a7zz9lrp4x-python3.9-mathlibtools-1.1.2-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6b5019a48f876f3288efc626fa8b70ad0c64eb46"},"attr_path":"python39Packages.mathlibtools"},"last_updated":"2022-11-21T15:52:25Z","outputs":[{"name":"out","path":"/nix/store/v79dj6fj71snqd0hglcpcnvixrca7zj7-python3.9-mathlibtools-1.1.2","default":true},{"name":"dist","path":"/nix/store/bc0py701jfvz30w6g6gxwi29bngkqina-python3.9-mathlibtools-1.1.2-dist"}]}}}