https://github.com/asdf-community/asdf-lean

Lean plugin for the asdf version manager [maintainer=LOOKING FOR A MAINTAINER! SUBMIT A PULL REQUEST TO THE INFRASTRUCTURE REPOSITORY!]
https://github.com/asdf-community/asdf-lean

asdf asdf-plugin

Last synced: 4 months ago
JSON representation

Lean plugin for the asdf version manager [maintainer=LOOKING FOR A MAINTAINER! SUBMIT A PULL REQUEST TO THE INFRASTRUCTURE REPOSITORY!]

• Host: GitHub
• URL: https://github.com/asdf-community/asdf-lean
• Owner: asdf-community
• License: apache-2.0
• Created: 2019-10-25T12:56:10.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2025-03-15T01:52:07.000Z (over 1 year ago)
• Last Synced: 2025-03-15T02:35:46.865Z (over 1 year ago)
• Topics: asdf, asdf-plugin
• Language: Shell
• Homepage: https://github.com/asdf-vm/asdf
• Size: 26.4 KB
• Stars: 7
• Watchers: 4
• Forks: 5
• Open Issues: 4
• Metadata Files:
  • Readme: README.md
  • License: LICENSE
  • Codeowners: .github/CODEOWNERS

Awesome Lists containing this project

README

          


asdf-lean

Lean plugin for asdf version manager





[![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)

[![All Contributors](https://img.shields.io/badge/all_contributors-2-orange.svg?style=flat-square)](#contributors)

[![PRs Welcome](https://img.shields.io/badge/PRs-welcome-brightgreen.svg?style=flat-square)](http://makeapullrequest.com)

[![License](https://img.shields.io/github/license/asdf-community/asdf-lean?style=flat-square&color=brightgreen)](https://github.com/asdf-community/asdf-lean/blob/master/LICENSE)

**Note**: This plugin only supports Lean **_3.1.0_** or later for macOS users.

## Prerequirements

- Make sure you have the required dependencies installed:

  - curl

  - git

  - tar (for \*nix users)

  - unzip (for macOS users)

## Installation

```bash

asdf plugin-add lean https://github.com/asdf-community/asdf-lean.git

```

## Usage

Check [asdf](https://github.com/asdf-vm/asdf) readme for instructions on how to

install & manage versions.

## Contributors

Thanks goes to these wonderful people

([emoji key](https://allcontributors.org/docs/en/emoji-key)):

  

    
BSKY
💻 📖 🚧 🚇

    
Daiki Ihara
🚇

  

This project follows the

[all-contributors](https://github.com/all-contributors/all-contributors)

specification. Contributions of any kind welcome!

## License

Licensed under the

[Apache License, Version 2.0](https://www.apache.org/licenses/LICENSE-2.0).