tent='noindex, nofollow'/>
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
AgeCommit message (Expand)Author
2020-11-26gnu: lean: Trim synopsis....* gnu/packages/lean.scm (lean)[synopsis]: Remove article & package name. Tobias Geerinckx-Rice
2020-11-26gnu: lean: Update to 3.23.0....* gnu/packages/lean.scm (lean): Update to 3.23.0. Tobias Geerinckx-Rice
2020-07-19gnu: lean: Disable test cases for i686 and armhf....* gnu/packages/lean.scm (lean)[arguments]: Individual test cases are currently failing for 32-bit architectures. Disable them temporarily pending further investigation as to resolution. Brett Gilio
2020-07-19gnu: lean: Update to 3.17.1....* gnu/packages/lean.scm (lean): Update to 3.17.1. Brett Gilio