{"name":"lean4","version":"4.27.0","summary":"Automatic and interactive theorem prover","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"48698d12cc10555a4f3e3222d9c669b884a49dfe"},"attr_path":"lean4"},"last_updated":"2026-01-25T08:36:19Z","outputs":[{"name":"out","path":"/nix/store/n2c27qym2y28qg5f576rgc1bxcfym8nl-lean4-4.27.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"48698d12cc10555a4f3e3222d9c669b884a49dfe"},"attr_path":"lean4"},"last_updated":"2026-01-25T08:36:19Z","outputs":[{"name":"out","path":"/nix/store/7bvdx6wkpawndv7yhb8bq01ll5x88w8x-lean4-4.27.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"48698d12cc10555a4f3e3222d9c669b884a49dfe"},"attr_path":"lean4"},"last_updated":"2026-01-25T08:36:19Z","outputs":[{"name":"out","path":"/nix/store/yvsp2pyy5v2wkldn2ragiaadc0f8a63r-lean4-4.27.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"48698d12cc10555a4f3e3222d9c669b884a49dfe"},"attr_path":"lean4"},"last_updated":"2026-01-25T08:36:19Z","outputs":[{"name":"out","path":"/nix/store/bk4lkjfp9z9xciwa99y0gjk99sjz7j83-lean4-4.27.0","default":true}]}}}