{"name":"python311Packages.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":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"python311Packages.mathlibtools"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/xcx53mh61rdlslg7glfs7y1d2pn8xlpi-python3.11-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/zxlr3b41najmykk91jq6ga2ml41vh337-python3.11-mathlibtools-1.3.2-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"python311Packages.mathlibtools"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/f9ih14b664d831g54v4i8g1xz21nlfj2-python3.11-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/cylyz947zj726yl568likdhwaldjmnqs-python3.11-mathlibtools-1.3.2-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"python311Packages.mathlibtools"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/4pfbgnpd32pa7wzv81zmya6q5qq77qxs-python3.11-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/8w07p6y82k1hpk4pm79a0br5ff5mg3z6-python3.11-mathlibtools-1.3.2-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"python311Packages.mathlibtools"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/0k0qq3g0hy8cjn6x7ri7fp7jhgbbwih2-python3.11-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/wamqk9ri0a6awr3c542bg0gqq9jzg1b2-python3.11-mathlibtools-1.3.2-dist"}]}}}