research/argus
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore: bump dependencies

Browse source
This commit is contained in:
Anand Balakrishnan 2023-09-01 14:54:47 -07:00
parent ff2e74517a
commit 961551b2cb
No known key found for this signature in database
5 changed files with 15 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

6
argus-semantics/Cargo.toml
View file

@ -6,9 +6,9 @@ edition = "2021"
[dependencies]
argus-core = { version = "0.1.0", path = "../argus-core" }
itertools = "0.10.5"
num-traits = "0.2.15"
paste = "1.0.12"
num-traits = "0.2.16"
paste = "1.0.14"
[dev-dependencies]
argus-core = { path = "../argus-core", features = ["arbitrary"] }
proptest = "1.1"
proptest = "1.2"