{"name":"elan","version":"2.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":"efd23a1c9ae8c574e2ca923c2b2dc336797f4cc4"},"attr_path":"elan"},"last_updated":"2023-09-06T20:35:33Z","outputs":[{"name":"out","path":"/nix/store/127f4q8dkv1hysjyk10bhscn7lx41rxp-elan-2.0.1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"efd23a1c9ae8c574e2ca923c2b2dc336797f4cc4"},"attr_path":"elan"},"last_updated":"2023-09-06T20:35:33Z","outputs":[{"name":"out","path":"/nix/store/ijvv0cvzqvrdmanv5nrpbmrr0rrfq0g4-elan-2.0.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"efd23a1c9ae8c574e2ca923c2b2dc336797f4cc4"},"attr_path":"elan"},"last_updated":"2023-09-06T20:35:33Z","outputs":[{"name":"out","path":"/nix/store/15l39r6k55jzd94yjg2hmnny6kqwcw0m-elan-2.0.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"efd23a1c9ae8c574e2ca923c2b2dc336797f4cc4"},"attr_path":"elan"},"last_updated":"2023-09-06T20:35:33Z","outputs":[{"name":"out","path":"/nix/store/j8n8gfc7mwvyjm1688mqasw1s7y6p8k6-elan-2.0.1","default":true}]}}}