cryptol.cabal: Tag 3.1.0 release

GaloisInc · Feb 5, 2024 · 65397a4 · 65397a4
1 parent 3cf3210
commit 65397a4
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.1.0
 
 
 flag static