{"name":"lean4","version":"4.5.0","summary":"Automatic and interactive theorem prover","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9a9dae8f6319600fa9aebde37f340975cab4b8c0"},"attr_path":"lean4"},"last_updated":"2024-02-24T23:06:34Z","outputs":[{"name":"out","path":"/nix/store/zagwnnmqwxk44af1gdagnrdph3kx48pk-lean4-4.5.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9a9dae8f6319600fa9aebde37f340975cab4b8c0"},"attr_path":"lean4"},"last_updated":"2024-02-24T23:06:34Z","outputs":[{"name":"out","path":"/nix/store/jml408fb3c4llw31yy4nghji6cn3adpy-lean4-4.5.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9a9dae8f6319600fa9aebde37f340975cab4b8c0"},"attr_path":"lean4"},"last_updated":"2024-02-24T23:06:34Z","outputs":[{"name":"out","path":"/nix/store/h8fni7yhy8q3cad46kq8jg3g08f562gf-lean4-4.5.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9a9dae8f6319600fa9aebde37f340975cab4b8c0"},"attr_path":"lean4"},"last_updated":"2024-02-24T23:06:34Z","outputs":[{"name":"out","path":"/nix/store/mrb3i1b78iysik1lhsij5jdihjyja59n-lean4-4.5.0","default":true}]}}}