diff --git a/cryptol-remote-api/CHANGELOG.md b/cryptol-remote-api/CHANGELOG.md index 1e0344fd1..e1016f069 100644 --- a/cryptol-remote-api/CHANGELOG.md +++ b/cryptol-remote-api/CHANGELOG.md @@ -1,5 +1,9 @@ # Revision history for `cryptol-remote-api` and `cryptol-eval-server` +## 2.12.0 -- 2021-11-19 + +* v2.12 release + ## 2.11.1 -- 2021-06-23 * HTTPS/TLS support added. Enable by running server in `http` mode with `--tls` diff --git a/cryptol-remote-api/cryptol-remote-api.cabal b/cryptol-remote-api/cryptol-remote-api.cabal index 1bf013a49..7e1b298b6 100644 --- a/cryptol-remote-api/cryptol-remote-api.cabal +++ b/cryptol-remote-api/cryptol-remote-api.cabal @@ -1,10 +1,10 @@ cabal-version: 2.4 name: cryptol-remote-api -version: 0.1.0.0 +version: 2.12.0 license: BSD-3-Clause license-file: LICENSE -author: David Thrane Christiansen -maintainer: dtc@galois.com +author: Galois, Inc. +maintainer: cryptol-team@galois.com category: Language extra-source-files: CHANGELOG.md @@ -42,7 +42,7 @@ common deps build-depends: base >=4.11.1.0 && <4.15, argo, - aeson >= 1.4.2, + aeson >= 1.4.2 && < 2.0, base64-bytestring >= 1.0, bytestring ^>= 0.10.8, containers >=0.6.0.1 && <0.7, diff --git a/cryptol-remote-api/python/CHANGELOG.md b/cryptol-remote-api/python/CHANGELOG.md index a63cd5dd5..5d6ad2d32 100644 --- a/cryptol-remote-api/python/CHANGELOG.md +++ b/cryptol-remote-api/python/CHANGELOG.md @@ -1,5 +1,9 @@ # Revision history for `cryptol` Python package +## 2.12.0 -- 2021-11-19 + +* v2.12 release + ## 2.11.7 -- 2021-09-22 * Add a synchronous, type-annotated interface (`synchronous.py`). To use this diff --git a/cryptol-remote-api/python/pyproject.toml b/cryptol-remote-api/python/pyproject.toml index 7f391b2a5..666a3beb6 100644 --- a/cryptol-remote-api/python/pyproject.toml +++ b/cryptol-remote-api/python/pyproject.toml @@ -1,6 +1,6 @@ [tool.poetry] name = "cryptol" -version = "2.11.7" +version = "2.12.0" readme = "README.md" keywords = ["cryptography", "verification"] description = "Cryptol client for the Cryptol 2.11 RPC server" diff --git a/deps/argo b/deps/argo index 72dc6f057..fd8529883 160000 --- a/deps/argo +++ b/deps/argo @@ -1 +1 @@ -Subproject commit 72dc6f057d609ddaee8d964c41984faaa97e4cf1 +Subproject commit fd8529883cd462b5f666506ecce5802bbf6867df