{"name":"lean4","version":"4.25.0","summary":"Automatic and interactive theorem prover","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f665af0cdb70ed27e1bd8f9fdfecaf451260fc55"},"attr_path":"lean4"},"last_updated":"2025-12-31T03:27:36Z","outputs":[{"name":"out","path":"/nix/store/7lhzzrxz3jhcja1nym6w0xx84416r0cz-lean4-4.25.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f665af0cdb70ed27e1bd8f9fdfecaf451260fc55"},"attr_path":"lean4"},"last_updated":"2025-12-31T03:27:36Z","outputs":[{"name":"out","path":"/nix/store/fyl29i2pxglyya9h123fs2rgay8mdzr2-lean4-4.25.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f665af0cdb70ed27e1bd8f9fdfecaf451260fc55"},"attr_path":"lean4"},"last_updated":"2025-12-31T03:27:36Z","outputs":[{"name":"out","path":"/nix/store/l8n053k2jhqd8x7xjw4vrhl929gxlq1y-lean4-4.25.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f665af0cdb70ed27e1bd8f9fdfecaf451260fc55"},"attr_path":"lean4"},"last_updated":"2025-12-31T03:27:36Z","outputs":[{"name":"out","path":"/nix/store/imjqsdyxvf3p1s31ik6j3frm6ybg0vd7-lean4-4.25.0","default":true}]}}}