summaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2020-05-12 16:58:49 +0200
committerRicardo Wurmus <rekado@elephly.net>2020-05-12 19:44:30 +0200
commit8093f42ec1036ddac655fd79ba66f936283a6245 (patch)
treecb401580140b7eb3cae67398d44a23e75e99d7e9 /gnu/packages/agda.scm
parentf44d9c48ee347b114527d910e04d2351f0a28faf (diff)
downloadpatches-8093f42ec1036ddac655fd79ba66f936283a6245.tar
patches-8093f42ec1036ddac655fd79ba66f936283a6245.tar.gz
gnu: r-rlang: Update to 0.4.6.
* gnu/packages/statistics.scm (r-rlang): Update to 0.4.6.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions