{"name":"python310Packages.mathlibtools","version":"1.1.1","summary":"leanproject is a supporting tool for Lean's mathlib","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a"},"attr_path":"python310Packages.mathlibtools"},"last_updated":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/4cvr1cjs0prh45psk1vrh6grsvlm3j27-python3.10-mathlibtools-1.1.1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a"},"attr_path":"python310Packages.mathlibtools"},"last_updated":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/cixz2vl76mjx24nf42a6a6n5xhwvr92c-python3.10-mathlibtools-1.1.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a"},"attr_path":"python310Packages.mathlibtools"},"last_updated":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/2iqbzjrqnx0cph67y7jmwmn6nha7kin6-python3.10-mathlibtools-1.1.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a"},"attr_path":"python310Packages.mathlibtools"},"last_updated":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/2klr3jd469zz0kxg78vhpxyw0114mvg2-python3.10-mathlibtools-1.1.1","default":true}]}}}