refactor: remove patch version from dependencies

SoftVarE-Group · Nov 15, 2024 · 7aa9b8a · 7aa9b8a
1 parent c4102e8
commit 7aa9b8a
Show file tree

Hide file tree

Showing 5 changed files with 14 additions and 11 deletions.
diff --git a/d4-arjun-sys/Cargo.toml b/d4-arjun-sys/Cargo.toml
@@ -12,7 +12,7 @@ homepage = "https://github.com/SoftVarE-Group/d4-oxide"
 repository = "https://github.com/SoftVarE-Group/d4-oxide.git"
 
 [dependencies]
-d4-cryptominisat-sys = { version = "0.1.0", path = "../d4-cryptominisat-sys" }
+d4-cryptominisat-sys = { version = "0.1", path = "../d4-cryptominisat-sys" }
 gmp-mpfr-sys = "1.6"
 
 [build-dependencies]

diff --git a/d4-cadiback-sys/Cargo.toml b/d4-cadiback-sys/Cargo.toml
@@ -11,5 +11,8 @@ readme = "../README.md"
 homepage = "https://github.com/SoftVarE-Group/d4-oxide"
 repository = "https://github.com/SoftVarE-Group/d4-oxide.git"
 
+[dependencies]
+d4-cadical-sys = { version = "0.1", path = "../d4-cadical-sys" }
+
 [build-dependencies]
 cmake = "0.1"
diff --git a/d4-cryptominisat-sys/Cargo.toml b/d4-cryptominisat-sys/Cargo.toml
@@ -12,7 +12,7 @@ homepage = "https://github.com/SoftVarE-Group/d4-oxide"
 repository = "https://github.com/SoftVarE-Group/d4-oxide.git"
 
 [dependencies]
-d4-cadiback-sys = { version = "0.1.0", path = "../d4-cadiback-sys" }
+d4-cadiback-sys = { version = "0.1", path = "../d4-cadiback-sys" }
 
 [build-dependencies]
 cmake = "0.1"
diff --git a/d4-gpmc-sys/Cargo.toml b/d4-gpmc-sys/Cargo.toml
@@ -12,8 +12,8 @@ homepage = "https://github.com/SoftVarE-Group/d4-oxide"
 repository = "https://github.com/SoftVarE-Group/d4-oxide.git"
 
 [dependencies]
-d4-arjun-sys = { version = "0.1.0", path = "../d4-arjun-sys" }
-d4-cryptominisat-sys = { version = "0.1.0", path = "../d4-cryptominisat-sys" }
+d4-arjun-sys = { version = "0.1", path = "../d4-arjun-sys" }
+d4-cryptominisat-sys = { version = "0.1", path = "../d4-cryptominisat-sys" }
 gmp-mpfr-sys = "1.6"
 
 [build-dependencies]

diff --git a/d4-oxide/Cargo.toml b/d4-oxide/Cargo.toml
@@ -12,13 +12,13 @@ repository = "https://github.com/SoftVarE-Group/d4-oxide.git"
 
 [dependencies]
 cxx = { version = "1.0", features = ["c++20"] }
-d4-arjun-sys = { version = "0.1.0", path = "../d4-arjun-sys" }
-d4-cadiback-sys = { version = "0.1.0", path = "../d4-cadiback-sys" }
-d4-cadical-sys = { version = "0.1.0", path = "../d4-cadical-sys" }
-d4-cryptominisat-sys = { version = "0.1.0", path = "../d4-cryptominisat-sys" }
-d4-glucose-sys = { version = "0.1.0", path = "../d4-glucose-sys" }
-d4-gpmc-sys = { version = "0.1.0", path = "../d4-gpmc-sys" }
-d4-sbva-sys = { version = "0.1.0", path = "../d4-sbva-sys" }
+d4-arjun-sys = { version = "0.1", path = "../d4-arjun-sys" }
+d4-cadiback-sys = { version = "0.1", path = "../d4-cadiback-sys" }
+d4-cadical-sys = { version = "0.1", path = "../d4-cadical-sys" }
+d4-cryptominisat-sys = { version = "0.1", path = "../d4-cryptominisat-sys" }
+d4-glucose-sys = { version = "0.1", path = "../d4-glucose-sys" }
+d4-gpmc-sys = { version = "0.1", path = "../d4-gpmc-sys" }
+d4-sbva-sys = { version = "0.1", path = "../d4-sbva-sys" }
 gmp-mpfr-sys = "1.6"
 
 [build-dependencies]