{"name":"elan","version":"3.1.1-unstable-2024-08-02","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":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce"},"attr_path":"elan"},"last_updated":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/mwlhaj4zax9zfpzi9xg9df3snp31y9d7-elan-3.1.1-unstable-2024-08-02","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce"},"attr_path":"elan"},"last_updated":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/ra0ffz2pz8cjgrz0c04ydqrmwcxdz0xx-elan-3.1.1-unstable-2024-08-02","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce"},"attr_path":"elan"},"last_updated":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/ajl1r23fks27fqfgijd0ymzpq620v97g-elan-3.1.1-unstable-2024-08-02","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce"},"attr_path":"elan"},"last_updated":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/6594qcjx8jh6jh2xgra1v6a9hg4736xz-elan-3.1.1-unstable-2024-08-02","default":true}]}}}