Bump release versions for Crux 0.8 series

This bumps `crux-{llvm,mir}` to version `0.8`, and it also bumps the release versions of other libraries that are destined for Hackage or have otherwise seen significant API changes. (cherry picked from commit e49efb2)
GaloisInc · Feb 6, 2024 · ed10449 · ed10449
1 parent 193d639
commit ed10449
Show file tree

Hide file tree

Showing 7 changed files with 7 additions and 7 deletions.
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.5
+Version:       0.6
 Author:        Galois Inc.
 Copyright:     (c) Galois, Inc 2014-2022
 Maintainer:    rscott@galois.com, kquick@galois.com, langston@galois.com

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

diff --git a/crucible-syntax/crucible-syntax.cabal b/crucible-syntax/crucible-syntax.cabal
@@ -1,6 +1,6 @@
 Cabal-version: 2.2
 Name:          crucible-syntax
-Version:       0.3
+Version:       0.4
 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.6
+Version:       0.7
 Author:        Galois Inc.
 Maintainer:    rscott@galois.com, kquick@galois.com, langston@galois.com
 Copyright:     (c) Galois, Inc 2014-2022

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.7.0.99
+Version:       0.8
 Author:        Galois Inc.
 Maintainer:    rscott@galois.com, kquick@galois.com, langston@galois.com
 Copyright:     (c) Galois, Inc 2014-2022

diff --git a/crux-mir/crux-mir.cabal b/crux-mir/crux-mir.cabal
@@ -1,5 +1,5 @@
 name:                crux-mir
-version:             0.7.0.99
+version:             0.8
 -- 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.6.0.99
+Version:       0.7
 Copyright:     (c) Galois, Inc. 2018-2022
 Author:        sweirich@galois.com
 Maintainer:    rscott@galois.com, kquick@galois.com, langston@galois.com