{"name":"lean4","version":"4.9.1","summary":"Automatic and interactive theorem prover","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"268bb5090a3c6ac5e1615b38542a868b52ef8088"},"attr_path":"lean4"},"last_updated":"2024-09-19T11:39:46Z","outputs":[{"name":"out","path":"/nix/store/25i8r4apf3zw0lsk9ki2w6f76lr0wlzh-lean4-4.9.1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"268bb5090a3c6ac5e1615b38542a868b52ef8088"},"attr_path":"lean4"},"last_updated":"2024-09-19T11:39:46Z","outputs":[{"name":"out","path":"/nix/store/0a0w0i737ayw6ljj8gya7zq1cspli9j0-lean4-4.9.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"268bb5090a3c6ac5e1615b38542a868b52ef8088"},"attr_path":"lean4"},"last_updated":"2024-09-19T11:39:46Z","outputs":[{"name":"out","path":"/nix/store/53biwh2vzkj2zp848v6h468wrrqfv32d-lean4-4.9.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"268bb5090a3c6ac5e1615b38542a868b52ef8088"},"attr_path":"lean4"},"last_updated":"2024-09-19T11:39:46Z","outputs":[{"name":"out","path":"/nix/store/7h1a0ivy44q88qlipmj2wdmkjknvqkw6-lean4-4.9.1","default":true}]}}}