summaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2020-09-14 19:03:32 +0200
committerRicardo Wurmus <rekado@elephly.net>2020-09-14 19:07:47 +0200
commit1c1b94190253f19340e05e2118d3b5d093276522 (patch)
treef41e6fc64a4dfc8347d11b72d7b4ba973d0adef8 /gnu/packages/lean.scm
parent8731d274ae1afb53a85151629f34e35d2eeb75c0 (diff)
gnu: r-diversitree: Update to 0.9-14.
* gnu/packages/cran.scm (r-diversitree): Update to 0.9-14.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions