Subject: [bug#41395] [PATCH 2/3] gnu: Remove python-prompt-toolkit-1

From: Edouard Klein <[email-masked]>
Date: Tue, 26 May 2020 15:41:54 +0200

Please disregard this patch, as it turns out that
python2-jupyter-console and python2-ipython still depend on
python2-prompt-toolkit-1.

My apologies for this mistake (and many thanks to Tobias for figuring it
out).

Edouard Klein writes:

> * gnu/packages/python-xyz.scm (python-prompt-toolkit-1): Remove variable.
> ---
>  gnu/packages/python-xyz.scm | 14 --------------
>  1 file changed, 14 deletions(-)
>
> diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
> index 76a1635b12..04cfb98eef 100644
> --- a/gnu/packages/python-xyz.scm
> +++ b/gnu/packages/python-xyz.scm
> @@ -12144,20 +12144,6 @@ characters, mouse support, and auto suggestions.")
>  (define-public python2-prompt-toolkit
>    (package-with-python2 python-prompt-toolkit))
>  
> -(define-public python-prompt-toolkit-1
> -  (package (inherit python-prompt-toolkit)
> -    (version "1.0.15")
> -    (source
> -     (origin
> -       (method url-fetch)
> -       (uri (pypi-uri "prompt_toolkit" version ".tar.gz"))
> -       (sha256
> -        (base32
> -         "05v9h5nydljwpj5nm8n804ms0glajwfy1zagrzqrg91wk3qqi1c5"))))))
> -
> -(define-public python2-prompt-toolkit-1
> -  (package-with-python2 python-prompt-toolkit-1))
> -
>  (define-public python-jedi
>    (package
>      (name "python-jedi")