summaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2019-09-02 14:33:19 +0200
committerRicardo Wurmus <rekado@elephly.net>2019-09-02 14:40:55 +0200
commit6c81cc885df2fdcf51a6814c1a2cf4a4d4a16605 (patch)
tree7d3587cc8492e2d6d80c46018d93ad5c148cb16c /gnu/packages/agda.scm
parent4f1c668d318db448381834c726a8795f24b8b04b (diff)
downloadpatches-6c81cc885df2fdcf51a6814c1a2cf4a4d4a16605.tar
patches-6c81cc885df2fdcf51a6814c1a2cf4a4d4a16605.tar.gz
gnu: r-fields: Update to 9.8-6.
* gnu/packages/cran.scm (r-fields): Update to 9.8-6.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions