summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2022-05-28 08:30:31 +0200
committerRicardo Wurmus <rekado@elephly.net>2022-05-28 23:18:52 +0200
commitec5682eaf40355bf2b7f331243dcb4850baa0b2b (patch)
tree74be3439a89fda5897c9f45b480304cabedccb79 /gnu/packages/coq.scm
parent2b1400d659432db4dc560364c7f692016e7fbdb1 (diff)
gnu: r-globals: Update to 0.15.0.
* gnu/packages/cran.scm (r-globals): Update to 0.15.0.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions