Skip to content

Commit

Permalink
chore(deps): update dependencies (major changes)
Browse files Browse the repository at this point in the history
  • Loading branch information
renovate[bot] authored Oct 31, 2023
1 parent c977be2 commit 8a31fdd
Show file tree
Hide file tree
Showing 2 changed files with 101 additions and 32 deletions.
129 changes: 99 additions & 30 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 @@ -41,7 +41,7 @@ anyhow = "~1.0.71"
thiserror = "~1.0.40"
pyo3 = { version = "~0.19.0", features = ["auto-initialize"] }
egui = { version = "0.22.0", optional = true }
indexmap = { version = "1.9.3", optional = true }
indexmap = { version = "2.1.0", optional = true }
eframe = { version = "0.22.0", optional = true }
rfd = { version = "0.11.4", optional = true }
boolector-solver = { package = "boolector", version = "~0.4.3", features = ["vendor-lgl"], optional = true }
Expand All @@ -60,7 +60,7 @@ riscu = { git = 'https://github.com/cksystemsgroup/riscu' }
[dev-dependencies]
rayon = "~1.7"
tempfile = "~3.6.0"
which = "~4.4"
which = "~5.0.0"
log = "~0.4.19"
env_logger = "~0.10"

Expand Down

0 comments on commit 8a31fdd

Please sign in to comment.