Skip to content

Commit

Permalink
chore(deps): update patch updates (#274)
Browse files Browse the repository at this point in the history
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
  • Loading branch information
renovate[bot] authored Feb 17, 2025
1 parent b5a6b68 commit fa4fde7
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 8 deletions.
12 changes: 6 additions & 6 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 2 additions & 2 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ bindgen = "0.71.1"
bzip2 = "0.5.1"
cc = { version = "1.2.14", features = ["parallel"] }
chrono = "0.4.39"
clap = { version = "4.5.29", features = ["derive", "cargo"] }
clap = { version = "4.5.30", features = ["derive", "cargo"] }
cmake = "0.1.54"
concolor-clap = "0.1.0"
cpu-time = "1.0.0"
Expand All @@ -45,7 +45,7 @@ rustsat-cadical = { version = "0.4.3", path = "./cadical" }
rustsat-minisat = { version = "0.4.3", path = "./minisat" }
rustsat-solvertests = { path = "./solvertests" }
signal-hook = "0.3.17"
tempfile = "3.17.0"
tempfile = "3.17.1"
visibility = "0.1.1"
xz2 = "0.1.7"

Expand Down

0 comments on commit fa4fde7

Please sign in to comment.