From 96c0c18c3e65b59f365b06e478fbcb71f272ed25 Mon Sep 17 00:00:00 2001 From: Maxim Cournoyer Date: Sat, 14 May 2022 11:26:05 -0400 Subject: [PATCH] gnu: Remove python-prompt-toolkit-2. * gnu/packages/python-xyz.scm (python-prompt-toolkit-2): Delete variable. (python-prompt-toolkit)[properties]: Delete field. (python-jupyter-console): Replace python-prompt-toolkit-2 with python-prompt-toolkit. --- gnu/packages/python-xyz.scm | 18 +----------------- 1 file changed, 1 insertion(+), 17 deletions(-) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index d59d353009..8088761f0f 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -16623,8 +16623,7 @@ (define-public python-prompt-toolkit highlighting while typing, out-of-the-box multi-line input editing, advanced code completion, incremental search, support for Chinese double-width characters, mouse support, and auto suggestions.") - (license license:bsd-3) - (properties `((python2-variant . ,(delay python-prompt-toolkit-2)))))) + (license license:bsd-3))) (define-public python-proselint (package @@ -16653,21 +16652,6 @@ (define-public python-proselint scans through a file and detects issues.") (license license:bsd-3))) -(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)) - (sha256 - (base32 - "0fgacqk73w7s932vy46pan2yp8rvjmlkag20xvaydh9mhf6h85zx")))) - (propagated-inputs - (list python-wcwidth python-six python-pygments)) - (properties '()))) - (define-public python-jedi (package (name "python-jedi")