{"name":"elan","version":"4.1.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":"12a55407652e04dcf2309436eb06fef0d3713ef3"},"attr_path":"elan"},"last_updated":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/csjjw37irpwbs3am2nz75kxbz3kdjd28-elan-4.1.1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12a55407652e04dcf2309436eb06fef0d3713ef3"},"attr_path":"elan"},"last_updated":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/5qrxli8nb8cgrvb8jpl9mz7d35lhv167-elan-4.1.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12a55407652e04dcf2309436eb06fef0d3713ef3"},"attr_path":"elan"},"last_updated":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/g3hjshi9k22cf4hclkzyzqgvvzkf12m7-elan-4.1.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12a55407652e04dcf2309436eb06fef0d3713ef3"},"attr_path":"elan"},"last_updated":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/ar9zj7qd2q7zzq58826ilhdl8j53zzjk-elan-4.1.1","default":true}]}}}