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

* rpc v2.12 release details fixes (i.e., cabal, changelogs, etc) * bump rpc server/client to dev version
GaloisInc · Nov 19, 2021 · cffdcdd · cffdcdd
1 parent 8b97cf4
commit cffdcdd
Show file tree

Hide file tree

Showing 5 changed files with 27 additions and 8 deletions.
diff --git a/cryptol-remote-api/CHANGELOG.md b/cryptol-remote-api/CHANGELOG.md
@@ -1,5 +1,13 @@
 # Revision history for `cryptol-remote-api` and `cryptol-eval-server`
 
+## 2.12.2 -- YYYY-MM-DD
+
+* NEW CHANGELOG ENTRIES SINCE 2.12.0 GO HERE
+
+## 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.1
 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,15 @@
 # Revision history for `cryptol` Python package
 
+## 2.12.2 -- YYYY-MM-DD
+
+* NEW CHANGELOG ENTRIES SINCE 2.12.0 GO HERE
+
+## 2.12.0 -- 2021-11-19
+
+* v2.12 release in tandem with Cryptol 2.12 release. See Cryptol release 2.12
+  release notes for relevant Cryptol changes. No notable changes to RPC server
+  or client since 2.11.7.
+
 ## 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,10 +1,11 @@
 [tool.poetry]
 name = "cryptol"
-version = "2.11.7"
+version = "2.12.1"
 readme = "README.md"
 keywords = ["cryptography", "verification"]
-description = "Cryptol client for the Cryptol 2.11 RPC server"
-authors = ["Andrew Kent <andrew@galois.com>", "Aaron Tomb <atomb@galois.com>", "Matthew Yacavone <myac@galois.com>"]
+description = "Cryptol client for the Cryptol 2.12 RPC server"
+authors = ["Galois, Inc. <cryptol-team@galois.com>"]
+
 license = "BSD License"
 include = [
     "LICENSE",

diff --git a/deps/argo b/deps/argo