Bump Crux versions after 0.6 release

GaloisInc · May 17, 2022 · cb3af79 · cb3af79
1 parent cbd670d
commit cb3af79
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/crux-llvm/crux-llvm.cabal b/crux-llvm/crux-llvm.cabal
@@ -1,6 +1,6 @@
 Cabal-version: 2.2
 Name:          crux-llvm
-Version:       0.5.0.99
+Version:       0.6.0.99
 Author:        Galois Inc.
 Maintainer:    iavor.diatchki@gmail.com
 Copyright:     (c) Galois, Inc 2014-2021

diff --git a/crux-mir/crux-mir.cabal b/crux-mir/crux-mir.cabal
@@ -1,5 +1,5 @@
 name:                crux-mir
-version:             0.5.0.99
+version:             0.6.0.99
 -- synopsis:
 -- description:
 homepage:            https://github.com/GaloisInc/crucible/blob/master/crux-mir/README.md

diff --git a/crux/crux.cabal b/crux/crux.cabal
@@ -1,6 +1,6 @@
 Cabal-version: 2.2
 Name:          crux
-Version:       0.5.0.99
+Version:       0.6.0.99
 Copyright:     (c) Galois, Inc. 2018-2021
 Author:        sweirich@galois.com
 Maintainer:    rdockins@galois.com