{"name":"elan","version":"1.4.6","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":"b38e95ea6c15b9ce098556f410d715b262fa386a"},"attr_path":"elan"},"last_updated":"2023-06-27T08:49:46Z","outputs":[{"name":"out","path":"/nix/store/f544nxwczjrrj9z3ackq00177q6hha61-elan-1.4.6","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b38e95ea6c15b9ce098556f410d715b262fa386a"},"attr_path":"elan"},"last_updated":"2023-06-27T08:49:46Z","outputs":[{"name":"out","path":"/nix/store/s7qlj7x78x2vjn6vnjgi89g4qzfsmkpw-elan-1.4.6","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b38e95ea6c15b9ce098556f410d715b262fa386a"},"attr_path":"elan"},"last_updated":"2023-06-27T08:49:46Z","outputs":[{"name":"out","path":"/nix/store/dv8n1jlhnqm2m3m7fbxrlsdgbj1lylww-elan-1.4.6","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b38e95ea6c15b9ce098556f410d715b262fa386a"},"attr_path":"elan"},"last_updated":"2023-06-27T08:49:46Z","outputs":[{"name":"out","path":"/nix/store/ibq9yhzjnb3izgnpj8ja5dqhrwbp01mg-elan-1.4.6","default":true}]}}}