misc: Move some crate versions to root Cargo.toml

oeb25 · May 2, 2024 · 27bf7dd · 27bf7dd
1 parent f9c03b4
commit 27bf7dd
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/Cargo.toml b/Cargo.toml
@@ -9,6 +9,8 @@ version = "0.1.8"
 itertools = "0.12.0"
 miette = { version = "5.5.0" }
 serde = { version = "1.0.152", features = ["derive"] }
+smtlib = { path = "./smtlib" }
+smtlib-lowlevel = { path = "./lowlevel", version = "0.1.8" }
 thiserror = "1.0.38"
 insta = { version = "1.23.0", features = ["ron"] }
 

diff --git a/smtlib/Cargo.toml b/smtlib/Cargo.toml
@@ -20,7 +20,7 @@ tokio = ["smtlib-lowlevel/tokio"]
 [dependencies]
 itertools.workspace = true
 miette.workspace = true
-smtlib-lowlevel = { path = "../lowlevel", version = "0.1.8" }
+smtlib-lowlevel.workspace = true
 serde = { workspace = true, optional = true }
 thiserror.workspace = true