From 8d022852523d5f3181488dafa97e49966492b553 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Mon, 16 May 2022 09:18:19 -0400 Subject: [PATCH] Update to version 2.13.0 --- cryptol-remote-api/cryptol-remote-api.cabal | 2 +- cryptol-remote-api/python/pyproject.toml | 2 +- cryptol.cabal | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/cryptol-remote-api/cryptol-remote-api.cabal b/cryptol-remote-api/cryptol-remote-api.cabal index 7d19dc5e..4d5652b4 100644 --- a/cryptol-remote-api/cryptol-remote-api.cabal +++ b/cryptol-remote-api/cryptol-remote-api.cabal @@ -1,6 +1,6 @@ cabal-version: 2.4 name: cryptol-remote-api -version: 2.12.1 +version: 2.13.0 license: BSD-3-Clause license-file: LICENSE author: Galois, Inc. diff --git a/cryptol-remote-api/python/pyproject.toml b/cryptol-remote-api/python/pyproject.toml index ed581e3a..880c7937 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.5" +version = "2.13.0" readme = "README.md" keywords = ["cryptography", "verification"] description = "Cryptol client for the Cryptol 2.12 RPC server" diff --git a/cryptol.cabal b/cryptol.cabal index 66ef9548..656e70ab 100644 --- a/cryptol.cabal +++ b/cryptol.cabal @@ -1,6 +1,6 @@ Cabal-version: 2.4 Name: cryptol -Version: 2.12.0.99 +Version: 2.13.0 Synopsis: Cryptol: The Language of Cryptography Description: Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language. For more, see . License: BSD-3-Clause @@ -26,7 +26,7 @@ source-repository this type: git location: https://github.com/GaloisInc/cryptol.git -- add a tag on release branches - -- tag: + tag: 2.13.0 flag static