summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorMaxim Cournoyer <maxim.cournoyer@gmail.com>2021-09-26 22:17:45 -0400
committerMaxim Cournoyer <maxim.cournoyer@gmail.com>2021-09-26 22:47:19 -0400
commit7816a81a3db623d429749832996583d394e7bd84 (patch)
treeb380c4d2a23a4da886735a51fe7147bf77a02329 /gnu/packages/coq.scm
parentc8bd0da5e901e345b1c5467fd2713724778758d6 (diff)
gnu: python-carbon: Update to 1.1.8 and rename from python2-carbon.
* gnu/packages/monitoring.scm (python2-carbon): Rename to... (python-carbon): ... this. Update to 1.1.8. [arguments]{python}: Remove argument. [propagated-inputs]{python2-configparser}: Remove input. {python-urllib3, python-cachetools}: Add inputs. {python2-whisper, python2-txamqp}: Upgrade to their Python 3 variants.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions