diff --git a/saw-remote-api/python/poetry.lock b/saw-remote-api/python/poetry.lock
index 0814468f9c..ce94ea55bd 100644
--- a/saw-remote-api/python/poetry.lock
+++ b/saw-remote-api/python/poetry.lock
@@ -1,4 +1,4 @@
-# This file is automatically @generated by Poetry and should not be changed by hand.
+# This file is automatically @generated by Poetry 1.4.2 and should not be changed by hand.
 
 [[package]]
 name = "argo-client"
@@ -139,23 +139,21 @@ files = [
 
 [[package]]
 name = "cryptol"
-version = "2.13.1"
+version = "3.0.0"
 description = "Cryptol client for the Cryptol 2.13 RPC server"
 category = "main"
 optional = false
 python-versions = ">=3.8.0,<4"
-files = []
-develop = true
+files = [
+    {file = "cryptol-3.0.0-py3-none-any.whl", hash = "sha256:3235e5d90750c97747f7f1db9c23fc3a75aa7b72d1d7cd92403a5dd8434fc929"},
+    {file = "cryptol-3.0.0.tar.gz", hash = "sha256:95eba40009c15826fea34d5964f752bf49bc6165dd3df7ae18ed8a635be9f8a7"},
+]
 
 [package.dependencies]
 argo-client = "0.0.11"
-BitVector = "^3.4.9"
-requests = "^2.25.1"
-typing-extensions = "^4.1.1"
-
-[package.source]
-type = "directory"
-url = "../../deps/cryptol/cryptol-remote-api/python"
+BitVector = ">=3.4.9,<4.0.0"
+requests = ">=2.31.0,<3.0.0"
+typing-extensions = ">=4.1.1,<5.0.0"
 
 [[package]]
 name = "idna"
@@ -298,4 +296,4 @@ socks = ["PySocks (>=1.5.6,!=1.5.7,<2.0)"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.8"
-content-hash = "3f94851a80911a65be8e6c8f325e221b391734f25f4fdbd556c082deb49d44f0"
+content-hash = "e71c605ccdce9858ca305335b89ecee016b5e93f9cad94d1ffd81c4335a58b61"
diff --git a/saw-remote-api/python/pyproject.toml b/saw-remote-api/python/pyproject.toml
index 9bbac633ac..65b22e811e 100644
--- 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]