| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | gnu: lean: Trim synopsis. | Tobias Geerinckx-Rice | 2020-11-26 |
| * | gnu: lean: Update to 3.23.0. | Tobias Geerinckx-Rice | 2020-11-26 |
| * | gnu: lean: Disable test cases for i686 and armhf. | Brett Gilio | 2020-07-19 |
| * | gnu: lean: Update to 3.17.1. | Brett Gilio | 2020-07-19 |
| * | Update email address and Savannah handle for Amin Bandali. | Amin Bandali | 2020-03-28 |
| * | Update email address for Amin Bandali. | Amin Bandali | 2020-01-17 |
| * | gnu: Add lean. | Amin Bandali | 2020-01-03 |