{"name":"python313Packages.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":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"python313Packages.mathlibtools"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/6nvikhp3l3zgd3p88xwv96s259n12hh0-python3.13-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/iwgqjjql0f39i1mrragrzn5ydmg0iv9k-python3.13-mathlibtools-1.3.2-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"python313Packages.mathlibtools"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/9bqlg4n4j3q6ir91qfvr737m47a9ka38-python3.13-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/ifcdbvq1q6y16pzrd726jl5frky484wf-python3.13-mathlibtools-1.3.2-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"python313Packages.mathlibtools"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/zda9k3kbhghzqdp20x4pxqhzi41yjzcs-python3.13-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/8zkwn0sfviikbay6zpnw00rm943qgf7y-python3.13-mathlibtools-1.3.2-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"python313Packages.mathlibtools"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/ixihbq57zn043v4nq65wlk2nk2f0qrp9-python3.13-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/ijviqky0my0lsr9k4r43r03a53r6bxak-python3.13-mathlibtools-1.3.2-dist"}]}}}