{"name":"elan","version":"1.0.2","summary":"Small tool to manage your installations of the Lean theorem prover","systems":{"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"db6e089456cdddcd7e2c1d8dac37a505c797e8fa"},"attr_path":"elan"},"last_updated":"2021-06-29T14:40:08Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"db6e089456cdddcd7e2c1d8dac37a505c797e8fa"},"attr_path":"elan"},"last_updated":"2021-06-29T14:40:08Z"}}}