python client: add typing-eextensions as an explicit dependency

GaloisInc · Mar 21, 2022 · 0e31efa · 0e31efa
1 parent fe0bd96
commit 0e31efa
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 5 deletions.
diff --git a/cryptol-remote-api/python/poetry.lock b/cryptol-remote-api/python/poetry.lock
diff --git a/cryptol-remote-api/python/pyproject.toml b/cryptol-remote-api/python/pyproject.toml
@@ -17,6 +17,7 @@ python = ">=3.7.0,<4"
 requests = "^2.25.1"
 BitVector = "^3.4.9"
 argo-client = "0.0.10"
+typing-extensions = "^4.1.1"
 
 [tool.poetry.dev-dependencies]
 mypy = "^0.812"