aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorMaxim Cournoyer <maxim.cournoyer@gmail.com>2021-01-22 21:25:05 -0500
committerMaxim Cournoyer <maxim.cournoyer@gmail.com>2021-02-01 11:53:48 -0500
commit25c18d5385eabc0be627655628c026b0477a7c96 (patch)
tree418be6154f7b83af243f5c51193fed3c56c8754f /gnu/packages/lean.scm
parent1ed567c8721ec2810fdb70f1c6fc8396a705d503 (diff)
downloadguix-25c18d5385eabc0be627655628c026b0477a7c96.tar.gz
guix-25c18d5385eabc0be627655628c026b0477a7c96.zip
gnu: behave: Do not set PYTHONPATH.
* gnu/packages/check.scm (behave)[arguments]: Remove the '#:phases' argument. [propagated-inputs]: Remove python-importlib-metadata and python-six.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions