Python bindings: Depend on cryptol-3.0.0

GaloisInc · Jun 26, 2023 · 550e66e · 550e66e
1 parent 8bcac4a
commit 550e66e
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 13 deletions.
diff --git a/saw-remote-api/python/poetry.lock b/saw-remote-api/python/poetry.lock
diff --git a/saw-remote-api/python/pyproject.toml b/saw-remote-api/python/pyproject.toml
@@ -14,7 +14,7 @@ include = [
 python = "^3.8"
 requests = "^2.25.1"
 BitVector = "^3.4.9"
-cryptol = { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true }
+cryptol = "3.0.0" # { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true }
 argo-client = "0.0.11"
 
 [tool.poetry.dev-dependencies]