Fix tag in Cabal file

GaloisInc · Sep 4, 2019 · 1d27843 · 1d27843
1 parent f391bea
commit 1d27843
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cryptol.cabal b/cryptol.cabal
@@ -25,7 +25,7 @@ source-repository head
 source-repository this
   type:     git
   location: https://github.com/GaloisInc/cryptol.git
-  tag:      release-2.8.0
+  tag:      2.8.0
 
 flag static
   default: False