aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2020-02-25 08:53:50 +0200
committerEfraim Flashner <efraim@flashner.co.il>2020-02-25 08:53:50 +0200
commitd70e74ce0eb036095bf7d9e06bbfe2bf669dd05a (patch)
tree5c46309b8218c1d190879c2fe2b8fed5ae019c0b /gnu/packages/coq.scm
parent0d197a63d1c2751c562f44046b089017cd246574 (diff)
downloadpatches-d70e74ce0eb036095bf7d9e06bbfe2bf669dd05a.tar
patches-d70e74ce0eb036095bf7d9e06bbfe2bf669dd05a.tar.gz
gnu: datamash: Update to 1.6.
* gnu/packages/datamash.scm (datamash): Update to 1.6.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions