aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2020-12-09 22:01:16 +0100
committerRicardo Wurmus <rekado@elephly.net>2020-12-09 22:03:38 +0100
commitda290237fbaff45de868e082e08ff291d94465b6 (patch)
tree288277b3cc1408dfd02ad6901f953c763de523d4 /gnu/packages/coq.scm
parent48af6aa1cb30bec60f83cf75ceb6894d1c7b6b83 (diff)
downloadguix-da290237fbaff45de868e082e08ff291d94465b6.tar
guix-da290237fbaff45de868e082e08ff291d94465b6.tar.gz
gnu: r-rcpparmadillo: Update to 0.10.1.2.0.
* gnu/packages/statistics.scm (r-rcpparmadillo): Update to 0.10.1.2.0.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions