summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2020-12-09 21:58:30 +0100
committerRicardo Wurmus <rekado@elephly.net>2020-12-09 22:03:33 +0100
commit5f68a11ea2f1417ee952f5c60f1abd5d1eea5f17 (patch)
tree19682e56b17bb39f1561a8f4c3f53a6640b1b85b /gnu/packages/coq.scm
parent2ccaac5519042d3302834d995459a0b24028cda6 (diff)
gnu: r-gh: Update to 1.2.0.
* gnu/packages/cran.scm (r-gh): Update to 1.2.0. [propagated-inputs]: Add r-gitcreds. [native-inputs]: Add r-knitr.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions