{"name":"lean4","version":"4.9.0","summary":"Automatic and interactive theorem prover","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269"},"attr_path":"lean4"},"last_updated":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/dzyvvhmwxn8xaijflvqndhcchqxc4mw8-lean4-4.9.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269"},"attr_path":"lean4"},"last_updated":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/7jrx8wj84klj57knadwv3rrrfprxg18s-lean4-4.9.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269"},"attr_path":"lean4"},"last_updated":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/5py7v2nl44z485vc9979ycdjxb51gd14-lean4-4.9.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269"},"attr_path":"lean4"},"last_updated":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/ra82qhnlm1jgqv85s6jl4fmqarg7q6m4-lean4-4.9.0","default":true}]}}}