From 464cb5b55de70a28e9c42ef6e8a1f84ba5918d90 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de>
Date: Wed, 2 Jan 2019 13:37:44 +0100
Subject: gnu: Add python-prompt-toolkit-1.

* gnu/packages/python.scm (python-prompt-toolkit-1, python2-prompt-toolkit-1):
New variables.
---
 gnu/packages/python.scm | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'gnu/packages/python.scm')

diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm
index 20b1ff69f0..8c091c0fa3 100644
--- a/gnu/packages/python.scm
+++ b/gnu/packages/python.scm
@@ -9929,6 +9929,20 @@ 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")
-- 
cgit v1.2.3