Skip to content

asdf-community/asdf-lean

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

41 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

Releases

No releases published

Sponsor this project

 

Packages

No packages published

Languages