{"name":"elan","version":"1.4.1","summary":"Small tool to manage your installations of the Lean theorem prover","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"994df04c3c700fe9edb1b69b82ba3c627e5e04ff"},"attr_path":"elan"},"last_updated":"2022-09-12T23:24:01Z","outputs":[{"name":"out","path":"/nix/store/zs7silrrhs3jvs60b7bmslyz5y3iylwn-elan-1.4.1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"994df04c3c700fe9edb1b69b82ba3c627e5e04ff"},"attr_path":"elan"},"last_updated":"2022-09-12T23:24:01Z","outputs":[{"name":"out","path":"/nix/store/s16np2kir1cvgps6zqj0qy6652lyn78i-elan-1.4.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"994df04c3c700fe9edb1b69b82ba3c627e5e04ff"},"attr_path":"elan"},"last_updated":"2022-09-12T23:24:01Z","outputs":[{"name":"out","path":"/nix/store/k2qhkxzb8wh4b4fqvmjjdkjkc3radbsa-elan-1.4.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"994df04c3c700fe9edb1b69b82ba3c627e5e04ff"},"attr_path":"elan"},"last_updated":"2022-09-12T23:24:01Z","outputs":[{"name":"out","path":"/nix/store/qcdhbh3pp3rw1nl02skk7clw4yknqyw6-elan-1.4.1","default":true}]}}}