From 00da89c240a5435e646c24ff7c44a404363d30f4 Mon Sep 17 00:00:00 2001
From: Ryan <mccleeary@galois.com>
Date: Fri, 30 Aug 2024 12:16:35 -0600
Subject: [PATCH] Update version numbers for crux-v0.9 release

---
 crucible-llvm/crucible-llvm.cabal   | 2 +-
 crucible-mir/crucible-mir.cabal     | 2 +-
 crucible-symio/crucible-symio.cabal | 2 +-
 crucible/crucible.cabal             | 2 +-
 crux-llvm/crux-llvm.cabal           | 2 +-
 crux-mir/crux-mir.cabal             | 2 +-
 crux/crux.cabal                     | 2 +-
 7 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/crucible-llvm/crucible-llvm.cabal b/crucible-llvm/crucible-llvm.cabal
index 01ca3866f..0bb4581c1 100644
--- 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.6.0.99
+Version:       0.7
 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
index ab459807f..1e2ac0c8e 100644
--- a/crucible-mir/crucible-mir.cabal
+++ b/crucible-mir/crucible-mir.cabal
@@ -1,5 +1,5 @@
 name:                crucible-mir
-version:             0.2
+version:             0.3
 -- synopsis:
 -- description:
 homepage:            https://github.com/GaloisInc/crucible/blob/master/crucible-mir/README.md
diff --git a/crucible-symio/crucible-symio.cabal b/crucible-symio/crucible-symio.cabal
index eae802377..dbda3754f 100644
--- a/crucible-symio/crucible-symio.cabal
+++ b/crucible-symio/crucible-symio.cabal
@@ -6,7 +6,7 @@ description:
   reading and writing symbolic data. An example use case would be to support verifying
   programs that e.g., use configuration files or accept input from files.
 name:                crucible-symio
-version:             0.1.0.99
+version:             0.1.1
 license:             BSD-3-Clause
 license-file:        LICENSE
 author:              Daniel Matichuk
diff --git a/crucible/crucible.cabal b/crucible/crucible.cabal
index 28968018d..3f95ff386 100644
--- a/crucible/crucible.cabal
+++ b/crucible/crucible.cabal
@@ -1,6 +1,6 @@
 Cabal-version: 2.2
 Name:          crucible
-Version:       0.7.0.99
+Version:       0.7.1
 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
index f6fb48d57..7d31c8657 100644
--- 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.8.0.99
+Version:       0.9
 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
index 31d9245f1..05c6448dc 100644
--- a/crux-mir/crux-mir.cabal
+++ b/crux-mir/crux-mir.cabal
@@ -1,5 +1,5 @@
 name:                crux-mir
-version:             0.8.0.99
+version:             0.9
 -- synopsis:
 -- description:
 homepage:            https://github.com/GaloisInc/crucible/blob/master/crux-mir/README.md
diff --git a/crux/crux.cabal b/crux/crux.cabal
index eeceb3036..da21fd260 100644
--- a/crux/crux.cabal
+++ b/crux/crux.cabal
@@ -1,6 +1,6 @@
 Cabal-version: 2.2
 Name:          crux
-Version:       0.7.0.99
+Version:       0.7.1
 Copyright:     (c) Galois, Inc. 2018-2022
 Author:        sweirich@galois.com
 Maintainer:    rscott@galois.com, kquick@galois.com, langston@galois.com