summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorMarius Bakke <mbakke@fastmail.com>2019-02-08 18:50:33 +0100
committerMarius Bakke <mbakke@fastmail.com>2019-02-09 21:27:25 +0100
commit16e03a521e3d4a0b0415cacb87d66d88a5463f67 (patch)
tree0508b49e52aebfe70f91c1f71d39c0587e06de40 /gnu/packages/coq.scm
parent84127f8c300b6485d1fc476ccb2a0bf06cea683e (diff)
downloadpatches-16e03a521e3d4a0b0415cacb87d66d88a5463f67.tar
patches-16e03a521e3d4a0b0415cacb87d66d88a5463f67.tar.gz
gnu: python-more-itertools: Update to 5.0.0.
* gnu/packages/python-xyz.scm (python-more-itertools): Update to 5.0.0. [arguments]: Remove.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions