aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
Commit message (Expand)AuthorAge
* 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