summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2022-09-20 10:53:35 +0200
committerRicardo Wurmus <rekado@elephly.net>2022-09-20 17:02:31 +0200
commitf0a4672485533b81f7ecaa4b61412340a8d9fa20 (patch)
tree13481c3394186d4f96cf602a26473789bae044d8 /gnu/packages/coq.scm
parentaaeaef0d0118cffb616131c4e662f315bda89cfb (diff)
gnu: r-desc: Update to 1.4.2.
* gnu/packages/statistics.scm (r-desc): Update to 1.4.2.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions