Add 3.2.0 tag to cryptol.cabal

GaloisInc · Aug 20, 2024 · 1bcb75c · 1bcb75c
1 parent afb8730
commit 1bcb75c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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