{"name":"elan","version":"2.0.0","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":"dfcffbd74fd6f0419370d8240e445252a39f4d10"},"attr_path":"elan"},"last_updated":"2023-07-24T21:56:31Z","outputs":[{"name":"out","path":"/nix/store/hgrqk3dhxxhd8066iyfr5y7k9m2rh73m-elan-2.0.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dfcffbd74fd6f0419370d8240e445252a39f4d10"},"attr_path":"elan"},"last_updated":"2023-07-24T21:56:31Z","outputs":[{"name":"out","path":"/nix/store/33115fmpq85lmky6j83dgpsq3gbrqv45-elan-2.0.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dfcffbd74fd6f0419370d8240e445252a39f4d10"},"attr_path":"elan"},"last_updated":"2023-07-24T21:56:31Z","outputs":[{"name":"out","path":"/nix/store/kr4lx9mfz0v372w2lkhpihlqg3mbpk3i-elan-2.0.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dfcffbd74fd6f0419370d8240e445252a39f4d10"},"attr_path":"elan"},"last_updated":"2023-07-24T21:56:31Z","outputs":[{"name":"out","path":"/nix/store/x6ys1i8yrwclcvyqrrygmrh8wsg7xrgg-elan-2.0.0","default":true}]}}}