GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-10-04 09:28:58 +03:00
Code Issues Projects Releases Wiki Activity

Prepare for relase of v3.1.1 of cryptol-remote-api.

Browse Source
This commit is contained in:
Ryan 2024-05-15 15:02:30 -06:00
parent 74612f963d
commit 3924ddd114
4 changed files with 15 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
cryptol-remote-api/python/CHANGELOG.md
View File

@ -1,5 +1,9 @@
# Revision history for `cryptol` Python package # Revision history for `cryptol` Python package
## 3.1.1 -- 2024-05-15
* Add support for Python 3.12.
## 3.1.0 -- 2024-02-05 ## 3.1.0 -- 2024-02-05
* The v3.1.0 release is made in tandem with the Cryptol 3.1.0 release. See the * The v3.1.0 release is made in tandem with the Cryptol 3.1.0 release. See the

2
cryptol-remote-api/python/LICENSE
View File

@ -1,4 +1,4 @@
Copyright (c) 2013-2021 Galois Inc. Copyright (c) 2013-2024 Galois Inc.
All rights reserved. All rights reserved.
Redistribution and use in source and binary forms, with or without Redistribution and use in source and binary forms, with or without

15
cryptol-remote-api/python/poetry.lock generated
View File

@ -2,18 +2,19 @@
[[package]] [[package]]
name = "argo-client" name = "argo-client"
version = "0.0.11" version = "0.0.12"
description = "A JSON RPC client library." description = "A JSON RPC client library."
optional = false optional = false
python-versions = ">=3.8.0,<4" python-versions = "<4,>=3.8.0"
files = [ files = [
{file = "argo-client-0.0.11.tar.gz", hash = "sha256:a4be33fab731d03b8d9fc9d997a5ba611feb66648e978b192ec43e560f916931"}, {file = "argo_client-0.0.12-py3-none-any.whl", hash = "sha256:6986b79f03d6592cdcc87cb228a0829cedf12852134c3af9083a322fa28bdc4a"},
{file = "argo_client-0.0.11-py3-none-any.whl", hash = "sha256:85f54ec3b1303d12b86442ea6d77487e51590a983505a947ebeee48a2546914f"}, {file = "argo_client-0.0.12.tar.gz", hash = "sha256:97f5b2db3caa4598c5cdcb1e9c80b5d330bdc5ecae08e36198e4dab217af4b97"},
] ]
[package.dependencies] [package.dependencies]
requests = ">=2.26.0,<3.0.0" requests = ">=2.31.0"
urllib3 = ">=1.26.5" types-requests = ">=2.31.0"
urllib3 = ">=2.2.0"
[[package]] [[package]]
name = "bitvector" name = "bitvector"
@ -281,4 +282,4 @@ zstd = ["zstandard (>=0.18.0)"]
[metadata] [metadata]
lock-version = "2.0" lock-version = "2.0"
python-versions = ">=3.8.0,<4" python-versions = ">=3.8.0,<4"
content-hash = "fa4bc31dd07bcb7d16f5a1d346f2e4fb2db32fd5a50a05b024764be692de210c" content-hash = "79eb7e6a2b0a2e765d5b699665389a58e1919bf4f7afe811cfdb60271b2e94d4"

4
cryptol-remote-api/python/pyproject.toml
View File

@ -1,6 +1,6 @@
[tool.poetry] [tool.poetry]
name = "cryptol" name = "cryptol"
version = "3.1.0.99" version = "3.1.1"
readme = "README.md" readme = "README.md"
keywords = ["cryptography", "verification"] keywords = ["cryptography", "verification"]
description = "Cryptol client for the Cryptol RPC server" description = "Cryptol client for the Cryptol RPC server"
@ -15,7 +15,7 @@ include = [
[tool.poetry.dependencies] [tool.poetry.dependencies]
python = ">=3.8.0,<4" python = ">=3.8.0,<4"
BitVector = "^3.4.9" BitVector = "^3.4.9"
argo-client = "0.0.11" argo-client = "0.0.12"
typing-extensions = "^4.1.1" typing-extensions = "^4.1.1"
requests = ">=2.31.0" requests = ">=2.31.0"