{"name":"elan","version":"4.0.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":"507b63021ada5fee621b6ca371c4fca9ca46f52c"},"attr_path":"elan"},"last_updated":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/2a7rayq3vj5n8c74ripd7kbg596imm32-elan-4.0.1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"507b63021ada5fee621b6ca371c4fca9ca46f52c"},"attr_path":"elan"},"last_updated":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/c8pma9fnryad49vjvg2hr7jdwj4l2apz-elan-4.0.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"507b63021ada5fee621b6ca371c4fca9ca46f52c"},"attr_path":"elan"},"last_updated":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/2vavi67a4s4qj7czcrdy9r2k8w3bjcmr-elan-4.0.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"507b63021ada5fee621b6ca371c4fca9ca46f52c"},"attr_path":"elan"},"last_updated":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/mq0lzzf8jsyxdgv67j17qqgcig7ky87c-elan-4.0.1","default":true}]}}}