explicitiely spell out dependencies (for Dependabot)

chrjabs · Oct 30, 2023 · 3d298d3 · 3d298d3
1 parent ea8898c
commit 3d298d3
Show file tree

Hide file tree

Showing 6 changed files with 31 additions and 31 deletions.
diff --git a/cadical/Cargo.toml b/cadical/Cargo.toml
@@ -35,10 +35,10 @@ v1-8-0 = []
 
 [dependencies]
 cpu-time = "1.0.0"
-rustsat = { version = "0.3", path = "../rustsat", default-features = false }
+rustsat = { version = "0.3.0", path = "../rustsat", default-features = false }
 
 [build-dependencies]
-cc = { version = "1", features = ["parallel"] }
-git2 = "0"
-glob = "0"
-chrono = "0"
+cc = { version = "1.0.83", features = ["parallel"] }
+git2 = "0.18.1"
+glob = "0.3.1"
+chrono = "0.4.31"
diff --git a/glucose/Cargo.toml b/glucose/Cargo.toml
@@ -18,11 +18,11 @@ glucose4-1 = []
 
 [dependencies]
 cpu-time = "1.0.0"
-rustsat = { version = "0.3", path = "../rustsat", default-features = false }
+rustsat = { version = "0.3.0", path = "../rustsat", default-features = false }
 
 [build-dependencies]
-cc = { version = "1", features = ["parallel"] }
-git2 = "0"
-glob = "0"
-chrono = "0"
-cmake = "0"
+cc = { version = "1.0.83", features = ["parallel"] }
+git2 = "0.18.1"
+glob = "0.3.1"
+chrono = "0.4.31"
+cmake = "0.1.50"
diff --git a/kissat/Cargo.toml b/kissat/Cargo.toml
@@ -26,10 +26,10 @@ sc2022-bulky = []
 
 [dependencies]
 cpu-time = "1.0.0"
-rustsat = { version = "0.3", path = "../rustsat", default-features = false }
+rustsat = { version = "0.3.0", path = "../rustsat", default-features = false }
 
 [build-dependencies]
-cc = { version = "1", features = ["parallel"] }
-git2 = "0"
-glob = "0"
-chrono = "0"
+cc = { version = "1.0.83", features = ["parallel"] }
+git2 = "0.18.1"
+glob = "0.3.1"
+chrono = "0.4.31"
diff --git a/minisat/Cargo.toml b/minisat/Cargo.toml
@@ -15,11 +15,11 @@ build = "build.rs"
 
 [dependencies]
 cpu-time = "1.0.0"
-rustsat = { version = "0.3", path = "../rustsat", default-features = false }
+rustsat = { version = "0.3.0", path = "../rustsat", default-features = false }
 
 [build-dependencies]
-cc = { version = "1", features = ["parallel"] }
-git2 = "0"
-glob = "0"
-chrono = "0"
-cmake = "0"
+cc = { version = "1.0.83", features = ["parallel"] }
+git2 = "0.18.1"
+glob = "0.3.1"
+chrono = "0.4.31"
+cmake = "0.1.50"
diff --git a/rustsat/Cargo.toml b/rustsat/Cargo.toml
@@ -21,14 +21,14 @@ xz2 = { version = "0.1.7", optional = true }
 rustc-hash = { version = "1.1.0", optional = true }
 cpu-time = "1.0.0"
 rand = { version = "0.8.5", optional = true }
-visibility = { version = "0" }
-thiserror = { version = "1" }
+visibility = { version = "0.1.0" }
+thiserror = { version = "1.0.50" }
 
 [build-dependencies]
-cbindgen = "0"
+cbindgen = "0.26.0"
 
 [dev-dependencies]
-inline-c = "0.1"
+inline-c = "0.1.7"
 
 [features]
 default = [

diff --git a/tools/Cargo.toml b/tools/Cargo.toml
@@ -12,15 +12,15 @@ readme = "README.md"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-rustsat = { version = "0.3", path = "../rustsat", features = ["compression", "multiopt", "rand", "internals"] }
-rustsat-cadical = { version = "0.2", path = "../cadical" }
+rustsat = { version = "0.3.0", path = "../rustsat", features = ["compression", "multiopt", "rand", "internals"] }
+rustsat-cadical = { version = "0.2.0", path = "../cadical" }
 clap = { version = "4.2.4", features = ["derive", "cargo"] }
 concolor-clap = { version = "0.1.0" }
 termcolor = { version = "1.2.0" }
 atty = { version = "0.2.14" }
-nom = "7"
-rand = "0.8"
-rand_chacha = "0.3"
+nom = "7.1.3"
+rand = "0.8.5"
+rand_chacha = "0.3.1"
 
 [[bin]]
 name = "enumerator"