/asdf-lean

Lean plugin for the asdf version manager

Primary LanguageShellApache License 2.0Apache-2.0

asdf-lean

Lean plugin for asdf version manager

GitHub Workflow Status All Contributors PRs Welcome 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

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

Usage

Check asdf readme for instructions on how to install & manage versions.

Contributors

Thanks goes to these wonderful people (emoji key):


BSKY

💻 📖 🚧 🚇

Daiki Ihara

🚇

This project follows the all-contributors specification. Contributions of any kind welcome!

License

Licensed under the Apache License, Version 2.0.