summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorWiktor Żelazny <wz@freeshell.de>2021-10-13 19:01:51 +0200
committerRicardo Wurmus <rekado@elephly.net>2022-06-18 10:51:12 +0200
commiteb5df275ce74f18994bd60d05f295fa2c5c6ce89 (patch)
treeea65a58a389a7e36063af4dd2fcd4d7bed2d85e7 /gnu/packages/coq.scm
parent3154b582567539d8d607344fbd03a3d8456f66cb (diff)
gnu: Add r-gghalves.
* gnu/packages/cran.scm (r-gghalves): New variable. Co-authored-by: Ricardo Wurmus <rekado@elephly.net>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions