{"id":46984654,"url":"https://github.com/asdf-community/asdf-lean","last_synced_at":"2026-03-11T13:31:43.163Z","repository":{"id":35406974,"uuid":"217533681","full_name":"asdf-community/asdf-lean","owner":"asdf-community","description":"Lean plugin for the asdf version manager [maintainer=LOOKING FOR A MAINTAINER! SUBMIT A PULL REQUEST TO THE INFRASTRUCTURE REPOSITORY!]","archived":false,"fork":false,"pushed_at":"2025-03-15T01:52:07.000Z","size":27,"stargazers_count":7,"open_issues_count":4,"forks_count":5,"subscribers_count":4,"default_branch":"master","last_synced_at":"2025-03-15T02:35:46.865Z","etag":null,"topics":["asdf","asdf-plugin"],"latest_commit_sha":null,"homepage":"https://github.com/asdf-vm/asdf","language":"Shell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/asdf-community.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":".github/CODEOWNERS","security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null},"funding":{"github":["smorimoto"]}},"created_at":"2019-10-25T12:56:10.000Z","updated_at":"2025-03-15T01:59:39.000Z","dependencies_parsed_at":"2025-03-15T05:45:51.953Z","dependency_job_id":null,"html_url":"https://github.com/asdf-community/asdf-lean","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/asdf-community/asdf-lean","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/asdf-community%2Fasdf-lean","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/asdf-community%2Fasdf-lean/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/asdf-community%2Fasdf-lean/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/asdf-community%2Fasdf-lean/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/asdf-community","download_url":"https://codeload.github.com/asdf-community/asdf-lean/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/asdf-community%2Fasdf-lean/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":30382673,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-03-11T12:49:11.341Z","status":"ssl_error","status_checked_at":"2026-03-11T12:46:41.342Z","response_time":84,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.6:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["asdf","asdf-plugin"],"created_at":"2026-03-11T13:31:38.221Z","updated_at":"2026-03-11T13:31:43.158Z","avatar_url":"https://github.com/asdf-community.png","language":"Shell","funding_links":["https://github.com/sponsors/smorimoto"],"categories":[],"sub_categories":[],"readme":"\u003cdiv align=\"center\"\u003e\n\u003ch1\u003easdf-lean\u003c/h1\u003e\n\u003cspan\u003e\u003ca href=\"https://leanprover.github.io\"\u003eLean\u003c/a\u003e plugin for asdf version manager\u003c/span\u003e\n\u003c/div\u003e\n\u003chr /\u003e\n\n[![GitHub Workflow Status](https://img.shields.io/github/workflow/status/asdf-community/asdf-lean/Main%20workflow?style=flat-square)](https://github.com/asdf-community/asdf-lean/actions)\n[![All Contributors](https://img.shields.io/badge/all_contributors-2-orange.svg?style=flat-square)](#contributors)\n[![PRs Welcome](https://img.shields.io/badge/PRs-welcome-brightgreen.svg?style=flat-square)](http://makeapullrequest.com)\n[![License](https://img.shields.io/github/license/asdf-community/asdf-lean?style=flat-square\u0026color=brightgreen)](https://github.com/asdf-community/asdf-lean/blob/master/LICENSE)\n\n**Note**: This plugin only supports Lean **_3.1.0_** or later for macOS users.\n\n## Prerequirements\n\n- Make sure you have the required dependencies installed:\n  - curl\n  - git\n  - tar (for \\*nix users)\n  - unzip (for macOS users)\n\n## Installation\n\n```bash\nasdf plugin-add lean https://github.com/asdf-community/asdf-lean.git\n```\n\n## Usage\n\nCheck [asdf](https://github.com/asdf-vm/asdf) readme for instructions on how to\ninstall \u0026 manage versions.\n\n## Contributors\n\nThanks goes to these wonderful people\n([emoji key](https://allcontributors.org/docs/en/emoji-key)):\n\n\u003c!-- ALL-CONTRIBUTORS-LIST:START - Do not remove or modify this section --\u003e\n\u003c!-- prettier-ignore-start --\u003e\n\u003c!-- markdownlint-disable --\u003e\n\u003ctable\u003e\n  \u003ctr\u003e\n    \u003ctd align=\"center\"\u003e\u003ca href=\"https://bsky.moe\"\u003e\u003cimg src=\"https://avatars3.githubusercontent.com/u/38746192?v=4\" width=\"100px;\" alt=\"\"/\u003e\u003cbr /\u003e\u003csub\u003e\u003cb\u003eBSKY\u003c/b\u003e\u003c/sub\u003e\u003c/a\u003e\u003cbr /\u003e\u003ca href=\"https://github.com/asdf-community/asdf-lean/commits?author=imbsky\" title=\"Code\"\u003e💻\u003c/a\u003e \u003ca href=\"https://github.com/asdf-community/asdf-lean/commits?author=imbsky\" title=\"Documentation\"\u003e📖\u003c/a\u003e \u003ca href=\"#maintenance-imbsky\" title=\"Maintenance\"\u003e🚧\u003c/a\u003e \u003ca href=\"#infra-imbsky\" title=\"Infrastructure (Hosting, Build-Tools, etc)\"\u003e🚇\u003c/a\u003e\u003c/td\u003e\n    \u003ctd align=\"center\"\u003e\u003ca href=\"https://sasurau4.github.io/profile/\"\u003e\u003cimg src=\"https://avatars3.githubusercontent.com/u/13580199?v=4\" width=\"100px;\" alt=\"\"/\u003e\u003cbr /\u003e\u003csub\u003e\u003cb\u003eDaiki Ihara\u003c/b\u003e\u003c/sub\u003e\u003c/a\u003e\u003cbr /\u003e\u003ca href=\"#infra-sasurau4\" title=\"Infrastructure (Hosting, Build-Tools, etc)\"\u003e🚇\u003c/a\u003e\u003c/td\u003e\n  \u003c/tr\u003e\n\u003c/table\u003e\n\n\u003c!-- markdownlint-enable --\u003e\n\u003c!-- prettier-ignore-end --\u003e\n\u003c!-- ALL-CONTRIBUTORS-LIST:END --\u003e\n\nThis project follows the\n[all-contributors](https://github.com/all-contributors/all-contributors)\nspecification. Contributions of any kind welcome!\n\n## License\n\nLicensed under the\n[Apache License, Version 2.0](https://www.apache.org/licenses/LICENSE-2.0).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fasdf-community%2Fasdf-lean","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fasdf-community%2Fasdf-lean","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fasdf-community%2Fasdf-lean/lists"}