bump cryptol-client version number for dev

GaloisInc · Dec 22, 2021 · 6685a6b · 6685a6b
1 parent 6f049ce
commit 6685a6b
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
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.4 -- YYYY-MM-DD
+
+* NEW CHANGELOG ENTRIES SINCE 2.12.2 GO HERE
+
 ## 2.12.2 -- 2021-12-21
 
 * Add an interface for Cryptol quasiquotation using an f-string-like syntax,

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.12.2"
+version = "2.12.3"
 readme = "README.md"
 keywords = ["cryptography", "verification"]
 description = "Cryptol client for the Cryptol 2.12 RPC server"