summary refs log tree commit diff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2020-03-02 23:02:46 +0100
committerRicardo Wurmus <rekado@elephly.net>2020-03-02 23:05:49 +0100
commit505d6716d0df1dc5e8ef3438f0d7ec68c695d874 (patch)
tree53822a238525b67329aff1c88d954395b97ab0fd /gnu/packages/lean.scm
parent7316f137dc1679baaf3dcaa180ce15966a2e3bd7 (diff)
downloadguix-505d6716d0df1dc5e8ef3438f0d7ec68c695d874.tar.gz
gnu: Add r-zyp.
* gnu/packages/cran.scm (r-zyp): New variable.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions