aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2023-08-28 11:02:35 +0200
committerRicardo Wurmus <rekado@elephly.net>2023-08-28 14:22:44 +0200
commit4aeee4b57ddd36e7b9d7a8d849aff09a9e32b479 (patch)
tree09c65dfd29b8a1da651967c2e26d6d8eb58442f3 /gnu/packages/agda.scm
parent091bf43b7f9d9b61481f6661cdaf4df6531a93ee (diff)
downloadguix-4aeee4b57ddd36e7b9d7a8d849aff09a9e32b479.tar.gz
guix-4aeee4b57ddd36e7b9d7a8d849aff09a9e32b479.zip
gnu: r-spatial: Update to 7.3-17.
* gnu/packages/statistics.scm (r-spatial): Update to 7.3-17.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions