{"name":"lean4","version":"4.8.0","summary":"Automatic and interactive theorem prover","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9b10b8f00cb5494795e5f51b39210fed4d2b0748"},"attr_path":"lean4"},"last_updated":"2024-06-20T08:04:27Z","outputs":[{"name":"out","path":"/nix/store/g3bj4xbyqwpc9lxlcx1ffgf3qfy0v32z-lean4-4.8.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9b10b8f00cb5494795e5f51b39210fed4d2b0748"},"attr_path":"lean4"},"last_updated":"2024-06-20T08:04:27Z","outputs":[{"name":"out","path":"/nix/store/ipb8kga1a8fixslbxv7iq8fy91nda917-lean4-4.8.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9b10b8f00cb5494795e5f51b39210fed4d2b0748"},"attr_path":"lean4"},"last_updated":"2024-06-20T08:04:27Z","outputs":[{"name":"out","path":"/nix/store/jjf31vw7advh8w2ib9n3bv9sxqi01yfy-lean4-4.8.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9b10b8f00cb5494795e5f51b39210fed4d2b0748"},"attr_path":"lean4"},"last_updated":"2024-06-20T08:04:27Z","outputs":[{"name":"out","path":"/nix/store/s6darfya2jr0nvj5brjirky2yfl7nv3b-lean4-4.8.0","default":true}]}}}