Update cabal version numbers to development version number.

GaloisInc · Aug 30, 2024 · 74b33b6 · 74b33b6
1 parent 6a41e01
commit 74b33b6
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 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.9.0
+Version:       0.9.0.99
 Author:        Galois Inc.
 Copyright:     (c) Galois, Inc 2014-2022
 Maintainer:    [email protected], [email protected], [email protected]

diff --git 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.9.0
+version:             0.9.0.99
 license:             BSD-3-Clause
 license-file:        LICENSE
 author:              Daniel Matichuk

diff --git a/crucible/crucible.cabal b/crucible/crucible.cabal
@@ -1,6 +1,6 @@
 Cabal-version: 2.2
 Name:          crucible
-Version:       0.9.0
+Version:       0.9.0.99
 Author:        Galois Inc.
 Maintainer:    [email protected], [email protected], [email protected]
 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.9.0
+Version:       0.9.0.99
 Author:        Galois Inc.
 Maintainer:    [email protected], [email protected], [email protected]
 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.9.0
+version:             0.9.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.9.0
+Version:       0.9.0.99
 Copyright:     (c) Galois, Inc. 2018-2022
 Author:        [email protected]
 Maintainer:    [email protected], [email protected], [email protected]