aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2019-12-13 18:49:29 +0100
committerRicardo Wurmus <rekado@elephly.net>2019-12-13 22:41:39 +0100
commit592d423ca5d751d4dc6beb6b7500228ec6103937 (patch)
tree3e9f1af4d10acfcea30c7a0a957ca4c76d2316f2 /gnu/packages/coq.scm
parentc5b86d3a18fc671ee645dc8bfdaaced1a995ab2f (diff)
downloadguix-592d423ca5d751d4dc6beb6b7500228ec6103937.tar.gz
guix-592d423ca5d751d4dc6beb6b7500228ec6103937.zip
gnu: Add r-accrued.
* gnu/packages/cran.scm (r-accrued): New variable.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions