From ee24f89026640bbed99d2f35c6c4c2f99e20c6bf Mon Sep 17 00:00:00 2001 From: Andrew Kent Date: Fri, 8 Apr 2022 13:18:31 -0700 Subject: [PATCH] update python cryptol client dep version to latest --- saw-remote-api/python/pyproject.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/saw-remote-api/python/pyproject.toml b/saw-remote-api/python/pyproject.toml index c0793d0e35..c7f25d3fd6 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 = "2.12.2" # { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true } +cryptol = "2.12.4" # { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true } argo-client = "0.0.10" [tool.poetry.dev-dependencies]