From 5e5c18356d099f8bbc812a4059bf485a7541096d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ond=C5=99ej=20Huvar?= <492849@mail.muni.cz>
Date: Fri, 8 Sep 2023 19:24:25 +0200
Subject: [PATCH] Freeze original dependencies to restore compatibility of the
 artifact

---
 Cargo.toml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/Cargo.toml b/Cargo.toml
index 2143b5c..4537a4a 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -40,9 +40,9 @@ name = "sketches-inference"
 path = "src/bin/sketches_inference.rs"
 
 [dependencies]
-biodivine-lib-bdd = ">=0.4.2, <1.0.0"
-biodivine-lib-param-bn = ">=0.4.3, <1.0.0"
-biodivine-hctl-model-checker = ">=0.1.1, <1.0.0"
-clap = { version = "4.1.4", features = ["derive"] }
-termcolor = "1.1.2"
-rand = "0.8.5"
+biodivine-lib-bdd = "=0.4.2"
+biodivine-lib-param-bn = "=0.4.3"
+biodivine-hctl-model-checker = "=0.1.1"
+clap = { version = "=4.1.4", features = ["derive"] }
+termcolor = "=1.1.2"
+rand = "=0.8.5"