aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorNaga Malleswari <nagamalli@riseup.net>2020-04-24 01:43:29 +0530
committerRicardo Wurmus <rekado@elephly.net>2020-04-24 15:51:39 +0200
commitd234006b38fe004855af8765acbef67b907d13a7 (patch)
tree50a4b72cd3c93fa30e00690d919832304b7c05b9 /gnu/packages/lean.scm
parentaa3fdca85c6a28e8a945ac0041b921465fa0fb66 (diff)
downloadpatches-d234006b38fe004855af8765acbef67b907d13a7.tar
patches-d234006b38fe004855af8765acbef67b907d13a7.tar.gz
gnu: Add r-grouped.
* gnu/packages/cran.scm (r-grouped): New variable.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions