Update .cabal versions for crucible{,-llvm,-syntax} and uc-crux-llvm

RyanGlScott · RyanGlScott · commit d9a133075844 · 2022-05-16T09:22:40.000-04:00
diff --git a/crucible-llvm/crucible-llvm.cabal b/crucible-llvm/crucible-llvm.cabal
@@ -1,6 +1,6 @@
 Cabal-version: 2.2
 Name:          crucible-llvm
-Version:       0.3
+Version:       0.4
 Author:        Galois Inc.
 Copyright:     (c) Galois, Inc 2014-2021
 Maintainer:    rdockins@galois.com
diff --git a/crucible-syntax/crucible-syntax.cabal b/crucible-syntax/crucible-syntax.cabal
@@ -1,5 +1,5 @@
 Name:          crucible-syntax
-Version:       0.1
+Version:       0.2
 Author:        Galois Inc.
 Maintainer:    dtc@galois.com
 Build-type:    Simple
diff --git a/crucible/crucible.cabal b/crucible/crucible.cabal
@@ -1,6 +1,6 @@
 Cabal-version: 2.2
 Name:          crucible
-Version:       0.5
+Version:       0.6
 Author:        Galois Inc.
 Maintainer:    jhendrix@galois.com, rdockins@galois.com
 Copyright:     (c) Galois, Inc 2014-2021
diff --git a/uc-crux-llvm/uc-crux-llvm.cabal b/uc-crux-llvm/uc-crux-llvm.cabal
@@ -1,6 +1,6 @@
 Cabal-version: 2.2
 Name:          uc-crux-llvm
-Version:       0.1
+Version:       0.2
 Author:        Galois Inc.
 Maintainer:    Langston Barrett, Scott Moore, Tristan Ravitch
 Copyright:     (c) Galois, Inc 2021
