| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-12-11 | gnu: lean: Update to 3.51.1. | Zhu Zihao |
| 2023-12-11 | gnu: lean: Use G-expressions. | Zhu Zihao |
| 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 |
 |
index : ~cnx/guix | |
| Personal Guix development branches |
| summary refs log tree commit diff |