From 1bcb75c5be92034b7b29155ab1f5d72780838605 Mon Sep 17 00:00:00 2001
From: Ryan <mccleeary@galois.com>
Date: Tue, 20 Aug 2024 10:24:24 -0600
Subject: [PATCH] Add 3.2.0 tag to cryptol.cabal

---
 cryptol.cabal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cryptol.cabal b/cryptol.cabal
index e4a3f6eb9..b89708182 100644
--- a/cryptol.cabal
+++ b/cryptol.cabal
@@ -27,7 +27,7 @@ source-repository this
   type:     git
   location: https://github.com/GaloisInc/cryptol.git
   -- add a tag on release branches
-  -- tag:
+  tag: 3.2.0
 
 
 flag static