{"name":"elan","version":"3.0.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":"10b813040df67c4039086db0f6eaf65c536886c6"},"attr_path":"elan"},"last_updated":"2024-02-10T18:15:24Z","outputs":[{"name":"out","path":"/nix/store/sf2mm4jgwn7p3zif4amak6a4n6ksy9mq-elan-3.0.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"10b813040df67c4039086db0f6eaf65c536886c6"},"attr_path":"elan"},"last_updated":"2024-02-10T18:15:24Z","outputs":[{"name":"out","path":"/nix/store/xfzi1mj1d7iqakpvy6dm5hiryxjm7xf8-elan-3.0.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"10b813040df67c4039086db0f6eaf65c536886c6"},"attr_path":"elan"},"last_updated":"2024-02-10T18:15:24Z","outputs":[{"name":"out","path":"/nix/store/a5rq9ianwpgmfz7rvnlixkijarfprbgi-elan-3.0.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"10b813040df67c4039086db0f6eaf65c536886c6"},"attr_path":"elan"},"last_updated":"2024-02-10T18:15:24Z","outputs":[{"name":"out","path":"/nix/store/pazslhfqsfaki8ags94jw3hwsvjj9cgl-elan-3.0.0","default":true}]}}}