Bump version in Cabal file

Aaron Tomb · Aaron Tomb · commit 7ea13a984da1 · 2020-04-28T11:00:14.000-07:00
diff --git a/saw-script.cabal b/saw-script.cabal
@@ -1,5 +1,5 @@
 Name:          saw-script
-Version:       0.4.0.99
+Version:       0.5
 Author:        Galois Inc.
 Maintainer:    atomb@galois.com
 Build-type:    Custom
