{"name":"elan","version":"4.2.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":"26eaeac4e409d7b5a6bf6f90a2a2dc223c78d915"},"attr_path":"elan"},"last_updated":"2026-02-26T05:06:13Z","outputs":[{"name":"out","path":"/nix/store/iiqf8ra9z4va8zfxa38af31rphmppfk8-elan-4.2.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"26eaeac4e409d7b5a6bf6f90a2a2dc223c78d915"},"attr_path":"elan"},"last_updated":"2026-02-26T05:06:13Z","outputs":[{"name":"out","path":"/nix/store/wq7za70vyqby5y15mdr2fh5w3l2ndq6p-elan-4.2.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"26eaeac4e409d7b5a6bf6f90a2a2dc223c78d915"},"attr_path":"elan"},"last_updated":"2026-02-26T05:06:13Z","outputs":[{"name":"out","path":"/nix/store/9kv4sxm41ka4hxjbny6d4zwj57nnsjar-elan-4.2.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"26eaeac4e409d7b5a6bf6f90a2a2dc223c78d915"},"attr_path":"elan"},"last_updated":"2026-02-26T05:06:13Z","outputs":[{"name":"out","path":"/nix/store/85f50k58wf74c08walfrycrpkyy2hsiv-elan-4.2.0","default":true}]}}}