Bump version for 0.6 release (#837)

Aaron Tomb · Jared Weakly · web-flow · commit 5f24a64a02a1 · 2020-09-02T17:29:09.000-07:00
Co-authored-by: Jared Weakly &lt;jweakly@galois.com&gt;
diff --git a/saw-script.cabal b/saw-script.cabal
@@ -1,5 +1,5 @@
 Name:          saw-script
-Version:       0.4.0.99
+Version:       0.6.0.99
 Author:        Galois Inc.
 Maintainer:    atomb@galois.com
 Build-type:    Custom
