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