mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-10-26 14:20:59 +03:00
chore: bump cryptol client patch number (#1244)
This commit is contained in:
parent
746e04f4f5
commit
ce647eba21
@ -1,5 +1,10 @@
|
|||||||
# Revision history for `cryptol` Python package
|
# Revision history for `cryptol` Python package
|
||||||
|
|
||||||
|
## 2.11.3 -- 2021-07-20
|
||||||
|
|
||||||
|
* Removed automatic reset from `CryptolConnection.__del__`.
|
||||||
|
|
||||||
|
|
||||||
## 2.11.2 -- 2021-06-23
|
## 2.11.2 -- 2021-06-23
|
||||||
|
|
||||||
* Ability to leverage HTTPS/TLS while _disabling_ verification of SSL certificates.
|
* Ability to leverage HTTPS/TLS while _disabling_ verification of SSL certificates.
|
||||||
|
@ -1,6 +1,6 @@
|
|||||||
[tool.poetry]
|
[tool.poetry]
|
||||||
name = "cryptol"
|
name = "cryptol"
|
||||||
version = "2.11.2"
|
version = "2.11.3"
|
||||||
readme = "README.md"
|
readme = "README.md"
|
||||||
keywords = ["cryptography", "verification"]
|
keywords = ["cryptography", "verification"]
|
||||||
description = "Cryptol client for the Cryptol 2.11 RPC server"
|
description = "Cryptol client for the Cryptol 2.11 RPC server"
|
||||||
|
Loading…
Reference in New Issue
Block a user