From 26d57e9ab5b569de05d6da8a65888b9e6a99d2cc Mon Sep 17 00:00:00 2001
From: Aaron Tomb <atomb@galois.com>
Date: Wed, 18 Nov 2020 15:59:52 -0800
Subject: [PATCH] Update version number and git tag in Cabal file

---
 cryptol.cabal | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/cryptol.cabal b/cryptol.cabal
index d443067a5..077e92790 100644
--- a/cryptol.cabal
+++ b/cryptol.cabal
@@ -1,6 +1,6 @@
 Cabal-version:       2.4
 Name:                cryptol
-Version:             2.9.1.99
+Version:             2.10.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 <http://www.cryptol.net/>.
 License:             BSD-3-Clause
@@ -25,8 +25,7 @@ source-repository head
 source-repository this
   type:     git
   location: https://github.com/GaloisInc/cryptol.git
-  -- add a tag on release branches
-  -- tag:
+  tag:      2.10.0
 
 
 flag static