specify versions in detail

chrjabs · Jan 10, 2024 · abdb4a0 · abdb4a0
1 parent d0d1a07
commit abdb4a0
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/rustsat/Cargo.toml b/rustsat/Cargo.toml
@@ -31,7 +31,7 @@ pyo3-build-config = { version = "0.20.0", optional = true }
 
 [dev-dependencies]
 inline-c = "0.1.7"
-rustsat-minisat = { version = "0.2", path = "../minisat" }
+rustsat-minisat = { version = "0.2.1", path = "../minisat" }
 
 [features]
 default = [

diff --git a/tools/Cargo.toml b/tools/Cargo.toml
@@ -12,9 +12,9 @@ readme = "README.md"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-rustsat = { version = "0.4", path = "../rustsat", features = ["compression", "multiopt", "rand", "internals"] }
-rustsat-cadical = { version = "0.2", path = "../cadical", optional = true }
-rustsat-minisat = { version = "0.2", path = "../minisat", optional = true }
+rustsat = { version = "0.4.0", path = "../rustsat", features = ["compression", "multiopt", "rand", "internals"] }
+rustsat-cadical = { version = "0.2.1", path = "../cadical", optional = true }
+rustsat-minisat = { version = "0.2.1", path = "../minisat", optional = true }
 clap = { version = "4.2.4", features = ["derive", "cargo"] }
 concolor-clap = { version = "0.1.0" }
 termcolor = { version = "1.2.0" }