Edouard Klein writes: > * gnu/packages/machine-learning.scm (python-iml): Pin implicit > python-prompt-toolkit dependency to version 2. I added a [propagated-inputs] here. > * gnu/packages/python-xyz.scm (python-widgetsnbextension): Pin implicit > python-prompt-toolkit dependency to version 2. And here. > (python-ipywidgets): Update to version 7.5.1. And removed this. > (python-ipywidgets): Pin implicit python-prompt-toolkit dependency to version > 2. [propagated-inputs] > (python-jupyter-console): Update to version 6.1.0. Removed. > (python-jupyter-console): Pin implicit python-prompt-toolkit dependency to > version 2. > (python-jupyter-console): Pin explicit python-prompt-toolkit dependency to > version 2. Duplicate. > (python-prompt-toolkit): Update to version 3.0.5. I mentioned the changes to [home-page] and [propagated-inputs] here. > (python-prompt-toolkit-2): New variable > (prompt-toolkit-2-instead-of-prompt-toolkit): New variable > (python2-prompt-toolkit): keep at version 2. > (python-prompt-toolkit-1): inherit from version 2. And added capitalizations and full stops here. [...] > +(define-public python-prompt-toolkit-2 > + (package (inherit python-prompt-toolkit) > + (name "python-prompt-toolkit") > + (version "2.0.7") > + (source > + (origin > + (method url-fetch) > + (uri (pypi-uri "prompt_toolkit" version ".tar.gz")) > + (sha256 > + (base32 > + "0fgacqk73w7s932vy46pan2yp8rvjmlkag20xvaydh9mhf6h85zx")))) > + (propagated-inputs > + `(("python-wcwidth" ,python-wcwidth) > + ("python-six" ,python-six) > + ("python-pygments" ,python-pygments) > + ("python-wcwidth" ,python-wcwidth))))) Duplicate wcwidth input (fixed). > +(define-public prompt-toolkit-2-instead-of-prompt-toolkit > + (package-input-rewriting/spec > + `(("python-prompt-toolkit" . ,(const python-prompt-toolkit-2))))) So this procedure is extremely greedy, and creates new derivations of python-sphinx, python-cython and others for the affected packages. Not sure what's going on, but went ahead and applied it anyway. The patches will be pushed shortly. Thank you!