{"name":"lean4","version":"4.12.0","summary":"Automatic and interactive theorem prover","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2f9e2f85cb14a46410a1399aa9ea7ecf433e422e"},"attr_path":"lean4"},"last_updated":"2025-01-12T04:53:46Z","outputs":[{"name":"out","path":"/nix/store/wyv5m3fmr8r2jzb3apam8gall43mfq1p-lean4-4.12.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"32af3611f6f05655ca166a0b1f47b57c762b5192"},"attr_path":"lean4"},"last_updated":"2025-01-09T11:09:19Z","outputs":[{"name":"out","path":"/nix/store/k7nb8fzimx3ki4hlidw0cricni5zbay9-lean4-4.12.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2f9e2f85cb14a46410a1399aa9ea7ecf433e422e"},"attr_path":"lean4"},"last_updated":"2025-01-12T04:53:46Z","outputs":[{"name":"out","path":"/nix/store/243bl8qlfkqj7j2wgg024chnj2idxvpq-lean4-4.12.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"32af3611f6f05655ca166a0b1f47b57c762b5192"},"attr_path":"lean4"},"last_updated":"2025-01-09T11:09:19Z","outputs":[{"name":"out","path":"/nix/store/niz4f5mgyfs4bz1wpqjcjcalmn27c6cz-lean4-4.12.0","default":true}]}}}