From 00da89c240a5435e646c24ff7c44a404363d30f4 Mon Sep 17 00:00:00 2001 From: Ryan 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