='robots' content='noindex, nofollow'/>
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
AgeCommit message (Expand)Author
2020-11-26gnu: lean: Trim synopsis....Tobias Geerinckx-Rice
2020-11-26gnu: lean: Update to 3.23.0....Tobias Geerinckx-Rice