Merge branch 'master' into at-x86-error-handling

GaloisInc · Apr 19, 2021 · 45ca064 · 45ca064
2 parents c42aecd + 0814e0b
commit 45ca064
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 10 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
@@ -8,7 +8,7 @@ authors = ["Andrew Kent <[email protected]>", "Aaron Tomb <[email protected]>"]
 python = "^3.8"
 requests = "^2.25.1"
 BitVector = "^3.4.9"
-cryptol = { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true }
+cryptol = "2.11.0"
 argo-client = "0.0.4"
 
 [tool.poetry.dev-dependencies]