From 8af30706070d22797a9bbefa6b2dae9a6246a9e7 Mon Sep 17 00:00:00 2001
From: Luca Beurer-Kellner <lucabeurerkellner@gmail.com>
Date: Thu, 12 Oct 2023 18:44:27 +0200
Subject: [PATCH] use lmql 0.7.1 as dependency

---
 lve-tools/setup.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lve-tools/setup.cfg b/lve-tools/setup.cfg
index cff6c84..a8cee16 100644
--- a/lve-tools/setup.cfg
+++ b/lve-tools/setup.cfg
@@ -20,7 +20,7 @@ install_requires =
     questionary
     termcolor
     GitPython
-    lmql @ git+https://github.com/eth-sri/lmql.git@lve#egg=lmql
+    lmql >=0.7.1
 
 [options.packages.find]
 where = lve_tools