{"name":"elan","version":"0.11.0","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":"79cb2cb9869d7bb8a1fac800977d3864212fd97d"},"attr_path":"elan"},"last_updated":"2021-04-25T18:34:42Z"}}}