{"name":"elan","version":"3.1.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":"93e1c2d08467d1117ebac45689469613a9fe8453"},"attr_path":"elan"},"last_updated":"2024-02-19T20:09:34Z","outputs":[{"name":"out","path":"/nix/store/gddaw9ww3s161lg4w1n8cc7hzyg39vsp-elan-3.1.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"93e1c2d08467d1117ebac45689469613a9fe8453"},"attr_path":"elan"},"last_updated":"2024-02-19T20:09:34Z","outputs":[{"name":"out","path":"/nix/store/f71mbb46nxl921w12cgrxvpi1v1jvxm6-elan-3.1.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"93e1c2d08467d1117ebac45689469613a9fe8453"},"attr_path":"elan"},"last_updated":"2024-02-19T20:09:34Z","outputs":[{"name":"out","path":"/nix/store/y2arlzf047lkiff9pv36kr8jd82zi8df-elan-3.1.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"93e1c2d08467d1117ebac45689469613a9fe8453"},"attr_path":"elan"},"last_updated":"2024-02-19T20:09:34Z","outputs":[{"name":"out","path":"/nix/store/9zccvgi3irwqghsbd3v6wybzy94cbnqr-elan-3.1.0","default":true}]}}}