From ef8de4dc92cee2ac9c957dc4f4078f477f3a6e1b Mon Sep 17 00:00:00 2001 From: Aaron Tomb Date: Fri, 30 Jul 2021 15:47:41 -0700 Subject: [PATCH] Bump Python dependency versions to match Cryptol --- saw-remote-api/python/poetry.lock | 6 +++--- saw-remote-api/python/pyproject.toml | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/saw-remote-api/python/poetry.lock b/saw-remote-api/python/poetry.lock index dc13cebedf..0b59fa6262 100644 --- a/saw-remote-api/python/poetry.lock +++ b/saw-remote-api/python/poetry.lock @@ -1,6 +1,6 @@ [[package]] name = "argo-client" -version = "0.0.4" +version = "0.0.5" description = "A JSON RPC client library." category = "main" optional = false @@ -36,7 +36,7 @@ python-versions = ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*, !=3.4.*" [[package]] name = "cryptol" -version = "2.11.0" +version = "2.11.2" description = "Cryptol client for the Cryptol 2.11 RPC server" category = "main" optional = false @@ -44,7 +44,7 @@ python-versions = "^3.8" develop = true [package.dependencies] -argo-client = "0.0.4" +argo-client = "0.0.5" BitVector = "^3.4.9" requests = "^2.25.1" diff --git a/saw-remote-api/python/pyproject.toml b/saw-remote-api/python/pyproject.toml index dec371a779..66289287b6 100644 --- a/saw-remote-api/python/pyproject.toml +++ b/saw-remote-api/python/pyproject.toml @@ -15,7 +15,7 @@ python = "^3.8" requests = "^2.25.1" BitVector = "^3.4.9" cryptol = { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true } -argo-client = "0.0.4" +argo-client = "0.0.5" [tool.poetry.dev-dependencies] mypy = "^0.812"