summaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2022-12-19 17:07:26 +0100
committerRicardo Wurmus <rekado@elephly.net>2022-12-19 18:29:49 +0100
commitc6b2b5fb57100b85108ec0fe4d5d79e0e495683f (patch)
treecc21e024ca5bde9b0bd4a8eb8ea1a66a1b1015bb /gnu/packages/lean.scm
parenteddf2dbb25e0a0647f5cad3d47d1b83db775fe4c (diff)
gnu: r-imager: Update to 0.42.16.
* gnu/packages/cran.scm (r-imager): Update to 0.42.16.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions