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