{"name":"python312Packages.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":"python312Packages.mathlibtools"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/xrcwn00s0jp02bwkfziv3n394p2xym01-python3.12-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/p5l9jd4786r4hn9q9m15kb6qirpb63n3-python3.12-mathlibtools-1.3.2-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"python312Packages.mathlibtools"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/hn97y7ds53wiszj1vxvlsirrw66x9zqk-python3.12-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/204c7kx4bcp6q0s1k0rbbbc7qj4bvhb6-python3.12-mathlibtools-1.3.2-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"python312Packages.mathlibtools"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/97qs17bxk14s3v154hh9n8d3mcjbw29a-python3.12-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/j72n7axxls7b37gv34l40l5f8hhny4nx-python3.12-mathlibtools-1.3.2-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"python312Packages.mathlibtools"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/madvyypk3k498n5f83mbck5r90wka8bx-python3.12-mathlibtools-1.3.2","default":true},{"name":"dist","path":"/nix/store/2g3mdma8g2hdhk52ldlzx25a8zzsh5q2-python3.12-mathlibtools-1.3.2-dist"}]}}}