rpc v2.12 release details fixes (i.e., cabal, changelogs, etc)

GaloisInc · Nov 19, 2021 · 68a926e · 68a926e
1 parent 8b97cf4
commit 68a926e
Show file tree

Hide file tree

Showing 5 changed files with 14 additions and 6 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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