aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2019-05-05 23:14:31 +0200
committerRicardo Wurmus <rekado@elephly.net>2019-05-06 00:14:28 +0200
commit8128189976ad0fef5065bb3f1b552273d8990759 (patch)
tree7db16d78b6b1d003e3f0b141d02c8de01d5d0bdf /gnu/packages/agda.scm
parent993912905d6e9130fa4b543b7b45a07113785c8b (diff)
downloadguix-8128189976ad0fef5065bb3f1b552273d8990759.tar.gz
guix-8128189976ad0fef5065bb3f1b552273d8990759.zip
gnu: Add r-rcpphnsw.
* gnu/packages/cran.scm (r-rcpphnsw): New variable.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions