Merge branch 'main' into dev-network-generating

sybila · Nov 13, 2023 · 1cd6de3 · 1cd6de3
2 parents 40577e7 + 5e5c183
commit 1cd6de3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Cargo.toml b/Cargo.toml
@@ -45,4 +45,4 @@ biodivine-lib-param-bn = ">=0.4.7, <1.0.0"
 biodivine-hctl-model-checker = ">=0.2.0, <1.0.0"
 clap = { version = "4.1.4", features = ["derive"] }
 termcolor = "1.1.2"
-rand = "0.8.5"
+rand = "0.8.5"