aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2019-05-05 23:20:56 +0200
committerRicardo Wurmus <rekado@elephly.net>2019-05-06 00:14:28 +0200
commit78735b9f3440cca5187d0e7da76c899e97e8208c (patch)
treede2dcfc0d34bb9c814ecf38bb65213371613736b /gnu/packages/agda.scm
parent8128189976ad0fef5065bb3f1b552273d8990759 (diff)
downloadguix-78735b9f3440cca5187d0e7da76c899e97e8208c.tar.gz
guix-78735b9f3440cca5187d0e7da76c899e97e8208c.zip
gnu: Add r-grimport2.
* gnu/packages/cran.scm (r-grimport2): New variable.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions