From 6685a6bc46907e6471691dc4ca1a3621679d6967 Mon Sep 17 00:00:00 2001 From: Matthew Yacavone Date: Wed, 22 Dec 2021 13:53:19 -0800 Subject: [PATCH] bump cryptol-client version number for dev --- cryptol-remote-api/python/CHANGELOG.md | 4 ++++ cryptol-remote-api/python/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/cryptol-remote-api/python/CHANGELOG.md b/cryptol-remote-api/python/CHANGELOG.md index 05331e837..9891041a9 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.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 index 9536a7f3a..3bb931075 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.12.2" +version = "2.12.3" readme = "README.md" keywords = ["cryptography", "verification"] description = "Cryptol client for the Cryptol 2.12 RPC server"