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