{"name":"elan","version":"1.3.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":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5"},"attr_path":"elan"},"last_updated":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/if2wrq37kl6ssi4060mjdzc873da0kvp-elan-1.3.1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0343e3415784b2cd9c68924294794f7dbee12ab3"},"attr_path":"elan"},"last_updated":"2022-04-13T09:49:25Z","outputs":[{"name":"out","path":"/nix/store/58xifvydadrznafyi4js30i5jd343lqy-elan-1.3.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5"},"attr_path":"elan"},"last_updated":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/rslzmvw5v9cy2qjjbx9025s8ydr1i7q8-elan-1.3.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0343e3415784b2cd9c68924294794f7dbee12ab3"},"attr_path":"elan"},"last_updated":"2022-04-13T09:49:25Z"}}}