summaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2018-09-05 19:24:41 +0200
committerRicardo Wurmus <rekado@elephly.net>2018-09-05 20:03:07 +0200
commit2cdd9d4f832bf11d9b419e15fdfcdcf49ec99520 (patch)
tree16eb1e405e515b6be3e8acb58e8d7d8c7446354f /gnu/packages/idris.scm
parentcb96d81be47ac5e553dc7b14ce64823a9b6f99a5 (diff)
gnu: r-reticulate: Update to 1.10.
* gnu/packages/cran.scm (r-reticulate): Update to 1.10.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions