summary refs log tree commit diff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2019-12-17 19:18:36 +0100
committerRicardo Wurmus <rekado@elephly.net>2019-12-17 20:02:16 +0100
commit96afb6c683175b0f0474cd7589ad6ca44dac4a5b (patch)
treee9191b7d576da62838ad5e8168847c42d7678452 /gnu/packages/agda.scm
parentc686e53afe184f086576901ee1d2f8a45a474606 (diff)
downloadguix-96afb6c683175b0f0474cd7589ad6ca44dac4a5b.tar.gz
gnu: Add r-lim.
* gnu/packages/cran.scm (r-lim): New variable.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions