{"name":"elan","version":"0.10.3","summary":"Small tool to manage your installations of the Lean theorem prover","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"733b33a07eac62a01f738f4bf15aa46b4c84168b"},"attr_path":"elan"},"last_updated":"2021-03-19T17:37:14Z"}}}