use lmql 0.7.1 as dependency

lve-org · Oct 12, 2023 · 8af3070 · 8af3070
1 parent dc41b58
commit 8af3070
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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