aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
Commit message (Expand)AuthorAge
* gnu: lean: Update to 3.51.1.Zhu Zihao2023-12-11
* gnu: lean: Use G-expressions.Zhu Zihao2023-12-11
* gnu: Add python-mathlibtools.Pradana AUMARS2022-03-16
* gnu: lean: Update to 3.41.0 and fixes toward cross-compilation.Maxim Cournoyer2022-03-11
* gnu: Simplify package inputs.Ludovic Courtès2021-12-13
* gnu: lean: Trim synopsis.Tobias Geerinckx-Rice2020-11-26
* gnu: lean: Update to 3.23.0.Tobias Geerinckx-Rice2020-11-26
* gnu: lean: Disable test cases for i686 and armhf.Brett Gilio2020-07-19
* gnu: lean: Update to 3.17.1.Brett Gilio2020-07-19
* Update email address and Savannah handle for Amin Bandali.Amin Bandali2020-03-28
* Update email address for Amin Bandali.Amin Bandali2020-01-17
* gnu: Add lean.Amin Bandali2020-01-03