cryptol.cabal: Set tag to 3.0.0

GaloisInc · Jun 26, 2023 · 7aede55 · 7aede55
1 parent 20c4672
commit 7aede55
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.0.0
 
 
 flag static