summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2020-10-31 13:44:48 +0100
committerRicardo Wurmus <rekado@elephly.net>2020-10-31 13:46:47 +0100
commit698f5c0b037ee22e0d09ae7c445d77c7aa354a1e (patch)
treea44f2313d75b1dd551d11e53944fca70bd23cc06 /gnu/packages/coq.scm
parent966486cf04df0efbfe3af6c89a9e97e0c12795f2 (diff)
gnu: r-rcpparmadillo: Update to 0.10.1.0.0.
* gnu/packages/statistics.scm (r-rcpparmadillo): Update to 0.10.1.0.0.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions