{"name":"lean4","version":"4.15.0","summary":"Automatic and interactive theorem prover","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce"},"attr_path":"lean4"},"last_updated":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/hpzg237cfqdz6g35npwwv8dmzjgf5j29-lean4-4.15.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce"},"attr_path":"lean4"},"last_updated":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/xgpmablj0r8qhqfg8p9d79xxrqwgkv76-lean4-4.15.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce"},"attr_path":"lean4"},"last_updated":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/1z5rd1w8w7x3p4xiah7lzqvk37bny703-lean4-4.15.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce"},"attr_path":"lean4"},"last_updated":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/p82dfk1p1c141mj91yi8x7lncami8282-lean4-4.15.0","default":true}]}}}