{"name":"python38Packages.mathlibtools","version":"1.1.0","summary":"leanproject is a supporting tool for Lean's mathlib","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"defafc9a220440180a34f923be9772d9c89a8197"},"attr_path":"python38Packages.mathlibtools"},"last_updated":"2022-01-05T17:39:22Z"},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"defafc9a220440180a34f923be9772d9c89a8197"},"attr_path":"python38Packages.mathlibtools"},"last_updated":"2022-01-05T17:39:22Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"defafc9a220440180a34f923be9772d9c89a8197"},"attr_path":"python38Packages.mathlibtools"},"last_updated":"2022-01-05T17:39:22Z"}}}