From b4f8100557e76799aab24616ca4654788857464f Mon Sep 17 00:00:00 2001 From: Ryan Date: Fri, 30 Aug 2024 09:38:37 -0600 Subject: [PATCH] Update cabal version numbers to development version number. --- crucible-llvm/crucible-llvm.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 +- 6 files changed, 6 insertions(+), 6 deletions(-) diff --git a/crucible-llvm/crucible-llvm.cabal b/crucible-llvm/crucible-llvm.cabal index d57405ac6..4f101653a 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.9 +Version: 0.9.0.99 Author: Galois Inc. Copyright: (c) Galois, Inc 2014-2022 Maintainer: rscott@galois.com, kquick@galois.com, langston@galois.com diff --git a/crucible-symio/crucible-symio.cabal b/crucible-symio/crucible-symio.cabal index 330a6e2e7..27e09088d 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.9 +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 index 4c20e4e08..4326cea11 100644 --- a/crucible/crucible.cabal +++ b/crucible/crucible.cabal @@ -1,6 +1,6 @@ Cabal-version: 2.2 Name: crucible -Version: 0.9 +Version: 0.9.0.99 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 7d31c8657..37dbe705e 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.9 +Version: 0.9.0.99 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 05c6448dc..0f18f7633 100644 --- a/crux-mir/crux-mir.cabal +++ b/crux-mir/crux-mir.cabal @@ -1,5 +1,5 @@ name: crux-mir -version: 0.9 +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 index 0137362f6..d75754363 100644 --- a/crux/crux.cabal +++ b/crux/crux.cabal @@ -1,6 +1,6 @@ Cabal-version: 2.2 Name: crux -Version: 0.9 +Version: 0.9.0.99 Copyright: (c) Galois, Inc. 2018-2022 Author: sweirich@galois.com Maintainer: rscott@galois.com, kquick@galois.com, langston@galois.com