| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-02-02 | Fixed version and upstream url. | sayantankhan |
| 2017-02-02 | Initial commit | sayantankhan |
| AUR : lean2-git.git | |
| AUR Package Repositories | click here to return to the package base details page |
| summarylogtreecommitdiffstats |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-02-02 | Fixed version and upstream url. | sayantankhan |
| 2017-02-02 | Initial commit | sayantankhan |