| Age | Commit message | Author |
|---|---|---|
| 2023-06-03 | Update to 3.51.1 | Padraic Fanning |
| 2023-06-03 | Update to 3.51.0 | Padraic Fanning |
| 2023-06-03 | Compile with g++12 | Padraic Fanning |
| 2022-12-26 | Update to 3.50.3 | Padraic Fanning |
| 2022-12-23 | Update to 3.50.2 | Padraic Fanning |
| 2022-12-22 | Update to 3.50.1 | Padraic Fanning |
| 2022-12-16 | Update to 3.50.0 | Padraic Fanning |
| 2022-11-22 | Update to 3.49.1 | Padraic Fanning |
| 2022-11-12 | Update to 3.49.0 | Padraic Fanning |
| 2022-08-30 | Update to 3.48.0 | Padraic Fanning |
| [...] | ||
| Clone | ||
| https://aur.archlinux.org/lean-community.git/ | ||