Age | Commit message (Expand) | Author |
---|---|---|
2022-03-16 | gnu: Add python-mathlibtools.... | Pradana AUMARS |
2022-03-11 | gnu: lean: Update to 3.41.0 and fixes toward cross-compilation.... | Maxim Cournoyer |
2021-12-13 | gnu: Simplify package inputs.... | Ludovic Courtès |
2020-11-26 | gnu: lean: Trim synopsis.... | Tobias Geerinckx-Rice |
2020-11-26 | gnu: lean: Update to 3.23.0.... | Tobias Geerinckx-Rice |
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 |