From a1b87bd0a9aa47b6eb7b389fc807a152d53d7aef 2020-12-31 21:44:34
From: Damian Yurzola <damian@yurzola.net>
Date: 2020-12-31 21:44:34
Subject: [PATCH] Pin Jedi dependency.

---

diff --git a/setup.py b/setup.py
index f26c588..95abf71 100755
--- a/setup.py
+++ b/setup.py
@@ -186,14 +186,14 @@ extras_require = dict(
 )
 
 install_requires = [
-    'setuptools>=18.5',
-    'jedi>=0.10',
-    'decorator',
-    'pickleshare',
-    'traitlets>=4.2',
-    'prompt_toolkit>=2.0.0,<3.1.0,!=3.0.0,!=3.0.1',
-    'pygments',
-    'backcall',
+    "setuptools>=18.5",
+    "jedi>=0.16,<0.18.0",
+    "decorator",
+    "pickleshare",
+    "traitlets>=4.2",
+    "prompt_toolkit>=2.0.0,<3.1.0,!=3.0.0,!=3.0.1",
+    "pygments",
+    "backcall",
 ]
 
 # Platform-specific dependencies: