aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/cran.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/packages/cran.scm')
0 files changed, 0 insertions, 0 deletions
4:22:50 +0100'>2020-11-26gnu: lean: Update to 3.23.0....* gnu/packages/lean.scm (lean): Update to 3.23.0. Tobias Geerinckx-Rice