Change cryptol-remote-api toml file to dev version v3.1.1.99.

GaloisInc · May 15, 2024 · 42ee417 · 42ee417
1 parent 3924ddd
commit 42ee417
Showing 1 changed file with 1 addition and 1 deletion.
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 = "3.1.1"
+version = "3.1.1.99"
 readme = "README.md"
 keywords = ["cryptography", "verification"]
 description = "Cryptol client for the Cryptol RPC server"