aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2019-12-27 20:31:37 +0100
committerRicardo Wurmus <rekado@elephly.net>2019-12-27 21:30:26 +0100
commit976ef4cd52903a26287b84c22a39944f579bc3f5 (patch)
tree1527727021341d5c87f1cdbbec2ef0f0cee6715f /gnu/packages/idris.scm
parent1d3c31a23c5fb2eb95d3ebca8af033fa154bb546 (diff)
downloadpatches-976ef4cd52903a26287b84c22a39944f579bc3f5.tar
patches-976ef4cd52903a26287b84c22a39944f579bc3f5.tar.gz
gnu: r-slam: Update to 0.1-47.
* gnu/packages/cran.scm (r-slam): Update to 0.1-47.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions