Bump versions

creusot-rs · Jun 25, 2024 · 277c9cb · 277c9cb
1 parent 92bb6a4
commit 277c9cb
Show file tree

Hide file tree

Showing 12 changed files with 12 additions and 12 deletions.
diff --git a/cargo-creusot/Cargo.toml b/cargo-creusot/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "cargo-creusot"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

diff --git a/creusot-args/Cargo.toml b/creusot-args/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "creusot-args"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

diff --git a/creusot-contracts-dummy/Cargo.toml b/creusot-contracts-dummy/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "creusot-contracts-dummy"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 homepage = "https://github.com/creusot-rs/creusot"
 license = "LGPL-2.1-or-later"

diff --git a/creusot-contracts-proc/Cargo.toml b/creusot-contracts-proc/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "creusot-contracts-proc"
-version = "0.1.0"
+version = "0.1.1"
 authors = ["Xavier Denis <[email protected]>"]
 edition = "2018"
 homepage = "https://github.com/creusot-rs/creusot"

diff --git a/creusot-contracts/Cargo.toml b/creusot-contracts/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "creusot-contracts"
-version = "0.1.0"
+version = "0.1.1"
 authors = ["Xavier Denis <[email protected]>"]
 edition = "2018"
 homepage = "https://github.com/creusot-rs/creusot"

diff --git a/creusot-dev-config/Cargo.toml b/creusot-dev-config/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "creusot-dev-config"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 
 [dependencies]

diff --git a/creusot-metadata/Cargo.toml b/creusot-metadata/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "creusot-metadata"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

diff --git a/creusot-rustc/Cargo.toml b/creusot-rustc/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "creusot-rustc"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

diff --git a/creusot-setup/Cargo.toml b/creusot-setup/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "creusot-setup"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 
 [dependencies]

diff --git a/creusot/Cargo.toml b/creusot/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "creusot"
-version = "0.1.0"
+version = "0.1.1"
 authors = ["Xavier Denis <[email protected]>"]
 edition = "2021"
 license = "LGPL-2.1-or-later"

diff --git a/pearlite-syn/Cargo.toml b/pearlite-syn/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "pearlite-syn"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 license = "MIT OR Apache-2.0"
 homepage = "https://github.com/creusot-rs/creusot"

diff --git a/why3/Cargo.toml b/why3/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "why3"
-version = "0.1.0"
+version = "0.1.1"
 authors = ["Xavier Denis <[email protected]>"]
 edition = "2021"